Régine Laleau Home Page Coauthor index DBLP Vis pubzone.org

Regine Laleau

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc 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 Springer 2010
2009
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarida Semmak, Christophe Gnaho, Régine Laleau: A Tool for Modelling Variability at Goal Level. VaMoS 2009: 177-180
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: Generating relational database transactions from eb3 attribute definitions. Software and System Modeling 8(3): 423-445 (2009)
2008
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbderrahman Matoussi, Frédéric Gervais, Régine Laleau: A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008: 338
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho: Using Variants in KAOS Goal Modelling. ICEIS (3-2) 2008: 339-344
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarida Semmak, Christophe Gnaho, Régine Laleau: Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. MoDISE-EUS 2008: 22-33
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St.-Denis: Extending statecharts with process algebra operators. ISSE 4(3): 285-292 (2008)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRé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)
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Evans, Helen Treharne, Régine Laleau, Marc Frappier: Applying CSP || B to information systems. Software and System Modeling 7(1): 85-102 (2008)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmel 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRé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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRé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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard: Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84
2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYves 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFré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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmel Mammar, Frédéric Gervais, Régine Laleau: Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID 2006: 595-610
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégine Laleau, Michel Lemoine: Preface. ReMo2V 2006
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmel 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)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method CoRR abs/cs/0610097: (2006)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmel 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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmel 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)
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRé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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrédéric Gervais, Marc Frappier, Régine Laleau: Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenoî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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaocheng Ge, Fiona Polack, Régine Laleau: Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeil Evans, Helen Treharne, Régine Laleau, Marc Frappier: How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425
2003
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmel Mammar, Régine Laleau: Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME 2003: 834-854
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method. ZB 2003: 40-57
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Frappier, Régine Laleau: Proving Event Ordering Properties for Information Systems. ZB 2003: 421-436
2002
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRegine Laleau, Fiona Polack: Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB 2002: 517-534
2001
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRegine Laleau, Fiona Polack: A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE 2001: 402-416
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRegine 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégine Laleau, Amel Mammar: An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. ASE 2000: 269-272
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRegine Laleau: On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications. ICEIS 2000: 56-63
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRégine Laleau, Amel Mammar: A Generic Process to Refine a B Specification into a Relational Database Implementation. ZB 2000: 22-41
1999
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadira Lammari, Regine Laleau, Mireille Jouve: Processus d'optimisation conceptuelle d'un schéma orienté-objet. L'OBJET 5(1): (1999)
1996
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani: Deriving Normalized Is_a Hierarchies by Using Applicability Constraints. CAiSE 1996: 562-580
1994
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani: An Algorithm for IS_A Hierarchy Derivation. OOIS 1994: 469-479
1993
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRegine Laleau, Philippe Facon: Modeling Semantic Data Concepts with VDM. SEKE 1993: 228-230

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)