Régine Laleau

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 35

Top Venues

ABZ

Int. J. Softw. Tools Technol. Transf.

CoRR

ICSOFT

Publications

Amel Mammar, Marc Frappier, Régine Laleau
An Event-B model of an automotive adaptive exterior light system. Int. J. Softw. Tools Technol. Transf. 26 (3) (2024)
Meryem Afendi, Amel Mammar, Régine Laleau
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. ICSOFT (2023)
Racem Bougacha, Régine Laleau, Simon Collart Dutilleul
Formal alignment of requirements models with high-level architecture models. ICECCS (2023)
Amel Mammar, Meryem Afendi, Régine Laleau
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. Sci. Comput. Program. 222 (2022)
Meryem Afendi, Amel Mammar, Régine Laleau
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. ICECCS (2022)
Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed
Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. CRiSIS (2022)
Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. TASE (2022)
Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods (2021)
Sophie Ebersold, Régine Laleau, Manuel Mazzara
Welcome from the Organizers FormReq 2021. RE Workshops (2021)
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Amel Mammar, Marc Frappier, Régine Laleau
An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ (2020)
Régine Laleau
Formal Requirements Modeling and Verification for Critical Systems. ICEIS (1) (2020)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Int. J. Softw. Tools Technol. Transf. 22 (3) (2020)
Meryem Afendi, Régine Laleau, Amel Mammar
Modelling Hybrid Programs with Event-B. ABZ (2020)
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Comput. J. 62 (12) (2019)
Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM (2019)
Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar
A Formal Requirements Modeling Approach: Application to Rail Communication. ICSOFT (2019)
Sophie Ebersold, Régine Laleau, Manuel Mazzara
FormReq@RE2019 Preface. RE Workshops (2019)
Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas
The Generic SysML/KAOS Domain Metamodel. CoRR (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau
From SysML/KAOS Domain Models to B System Specifications. CoRR (2018)
Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ (2018)
Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM (2018)
Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau
Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. MEDI Workshops (2018)
Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau
How to handle environmental uncertainty in goal-based requirements engineering. ICSE (Companion Volume) (2018)
Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
The SysML/KAOS Domain Modeling Approach. CoRR (2017)
Amel Mammar, Thi Mai Nguyen, Régine Laleau
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Inf. Softw. Technol. 92 (2017)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau
Verification of SGAC Access Control Policies Using Alloy and ProB. HASE (2017)
Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
Formal Representation of SysML/KAOS Domain Model (Complete Version). CoRR (2017)
Amel Mammar, Régine Laleau
Modeling a landing gear system in Event-B. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Amel Mammar, Thi Mai Nguyen, Régine Laleau
Formal Development of a Secure Access Control Filter. HASE (2016)
Amel Mammar, Régine Laleau
On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. ISoLA (1) (2016)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. 131 (2016)
Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. ABZ (2016)
Catherine Dubois, Régine Laleau
Introduction. Tech. Sci. Informatiques 34 (5) (2015)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Validation of IS Security Policies Featuring Authorisation Constraints. Int. J. Inf. Syst. Model. Des. 6 (1) (2015)
Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais
Formal refinement of extended state machines. Refine@FM (2015)
Amel Mammar, Régine Laleau
Modeling a Landing Gear System in Event-B. ABZ (Case Study) (2014)
Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau
Refinement patterns for ASTDs. Formal Aspects Comput. 26 (5) (2014)
Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
Validating the RBAC ANSI 2012 Standard Using B. ABZ (2014)
Nadira Lammari, Nora Cuppens-Boulahia, Régine Laleau
Introduction. Ingénierie des Systèmes d Inf. 19 (6) (2014)
Amel Mammar, Régine Laleau
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. APSEC (1) (2014)
Christophe Gnaho, Farida Semmak, Régine Laleau
Modeling the Impact of Non-functional Requirements on Functional Requirements. ER Workshops (2013)
Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78 (3) (2013)
Abderrahman Matoussi, Régine Laleau
Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B. Ingénierie des Systèmes d Inf. 17 (3) (2012)
Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier
A Design by Contract Approach to Verify Access Control Policies. ICECCS (2012)
Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. ANT/MobiWIS (2012)
Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier
Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Abderrahman Matoussi, Régine Laleau
Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B . INFORSID (2011)
Jérémy Milhau, Marc Frappier, Régine Laleau
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. FPS (2011)
Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh
Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops (2011)
Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier
Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng. 7 (4) (2011)
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. ICECCS (2011)
Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. Int. J. Syst. Serv. Oriented Eng. 2 (2) (2011)
Régine Laleau
Éditorial. Ingénierie des Systèmes d Inf. 16 (1) (2011)
Brigitte Grau, Régine Laleau, Jean-Yves Ramel
Introduction. Document Numérique 14 (2) (2011)
Pierre Konopacki, Marc Frappier, Régine Laleau
Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops (2011)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
A Four-concern-oriented Secure IS Development Approach. SECRYPT (2011)
Abderrahman Matoussi, Régine Laleau
Un outil de construction de spécifications abstraites Event-B dirigée par les buts. Ingénierie des Systèmes d Inf. 16 (5) (2011)
Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët
A first attempt to combine SysML requirements diagrams and B. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
Systematic Translation Rules from astd to Event-B. IFM (2010)
Pierre Konopacki, Marc Frappier, Régine Laleau
SEC. Ingénierie des Systèmes d Inf. 15 (3) (2010)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
Model-driven Engineering of Functional Security Policies. ICEIS (3) (2010)
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. SBMF (2010)
Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. WISE Workshops (2010)
Farida Semmak, Christophe Gnaho, Régine Laleau
Extended KAOS Method to Model Variability in Requirements. ENASE (Selected Papers) (2009)
Frédéric Gervais, Marc Frappier, Régine Laleau
attribute definitions. Softw. Syst. Model. 8 (3) (2009)
Pierre Konopacki, Marc Frappier, Régine Laleau
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID (2009)
Farida Semmak, Christophe Gnaho, Régine Laleau
A Tool for Modelling Variability at Goal Level. VaMoS (2009)
Farida Semmak, Régine Laleau, Christophe Gnaho
Supporting Variability in Goal-based Requirements. RCIS (2009)
Farida Semmak, Christophe Gnaho, Joël Brunet, Régine Laleau
How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle. ENASE (2009)
Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho
Using Variants in KAOS Goal Modelling. ICEIS (3-2) (2008)
Régine Laleau, Fiona Polack
Using formal metamodels to check consistency of functional views in information systems specification. Inf. Softw. Technol. 50 (7-8) (2008)
Farida Semmak, Christophe Gnaho, Régine Laleau
Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. MoDISE-EUS (2008)
Yves Ledru, Régine Laleau, Sylvie Vignes
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. Ingénierie des Systèmes d Inf. 13 (4) (2008)
Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ (2008)
Amel Mammar, Régine Laleau
Implémentation JAVA d'une spAcification B. Application aux bases de données. Tech. Sci. Informatiques 27 (5) (2008)
Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
Applying CSP || B to information systems. Softw. Syst. Model. 7 (1) (2008)
Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. 4 (3) (2008)
Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
Synthesizing Information Systems: the APIS Project. RCIS (2007)
Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
Using Computer Science Modeling Techniques for Airport Security Certification. RCIS (2007)
Frédéric Gervais, Marc Frappier, Régine Laleau
Process Patterns into B Specifications. B (2007)
Yves Ledru, Régine Laleau, Sylvie Vignes
Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. INFORSID (2007)
Amel Mammar, Frédéric Gervais, Régine Laleau
Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID (2006)
Régine Laleau, Michel Lemoine
Preface. ReMo2V (2006)
Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. 11 (5) (2006)
Sandrine Blazy, Frédéric Gervais, Régine Laleau
Reuse of Specification Patterns with the B Method CoRR (2006)
Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. ICEIS (3) (2006)
Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
An attempt to combine UML and formal methods to model airport security. CAiSE Forum (2006)
Amel Mammar, Régine Laleau
UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. J. Database Manag. 17 (4) (2006)
Amel Mammar, Régine Laleau
A formal approach based on UML and B for the specification and development of database applications. Autom. Softw. Eng. 13 (4) (2006)
Amel Mammar, Régine Laleau
From a B formal specification to an executable code: application to the relational database domain. Inf. Softw. Technol. 48 (4) (2006)
Frédéric Gervais, Marc Frappier, Régine Laleau
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS (2005)
Benoît Fraikin, Marc Frappier, Régine Laleau
. Softw. Syst. Model. 4 (3) (2005)
Frédéric Gervais, Marc Frappier, Régine Laleau
Attribute Definitions. IFM (2005)
Frédéric Gervais, Marc Frappier, Régine Laleau
Traces. SEFM (2005)
Xiaocheng Ge, Fiona Polack, Régine Laleau
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE (2004)

Régine Laleau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Régine Laleau