Akram Idani

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 21

Top Venues

Innov. Syst. Softw. Eng.

RSSRail

MoDELS (Companion)

ABZ

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Akram Idani
Transpilation of Petri-nets into B - Shallow and Deep Embeddings. ABZ (2024)
Akram Idani, Yves Ledru, Germán Vega
A Process-Centric Approach to Insider Threats Identification in Information Systems. CRiSIS (2023)
Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega
A Formal MDE Framework for Inter-DSL Collaboration. COORDINATION (2023)
Akram Idani
Formal model-driven executable DSLs. Innov. Syst. Softw. Eng. 18 (4) (2022)
Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul
Visual animation of B specifications using executable DSLs. MoDELS (Companion) (2022)
Akram Idani, Rim Djedidi, Germán Vega
Revisiting Ontology Evolution Patterns - A Formal xDSL Approach. MEDI Workshops (2022)
Akram Idani
The B Method Meets MDE: Review, Progress and Future. RCIS (2022)
Akram Idani
A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs. ESSE (2021)
Asfand Yar, Akram Idani, Simon Collart Dutilleul
Merging Railway Standard Notations in a Formal DSL-Based Framework. ECSA Companion (2020)
Akram Idani, Yves Ledru, Germán Vega
Alliance of model-driven engineering with a proof-based formal approach. Innov. Syst. Softw. Eng. 16 (3) (2020)
Akram Idani, Mario Cortes Cornax
Towards a model driven formal approach for merging data, access control and business processes. MoDELS (Companion) (2020)
Akram Idani
Dependability of Model-Driven Executable DSLs - Critical Review and Solutions. ECSA Companion (2020)
Akram Idani
Meeduse: A Tool to Build and Run Proved DSLs. IFM (2020)
Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. FMICS (2019)
Akram Idani, Germán Vega, Michael Leuschel
Applying Formal Reasoning to Model Transformation: The Meeduse solution. TTC@STAF (2019)
Yves Ledru, Akram Idani, Rahma Ben Ayed, Abderrahim Ait Wakrime, Philippe Bon
A Separation of Concerns Approach for the Verified Modelling of Railway Signalling Rules. RSSRail (2019)
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. RSSRail (2019)
Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani
Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B. MEDI (2018)
Akram Idani
Model driven secure web applications: the SeWAT platform. ECBS (2017)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Combining UML and B for the specification and validation of RBAC policies in business process activities. RCIS (2016)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Extensions du diagramme d'activité pour la spécification de politiques RBAC. Ingénierie des Systèmes d Inf. 21 (2) (2016)
Yves Ledru, Akram Idani, Jean-Luc Richier
Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study. FormaliSE@ICSE (2015)
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Akram Idani, Yves Ledru
B for Modeling Secure Information Systems - The B4MSecure Platform. ICFEM (2015)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani
Formalismes basés sur les rôles pour la modélisation et la validation des règles d'exploitation ferroviaires. Tech. Sci. Informatiques 34 (5) (2015)
Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni
Extensions du diagramme d'activité pour contrôler l'accès au SI. INFORSID (2015)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of IS Security Policies Featuring Authorisation Constraints. Int. J. Inf. Syst. Model. Des. 6 (1) (2015)
Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru
B Formal Validation of ERTMS/ETCS Railway Operating Rules. ABZ (2014)
Akram Idani, Yves Ledru, Amira Radhouani
Modélisation graphique et validation formelle de politiques RBAC en systèmes d'information. Plateforme B4MSecure. Ingénierie des Systèmes d Inf. 19 (6) (2014)
Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb
Extraction of Insider Attack Scenarios from a Formal Information System Modeling. FMS @ Petri Nets (2014)
Akram Idani, Nicolas Stouls
When a Formal Model Rhymes with a Graphical Notation. SEFM Workshops (2014)
Akram Idani, Yves Ledru, Adil Anwar
A Rigorous Reasoning about Model Transformations Using the B Method. BMMDS/EMMSAD (2013)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops (2011)
Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier
Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng. 7 (4) (2011)
Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of security policies by the animation of Z specifications. SACMAT (2011)
Nafees Qamar, Yves Ledru, Akram Idani
Evaluating RBAC Supported Techniques and their Validation and Verification. ARES (2011)
Nafees Qamar, Yves Ledru, Akram Idani
Validation of Security-Design Models Using Z. ICFEM (2011)
Akram Idani, Mohamed-Amine Labiadh, Yves Ledru
Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Ingénierie des Systèmes d Inf. 15 (3) (2010)
Akram Idani
UML Models Engineering from Static and Dynamic Aspects of Formal Specifications. BMMDS/EMMSAD (2009)
Akram Idani, Yves Ledru, Mohamed-Amine Labiadh
Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. INFORSID (2009)
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
Linking Paradigms in Safety Critical Systems. Int. J. Comput. Their Appl. 16 (2) (2009)
Akram Idani, Bernard Coulette
Towards Reverse-Engineering of UML Views from Structured Formal Developments. ICEIS (3-1) (2008)
Akram Idani, Yves Ledru
Object oriented concepts identification from formal B specifications. Formal Methods Syst. Des. 30 (3) (2007)
Akram Idani, Yves Ledru, Didier Bert
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. Tech. Sci. Informatiques 26 (7) (2007)
Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger
Commandments of UML for Safety. ICSEA (2007)
Akram Idani, Jean-Louis Boulanger, Laurent Philippe
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems. CAINE (2007)
Akram Idani
Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information. INFORSID (2006)
Akram Idani, Yves Ledru
Dynamic graphical UML views from formal B specifications. Inf. Softw. Technol. 48 (3) (2006)
Akram Idani, Yves Ledru, Didier Bert
A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW (2006)
Akram Idani, Yves Ledru
Object Oriented Concepts Identification from Formal B Specifications. Electron. Notes Theor. Comput. Sci. 133 (2005)
Akram Idani, Yves Ledru, Didier Bert
Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM (2005)

Akram Idani.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Akram Idani