Modeling Semantic Data Concepts with VDM. - Regine Laleau; Philippe Facon (SEKE, 1993)

An Algorithm for IS_A Hierarchy Derivation. - Nadira Lammari; Regine Laleau; Mireille Jouve; Xavier Castellani (OOIS, 1994)

Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?. - Philippe Facon; Regine Laleau (INFORSID, 1995)

Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données. - Regine Laleau; Nassim Hadj Rabia (INFORSID, 1995)

Deriving Normalized Is_a Hierarchies by Using Applicability Constraints. - Nadira Lammari; Regine Laleau; Mireille Jouve; Xavier Castellani (CAiSE, 1996)

Processus d'optimisation conceptuelle d'un schéma orienté-objet. - Nadira Lammari; Regine Laleau; Mireille Jouve (Obj. Logiciel Base données Réseaux, 1999)

On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications. - Regine Laleau (ICEIS, 2000)

An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. - Régine Laleau; Amel Mammar (ASE, 2000)

A Generic Process to Refine a B Specification into a Relational Database Implementation. - Régine Laleau; Amel Mammar (ZB, 2000)

A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. - Regine Laleau; Fiona Polack (CAiSE, 2001)

Specification of integrity-preserving operations in information systems by using a formal UML-based language. - Regine Laleau; Fiona Polack (Inf. Softw. Technol., 2001)

Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. - Regine Laleau; Fiona Polack (ZB, 2002)

Design of an Automatic Prover Dedicated to the Refinement of Database Applications. - Amel Mammar; Régine Laleau (FME, 2003)

Reuse of Specification Patterns with the B Method. - Sandrine Blazy; Frédéric Gervais; Régine Laleau (ZB, 2003)

Proving Event Ordering Properties for Information Systems. - Marc Frappier; Régine Laleau (ZB, 2003)

Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. - Xiaocheng Ge; Fiona Polack; Régine Laleau (CAiSE, 2004)

How to Verify Dynamic Properties of Information Systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (SEFM, 2004)

Synthesizing B Specifications from EB3 Attribute Definitions. - Frédéric Gervais; Marc Frappier; Régine Laleau (IFM, 2005)

Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. - Frédéric Gervais; Marc Frappier; Régine Laleau (SEFM, 2005)

How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? - Frédéric Gervais; Marc Frappier; Régine Laleau (MSVVEIS, 2005)

State-based versus event-based specifications for information systems: a comparison of B and eb3. - Benoît Fraikin; Marc Frappier; Régine Laleau (Softw. Syst. Model., 2005)

Preface. - Régine Laleau; Michel Lemoine (ReMo2V, 2006)

An attempt to combine UML and formal methods to model airport security. - Yves Ledru; Régine Laleau; Michel Lemoine; Sylvie Vignes; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (CAiSE Forum, 2006)

EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. - Frédéric Gervais; Panawé Batanado; Marc Frappier; Régine Laleau (ICEIS (3), 2006)

Systematic Identification of Preconditions from Set-Based Integrity Constraints. - Amel Mammar; Frédéric Gervais; Régine Laleau (INFORSID, 2006)

A formal approach based on UML and B for the specification and development of database applications. - Amel Mammar; Régine Laleau (Autom. Softw. Eng., 2006)

From a B formal specification to an executable code: application to the relational database domain. - Amel Mammar; Régine Laleau (Inf. Softw. Technol., 2006)

UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. - Amel Mammar; Régine Laleau (J. Database Manag., 2006)

Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. - Régine Laleau; Sylvie Vignes; Yves Ledru; Michel Lemoine; Didier Bert; Véronique Donzeau-Gouge; Catherine Dubois; Fabien Peureux (Softw. Process. Improv. Pract., 2006)

Refinement of eb3 Process Patterns into B Specifications. - Frédéric Gervais; Marc Frappier; Régine Laleau (B, 2007)

Synthesizing Information Systems: the APIS Project. - Marc Frappier; Benoît Fraikin; Frédéric Gervais; Régine Laleau; Mario Richard (RCIS, 2007)

