Filtrer vos résultats
- 21
- 11
- 22
- 4
- 3
- 1
- 1
- 1
- 32
- 1
- 1
- 5
- 2
- 4
- 1
- 1
- 1
- 1
- 5
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 32
- 26
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 32
- 11
- 8
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
32 résultats
|
|
triés par
|
|
SDL for Real-Time: What Is Missing?2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, Jun 2000, Grenoble, France. pp.108-122
Communication dans un congrès
hal-00374117v1
|
||
Applying MDE to ROS systems: A comparative analysis4th Working Formal Methods Symposium (FROM 2020), Sep 2020, Cluj-Napoca (virtual), Romania
Communication dans un congrès
hal-03443993v1
|
|||
|
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback16th International System Design Languages Forum (SDL 2013), Jun 2013, Montreal, Canada. pp. 107-123
Communication dans un congrès
hal-01226474v1
|
||
|
Formal Model Driven Engineering for Space Onboard SoftwareEmbedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
Communication dans un congrès
hal-02263443v1
|
||
|
Certification of embedded systems based on Machine Learning: A survey2021
Pré-publication, Document de travail
hal-03252906v2
|
||
|
On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns17th International Conference on Computational Science (ICCS 2017), Jun 2017, Zürich, Switzerland. pp. 2298-2302
Communication dans un congrès
hal-01873785v1
|
||
Leveraging domain specific modeling to increase accessibility of robot programmingIEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM 2021), IEEE, Jun 2021, Liberec, Czech Republic. ⟨10.1109/ECMSM51310.2021.9468864⟩
Communication dans un congrès
hal-03443832v1
|
|||
|
A Case Study in Formal System Engineering with SysMLIEEE International Conference on Engineering Complex Computer Systems - ICECCS 2012, Jul 2012, Paris, France. pp. 189-198
Communication dans un congrès
hal-01151016v1
|
||
|
A variant of the high-school timetabling problem and a software solution for it based on integer linear programming11th International Conference on Practice and Theory of Auto-mated Timetabling (PATAT-2016), Aug 2016, Udine, Italy. pp.283-294
Communication dans un congrès
hal-02943035v1
|
||
|
Formal Verification of Emergent PropertiesInformatica, 2021, 45 (3), ⟨10.31449/inf.v45i3.3160⟩
Article dans une revue
hal-03440190v1
|
||
|
SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum ToulouseOuvrages hal-02943110v1 |
||
|
Contract-based modeling and verification of timed safety requirements within SysMLSoftware and Systems Modeling, 2015, 16 (2), pp.587-624. ⟨10.1007/s10270-015-0481-1⟩
Article dans une revue
hal-01567085v1
|
||
|
Applying MDE to ROS Systems: A Comparative AnalysisScientific Annals of Computer Science, 2021, 31 (1), pp.111 - 144. ⟨10.7561/sacs.2021.1.111⟩
Article dans une revue
hal-03436037v1
|
||
ACES-MB '12: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems2012
Ouvrages
hal-02943093v1
|
|||
|
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2018), Sep 2018, Maynoooth, Ireland. pp.269-283
Communication dans un congrès
hal-02279416v1
|
||
Definition of states and modes as general concepts for system design and validation12e Conference Internationale de Modelisation, Optimisation et Simulation (MOSIM 2018), Jun 2018, Toulouse, France
Communication dans un congrès
hal-02943016v1
|
|||
|
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩
Communication dans un congrès
hal-03855271v1
|
||
|
Supporting a Multi-formalism Model Driven Development Process with Model Transformation, a TOPCASED implementationEmbedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France
Communication dans un congrès
hal-02270302v1
|
||
OMEGA2: A New Version of the Profile and the Tools2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Mar 2010, Oxford, United Kingdom. pp.373-378, ⟨10.1109/ICECCS.2010.41⟩
Communication dans un congrès
hal-02943118v1
|
|||
Seeing Errors: Model Driven Simulation Trace VisualizationACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. pp.480-496, ⟨10.1007/978-3-642-33666-9_31⟩
Communication dans un congrès
hal-02943097v1
|
|||
|
Integrating verifiable Assume/Guarantee contracts in UML/SysMLInternational Workshop on Model Based Architecting and Construction of Embedded Systems - ACESMB 2013, Sep 2013, Miami, United States. pp. 1-10
Communication dans un congrès
hal-01142471v1
|
||
|
SysML Models Verification and Validation in an Industrial Context: Challenges and ExperimentationEuropean Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France
Communication dans un congrès
hal-01815510v1
|
||
Model Based Architecting and Construction of Embedded Systems, ACES-MB Workshop ProceedingsOuvrages hal-02943067v1 |
|||
|
Formal verification of space systems designed with TASTEESA’s Second Virtual Workshop on Model Based Space Systems and Software Engineering (MBSE2021), Sep 2021, Nordwijk, Netherlands
Communication dans un congrès
hal-03436013v1
|
||
|
Timed Extensions for SDLSDL 2001: Meeting UML, 10th International SDL Forum, Jun 2001, Copenhagen, Denmark. pp.223-240
Communication dans un congrès
hal-00374648v1
|
||
|
Safety Contracts for Timed ReactiveComponents in SysMLInternational Conference on Current Trends in Theory and Practice of Computer Science - SOFSEM 2014, Jan 2014, Nový Smokovec, Slovakia. pp. 211-222
Communication dans un congrès
hal-01147265v1
|
||
UML/SysML semantic tuningsInnovations in Systems and Software Engineering, 2011, 7 (4), pp.257-264. ⟨10.1007/s11334-011-0163-2⟩
Article dans une revue
istex
hal-02943101v1
|
|||
Unambiguous UML Composite Structures: The OMEGA2 ExperienceSOFSEM 2011: Theory and Practice of Computer Science - 37th Conference on Current Trends in Theory and Practice of Computer Science, pp.418-430, 2011, ⟨10.1007/978-3-642-18381-2_35⟩
Chapitre d'ouvrage
istex
hal-02943115v1
|
|||
|
Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFxSIMULTECH 2013, Jul 2013, Reykjavik, Iceland
Communication dans un congrès
hal-01085410v1
|
||
|
Modeling and verification method for an early evaluation of Systems of Systems interactions35th Annual ACM Symposium on Applied Computing (SAC 2020), Mar 2020, Brno, Czech Republic. pp.1798-1805, ⟨10.1145/3341105.3373944⟩
Communication dans un congrès
hal-02891673v1
|
- 1
- 2