Filtrer vos résultats
- 352
- 219
- 1
- 374
- 110
- 30
- 19
- 11
- 8
- 4
- 4
- 4
- 3
- 3
- 1
- 1
- 5
- 1
- 1
- 524
- 42
- 34
- 7
- 5
- 4
- 2
- 2
- 1
- 1
- 25
- 18
- 51
- 50
- 40
- 19
- 52
- 60
- 47
- 42
- 42
- 44
- 51
- 22
- 10
- 6
- 3
- 7
- 2
- 1
- 3
- 1
- 1
- 507
- 65
- 572
- 25
- 22
- 18
- 17
- 16
- 16
- 16
- 14
- 14
- 14
- 13
- 13
- 13
- 11
- 11
- 11
- 10
- 10
- 10
- 9
- 8
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 46
- 38
- 35
- 30
- 26
- 25
- 23
- 20
- 20
- 18
- 17
- 16
- 15
- 15
- 14
- 13
- 13
- 13
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
572 résultats
Model-Based Function Mapping and Bandwidth Reservation for Mixed-Critical Adaptive SystemsDSD 2017: Euromicro Conference on Digital System Design, Aug 2017, Vienna, Austria. pp.435-439, ⟨10.1109/DSD.2017.62⟩
Communication dans un congrès
cea-01808789v1
|
|||
|
|
Model-driven analysis and synthesis of concrete syntaxProceedings of the MoDELS/UML 2006, Oct 2006, Genova, Italy
Communication dans un congrès
hal-00795597v1
|
||
Le sanctuaire occidental de Mâlain/Mediolanum (Côte-d'Or). Étude intégrée d'un sanctuaire des eaux péri-urbain en territoire lingon. Rapport d'activité 2021Inrap Bourgogne - Franche-Comté; UMR 6298 ArTeHiS. 2021, 267 p
Rapport
hal-04342917v1
|
|||
|
|
An implementation relation and test framework for timed distributed systemsInternational Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey
Communication dans un congrès
cea-01810746v1
|
||
|
|
Cut branches before looking for bugs: Sound verification on relaxed slicesInternational Conference on Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. pp.179-196, ⟨10.1007/978-3-662-49665-7_11⟩
Communication dans un congrès
cea-01808894v1
|
||
|
|
EAST-ADLInternational Journal of System Dynamics Applications, 2016, 5, pp.1 - 20. ⟨10.4018/IJSDA.2016070101⟩
Article dans une revue
cea-01810034v1
|
||
|
|
Model-Based System Engineering for Fault Tree Generation and AnalysisInternational Conference on Model-Driven Engineering and Software Development, Feb 2013, Barcelona, Spain
Communication dans un congrès
cea-01810061v1
|
||
Evolving the ETSI test description languageLecture Notes in Computer Science, 2016, 9959 LNCS, pp.116-131. ⟨10.1007/978-3-319-46613-2_8⟩
Article dans une revue
cea-01808890v1
|
|||
|
|
Symbolic execution of transition systems with function summariesLecture Notes in Computer Science, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩
Article dans une revue
cea-01808888v1
|
||
|
|
L'interprète, le JIT et la licorne35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès
hal-04407147v1
|
||
From real-time design model to RTOS-specific models: a model-driven methodologyInternational Journal of Embedded Systems, 2019, 11 (6), pp.738. ⟨10.1504/IJES.2019.103991⟩
Article dans une revue
hal-02496231v1
|
|||
Preface to MDE Intelligence 2019: 1st Workshop on Artificial Intelligence and Model-Driven Engineering2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep 2019, Munich, Germany. pp.168-169, ⟨10.1109/MODELS-C.2019.00028⟩
Communication dans un congrès
cea-02572659v1
|
|||
GATeL: A V&V Platform for SCADE ModelsFormal Methods: Industrial Use from Model to the Code, John Wiley and Sons, pp.273-285, 2013, 9781848213623. ⟨10.1002/9781118561898.ch7⟩
Chapitre d'ouvrage
cea-01818543v1
|
|||
|
|
Packaging proofs with Why3find35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès
hal-04407129v1
|
||
Recovering high-level conditions from binary programs FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, Nov 2016, Limassol, Cyprus. pp.235-253, ⟨10.1007/978-3-319-48989-6_15⟩
Communication dans un congrès
cea-01834972v1
|
|||
Frama-C, A collaborative framework for C code verification: Tutorial synopsisRuntime Verification. RV 2016. Lecture Notes in Computer Science, Sep 2016, madrid, Spain. pp.92-115, ⟨10.1007/978-3-319-46982-9_7⟩
Communication dans un congrès
cea-01834973v1
|
|||
|
|
Gamifying program analysisLogic for Programming, Artificial Intelligence, and Reasoning. LPAR 2015. Lecture Notes in Computer Science, Nov 2015, Suva, Fiji. pp.591-605, ⟨10.1007/978-3-662-48899-7_41⟩
Communication dans un congrès
cea-01834979v1
|
||
Two methods for modeling and verification of safety properties of railway infrastructures2015 International Conference on Industrial Engineering and Systems Management (IESM), Oct 2015, Seville, Spain. pp.48-54, ⟨10.1109/IESM.2015.7380134⟩
Communication dans un congrès
cea-01836265v1
|
|||
VanHelsing: A Fast Proof Checker for Debuggable Compiler Verification2015 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2015, Timisoara, Romania. pp.167-174, ⟨10.1109/SYNASC.2015.34⟩
Communication dans un congrès
cea-01836303v1
|
|||
Using model driven engineering to support multi-paradigms security analysisModel-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, Feb 2015, Angers, France. pp.278-292, ⟨10.1007/978-3-319-27869-8_16⟩
Communication dans un congrès
cea-01836561v1
|
|||
Instrumentation of annotated c programs for test generation2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩
Communication dans un congrès
cea-01836306v1
|
|||
|
|
An OPC UA PubSub Implementation Approach for Memory-Constrained Sensor Devices2022 IEEE 31st International Symposium on Industrial Electronics (ISIE), IEEE Industrial Electronics Society (IES), Jun 2022, Anchorage, Alaska, United States
Communication dans un congrès
hal-03400151v3
|
||
|
|
Sycomore ++ , un registre distribué orienté graphe auto-adaptatifAlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4
Communication dans un congrès
hal-03656546v1
|
||
|
|
Analyzing Throughput for Cyber-Physical Systems modeled with Synchronous DataflowCPS Summer School, PhD Workshop, Sep 2019, Alghero, Italy
Communication dans un congrès
cea-04485076v1
|
||
Feasibility study in the use of contract-based approaches to deal with safety-related properties in CPSAda User Journal, 2014, 35 (4), pp.272-277
Article dans une revue
cea-01847297v1
|
|||
|
|
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction ScenariosElectronic Notes in Theoretical Computer Science, 2016, 320, pp.21 - 34. ⟨10.1016/j.entcs.2016.01.003⟩
Article dans une revue
hal-01812130v1
|
||
|
|
An approach to bridge ROS 1 and ROS 2 devices into an OPC UA-based testbed for industry 4.0ONCON 2022 - 1st IEEE Industrial Electronics Society Annual On-Line Conference, Dec 2022, Online conference, India
Communication dans un congrès
cea-03870393v1
|
||
Clustering of Software Requirements for Automated Software Architectures8ème Conférence en Ingénierie du Logiciel, Jun 2019, Toulouse, France. pp.1-6
Communication dans un congrès
cea-04486464v1
|
|||
Challenges of a Validation Process Based on Models: An Industrial Case StudyBell Labs Technical Journal, 2012, 17 (1), pp.229-246. ⟨10.1002/bltj.21533⟩
Article dans une revue
hal-03954330v1
|
|||
Reference architecture specification for drone systemsMicroprocessors and Microsystems: Embedded Hardware Design , 2022, 95, pp.104705. ⟨10.1016/j.micpro.2022.104705⟩
Article dans une revue
hal-04104554v1
|