| 2026 | SLE | Engineering Verified Model Transformations through a Proof-Based Language Workbench. | Akram Idani, Germn Vega |
| 2024 | ICECCS | An Iterative Formal Model-Driven Approach to Railway Systems Validation. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germn Vega |
| 2023 | Coordination | A Formal MDE Framework for Inter-DSL Collaboration. | Salim Chehida, Akram Idani, Mario Cortes Cornax, Germn Vega |
| 2023 | CRiSIS | A Process-Centric Approach to Insider Threats Identification in Information Systems. | Akram Idani, Yves Ledru, Germn Vega |
| 2022 | MEDI | Revisiting Ontology Evolution Patterns - A Formal xDSL Approach. | Akram Idani, Rim Djedidi, Germn Vega |
| 2022 | MODELS | Visual animation of B specifications using executable DSLs. | Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul |
| 2022 | RCIS | The B Method Meets MDE: Review, Progress and Future. | Akram Idani |
| 2020 | ECSA | Dependability of Model-Driven Executable DSLs - Critical Review and Solutions. | Akram Idani |
| 2020 | ECSA | Merging Railway Standard Notations in a Formal DSL-Based Framework. | Asfand Yar, Akram Idani, Simon Collart Dutilleul |
| 2020 | IFM | Meeduse: A Tool to Build and Run Proved DSLs. | Akram Idani |
| 2020 | MODELS | Towards a model driven formal approach for merging data, access control and business processes. | Akram Idani, Mario Cortes Cornax |
| 2019 | FMICS | Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. | Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul |
| 2018 | MEDI | Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. | Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani |
| 2016 | RCIS | Combining UML and B for the specification and validation of RBAC policies in business process activities. | Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni |
| 2015 | ICFEM | B for Modeling Secure Information Systems - The B4MSecure Platform. | Akram Idani, Yves Ledru |
| 2015 | ICSE | Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. | Yves Ledru, Akram Idani, Jean-Luc Richier |
| 2014 | SEFM | When a Formal Model Rhymes with a Graphical Notation. | Akram Idani, Nicolas Stouls |
| 2013 | CaiSE | A Rigorous Reasoning about Model Transformations Using the B Method. | Akram Idani, Yves Ledru, Adil Anwar |
| 2011 | CaiSE | Taking into Account Functional Models in the Validation of IS Security Policies. | Yves Ledru, Akram Idani, Jrmy Milhau, Nafees Qamar, Rgine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh |
| 2011 | ICFEM | Validation of Security-Design Models Using Z. | Nafees Qamar, Yves Ledru, Akram Idani |
| 2011 | SACMAT | Validation of security policies by the animation of Z specifications. | Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh |
| 2009 | CaiSE | UML Models Engineering from Static and Dynamic Aspects of Formal Specifications. | Akram Idani |
| 2007 | CAINE | A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. | Akram Idani, Jean-Louis Boulanger, Laurent Philippe |
| 2007 | ICSEA | Commandments of UML for Safety. | Akram Idani, Dieu Donn Okalas Ossami, Jean-Louis Boulanger |
| 2006 | SEW | A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. | Akram Idani, Yves Ledru, Didier Bert |
| 2005 | ICFEM | Derivation of UML Class Diagrams as Static Views of Formal B Developments. | Akram Idani, Yves Ledru, Didier Bert |