The SCEAS System
Navigation Menu

Search the dblp DataBase


Régine Laleau: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Frédéric Gervais, Marc Frappier, Régine Laleau
    Refinement of eb3 Process Patterns into B Specifications. [Citation Graph (0, 0)][DBLP]
    B, 2007, pp:201-215 [Conf]
  2. Xiaocheng Ge, Fiona Polack, Régine Laleau
    Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2004, pp:234-247 [Conf]
  3. Amel Mammar, Régine Laleau
    Design of an Automatic Prover Dedicated to the Refinement of Database Applications. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:834-854 [Conf]
  4. Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau
    EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2006, pp:44-51 [Conf]
  5. Frédéric Gervais, Marc Frappier, Régine Laleau
    Synthesizing B Specifications from EB3 Attribute Definitions. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:207-226 [Conf]
  6. Amel Mammar, Frédéric Gervais, Régine Laleau
    Systematic Identification of Preconditions from Set-Based Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2006, pp:595-610 [Conf]
  7. Régine Laleau, Amel Mammar
    An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:269-272 [Conf]
  8. Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier
    How to Verify Dynamic Properties of Information Systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:416-425 [Conf]
  9. Frédéric Gervais, Marc Frappier, Régine Laleau
    Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:117-126 [Conf]
  10. Frédéric Gervais, Marc Frappier, Régine Laleau
    How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? [Citation Graph (0, 0)][DBLP]
    MSVVEIS, 2005, pp:83-88 [Conf]
  11. Sandrine Blazy, Frédéric Gervais, Régine Laleau
    Reuse of Specification Patterns with the B Method. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:40-57 [Conf]
  12. Marc Frappier, Régine Laleau
    Proving Event Ordering Properties for Information Systems. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:421-436 [Conf]
  13. Régine Laleau, Amel Mammar
    A Generic Process to Refine a B Specification into a Relational Database Implementation. [Citation Graph (0, 0)][DBLP]
    ZB, 2000, pp:22-41 [Conf]
  14. 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. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:61-72 [Conf]
  15. Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard
    Synthesizing Information Systems: the APIS Project. [Citation Graph (0, 0)][DBLP]
    RCIS, 2007, pp:73-84 [Conf]
  16. Amel Mammar, Régine Laleau
    A formal approach based on UML and B for the specification and development of database applications. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2006, v:13, n:4, pp:497-528 [Journal]
  17. Amel Mammar, Régine Laleau
    From a B formal specification to an executable code: application to the relational database domain. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:4, pp:253-279 [Journal]
  18. 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. [Citation Graph (0, 0)][DBLP]
    Software Process: Improvement and Practice, 2006, v:11, n:5, pp:487-503 [Journal]
  19. Benoît Fraikin, Marc Frappier, Régine Laleau
    State-based versus event-based specifications for information systems: a comparison of B and eb3. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:3, pp:236-257 [Journal]
  20. 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. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2006, pp:- [Conf]
  21. 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. [Citation Graph (0, 0)][DBLP]
    INFORSID, 2007, pp:155-170 [Conf]
  22. Sandrine Blazy, Frédéric Gervais, Régine Laleau
    Reuse of Specification Patterns with the B Method [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  23. Amel Mammar, Régine Laleau
    UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. [Citation Graph (0, 0)][DBLP]
    J. Database Manag., 2006, v:17, n:4, pp:70-89 [Journal]

  24. A First Attempt to Express KAOS Refinement Patterns with Event B. [Citation Graph (, )][DBLP]

  25. Preface. [Citation Graph (, )][DBLP]

  26. Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. [Citation Graph (, )][DBLP]

  27. Using Variants in KAOS Goal Modelling. [Citation Graph (, )][DBLP]

  28. Modélisation de politiques de sécurité à l’aide d’une algèbre de processus. [Citation Graph (, )][DBLP]

  29. A Tool for Modelling Variability at Goal Level. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002