Régine Laleau

114 papers A* 1A 1B 14C 14Misc 1Journal 39Unranked 40

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	An Event-B model of an automotive adaptive exterior light system. Int. J. Softw. Tools Technol. Transf. Amel Mammar, Marc Frappier, Régine Laleau
2024	C	`conf`	Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. ICFEM Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau
2024	J	`jnl`	Deciding the synthesis problem for hybrid games through bisimulation. CoRR Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau
2024	B	`conf`	Modeling and Verification of Solidity Smart Contracts with the B Method. ICECCS Fayçal Baba, Amel Mammar, Marc Frappier, Régine Laleau
2024	—	`conf`	Securing Automatic Small Railway Vehicles Using Automatic Train Protection. ISoLA (5) Simon Collart Dutilleul, Philippe Bon, Régine Laleau
2023	C	`conf`	A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. ICSOFT Meryem Afendi, Amel Mammar, Régine Laleau
2023	B	`conf`	Formal alignment of requirements models with high-level architecture models. ICECCS Racem Bougacha, Régine Laleau, Simon Collart Dutilleul
2022	B	`conf`	Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. ICECCS Meryem Afendi, Amel Mammar, Régine Laleau
2022	Misc	`conf`	Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. TASE Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed
2022	C	`conf`	Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. CRiSIS Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed
2022	J	`jnl`	Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. Sci. Comput. Program. Amel Mammar, Meryem Afendi, Régine Laleau
2021	—	`conf`	Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh
2021	—	`conf`	Welcome from the Organizers FormReq 2021. RE Workshops Sophie Ebersold, Régine Laleau, Manuel Mazzara
2020	J	`jnl`	A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
2020	C	`conf`	An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ Amel Mammar, Marc Frappier, Régine Laleau
2020	—	`conf`	Formal Requirements Modeling and Verification for Critical Systems. ICEIS (1) Régine Laleau
2020	J	`jnl`	Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Int. J. Softw. Tools Technol. Transf. Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
2020	C	`conf`	Modelling Hybrid Programs with Event-B. ABZ Meryem Afendi, Régine Laleau, Amel Mammar
2019	C	`conf`	A Formal Requirements Modeling Approach: Application to Rail Communication. ICSOFT Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar
2019	C	`conf`	Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili
2019	—	`conf`	FormReq@RE2019 Preface. RE Workshops Sophie Ebersold, Régine Laleau, Manuel Mazzara
2019	J	`jnl`	SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Comput. J. Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau
2018	C	`conf`	An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau
2018	C	`conf`	Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier
2018	B	`conf`	Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel
2018	J	`jnl`	From SysML/KAOS Domain Models to B System Specifications. CoRR Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau
2018	—	`conf`	How to handle environmental uncertainty in goal-based requirements engineering. ICSE (Companion Volume) Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau
2018	C	`conf`	Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar
2018	—	`ed.`	Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. IMPEX/FM&MDD Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna
2018	J	`jnl`	The Generic SysML/KAOS Domain Metamodel. CoRR Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas
2018	—	`conf`	Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. MEDI Workshops Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau
2017	J	`jnl`	A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Inf. Softw. Technol. Amel Mammar, Thi Mai Nguyen, Régine Laleau
2017	J	`jnl`	Formal Representation of SysML/KAOS Domain Model (Complete Version). CoRR Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
2017	J	`jnl`	Modeling a landing gear system in Event-B. Int. J. Softw. Tools Technol. Transf. Amel Mammar, Régine Laleau
2017	J	`jnl`	The SysML/KAOS Domain Modeling Approach. CoRR Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier
2017	—	`conf`	Verification of SGAC Access Control Policies Using Alloy and ProB. HASE Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau
2016	J	`jnl`	A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
2016	—	`conf`	Formal Development of a Secure Access Control Filter. HASE Amel Mammar, Thi Mai Nguyen, Régine Laleau
2016	C	`conf`	Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. ABZ Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau
2016	—	`conf`	On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. ISoLA (1) Amel Mammar, Régine Laleau
2015	—	`conf`	Formal refinement of extended state machines. Refine@FM Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais
2015	J	`jnl`	Introduction. Tech. Sci. Informatiques Catherine Dubois, Régine Laleau
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
2014	—	`conf`	A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. APSEC (1) Amel Mammar, Régine Laleau
2014	J	`jnl`	Introduction. Ingénierie des Systèmes d Inf. Nadira Lammari, Nora Cuppens-Boulahia, Régine Laleau
2014	—	`conf`	Modeling a Landing Gear System in Event-B. ABZ (Case Study) Amel Mammar, Régine Laleau
2014	J	`jnl`	Refinement patterns for ASTDs. Formal Aspects Comput. Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau
2014	C	`conf`	Validating the RBAC ANSI 2012 Standard Using B. ABZ Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais
2013	J	`jnl`	Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2013	—	`conf`	Modeling the Impact of Non-functional Requirements on Functional Requirements. ER Workshops Christophe Gnaho, Farida Semmak, Régine Laleau
2012	B	`conf`	A Design by Contract Approach to Verify Access Control Policies. ICECCS Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier
2012	J	`jnl`	Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier
2012	J	`jnl`	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. Abderrahman Matoussi, Régine Laleau
2012	—	`conf`	Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. ANT/MobiWIS Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho
2011	C	`conf`	A Four-concern-oriented Secure IS Development Approach. SECRYPT Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
2011	B	`conf`	A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. ICECCS Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
2011	—	`conf`	A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. FPS Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2011	—	`conf`	A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS Jérémy Milhau, Marc Frappier, Régine Laleau
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	J	`jnl`	Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. Int. J. Syst. Serv. Oriented Eng. Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2011	—	`conf`	Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops Pierre Konopacki, Marc Frappier, Régine Laleau
2011	J	`jnl`	Introduction. Document Numérique Brigitte Grau, Régine Laleau, Jean-Yves Ramel
2011	—	`conf`	Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau
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	J	`jnl`	Un outil de construction de spécifications abstraites Event-B dirigée par les buts. Ingénierie des Systèmes d Inf. Abderrahman Matoussi, Régine Laleau
2011	—	`conf`	Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B . INFORSID Abderrahman Matoussi, Régine Laleau
2011	J	`jnl`	Éditorial. Ingénierie des Systèmes d Inf. Régine Laleau
2010	J	`jnl`	A first attempt to combine SysML requirements diagrams and B. Innov. Syst. Softw. Eng. Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët
2010	—	`ed.`	Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings ABZ Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves
2010	—	`conf`	From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. WISE Workshops Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis
2010	—	`conf`	Model-driven Engineering of Functional Security Policies. ICEIS (3) Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis
2010	J	`jnl`	Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB Ingénierie des Systèmes d Inf. Pierre Konopacki, Marc Frappier, Régine Laleau
2010	—	`conf`	Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. SBMF Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
2010	B	`conf`	Systematic Translation Rules from astd to Event-B. IFM Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau
2009	—	`conf`	A Tool for Modelling Variability at Goal Level. VaMoS Farida Semmak, Christophe Gnaho, Régine Laleau
2009	—	`conf`	Extended KAOS Method to Model Variability in Requirements. ENASE (Selected Papers) Farida Semmak, Christophe Gnaho, Régine Laleau
2009	J	`jnl`	Generating relational database transactions from eb Softw. Syst. Model. Frédéric Gervais, Marc Frappier, Régine Laleau
2009	B	`conf`	How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle. ENASE Farida Semmak, Christophe Gnaho, Joël Brunet, Régine Laleau
2009	—	`conf`	Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID Pierre Konopacki, Marc Frappier, Régine Laleau
2009	B	`conf`	Supporting Variability in Goal-based Requirements. RCIS Farida Semmak, Régine Laleau, Christophe Gnaho
2009	—	`ch.`	UB2SQL. Database Technologies: Concepts, Methodologies, Tools, and Applications Amel Mammar, Régine Laleau
2008	C	`conf`	A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ Abderrahman Matoussi, Frédéric Gervais, Régine Laleau
2008	J	`jnl`	Applying CSP \|\| B to information systems. Softw. Syst. Model. Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
2008	—	`conf`	Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. MoDISE-EUS Farida Semmak, Christophe Gnaho, Régine Laleau
2008	J	`jnl`	Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis
2008	J	`jnl`	Implémentation JAVA d'une spAcification B. Application aux bases de données. Tech. Sci. Informatiques Amel Mammar, Régine Laleau
2008	J	`jnl`	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. Yves Ledru, Régine Laleau, Sylvie Vignes
2008	—	`conf`	Using Variants in KAOS Goal Modelling. ICEIS (3-2) Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho
2008	J	`jnl`	Using formal metamodels to check consistency of functional views in information systems specification. Inf. Softw. Technol. Régine Laleau, Fiona Polack
2007	—	`ed.`	Proceedings of the CAiSE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006 ReMo2V Régine Laleau, Michel Lemoine
2007	—	`conf`	Refinement of eb B Frédéric Gervais, Marc Frappier, Régine Laleau
2007	B	`conf`	Synthesizing Information Systems: the APIS Project. RCIS Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
2007	—	`conf`	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 Yves Ledru, Régine Laleau, Sylvie Vignes
2007	B	`conf`	Using Computer Science Modeling Techniques for Airport Security Certification. RCIS Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes
2006	J	`jnl`	A formal approach based on UML and B for the specification and development of database applications. Autom. Softw. Eng. Amel Mammar, Régine Laleau
2006	J	`jnl`	Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Softw. Process. Improv. Pract. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006	—	`conf`	An attempt to combine UML and formal methods to model airport security. CAiSE Forum Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
2006	—	`conf`	EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. ICEIS (3) Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau
2006	J	`jnl`	From a B formal specification to an executable code: application to the relational database domain. Inf. Softw. Technol. Amel Mammar, Régine Laleau
2006	—	`conf`	Preface. ReMo2V Régine Laleau, Michel Lemoine
2006	J	`jnl`	Reuse of Specification Patterns with the B Method CoRR Sandrine Blazy, Frédéric Gervais, Régine Laleau
2006	—	`conf`	Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID Amel Mammar, Frédéric Gervais, Régine Laleau
2006	J	`jnl`	UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. J. Database Manag. Amel Mammar, Régine Laleau
2005	B	`conf`	Generating Relational Database Transactions From Recursive Functions Defined on EB SEFM Frédéric Gervais, Marc Frappier, Régine Laleau
2005	—	`conf`	How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS Frédéric Gervais, Marc Frappier, Régine Laleau
2005	J	`jnl`	State-based versus event-based specifications for information systems: a comparison of B and eb Softw. Syst. Model. Benoît Fraikin, Marc Frappier, Régine Laleau
2005	B	`conf`	Synthesizing B Specifications from EB IFM Frédéric Gervais, Marc Frappier, Régine Laleau
2004	B	`conf`	How to Verify Dynamic Properties of Information Systems. SEFM Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
2004	A	`conf`	Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE Xiaocheng Ge, Fiona Polack, Régine Laleau
2003	—	`conf`	Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME Amel Mammar, Régine Laleau
2003	—	`conf`	Proving Event Ordering Properties for Information Systems. ZB Marc Frappier, Régine Laleau
2003	—	`conf`	Reuse of Specification Patterns with the B Method. ZB Sandrine Blazy, Frédéric Gervais, Régine Laleau
2000	—	`conf`	A Generic Process to Refine a B Specification into a Relational Database Implementation. ZB Régine Laleau, Amel Mammar
2000	A*	`conf`	An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. ASE Régine Laleau, Amel Mammar