Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
The AADL behaviour annex -- experiments and roadmap
- Ricardo Bedin França, J. Bodeveix, M. Filali, J. Rolland, D. Chemouil, D. Thomas
- Computer Science
- 12th IEEE International Conference on Engineering…
- 11 July 2007
TLDR
The Syntax and Semantics of FIACRE
- B. Berthomieu, J. Bodeveix, +6 authors F. Vernadat
- 2009
∗ LAAS-CNRS Université de Toulouse 7, avenue du Colonel Roche, 31077 Toulouse Cedex, France E-mail: FirstName.LastName@laas.fr + IRIT Université Paul Sabatier 118 Route de Narbonne, 31062 Toulouse… Expand
- 27
- 3
- PDF
From AADL to Timed Abstract State Machines: A verified model transformation
TLDR
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems
- J. Bodeveix, M. Filali
- Computer Science
- TACAS
- 25 March 2000
TLDR
Towards the verification of real-time systems in avionics: the Cotre approach
- B. Berthomieu, Pierre-Olivier Ribet, +10 authors Jean-Luc Lambert
- Computer Science
- Electron. Notes Theor. Comput. Sci.
- 1 August 2003
TLDR
Formal Verification of AADL models with Fiacre and Tina
- B. Berthomieu, J. Bodeveix, +5 authors F. Vernadat
- Engineering
- 19 May 2010
This paper details works undertaken in the scope of the Spices project concerning the behavioral verification of AADL models. We give a high-level view of the tools involved and describe the… Expand
Formal Methods Meet Domain Specific Languages
- J. Bodeveix, M. Filali, J. Lawall, G. Muller
- Computer Science
- IFM
- 29 November 2005
TLDR
Towards a verified transformation from AADL to the formal component-based language FIACRE
- J. Bodeveix, M. Filali, Manuel Garnacho, Régis Spadotti, Z. Yang
- Computer Science
- Sci. Comput. Program.
- 1 August 2015
TLDR
Two Formal Semantics of a Subset of the AADL
- Z. Yang, K. Hu, J. Bodeveix, Lei Pi, D. Ma, J. Talpin
- Computer Science
- 16th IEEE International Conference on Engineering…
- 27 April 2011
TLDR
Experimenting Acceleration Methods for the Validation of Infinite State Systems
- J. Bodeveix, M. Filali
- Mathematics, Computer Science
- ICDCS Workshop on Distributed System Validation…
- 2000
TLDR
- 9
- 1