Régine Laleau

Regine Laleau

2009
41	EE	Farida Semmak, Christophe Gnaho, Régine Laleau: A Tool for Modelling Variability at Goal Level. VaMoS 2009: 177-180
2008
40	EE	Abderrahman Matoussi, Frédéric Gervais, Régine Laleau: A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008: 338
39		Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho: Using Variants in KAOS Goal Modelling. ICEIS (3-2) 2008: 339-344
38	EE	Farida Semmak, Christophe Gnaho, Régine Laleau: Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. MoDISE-EUS 2008: 22-33
37	EE	Régine Laleau, Fiona Polack: Using formal metamodels to check consistency of functional views in information systems specification. Information & Software Technology 50(7-8): 797-814 (2008)
36	EE	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'Information 13(4): 133-157 (2008)
35	EE	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: Applying CSP || B to information systems. Software and System Modeling 7(1): 85-102 (2008)
34	EE	Amel Mammar, Régine Laleau: Implémentation JAVA d'une spAcification B. Application aux bases de données. Technique et Science Informatiques 27(5): 537-570 (2008)
2007
33		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-WS.org 2007
32	EE	Frédéric Gervais, Marc Frappier, Régine Laleau: Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215
31		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
30		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
29		Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard: Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84
2006
28	EE	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
27		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
26		Amel Mammar, Frédéric Gervais, Régine Laleau: Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID 2006: 595-610
25	EE	Régine Laleau, Michel Lemoine: Preface. ReMo2V 2006
24	EE	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)
23	EE	Sandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method CoRR abs/cs/0610097: (2006)
22	EE	Amel Mammar, Régine Laleau: From a B formal specification to an executable code: application to the relational database domain. Information & Software Technology 48(4): 253-279 (2006)
21	EE	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)
20	EE	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. Software Process: Improvement and Practice 11(5): 487-503 (2006)
2005
19	EE	Frédéric Gervais, Marc Frappier, Régine Laleau: Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226
18		Frédéric Gervais, Marc Frappier, Régine Laleau: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88
17	EE	Frédéric Gervais, Marc Frappier, Régine Laleau: Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126
16	EE	Benoît Fraikin, Marc Frappier, Régine Laleau: State-based versus event-based specifications for information systems: a comparison of B and eb3. Software and System Modeling 4(3): 236-257 (2005)
2004
15	EE	Xiaocheng Ge, Fiona Polack, Régine Laleau: Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247
14	EE	Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier: How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425
2003
13	EE	Amel Mammar, Régine Laleau: Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME 2003: 834-854
12	EE	Sandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method. ZB 2003: 40-57
11	EE	Marc Frappier, Régine Laleau: Proving Event Ordering Properties for Information Systems. ZB 2003: 421-436
2002
10	EE	Regine Laleau, Fiona Polack: Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB 2002: 517-534
2001
9	EE	Regine Laleau, Fiona Polack: A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE 2001: 402-416
8		Regine Laleau, Fiona Polack: Specification of integrity-preserving operations in information systems by using a formal UML-based language. Information & Software Technology 43(12): 693-704 (2001)
2000
7	EE	Régine Laleau, Amel Mammar: An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. ASE 2000: 269-272
6		Regine Laleau: On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications. ICEIS 2000: 56-63
5	EE	Régine Laleau, Amel Mammar: A Generic Process to Refine a B Specification into a Relational Database Implementation. ZB 2000: 22-41
1999
4		Nadira Lammari, Regine Laleau, Mireille Jouve: Processus d'optimisation conceptuelle d'un schéma orienté-objet. L'OBJET 5(1): (1999)
1996
3		Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani: Deriving Normalized Is_a Hierarchies by Using Applicability Constraints. CAiSE 1996: 562-580
1994
2		Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani: An Algorithm for IS_A Hierarchy Derivation. OOIS 1994: 469-479
1993
1		Regine Laleau, Philippe Facon: Modeling Semantic Data Concepts with VDM. SEKE 1993: 228-230

Coauthor Index

1	Panawé Batanado	[27]
2	Didier Bert	[20] [28] [30]
3	Sandrine Blazy	[12] [23]
4	Fabrice Bouquet	[30]
5	Joël Brunet	[39]
6	Xavier Castellani	[2] [3]
7	Véronique Donzeau-Gouge	[20] [28] [30]
8	Catherine Dubois	[20] [28] [30]
9	Neil Evans	[14] [35]
10	Philippe Facon	[1]
11	Benoît Fraikin	[16] [29]
12	Marc Frappier	[11] [14] [16] [17] [18] [19] [27] [29] [32] [35]
13	Xiaocheng Ge	[15]
14	Frédéric Gervais	[12] [17] [18] [19] [23] [26] [27] [29] [32] [40]
15	Christophe Gnaho	[38] [39] [41]
16	Mireille Jouve	[2] [3] [4]
17	Nadira Lammari	[2] [3] [4]
18	Yves Ledru	[20] [28] [30] [31] [36]
19	Michel Lemoine	[20] [25] [28] [30] [33]
20	Amel Mammar	[5] [7] [13] [21] [22] [24] [26] [34]
21	Abderrahman Matoussi	[40]
22	Fabien Peureux	[20] [28]
23	Fiona Polack	[8] [9] [10] [15] [37]
24	Mario Richard	[29]
25	Farida Semmak	[38] [39] [41]
26	Helen Treharne	[14] [35]
27	Sylvie Vignes	[20] [28] [30] [31] [36]

Colors in the list of coauthors