|
||
---|---|---|
hal-02270356v1
Conference papers
Behavioural descriptions in architecture description languages Application to AADL Conference ERTS'06, Jan 2006, Toulouse, France |
||
|
||
hal-00624134v1
Conference papers
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩ |
||
hal-01123837v1
Journal articles
From AADL to Timed Abstract State Machines: A Verified Model Transformation Journal of Systems and Software, Elsevier, 2014, vol. 93, pp. 42-68. ⟨10.1016/j.jss.2014.02.058⟩ |
||
hal-02061818v1
Book sections
Synoptic: a domain-specific modeling language for space on-board application software Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩ ![]() |
||
hal-00788450v1
Conference papers
Synoptic: a domain specific modeling language for embedded flight-software FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands |
||
hal-01095002v1
Journal articles
From AADL to timed abstract state machine: a certified model transformation Journal of Systems and Software, Elsevier, 2014, Journal of Systems and Software, pp.20 |
||
hal-01231769v1
Conference papers
A Mechanized Semantic Framework for Real-Time Systems 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2013), Aug 2013, Buenos Aires, Argentina. pp. 106-120 |
||
hal-00492327v1
Conference papers
Langage intermédiaire et transformations de modèles pour le développement de systèmes temps-réel : retour d'expérience sur la chaîne de vérification formelle Fiacre IDM 2010 : journées sur l'Ingénierie Dirigée par les Modèles, Mar 2010, Pau, France |
||
hal-01226470v1
Conference papers
An Automatic Technique for Checking the Simulation of Timed Systems 11th International Symposium Automated Technology for Verification and Analysis (ATVA 2013), Oct 2013, Hanoï, Vietnam. pp. 71-86 |
||
hal-00457182v1
Conference papers
Formal Methods Meet Domain Specific Languages The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206 |
||
hal-00457183v1
Conference papers
Applying the B formal method to the Bossa domain-specific language The 17th Nordic Workshop on Programming Theory (NWPT'05), 2005, Copenhagen, Denmark, Denmark. pp.35-38 |
||
hal-01298793v1
Journal articles
Towards a verified compiler prototype for the synchronous language SIGNAL Frontiers of Computer Science, Springer Verlag, 2016, vol. 10 (n° 1), pp. 37-53. ⟨10.1007/s11704-015-4364-y⟩ |
||
hal-01278902v1
Journal articles
Towards a verified transformation from AADL to the formal component-based language FIACRE Science of Computer Programming, Elsevier, 2015, vol. 106, pp. 30-53. ⟨10.1016/j.scico.2015.03.003⟩ |
||
hal-00784986v1
Conference papers
Modes in Asynchronous Systems 13th IEEE International Conference on Engineering of Complex Computer Systems, 2008, Belfast, Ireland. pp.282 - 287, ⟨10.1109/ICECCS.2008.28⟩ |
||
hal-01231765v1
Conference papers
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems 5th International Conference on Fundamentals of Software Engineering (FSEN 2013), Apr 2013, Tehran, Iran. pp.111-132 |
||
hal-00494348v1
Conference papers
Formal Verification of AADL models with Fiacre and Tina ERTSS 2010 - Embedded Real-Time Software and Systems, May 2010, TOULOUSE (31000), France. pp.1-9 |
||
hal-01220607v1
Conference papers
Event Algebra for Transition Systems Composition - Application to Timed Automata 20th International Symposium on Temporal Representation and Reasoning (TIME 2013), Sep 2013, Penscacolq, FL, United States. pp. 125-132 |
||
hal-00784959v1
Conference papers
Towards formalising AADL in Proof Assistants Formal Foundations of Embedded Software and Component-based Software Architectures 2005, 2005, Edinburgh, United Kingdom. pp.153-169, ⟨10.1016/j.entcs.2005.05.008⟩ ![]() |
||
hal-00784968v1
Conference papers
A mapping from AADL to Java-RTSJ 5th international workshop on Java technologies for real-time and embedded systems, 2007, Vienne, Austria. pp.165-174, ⟨10.1145/1288940.1288965⟩ |
||
hal-01150341v1
Conference papers
Multi-core Code Generation from Polychronous Programs with Time-Predictable Properties ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Workshop on Architecture Centric Virtual Integration - MODELS 2014, Sep 2014, Valencia, Spain. pp. 1-10 |
||
hal-01153717v1
Journal articles
Verification of AADL Models with Timed Abstract State Machines Journal of Software, Science in China Press, 2015, vol. 26 (n° 2), pp. 202-222 |
||
inria-00089493v1
Conference papers
Automatic Verification of Bossa Scheduler Properties Automatic Verification of Critical Systems, Sep 2006, Nancy, France. pp.19-34 |
||
hal-01154264v1
Journal articles
A comparative study of two formal semantics of the SIGNAL language Frontiers of Computer Science, Springer Verlag, 2013, vol. 7 (n° 5), pp. 673-693. ⟨10.1007/s11704-013-3908-2⟩ |
||
hal-02181895v1
Conference papers
Event-B Formalization of a Variability-Aware Component Model Patterns Framework 15th International Conference on Formal Aspects of Component Software (FACS 2018), Oct 2018, Pohang, South Korea. pp.54-74 |
||
hal-00457181v1
Conference papers
Vérification automatique de propriétés d'ordonnanceurs Bossa AFADL'2006, 2006, Paris, France. pp.95-109 |
||
inria-00262442v1
Conference papers
Fiacre: an Intermediate Language for Model Verification in the Topcased Environment 4th European Congress ERTS Embedded Real Time Software (ERTS 2008), Jan 2008, Toulouse, France. 8p |
||
hal-03012557v1
Conference papers
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol Journées du Groupe de Travail Vérification du GDR GPL 2019, Jun 2019, Nantes, France. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩ ![]() |
||
hal-02538359v1
Journal articles
Event algebra for transition systems composition Application to timed automata Acta Informatica, Springer Verlag, 2018, 55, pp.363-400. ⟨10.1007/s00236-017-0302-9⟩ |
||
hal-02419464v1
Journal articles
Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL Frontiers of Computer Science, Springer Verlag, 2019, 13 (4), pp.715-734. ⟨10.1007/s11704-017-6485-y⟩ |
||
|