| A mechanized semantic framework for real-time systems M Garnacho, JP Bodeveix, M Filali-Amine International Conference on Formal Modeling and Analysis of Timed Systems …, 2013 | 20 | 2013 |
| Development of a synchronous subset of AADL M Filali-Amine, J Lawall International Conference on Abstract State Machines, Alloy, B and Z, 245-258, 2010 | 12 | 2010 |
| Assessment of the AADL behavioral annex RB França, JF Rolland, MF Amine, JP Bodeveix, D Chemouil, ... Journées FAC, 13, 2007 | 8 | 2007 |
| Modeling a bus protocol: An incremental approach RB França, JM Farines, JP Bodeveix, LB Becker, MF Amine Workshop on Real-Time Systems, 2007 | 3 | 2007 |
| A refinement-based compiler development for synchronous languages JP Bodeveix, M Filali-Amine, S Kan Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017 | 2 | 2017 |
| An automatic technique for checking the simulation of timed systems E Fares, JP Bodeveix, M Filali-Amine, M Garnacho Automated Technology for Verification and Analysis: 11th International …, 2013 | 1 | 2013 |
| AADL Modeling of a Generic Bus RB França, MF Amine, JP Bodeveix Journées FAC, Toulouse, France, 2007 | 1 | 2007 |
| Johnson’s procedure: mechanization and parallelization MF Amine, N Zaidi | | |
| ICECCS 2019 L Bao, JP Bodeveix, JH Boockmann, J Brotherston, Q Chen, T Chen, ... | | |
| DESIGN OF REAL-TIME AUTOMATION SYSTEMS USING ARCHITECTURE DESCRIPTION LANGUAGES RB França, DR Gobbi, JM Farines, JP Bodeveix, LB Becker, MF Amine | | |
Julia L. LawallVerified email at diku.edu
