Recherche

Accueil CEDRIC > Laboratoire > Membre > Laleaur >

Régine Laleau

(HDR)
Equipe SYS
Parti depuis le 01/09/2003
Mail : regine.laleau

iie.cnam.fr
Tel : 0169367347
Fax : 0169367305
http://www.iie.cnam.fr/~laleau/

Régine's Tag-Cloud :

Publications

2007

Conférence Internationale avec comité de lecture

[GFL07] F. Gervais, M. Frappier, R. Laleau. "Refinement of EB3 Process Patterns into B Specifications", B2007, BesanÃƒÂ§on, France, January 2007, pp.201-215, Series LNCS 4355,
[FFG07] M. Frappier, B. Fraikin, F. Gervais, R. Laleau, M. Richard. "Synthesizing information systems: the APIS project", RCIS'07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.73-84,
[LLB07] R. Laleau, Y. Ledru, D. Bert, F. Bouquet, M. Lemoine, C. Dubois, V. Viguie Donzeau-Gouge, S. Vignes. "Using Computer Science Modeling Techniques for Airport Security Certification", RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.61-72,

2006

Revue Internationale avec comité de lecture

[LVL06] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Adopting a situational requirements engineering approach for the analysis of civil aviation security standards", Software Process: Improvement and Practice, vol. 11(5), pp. 487Â–503, 2006

Conférence Internationale avec comité de lecture

[GBF06a] F. Gervais, P. Batanado, M. Frappier, R. Laleau. "EB3TG: A Tool Synthesizing Relational Database Transactions From EB3 Attribute Definitions", ICEIS'06, Paphos, Chypre, January 2006, pp.44-51, Series ISAS,
[LLL06] Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "An attempt to combine UML and formal methods to model airport security", CAISEÃ‚Â’06 Forum, January 2006,

Conférence Nationale avec comité de lecture

[BGF06] P. Batanado, F. Gervais, M. Frappier, R. Laleau. "EB3TG : Un outil de gÃ©nÃ©ration de transactions de base de donnÃ©es relationnelle pour EB3", AFADL'06 - Approches Formelles dans l'Assistance au DÃƒÂ©veloppement de Logiciels, Paris, France. 200, January 2006,
[GBF06] F. Gervais, P. Batanado, M. Frappier, R. Laleau. "GÃ©nÃ©ration automatique de transactions de base de donnÃ©es relationnelle Ã partir de dÃ©finitions d'attributs EB3", AFADL'06 Approches Formelles dans l'Assistance au DÃƒÂ©veloppement de Logiciels, Paris, France, January 2006, pp.25-39,
[MGL06] A. Mammar, F. Gervais, R. Laleau. "Systematic Identification of Preconditions from Set-Based Integrity Constraints", INFORSID'06, Hammamet, Tunisie, January 2006, pp.595-610,

Rapport Scientifique

[GFL06] F. Gervais, M. Frappier, R. Laleau. "Defining and Proving B Refinements for the Patterns of EB3 Process Expressions", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-996)

2005

Conférence Internationale avec comité de lecture

[GFL05c] F. Gervais, M. Frappier, R. Laleau. "How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?", MSVVEIS'05, Miami, USA, January 2005, pp.83-88,
[LVL05] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards", SREP'05 International Workshop, In conjunction with 13th IEEE International Requirements Engineering, January 2005,
[GFL05a] F. Gervais, M. Frappier, R. Laleau. "Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces", SEFM'05, Coblence, Allemagne, January 2005, pp.117-126,
[GFL05d] F. Gervais, M. Frappier, R. Laleau. "Synthesizing B Specifications from EB3 Attribute Definitions", IFM'05, Eindhoven, Pays-Bas, January 2005, pp.207-226, Series LNCS 3771,

Rapport Scientifique

[GFL05b] F. Gervais, M. Frappier, R. Laleau, P. Batanado. "EB3 Attribute Definitions: Formal Language and Application", Date de dépot: 2005/01/01, (Tech. Rep.: CEDRIC-05-700)
[GFL05] F. Gervais, M. Frappier, R. Laleau. "Vous avez dit raffinement ?", Date de dépot: 2005/01/01, (Tech. Rep.: CEDRIC-05-829)

2004

Conférence Nationale avec comité de lecture

[ML04] A. Mammar, R. Laleau. "GÃ©nÃ©ration de code Ã partir d'une spÃ©cification B: application aux bases de donnÃ©es", AFADL'04, January 2004,
[ML04a] A. Mammar, R. Laleau. "UML2SQL: Un environment intÃ©grÃ© pour le dÃ©veloppement d'implÃ©mentations relationnelles Ã partir de diagrammes UML", AFADL'04, January 2004,

Rapport Scientifique

[LM04a] R. Laleau, A. Mammar. "UML2SQL: An Integrated Environment for the Development of UML and SQL Specifications", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-643)
[GFL04] F. Gervais, M. Frappier, R. Laleau. "Synthesizing B Substitutions for EB3 Attribute Definitions", Date de dépot: 2004/01/01, (Tech. Rep.: CEDRIC-04-683)

2003

Conférence Internationale avec comité de lecture

[ML03] A. Mammar, R. Laleau. "Design of an Automatic Prover Dedicated to the Refinement of Database Applications", FM'2003, Springer-Verlag, LNCS nÃ‚Â° 2805, pp 834-854, Pise,Italy, January 2003,
[BGL03] S. Blazy, F. Gervais, R. Laleau. "Reuse of Specification Patterns with the B Method", ZB 2003: Formal Specification and Development in Z and B, Turku, Finland, January 2003, Vol. 2651, pp.40-57, Series LNCS,