Using Computer Science Modeling Techniques for Airport Security Certification. - Régine Laleau; Yves Ledru; Didier Bert; Fabrice Bouquet; Michel Lemoine; Catherine Dubois; Véronique Donzeau-Gouge; Sylvie Vignes (RCIS, 2007)

A First Attempt to Express KAOS Refinement Patterns with Event B. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (ABZ, 2008)

Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. - Farida Semmak; Christophe Gnaho; Régine Laleau (MoDISE-EUS, 2008)

Using Variants in KAOS Goal Modelling. - Joël Brunet; Farida Semmak; Régine Laleau; Christophe Gnaho (ICEIS (3-2), 2008)

Using formal metamodels to check consistency of functional views in information systems specification. - Régine Laleau; Fiona Polack (Inf. Softw. Technol., 2008)

Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. - Yves Ledru; Régine Laleau; Sylvie Vignes (Ingénierie des Systèmes d Inf., 2008)

Extending statecharts with process algebra operators. - Marc Frappier; Frédéric Gervais; Régine Laleau; Benoît Fraikin; Richard St-Denis (Innov. Syst. Softw. Eng., 2008)

Applying CSP || B to information systems. - Neil Evans; Helen Treharne; Régine Laleau; Marc Frappier (Softw. Syst. Model., 2008)

Implémentation JAVA d'une spAcification B. Application aux bases de données. - Amel Mammar; Régine Laleau (Tech. Sci. Informatiques, 2008)

UB2SQL. - Amel Mammar; Régine Laleau (Database Technologies: Concepts, Methodologies, Tools, and Applications, 2009)

How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle. - Farida Semmak; Christophe Gnaho; Joël Brunet; Régine Laleau (ENASE, 2009)

Extended KAOS Method to Model Variability in Requirements. - Farida Semmak; Christophe Gnaho; Régine Laleau (ENASE (Selected Papers), 2009)

Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. - Pierre Konopacki; Marc Frappier; Régine Laleau (INFORSID, 2009)

Supporting Variability in Goal-based Requirements. - Farida Semmak; Régine Laleau; Christophe Gnaho (RCIS, 2009)

A Tool for Modelling Variability at Goal Level. - Farida Semmak; Christophe Gnaho; Régine Laleau (VaMoS, 2009)

Generating relational database transactions from eb3 attribute definitions. - Frédéric Gervais; Marc Frappier; Régine Laleau (Softw. Syst. Model., 2009)

Model-driven Engineering of Functional Security Policies. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (ICEIS (3), 2010)

Systematic Translation Rules from astd to Event-B. - Jérémy Milhau; Marc Frappier; Frédéric Gervais; Régine Laleau (IFM, 2010)

Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (SBMF, 2010)

From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Régine Laleau; Richard St-Denis (WISE Workshops, 2010)

Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB3SEC. - Pierre Konopacki; Marc Frappier; Régine Laleau (Ingénierie des Systèmes d Inf., 2010)

A first attempt to combine SysML requirements diagrams and B. - Régine Laleau; Farida Semmak; Abderrahman Matoussi; Dorian Petit; Ahmed Hammad; Bruno Tatibouët (Innov. Syst. Softw. Eng., 2010)

