Object Oriented Concepts Identification from Formal B Specifications. - Akram Idani; Yves Ledru (FMICS, 2004)

Derivation of UML Class Diagrams as Static Views of Formal B Developments. - Akram Idani; Yves Ledru; Didier Bert (ICFEM, 2005)

Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information. - Akram Idani (INFORSID, 2006)

A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. - Akram Idani; Yves Ledru; Didier Bert (SEW, 2006)

Dynamic graphical UML views from formal B specifications. - Akram Idani; Yves Ledru (Inf. Softw. Technol., 2006)

B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. (B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments). - Akram Idani (2006)

A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. - Akram Idani; Jean-Louis Boulanger; Laurent Philippe 002 (CAINE, 2007)

Commandments of UML for Safety. - Akram Idani; Dieu Donné Okalas Ossami; Jean-Louis Boulanger (ICSEA, 2007)

Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. - Akram Idani; Yves Ledru; Didier Bert (Tech. Sci. Informatiques, 2007)

Towards Reverse-Engineering of UML Views from Structured Formal Developments. - Akram Idani; Bernard Coulette (ICEIS (3-1), 2008)

UML Models Engineering from Static and Dynamic Aspects of Formal Specifications. - Akram Idani (BMMDS/EMMSAD, 2009)

Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. - Akram Idani; Yves Ledru; Mohamed-Amine Labiadh (INFORSID, 2009)

Linking Paradigms in Safety Critical Systems. - Akram Idani; Jean-Louis Boulanger; Laurent Philippe 002 (Int. J. Comput. Their Appl., 2009)

Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. - Akram Idani; Mohamed-Amine Labiadh; Yves Ledru (Ingénierie des Systèmes d Inf., 2010)

Evaluating RBAC Supported Techniques and their Validation and Verification. - Nafees Qamar; Yves Ledru; Akram Idani (ARES, 2011)

Taking into Account Functional Models in the Validation of IS Security Policies. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (CAiSE Workshops, 2011)

Validation of Security-Design Models Using Z. - Nafees Qamar; Yves Ledru; Akram Idani (ICFEM, 2011)

Validation of security policies by the animation of Z specifications. - Yves Ledru; Nafees Qamar; Akram Idani; Jean-Luc Richier; Mohamed-Amine Labiadh (SACMAT, 2011)

Combining UML, ASTD and B for the formal specification of an access control filter. - Jérémy Milhau; Akram Idani; Régine Laleau; Mohamed-Amine Labiadh; Yves Ledru; Marc Frappier (Innov. Syst. Softw. Eng., 2011)

A Rigorous Reasoning about Model Transformations Using the B Method. - Akram Idani; Yves Ledru; Adil Anwar (BMMDS/EMMSAD, 2013)

Extraction of Insider Attack Scenarios from a Formal Information System Modeling. - Amira Radhouani; Akram Idani; Yves Ledru; Narjes Ben Rajeb (FMS @ Petri Nets, 2014)

B Formal Validation of ERTMS/ETCS Railway Operating Rules. - Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Akram Idani; Yves Ledru (ABZ, 2014)

When a Formal Model Rhymes with a Graphical Notation. - Akram Idani; Nicolas Stouls (SEFM Workshops, 2014)

Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure. - Akram Idani; Yves Ledru; Amira Radhouani (Ingénierie des Systèmes d Inf., 2014)

B for Modeling Secure Information Systems - The B4MSecure Platform. - Akram Idani; Yves Ledru (ICFEM, 2015)

Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. - Yves Ledru; Akram Idani; Jean-Luc Richier (FormaliSE@ICSE, 2015)

Extensions du diagramme d'activité pour contrôler l'accès au SI. - Salim Chehida; Akram Idani; Yves Ledru; Mustapha Kamel Rahmouni (INFORSID, 2015)

