


default search action
Régine Laleau
Regine Laleau
Person information
- affiliation: Université Paris-Est Créteil, France
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j35]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): 331-346 (2024) - [c84]Fayçal Baba
, Amel Mammar
, Marc Frappier
, Régine Laleau
:
Modeling and Verification of Solidity Smart Contracts with the B Method. ICECCS 2024: 159-178 - [c83]Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau:
Deciding the Synthesis Problem for Hybrid Games Through Bisimulation. ICFEM 2024: 181-198 - [c82]Simon Collart Dutilleul
, Philippe Bon, Régine Laleau:
Securing Automatic Small Railway Vehicles Using Automatic Train Protection. ISoLA (5) 2024: 159-173 - [i6]Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau:
Deciding the synthesis problem for hybrid games through bisimulation. CoRR abs/2409.05498 (2024) - 2023
- [c81]Racem Bougacha, Régine Laleau, Simon Collart Dutilleul:
Formal alignment of requirements models with high-level architecture models. ICECCS 2023: 216-225 - [c80]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: 71-83 - 2022
- [j34]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: 102856 (2022) - [c79]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: 153-168 - [c78]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: 91-96 - [c77]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: 256-273 - 2021
- [c76]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: 1-13 - [c75]Sophie Ebersold, Régine Laleau, Manuel Mazzara:
Welcome from the Organizers FormReq 2021. RE Workshops 2021: 349 - 2020
- [j33]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): 333-347 (2020) - [j32]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): 349-363 (2020) - [c74]Meryem Afendi, Régine Laleau, Amel Mammar
:
Modelling Hybrid Programs with Event-B. ABZ 2020: 139-154 - [c73]Amel Mammar
, Marc Frappier
, Régine Laleau:
An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ 2020: 351-366 - [c72]Régine Laleau:
Formal Requirements Modeling and Verification for Critical Systems. ICEIS (1) 2020: 19
2010 – 2019
- 2019
- [j31]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): 1707-1733 (2019) - [c71]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: 470-486 - [c70]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: 170-177 - [c69]Sophie Ebersold, Régine Laleau, Manuel Mazzara:
FormReq@RE2019 Preface. RE Workshops 2019: 108 - 2018
- [c68]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: 55-70 - [c67]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: 262-276 - [c66]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: 353-366 - [c65]Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar:
Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS 2018: 160-169 - [c64]Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau:
How to handle environmental uncertainty in goal-based requirements engineering. ICSE (Companion Volume) 2018: 368-369 - [c63]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: 377-397 - [c62]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: 115-129 - [e3]Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
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. EPTCS 271, 2018 [contents] - [i5]Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau:
From SysML/KAOS Domain Models to B System Specifications. CoRR abs/1803.01972 (2018) - [i4]Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas:
The Generic SysML/KAOS Domain Metamodel. CoRR abs/1811.04732 (2018) - 2017
- [j30]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: 158-178 (2017) - [j29]Amel Mammar, Régine Laleau:
Modeling a landing gear system in Event-B. Int. J. Softw. Tools Technol. Transf. 19(2): 167-186 (2017) - [c61]Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau:
Verification of SGAC Access Control Policies Using Alloy and ProB. HASE 2017: 120-123 - [c60]Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier:
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. RE Workshops 2017: 1-5 - [i3]Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier:
The SysML/KAOS Domain Modeling Approach. CoRR abs/1710.00903 (2017) - [i2]Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier:
Formal Representation of SysML/KAOS Domain Model (Complete Version). CoRR abs/1712.07406 (2017) - 2016
- [j28]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: 76-93 (2016) - [c59]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: 394-408 - [c58]Amel Mammar, Thi Mai Nguyen, Régine Laleau:
Formal Development of a Secure Access Control Filter. HASE 2016: 173-180 - [c57]Amel Mammar, Régine Laleau:
On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. ISoLA (1) 2016: 325-339 - [c56]Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau:
SGAC: A patient-centered access control method. RCIS 2016: 1-12 - [c55]Thi Mai Nguyen, Amel Mammar, Regine Laleau, Samir Hameg:
A tool for the generation of a secure access control filter. RCIS 2016: 1-12 - 2015
- [j27]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): 24-46 (2015) - [j26]Catherine Dubois, Régine Laleau:
Introduction. Tech. Sci. Informatiques 34(5): 493-494 (2015) - [c54]Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais:
Formal refinement of extended state machines. Refine@FM 2015: 1-16 - 2014
- [j25]Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau:
Refinement patterns for ASTDs. Formal Aspects Comput. 26(5): 919-941 (2014) - [j24]Nadira Lammari, Nora Cuppens-Boulahia, Régine Laleau:
Introduction. Ingénierie des Systèmes d Inf. 19(6): 7-8 (2014) - [c53]Amel Mammar, Régine Laleau:
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. APSEC (1) 2014: 438-445 - [c52]Amel Mammar, Régine Laleau:
Modeling a Landing Gear System in Event-B. ABZ (Case Study) 2014: 80-94 - [c51]Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
Validating the RBAC ANSI 2012 Standard Using B. ABZ 2014: 255-270 - 2013
- [j23]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): 270-271 (2013) - [c50]Christophe Gnaho, Farida Semmak, Régine Laleau:
Modeling the Impact of Non-functional Requirements on Functional Requirements. ER Workshops 2013: 59-67 - [c49]Christophe Gnaho, Farida Semmak, Regine Laleau:
An overview of a SysML extension for goal-oriented NFR modelling: Poster paper. RCIS 2013: 1-2 - 2012
- [j22]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): 95-118 (2012) - [j21]Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier:
Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c48]Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier:
A Design by Contract Approach to Verify Access Control Policies. ICECCS 2012: 263-272 - [c47]Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho:
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. ANT/MobiWIS 2012: 474-481 - 2011
- [j20]Brigitte Grau, Régine Laleau, Jean-Yves Ramel:
Introduction. Document Numérique 14(2): 7-10 (2011) - [j19]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): 37-59 (2011) - [j18]Régine Laleau:
Éditorial. Ingénierie des Systèmes d Inf. 16(1): 7-8 (2011) - [j17]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): 143-166 (2011) - [j16]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): 303-313 (2011) - [c46]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: 592-606 - [c45]Pierre Konopacki, Marc Frappier, Régine Laleau:
Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops 2011: 607-621 - [c44]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: 218-226 - [c43]Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau:
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS 2011: 227-233 - [c42]Jérémy Milhau, Marc Frappier, Régine Laleau:
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS 2011: 234-241 - [c41]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: 139-148 - [c40]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: 301-316 - [c39]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: 464-471 - 2010
- [j15]Pierre Konopacki, Marc Frappier, Régine Laleau:
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB3SEC. Ingénierie des Systèmes d Inf. 15(3): 113-136 (2010) - [j14]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): 47-54 (2010) - [c38]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: 374-379 - [c37]Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau:
Systematic Translation Rules from astd to Event-B. IFM 2010: 245-259 - [c36]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: 177-193 - [c35]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: 126-141 - [e2]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, ISBN 978-3-642-11810-4 [contents]
2000 – 2009
- 2009
- [j13]Frédéric Gervais, Marc Frappier, Régine Laleau:
Generating relational database transactions from eb3 attribute definitions. Softw. Syst. Model. 8(3): 423-445 (2009) - [c34]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: 87-94 - [c33]Farida Semmak, Christophe Gnaho, Régine Laleau:
Extended KAOS Method to Model Variability in Requirements. ENASE (Selected Papers) 2009: 193-205 - [c32]Pierre Konopacki, Marc Frappier, Régine Laleau:
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID 2009: 295-310 - [c31]Farida Semmak, Régine Laleau, Christophe Gnaho:
Supporting Variability in Goal-based Requirements. RCIS 2009: 237-246 - [c30]Farida Semmak, Christophe Gnaho, Régine Laleau:
A Tool for Modelling Variability at Goal Level. VaMoS 2009: 177-180 - [p1]Amel Mammar, Régine Laleau:
UB2SQL. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 1168-1188 - 2008
- [j12]Régine Laleau, Fiona Polack:
Using formal metamodels to check consistency of functional views in information systems specification. Inf. Softw. Technol. 50(7-8): 797-814 (2008) - [j11]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): 133-157 (2008) - [j10]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): 285-292 (2008) - [j9]Neil Evans, Helen Treharne
, Régine Laleau, Marc Frappier:
Applying CSP || B to information systems. Softw. Syst. Model. 7(1): 85-102 (2008) - [j8]Amel Mammar, Régine Laleau:
Implémentation JAVA d'une spAcification B. Application aux bases de données. Tech. Sci. Informatiques 27(5): 537-570 (2008) - [c29]Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008: 338 - [c28]Farida Semmak, Christophe Gnaho, Régine Laleau:
Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. MoDISE-EUS 2008: 22-33 - [c27]Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho:
Using Variants in KAOS Goal Modelling. ICEIS (3-2) 2008: 339-344 - 2007
- [c26]Frédéric Gervais, Marc Frappier, Régine Laleau:
Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215 - [c25]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: 155-170 - [c24]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: 61-72 - [c23]Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard:
Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84 - [e1]Régine Laleau, Michel Lemoine:
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006. CEUR Workshop Proceedings 241, CEUR-WS.org 2007 [contents] - 2006
- [j7]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): 497-528 (2006) - [j6]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): 253-279 (2006) - [j5]Amel Mammar, Régine Laleau:
UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. J. Database Manag. 17(4): 70-89 (2006) - [j4]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): 487-503 (2006) - [c22]Régine Laleau, Michel Lemoine:
Preface. ReMo2V 2006 - [c21]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 - [c20]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: 44-51 - [c19]Amel Mammar, Frédéric Gervais, Régine Laleau:
Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID 2006: 595-610 - [i1]Sandrine Blazy, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method. CoRR abs/cs/0610097 (2006) - 2005
- [j3]Benoît Fraikin, Marc Frappier, Régine Laleau:
State-based versus event-based specifications for information systems: a comparison of B and eb3. Softw. Syst. Model. 4(3): 236-257 (2005) - [c18]Frédéric Gervais, Marc Frappier, Régine Laleau:
Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226 - [c17]Frédéric Gervais, Marc Frappier, Régine Laleau:
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126 - [c16]Frédéric Gervais, Marc Frappier, Régine Laleau:
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88 - 2004
- [c15]Xiaocheng Ge, Fiona Polack, Régine Laleau:
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247 - [c14]Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier:
How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425 - 2003
- [c13]Amel Mammar, Régine Laleau:
Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME 2003: 834-854 - [c12]Sandrine Blazy
, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method. ZB 2003: 40-57 - [c11]Marc Frappier, Régine Laleau:
Proving Event Ordering Properties for Information Systems. ZB 2003: 421-436 - 2002
- [c10]