Expressing Access Control Policies with an Event-Based Approach. - Pierre Konopacki; Marc Frappier; Régine Laleau (CAiSE Workshops, 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 (CAiSE Workshops, 2011)

A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Régine Laleau; Richard St-Denis (FPS, 2011)

Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. - Pierre Konopacki; Hakim Belhaouari; Marc Frappier; Régine Laleau (FPS, 2011)

A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. - Jérémy Milhau; Marc Frappier; Régine Laleau (FPS, 2011)

A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. - Abderrahman Matoussi; Frédéric Gervais; Régine Laleau (ICECCS, 2011)

Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B . - Abderrahman Matoussi; Régine Laleau (INFORSID, 2011)

A Four-concern-oriented Secure IS Development Approach. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Pierre Konopacki; Régine Laleau; Jérémy Milhau; Richard St-Denis (SECRYPT, 2011)

Introduction. - Brigitte Grau; Régine Laleau; Jean-Yves Ramel (Document Numérique, 2011)

Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. - Michel Embe Jiague; Marc Frappier; Frédéric Gervais; Régine Laleau; Richard St-Denis (Int. J. Syst. Serv. Oriented Eng., 2011)

Éditorial. - Régine Laleau (Ingénierie des Systèmes d Inf., 2011)

Un outil de construction de spécifications abstraites Event-B dirigée par les buts. - Abderrahman Matoussi; Régine Laleau (Ingénierie des Systèmes d Inf., 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)

A Design by Contract Approach to Verify Access Control Policies. - Hakim Ferrier-Belhaouari; Pierre Konopacki; Régine Laleau; Marc Frappier (ICECCS, 2012)

Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B. - Abderrahman Matoussi; Régine Laleau (Ingénierie des Systèmes d Inf., 2012)

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. - Manzoor Ahmad; Jean-Michel Bruel; Régine Laleau; Christophe Gnaho (ANT/MobiWIS, 2012)

Refinement patterns for ASTD. - Jérémy Milhau; Frédéric Gervais; Régine Laleau; Marc Frappier (ACM SIGSOFT Softw. Eng. Notes, 2012)

Modeling the Impact of Non-functional Requirements on Functional Requirements. - Christophe Gnaho; Farida Semmak; Régine Laleau (ER Workshops, 2013)

An overview of a SysML extension for goal-oriented NFR modelling: Poster paper. - Christophe Gnaho; Farida Semmak; Regine Laleau (RCIS, 2013)

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. - Marc Frappier; Uwe Glässer; Sarfraz Khurshid; Régine Laleau; Steve Reeves (Sci. Comput. Program., 2013)

A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. - Amel Mammar; Régine Laleau (APSEC (1), 2014)

Validating the RBAC ANSI 2012 Standard Using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (ABZ, 2014)

Refinement patterns for ASTDs. - Marc Frappier; Frédéric Gervais; Régine Laleau; Jérémy Milhau (Formal Aspects Comput., 2014)

Introduction. - Nadira Lammari; Nora Cuppens-Boulahia; Régine Laleau (Ingénierie des Systèmes d Inf., 2014)

Formal refinement of extended state machines. - Thomas Fayolle; Marc Frappier; Régine Laleau; Frédéric Gervais (Refine@FM, 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)

Introduction. - Catherine Dubois; Régine Laleau (Tech. Sci. Informatiques, 2015)

Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. - Thomas Fayolle; Marc Frappier; Frédéric Gervais; Régine Laleau (ABZ, 2016)

Formal Development of a Secure Access Control Filter. - Amel Mammar; Thi Mai Nguyen; Régine Laleau (HASE, 2016)

On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. - Amel Mammar; Régine Laleau (ISoLA (1), 2016)

SGAC: A patient-centered access control method. - Nghi Huynh; Marc Frappier; Herman Pooda; Amel Mammar; Regine Laleau (RCIS, 2016)

A tool for the generation of a secure access control filter. - Thi Mai Nguyen; Amel Mammar; Regine Laleau; Samir Hameg (RCIS, 2016)

A formal validation of the RBAC ANSI 2012 standard using B. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau; Jules Desharnais (Sci. Comput. Program., 2016)

Verification of SGAC Access Control Policies Using Alloy and ProB. - Nghi Huynh; Marc Frappier; Amel Mammar; Régine Laleau (HASE, 2017)

Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. - Steve Tueno; Regine Laleau; Amel Mammar; Marc Frappier (RE Workshops, 2017)

The SysML/KAOS Domain Modeling Approach. - Steve Tueno; Régine Laleau; Amel Mammar; Marc Frappier (CoRR, 2017)

Formal Representation of SysML/KAOS Domain Model (Complete Version). - Steve Tueno; Régine Laleau; Amel Mammar; Marc Frappier (CoRR, 2017)

A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. - Amel Mammar; Thi Mai Nguyen; Régine Laleau (Inf. Softw. Technol., 2017)

Modeling a landing gear system in Event-B. - Amel Mammar; Régine Laleau (Int. J. Softw. Tools Technol. Transf., 2017)

Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. - Steve Jeffrey Tueno Fotso; Amel Mammar; Régine Laleau; Marc Frappier (ABZ, 2018)

An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. - Amel Mammar; Marc Frappier; Steve Jeffrey Tueno Fotso; Régine Laleau (ABZ, 2018)

Back Propagating B System Updates on SysML/KAOS Domain Models. - Steve Jeffrey Tueno Fotso; Marc Frappier; Regine Laleau; Amel Mammar (ICECCS, 2018)

How to handle environmental uncertainty in goal-based requirements engineering. - Manzoor Ahmad; Christophe Gnaho; Jean-Michel Bruel; Régine Laleau (ICSE (Companion Volume), 2018)

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. - Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar; Michael Leuschel (IFM, 2018)

Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. - Manzoor Ahmad; Christophe Gnaho; Jean-Michel Bruel; Régine Laleau (MEDI Workshops, 2018)

From SysML/KAOS Domain Models to B System Specifications. - Steve Jeffrey Tueno Fotso; Marc Frappier; Amel Mammar; Régine Laleau (CoRR, 2018)

The Generic SysML/KAOS Domain Metamodel. - Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar; Héctor Ruíz Barradas (CoRR, 2018)

Assessment of a Formal Requirements Modeling Approach on a Transportation System. - Steve Jeffrey Tueno Fotso; Régine Laleau; Marc Frappier; Amel Mammar; Francois Thibodeau; Mama Nsangou Mouchili (ICFEM, 2019)

A Formal Requirements Modeling Approach: Application to Rail Communication. - Steve Jeffrey Tueno Fotso; Régine Laleau; Héctor Ruíz Barradas; Marc Frappier; Amel Mammar (ICSOFT, 2019)

FormReq@RE2019 Preface. - Sophie Ebersold; Régine Laleau; Manuel Mazzara (RE Workshops, 2019)

SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. - Nghi Huynh; Marc Frappier; Herman Pooda; Amel Mammar; Régine Laleau (Comput. J., 2019)

Modelling Hybrid Programs with Event-B. - Meryem Afendi; Régine Laleau; Amel Mammar (ABZ, 2020)

Formal Requirements Modeling and Verification for Critical Systems. - Régine Laleau (ICEIS (1), 2020)

Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. - Steve Jeffrey Tueno Fotso; Marc Frappier; Régine Laleau; Amel Mammar (Int. J. Softw. Tools Technol. Transf., 2020)

A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. - Amel Mammar; Marc Frappier; Steve Jeffrey Tueno Fotso; Régine Laleau (Int. J. Softw. Tools Technol. Transf., 2020)

Towards Leveraging Domain Knowledge in State-Based Formal Methods. - Yamine Aït Ameur; Régine Laleau; Dominique Méry; Neeraj Kumar Singh 001 (Logic, Computation and Rigorous Methods, 2021)

Welcome from the Organizers FormReq 2021. - Sophie Ebersold; Régine Laleau; Manuel Mazzara (RE Workshops, 2021)

Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. - Racem Bougacha; Régine Laleau; Philippe Bon; Simon Collart Dutilleul; Rahma Ben Ayed (CRiSIS, 2022)

Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. - Meryem Afendi; Amel Mammar; Régine Laleau (ICECCS, 2022)

Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. - Racem Bougacha; Régine Laleau; Simon Collart Dutilleul; Rahma Ben Ayed (TASE, 2022)

Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. - Amel Mammar; Meryem Afendi; Régine Laleau (Sci. Comput. Program., 2022)

Formal alignment of requirements models with high-level architecture models. - Racem Bougacha; Régine Laleau; Simon Collart Dutilleul (ICECCS, 2023)

A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. - Meryem Afendi; Amel Mammar; Régine Laleau (ICSOFT, 2023)

Modeling and Verification of Solidity Smart Contracts with the B Method. - Fayçal Baba; Amel Mammar; Marc Frappier; Régine Laleau (ICECCS, 2024)

Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. - Catalin Dima; Mariem Hammami; Youssouf Oualhadj; Régine Laleau (ICFEM, 2024)

Securing Automatic Small Railway Vehicles Using Automatic Train Protection. - Simon Collart Dutilleul; Philippe Bon; Régine Laleau (ISoLA (5), 2024)

An Event-B model of an automotive adaptive exterior light system. - Amel Mammar; Marc Frappier; Régine Laleau (Int. J. Softw. Tools Technol. Transf., 2024)