| 2024 | ICECCS | Modeling and Verification of Solidity Smart Contracts with the B Method. | Fayal Baba, Amel Mammar, Marc Frappier, Rgine Laleau |
| 2024 | ICFEM | Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. | Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Rgine Laleau |
| 2024 | ISoLA | Securing Automatic Small Railway Vehicles Using Automatic Train Protection. | Simon Collart Dutilleul, Philippe Bon, Rgine Laleau |
| 2023 | ICECCS | Formal alignment of requirements models with high-level architecture models. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul |
| 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 | CRiSIS | Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. | Racem Bougacha, Rgine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed |
| 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 |
| 2022 | TASE | Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. | Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed |
| 2021 | RE | Welcome from the Organizers FormReq 2021. | Sophie Ebersold, Rgine Laleau, Manuel Mazzara |
| 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 |
| 2019 | RE | FormReq@RE2019 Preface. | Sophie Ebersold, Rgine Laleau, Manuel Mazzara |
| 2018 | ICSE | How to handle environmental uncertainty in goal-based requirements engineering. | Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Rgine Laleau |
| 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 |
| 2018 | MEDI | Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. | Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Rgine Laleau |
| 2016 | ISoLA | On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. | Amel Mammar, Rgine Laleau |
| 2014 | APSEC | A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. | Amel Mammar, Rgine Laleau |
| 2013 | ER | Modeling the Impact of Non-functional Requirements on Functional Requirements. | Christophe Gnaho, Farida Semmak, Rgine Laleau |
| 2012 | ICECCS | A Design by Contract Approach to Verify Access Control Policies. | Hakim Ferrier-Belhaouari, Pierre Konopacki, Rgine Laleau, Marc Frappier |
| 2011 | CaiSE | Expressing Access Control Policies with an Event-Based Approach. | Pierre Konopacki, Marc Frappier, Rgine Laleau |
| 2011 | CaiSE | Taking into Account Functional Models in the Validation of IS Security Policies. | Yves Ledru, Akram Idani, Jrmy Milhau, Nafees Qamar, Rgine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh |
| 2011 | ICECCS | A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. | Abderrahman Matoussi, Frdric Gervais, Rgine Laleau |
| 2011 | SECRYPT | A Four-concern-oriented Secure IS Development Approach. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Pierre Konopacki, Rgine Laleau, Jrmy Milhau, Richard St-Denis |
| 2010 | IFM | Systematic Translation Rules from astd to Event-B. | Jrmy Milhau, Marc Frappier, Frdric Gervais, Rgine Laleau |
| 2010 | WISE | From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. | Michel Embe Jiague, Marc Frappier, Frdric Gervais, Rgine Laleau, Richard St-Denis |
| 2009 | ENASE | How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle. | Farida Semmak, Christophe Gnaho, Jol Brunet, Rgine Laleau |
| 2009 | ENASE | Extended KAOS Method to Model Variability in Requirements. | Farida Semmak, Christophe Gnaho, Rgine Laleau |
| 2009 | RCIS | Supporting Variability in Goal-based Requirements. | Farida Semmak, Rgine Laleau, Christophe Gnaho |
| 2008 | CaiSE | Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. | Farida Semmak, Christophe Gnaho, Rgine Laleau |
| 2007 | RCIS | Synthesizing Information Systems: the APIS Project. | Marc Frappier, Benot Fraikin, Frdric Gervais, Rgine Laleau, Mario Richard |
| 2007 | RCIS | Using Computer Science Modeling Techniques for Airport Security Certification. | Rgine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Vronique Donzeau-Gouge, Sylvie Vignes |
| 2006 | CaiSE | Preface. | Rgine Laleau, Michel Lemoine |
| 2006 | CaiSE | An attempt to combine UML and formal methods to model airport security. | Yves Ledru, Rgine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Vronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux |
| 2005 | IFM | Synthesizing B Specifications from EB | Frdric Gervais, Marc Frappier, Rgine Laleau |
| 2005 | SEFM | Generating Relational Database Transactions From Recursive Functions Defined on EB | Frdric Gervais, Marc Frappier, Rgine Laleau |
| 2004 | CaiSE | Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. | Xiaocheng Ge, Fiona Polack, Rgine Laleau |
| 2004 | SEFM | How to Verify Dynamic Properties of Information Systems. | Neil Evans, Helen Treharne, Rgine Laleau, Marc Frappier |
| 2003 | FM | Design of an Automatic Prover Dedicated to the Refinement of Database Applications. | Amel Mammar, Rgine Laleau |