Travelled to:1 × China
1 × Cyprus
1 × France
1 × Germany
1 × Greece
1 × Italy
1 × Latvia
1 × Portugal
1 × Spain
1 × Switzerland
1 × The Netherlands
1 × UK
1 × USA
Collaborated with:M.Frappier F.Gervais A.Mammar F.Polack ∅ P.Facon J.Milhau X.Ge J.Brunet F.Semmak C.Gnaho P.Batanado N.Evans H.Treharne N.Lammari M.Jouve X.Castellani M.E.Jiague P.Konopacki R.St.-Denis
Talks about:databas (6) model (5) specif (3) applic (3) uml (3) transact (2) function (2) attribut (2) synthes (2) generat (2)
Person: Régine Laleau
DBLP: Laleau:R=eacute=gine
Contributed to:
2010
2010200820062005
2005
20042004
20032001
200020001996
1993Wrote 14 papers:
- ICEIS-ISAS-2010-JiagueFGKLMS #functional #modelling #policy #security
- Model-driven Engineering of Functional Security Policies (MEJ, MF, FG, PK, RL, JM, RSD), pp. 374–379.
- IFM-2010-MilhauFGL
- Systematic Translation Rules from astd to Event-B (JM, MF, FG, RL), pp. 245–259.
- ICEIS-ISAS2-2008-BrunetSLG #modelling #using
- Using Variants in KAOS Goal Modelling (JB, FS, RL, CG), pp. 339–344.
- ICEIS-ISAS-2006-GervaisBFL #database #named #relational #transaction
- EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions (FG, PB, MF, RL), pp. 44–51.
- IFM-2005-GervaisFL #specification
- Synthesizing B Specifications from EB3 Attribute Definitions (FG, MF, RL), pp. 207–226.
- SEFM-2005-GervaisFL #database #generative #recursion #relational #transaction
- Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces (FG, MF, RL), pp. 117–126.
- CAiSE-2004-GePL #analysis #database
- Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment (XG, FP, RL), pp. 234–247.
- SEFM-2004-EvansTLF #how #information management #verification
- How to Verify Dynamic Properties of Information Systems (NE, HT, RL, MF), pp. 416–425.
- FME-2003-MammarL #automation #database #design #proving #refinement
- Design of an Automatic Prover Dedicated to the Refinement of Database Applications (AM, RL), pp. 834–854.
- CAiSE-2001-LaleauP #concept #information management #metamodelling #modelling #uml
- A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems (RL, FP), pp. 402–416.
- ASE-2000-LaleauM #generative #overview #specification #uml
- An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations (RL, AM), pp. 269–272.
- ICEIS-2000-Laleau #database #formal method #on the #specification #uml
- On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications (RL), pp. 56–63.
- CAiSE-1996-LammariLJC #constraints #normalisation #using
- Deriving Normalized Is_a Hierarchies by Using Applicability Constraints (NL, RL, MJ, XC), pp. 562–580.
- SEKE-1993-LaleauF #concept #modelling #semantics
- Modeling Semantic Data Concepts with VDM (RL, PF), pp. 228–230.