Akram Idani - RankMe

59 papers B 5C 15Journal 15Unranked 21

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