Validation of IS Security Policies Featuring Authorisation Constraints. - Yves Ledru; Akram Idani; Jérémy Milhau; Nafees Qamar; Régine Laleau; Jean-Luc Richier; Mohamed-Amine Labiadh (Int. J. Inf. Syst. Model. Des., 2015)

Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. - Amira Radhouani; Akram Idani; Yves Ledru; Narjes Ben Rajeb (Trans. Petri Nets Other Model. Concurr., 2015)

Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. - Rahma Ben Ayed; Simon Collart Dutilleul; Philippe Bon; Yves Ledru; Akram Idani (Tech. Sci. Informatiques, 2015)

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 (RCIS, 2016)

Extensions du diagramme d'activité pour la spécification de politiques RBAC. - Salim Chehida; Akram Idani; Yves Ledru; Mustapha Kamel Rahmouni (Ingénierie des Systèmes d Inf., 2016)

Model driven secure web applications: the SeWAT platform. - Akram Idani (ECBS, 2017)

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. - Abderrahim Ait Wakrime; Rahma Ben Ayed; Simon Collart Dutilleul; Yves Ledru; Akram Idani (MEDI, 2018)

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 (FMICS, 2019)

Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation. - Akram Idani; Yves Ledru; Abderrahim Ait Wakrime; Rahma Ben Ayed; Philippe Bon (RSSRail, 2019)

A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. - Yves Ledru; Akram Idani; Rahma Ben Ayed; Abderrahim Ait Wakrime; Philippe Bon (RSSRail, 2019)

Applying Formal Reasoning to Model Transformation: The Meeduse solution. - Akram Idani; Germán Vega; Michael Leuschel (TTC@STAF, 2019)

Dependability of Model-Driven Executable DSLs - Critical Review and Solutions. - Akram Idani (ECSA Companion, 2020)

Merging Railway Standard Notations in a Formal DSL-Based Framework. - Asfand Yar; Akram Idani; Simon Collart Dutilleul (ECSA Companion, 2020)

Meeduse: A Tool to Build and Run Proved DSLs. - Akram Idani (IFM, 2020)

Towards a model driven formal approach for merging data, access control and business processes. - Akram Idani; Mario Cortes Cornax (MoDELS (Companion), 2020)

Alliance of model-driven engineering with a proof-based formal approach. - Akram Idani; Yves Ledru; Germán Vega (Innov. Syst. Softw. Eng., 2020)

A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs. - Akram Idani (ESSE, 2021)

Revisiting Ontology Evolution Patterns - A Formal xDSL Approach. - Akram Idani; Rim Djedidi; Germán Vega (MEDI Workshops, 2022)

Visual animation of B specifications using executable DSLs. - Asfand Yar; Akram Idani; Yves Ledru; Simon Collart Dutilleul (MoDELS (Companion), 2022)

The B Method Meets MDE: Review, Progress and Future. - Akram Idani (RCIS, 2022)

Formal model-driven executable DSLs. - Akram Idani (Innov. Syst. Softw. Eng., 2022)

Formal Model Driven Engineering. (Ingénierie Formelle Dirigée par les Modèles). - Akram Idani (2023)

A Formal MDE Framework for Inter-DSL Collaboration. - Salim Chehida; Akram Idani; Mario Cortes Cornax; Germán Vega (COORDINATION, 2023)

A Process-Centric Approach to Insider Threats Identification in Information Systems. - Akram Idani; Yves Ledru; Germán Vega (CRiSIS, 2023)

An Iterative Formal Model-Driven Approach to Railway Systems Validation. - Asfand Yar; Akram Idani; Yves Ledru; Simon Collart Dutilleul; Amel Mammar; Germán Vega (ICECCS, 2024)

Transpilation of Petri-nets into B - Shallow and Deep Embeddings. - Akram Idani (ABZ, 2024)

Formal model-driven security combining B-method and process algebra. - Akram Idani; Yves Ledru; Germán Vega (Innov. Syst. Softw. Eng., 2025)