Skip to Main content Skip to Navigation

Search by documents



...
hal-01153717v1  Journal articles
Zhibin YangKai HuYong-Wang ZhaoDian-Fu MaJean-Paul Bodeveix. Verification of AADL Models with Timed Abstract State Machines
Journal of Software, Science in China Press, 2015, vol. 26 (n° 2), pp. 202-222
...
hal-02267842v1  Conference papers
T CorreaL. B. BeckerJean-Paul BodeveixJ-M FarinesM Filali et al.  Verification Based Development Process for Embedded Systems
ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. 10p
...
hal-01500510v1  Conference papers
Badr SialaMohamed Tahar BhiriJean-Paul BodeveixM Filali. Un processus de développement Event-B pour des applications distribuées
15emes Journéees Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), en collaboration avec les journées du GDR GPL, Jun 2016, Besançon, France. pp. 94-100
hal-00784959v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM FilaliMartin Strecker. 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-01298793v1  Journal articles
Zhibin YangJean-Paul BodeveixM FilaliKai HuYongwang Zhao et al.  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-00784976v1  Conference papers
Ricardo Bedin FrançaJean-Paul BodeveixDavid ChemouilM FilaliJean-François Rolland et al.  The AADL behaviour annex -- experiments and roadmap
International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩
hal-02061818v1  Book sections
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  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
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain specific modeling language for embedded flight-software
FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands
...
hal-01708993v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardM Filali. Pattern-based requirements development
9th European Congress on Embedded Real Time Software and Systems (ERTS 2018), Jan 2018, Toulouse, France
...
hal-01150341v1  Conference papers
Zhibin YangJean-Paul BodeveixM Filali. 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-00784986v1  Conference papers
Jean-Paul BodeveixDavid ChemouilM FilaliDave Thomas. 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-02332531v1  Conference papers
Jean-Paul BodeveixJulien BrunelDavid ChemouilM Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol (FM 2019)
3rd International Symposium on Formal Methods (FM 2019), FME: Formal Methods Europe, Oct 2019, Porto, Portugal. pp.45-63, ⟨10.1007/978-3-030-30942-8_5⟩
hal-03012557v1  Conference papers
Jean-Paul BodeveixJulien BrunelDavid ChemouilM Filali. Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol
Journées du Groupe de Travail Vérification du GDR GPL 2019, GDR GPL (Groupement de Recherche Génie de la Programmation et du Logiciel) - INS2I / CNRS, Jun 2019, Nantes, France
hal-01095002v1  Journal articles
Zhibin YangKai HuDianfu MaJean-Paul BodeveixLei Pi et al.  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-00494348v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixSilvano Dal ZilioPierre DissauxM Filali et al.  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-00457182v1  Conference papers
Jean-Paul BodeveixM FilaliJulia LawallGilles Muller. Formal Methods Meet Domain Specific Languages
The 5th International Conference on Integrated Formal Methods, 2005, Eindhoven, The Netherlands, Netherlands. pp.187-206
...
inria-00262442v1  Conference papers
Bernard BerthomieuJean-Paul BodeveixPatrick FarailM FilaliHubert Garavel et al.  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-01231765v1  Conference papers
Abdeldjalil BoudjadarFrits VaandragerJean-Paul BodeveixM Filali. 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-02181895v1  Conference papers
Jean-Paul BodeveixArnaud DieumegardM Filali. 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-01220607v1  Conference papers
Elie FaresJean-Paul BodeveixM Filali. 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