Akram Idani

According to our database, Akram Idani authored at least 50 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Formal MDE Framework for Inter-DSL Collaboration.

Salim Chehida, Akram Idani, Mario Cortes Cornax, Germán Vega

Proceedings of the Coordination Models and Languages, 2023

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

Akram Idani

, 2023

2022

Formal model-driven executable DSLs.

Akram Idani

Innov. Syst. Softw. Eng., 2022

The B Method Meets MDE: Review, Progress and Future.

Akram Idani

Proceedings of the Research Challenges in Information Science, 2022

Visual animation of B specifications using executable DSLs.

Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Revisiting Ontology Evolution Patterns - A Formal xDSL Approach.

Akram Idani, Rim Djedidi, Germán Vega

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2022

2021

A Lightweight Development of Outbreak Prevention Strategies Built on Formal Methods and xDSLs.

Akram Idani

Proceedings of the ESSE 2021: 2nd European Symposium on Software Engineering, Larissa, Greece, November 19, 2021

2020

Alliance of model-driven engineering with a proof-based formal approach.

Akram Idani, Yves Ledru, Germán Vega

Innov. Syst. Softw. Eng., 2020

Towards a model driven formal approach for merging data, access control and business processes.

Akram Idani, Mario Cortes Cornax

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Meeduse: A Tool to Build and Run Proved DSLs.

Akram Idani

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Merging Railway Standard Notations in a Formal DSL-Based Framework.

Asfand Yar, Akram Idani, Simon Collart Dutilleul

Proceedings of the Software Architecture - 14th European Conference, 2020

Dependability of Model-Driven Executable DSLs - Critical Review and Solutions.

Akram Idani

Proceedings of the Software Architecture - 14th European Conference, 2020

2019

Applying Formal Reasoning to Model Transformation: The Meeduse solution.

Akram Idani, Germán Vega, Michael Leuschel

Proceedings of the 12th Transformation Tool Contest, 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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 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

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2019

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2019

2018

Formalizing Railway Signaling System ERTMS/ETCS Using UML/Event-B.

Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul, Yves Ledru, Akram Idani

Proceedings of the Model and Data Engineering - 8th International Conference, 2018

2017

Model driven secure web applications: the SeWAT platform.

Akram Idani

Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 2017

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

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

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

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

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

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

Extensions du diagramme d'activité pour contrôler l'accès au SI.

Salim Chehida, Akram Idani, Yves Ledru, Mustapha Kamel Rahmouni

Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015

Validation of a Security Policy by the Test of Its Formal B Specification - A Case Study.

Yves Ledru, Akram Idani, Jean-Luc Richier

Proceedings of the 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, 2015

B for Modeling Secure Information Systems - The B4MSecure Platform.

Akram Idani, Yves Ledru

Proceedings of the Formal Methods and Software Engineering, 2015

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

When a Formal Model Rhymes with a Graphical Notation.

Akram Idani, Nicolas Stouls

Proceedings of the Software Engineering and Formal Methods, 2014

B Formal Validation of ERTMS/ETCS Railway Operating Rules.

Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

Extraction of Insider Attack Scenarios from a Formal Information System Modeling.

Amira Radhouani, Akram Idani, Yves Ledru, Narjes Ben Rajeb

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

2013

A Rigorous Reasoning about Model Transformations Using the B Method.

Akram Idani, Yves Ledru, Adil Anwar

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

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

Validation of security policies by the animation of Z specifications.

Yves Ledru, Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Validation of Security-Design Models Using Z.

Nafees Qamar, Yves Ledru, Akram Idani

Proceedings of the Formal Methods and Software Engineering, 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

Proceedings of the Advanced Information Systems Engineering Workshops, 2011

Evaluating RBAC Supported Techniques and their Validation and Verification.

Nafees Qamar, Yves Ledru, Akram Idani

Proceedings of the Sixth International Conference on Availability, 2011

2010

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

2009

Linking Paradigms in Safety Critical Systems.

Akram Idani, Jean-Louis Boulanger, Laurent Philippe

Int. J. Comput. Their Appl., 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

Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009

UML Models Engineering from Static and Dynamic Aspects of Formal Specifications.

Akram Idani

Proceedings of the Enterprise, 2009

2008

Towards Reverse-Engineering of UML Views from Structured Formal Developments.

Akram Idani, Bernard Coulette

Proceedings of the ICEIS 2008, 2008

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

Commandments of UML for Safety.

Akram Idani, Dieu Donné Okalas Ossami, Jean-Louis Boulanger

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.

Akram Idani, Jean-Louis Boulanger, Laurent Philippe

Proceedings of the ISCA 20th International Conference on Computer Applications in Industry and Engineering, 2007

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

PhD thesis, 2006

Dynamic graphical UML views from formal B specifications.

Akram Idani, Yves Ledru

Inf. Softw. Technol., 2006

A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams.

Akram Idani, Yves Ledru, Didier Bert

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Couplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information.

Akram Idani

Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

2005

Derivation of UML Class Diagrams as Static Views of Formal B Developments.

Akram Idani, Yves Ledru, Didier Bert

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Object Oriented Concepts Identification from Formal B Specifications.

Akram Idani, Yves Ledru

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004