Papers

• Akram Idani, German Vega.
  xDSLs dirigés par les Modèles Formels: Tour d'horizon de l'outil Meeduse. In Journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'22). June 8-10, 2022, Vannes, France. [pdf file]


• Akram Idani.
  The B Method meets MDE: survey, progress and future. In 16th International Conference on Research Challenges in Information Science (RCIS 2022). May 2022, Barcelona, Spain. https://doi.org/10.1007/978-3-031-05760-1_29.


• Akram Idani.
  A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs. In the 2nd ACM European Symposium on Software Engineering (ESSE 2021), November 6–8, 2021, Larissa, Greece.


• Akram Idani.
  Formal Model Driven Executable DSLs, Application to Petri-nets. Innovations in Systems and Software Engineering (ISSE), NASA Journal. Springer, 2022. DOI: 10.1007/s11334-021-00408-4. [Springer Nature]


• Akram Idani, Yves Ledru, German Vega.
  Alliance of Model Driven Engineering with a proof-based Formal Approach. Innovations in Systems and Software Engineering (ISSE), NASA Journal. Springer, December 2020, Volume 16, number 3. DOI: 10.1007/s11334-020-00366-3.


• Akram Idani.
  Meeduse: A Tool to Build and Run Proved DSLs. Integrated Formal Methods (iFM'20). [pdf file, resources]


• Akram Idani.
  Dependability of Model-Driven Executable DSLs: Critical Review and Solutions. International Workshop on modeling, verification and testing of dependable critical systems, Co-located with ECSA 2020. Springer, CCIS volume 1269. [pdf file,Video].


• Akram Idani, German Vega, Michael Leuschel.
  Applying formal reasoning to model transformation: The Meeduse solution. Proceedings of the 12th Transformation Tool Contest. Co-located with the 2019 Software Technologies: Applications and Foundations (STAF 2019). Eindhoven, The Netherlands, July 19, 2019. [pdf]


• Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Philippe Bon.
  Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. Third International Conference on Reliability, Safety, and Security of Railway Systems - RSSRail 2019. Lille, France, June 4-6, 2019. LNCS 11495, pages 23-40, Springer. [pdf]


• Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, and Simon Collart-Dutilleul.
  Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - Application to a Railway System. 24th International Conference on Formal Methods for Industrial Critical Systems. [pdf]

Awards

Posters