Conférence Nationale avec comité de lecture

[BGL03a] S. Blazy, F. Gervais, R. Laleau. "Une dÃ©marche outillÃ©e pour spÃ©cifier formellement des patrons de conception rÃ©utilisables", Objets, Composants et ModÃƒÂ¨les dans l'ingÃƒÂ©nierie des SI, January 2003,

2002

Conférence Internationale avec comité de lecture

[LP02] R. Laleau, F. Polack. "Coming and going from UML to B : a proposal to support traceability in rigorous IS development", ZB?2002: Int. Conf. on Formal Specification and Development in Z and B, January 2002, Vol. 2272,
[FFL02] M. Frappier, B. Fraikin, R. Laleau, M. Richard. "APIS : Automatic Production of Information Systems", International AAAI 2002 Spring Symposium : Logic-Based Program Synthesis: State-of-the-Art and Futur, January 2002,

Mémoire de HDR

[LAL02] R. Laleau. "Conception et dÃ©veloppement formels d'applications bases de donnÃ©es", Soutenue le: 01 January 2002,

Rapport Scientifique

[BGL02] S. Blazy, F. Gervais, R. Laleau. "Un exemple de rÃ©utilisation de patterns de spÃ©cification avec la mÃ©thode B", Date de dépot: 2002/01/01, (Tech. Rep.: CEDRIC-02-395)

2001

2000

Conférence Internationale avec comité de lecture

[LAL00] R. Laleau. "On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications", Int. Conf. on Enterprise Information Systems (ICEIS 2000), Stafford, UK, January 2000,
[LM00a] R. Laleau, A. Mammar. "An Overview of a Method and its support Tool for Generating B Specifications from UML Notations", 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, January 2000,
[LP00] R. Laleau, F. Polack. "Metamodels for Static Conceptual Modelling of Information Systems", Workshop on Defining Precise Semantics for UML, ECOOP'2000, Sophia Antipolis, France, January 2000,
[LM00b] R. Laleau, A. Mammar. "A Generic Process to Refine a B Specification into a Relational Database Implementation", First Int. Conf. of B and Z users (ZB2000), Springer-Verlag, LNCS nÃ‚Â° 1878, York, UK, January 2000,

Chapitres de Livre

[FLP00] P. Facon, R. Laleau, H. Phuong Nguyen. "From OMT Diagrams to B Specifications", January 2000,

Rapport Scientifique

[LM00] R. Laleau, A. Mammar. "Using a Formal Refinement to Derive Relational Database Implementations from B Specifications", Date de dépot: 2000/01/01, (Tech. Rep.: CEDRIC-00-86)

1999

Revue Nationale avec comité de lecture

[LLJ99] N. Lammari, R. Laleau, M. Jouve. "Processus d'optimisation conceptuelle d'un schÃ©ma orientÃ©-objet", L'Objet, vol. 5(1), 1999
[LLJa99] N. Lammari, R. Laleau, M. Jouve. "Processus dÂ’optimisation conceptuelle dÂ’un schÃ©ma orientÃ© objet", L'Objet, vol. 5(1), 1999

Rapport Scientifique

[FLM99] P. Facon, R. Laleau, A. Mammar. "Combining UML with the B Formal Method for the Specification of Database Applications", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-87)
[FLM99a] P. Facon, R. Laleau, A. Mammar, F. Polack. "Formal Specification of the UML Metamodel for Building Rigorous Caise Tools", Date de dépot: 1999/01/01, (Tech. Rep.: CEDRIC-99-91)

1998

Conférence Internationale avec comité de lecture

[LLJ98] N. Lammari, R. Laleau, M. Jouve. "Normalization and Denormalization : Two Mechanisms for Reorganizing IS_A Inheritance Hierarchies", Int. Conf. on Object-Oriented Information Systems (OOIS'98), Paris, France, January 1998, pp.38-53,

1996

Conférence Internationale avec comité de lecture

[LLJ96] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "Deriving Normalized Is_A Hierarchies by Using Applicability Constraints", CAISE'96 (Conference on Advanced Information Systems Engineering), CrÃƒÂ©te, GrÃƒÂ©ce, January 1996,

Conférence Nationale avec comité de lecture

[LLJa96] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "Normalizing Classes by Splitting them into Inheritances Hierarchies", Fourth Maghrebian Conference on Software Engineering and Artificial Intelligence (4th MCSEAI), organ, January 1996,

1994

Conférence Internationale avec comité de lecture

[LJL94] N. Lammari, M. Jouve, R. Laleau, X. Castellani. "An Algorithm for IS_A Hierarchy Derivation", OOIS'94 (Int. Conf. on Object-Oriented Information systems), Londres, Angleterre, January 1994, pp.469 Ã 479,
[LLJ94] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "An Automated Process Based on Existence Dependencies for Determining Class Substructures", Int. Conf. on Information Systems and Management of Data (CISMOD'94), Madras, Inde, January 1994, pp.54-65,

Rapport Scientifique

[LLJa94] N. Lammari, R. Laleau, M. Jouve, X. Castellani. "DÃ©pendances d'existence: dÃ©finitions formelles et utilisation pour dÃ©terminer des liens d'hÃ©ritages entre classes.", Date de dépot: 1994/01/01, (Tech. Rep.: CEDRIC-94-575)