| 2025 | SEFM | A Rodin Plugin for Generating Proof Obligations for Invariant Preservation for ASTDs. | Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2024 | ICECCS | Modeling and Verification of Solidity Smart Contracts with the B Method. | Fayal Baba, Amel Mammar, Marc Frappier, Rgine Laleau |
| 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 | ICFEM | Proving Local Invariants in ASTDs. | Quelen Cartellier, Marc Frappier, Amel Mammar |
| 2023 | ICSoft | A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. | Meryem Afendi, Amel Mammar, Rgine Laleau |
| 2022 | ICECCS | Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. | Meryem Afendi, Amel Mammar, Rgine Laleau |
| 2020 | AINA | Intrusion Detection Using ASTDs. | Lionel N. Tidjon, Marc Frappier, Amel Mammar |
| 2019 | ICFEM | Assessment of a Formal Requirements Modeling Approach on a Transportation System. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili |
| 2019 | ICSoft | A Formal Requirements Modeling Approach: Application to Rail Communication. | Steve Jeffrey Tueno Fotso, Rgine Laleau, Hctor Ruz Barradas, Marc Frappier, Amel Mammar |
| 2018 | ICECCS | Back Propagating B System Updates on SysML/KAOS Domain Models. | Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar |
| 2018 | ICECCS | Extended Algebraic State-Transition Diagrams. | Lionel N. Tidjon, Marc Frappier, Michael Leuschel, Amel Mammar |
| 2018 | IFM | Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. | Steve Jeffrey Tueno Fotso, Marc Frappier, Rgine Laleau, Amel Mammar, Michael Leuschel |
| 2017 | RE | Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. | Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier |
| 2016 | AINA | Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | ICSOC | A Formal Guidance Approach for Correct Process Configuration. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | ICWS | An Event-B Based Approach for Ensuring Correct Configurable Business Processes. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | ISoLA | On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. | Amel Mammar, Rgine Laleau |
| 2016 | RCIS | SGAC: A patient-centered access control method. | Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau |
| 2016 | RCIS | A tool for the generation of a secure access control filter. | Thi Mai Nguyen, Amel Mammar, Regine Laleau, Samir Hameg |
| 2014 | APSEC | A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. | Amel Mammar, Rgine Laleau |
| 2014 | ICECCS | A Behavior-Aware Systematic Approach for Merging Business Process Fragments. | Mohamed Anis Zemni, Amel Mammar, Nejib Ben Hadj-Alouane |
| 2014 | SEFM | A Tool for Verifying Dynamic Properties in B. | Fama Diagne, Amel Mammar, Marc Frappier |
| 2013 | IIWAS | Process Decomposition Based on Semantics and Privacy-Aware Requirements-Driven Approach. | Mohamed Anis Zemni, Nejib Ben Hadj-Alouane, Amel Mammar |
| 2012 | ISSRE | An Assertions-Based Approach to Verifying the Absence Property Pattern. | Marc Frappier, Amel Mammar |
| 2011 | APSEC | Proving Non-interference on Reachability Properties: A Refinement Approach. | Marc Frappier, Amel Mammar |
| 2011 | ESORICS | Using Requirements Engineering in an Automatic Security Policy Derivation Process. | Mariem Graa, Nora Cuppens-Boulahia, Fabien Autrel, Hanieh Azkia, Frdric Cuppens, Gouenou Coatrieux, Ana R. Cavalli, Amel Mammar |
| 2011 | SAC | An overview of a proof-based approach to detecting C vulnerabilities. | Amel Mammar |
| 2011 | SAC | A proof-based approach to verifying reachability properties. | Amel Mammar, Marc Frappier, Fama Diagne |
| 2009 | APSEC | A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification. | Wissam Mallouli, Amel Mammar, Ana R. Cavalli |
| 2006 | SAC | A formal framework to generate XPDL specifications from UML activity diagrams. | Nicolas Guelfi, Amel Mammar |
| 2005 | APSEC | A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. | Nicolas Guelfi, Amel Mammar |
| 2005 | CaiSE | Efficient: A Toolset for Building Trusted B2B Transactions. | Amel Mammar, Sophie Ramel, Bertrand Grgoire, Michael Schmitt, Nicolas Guelfi |
| 2003 | FM | Design of an Automatic Prover Dedicated to the Refinement of Database Applications. | Amel Mammar, Rgine Laleau |