Regine Laleau

Publication Activity (10 Years)

Years Active: 1993-2018
Publications (10 Years): 4

Top Topics

Grey Prediction

Top Venues

Publications

Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar
Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS (2018)
Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. RE Workshops (2017)
Thi Mai Nguyen, Amel Mammar, Regine Laleau, Samir Hameg
A tool for the generation of a secure access control filter. RCIS (2016)
Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau
SGAC: A patient-centered access control method. RCIS (2016)
Christophe Gnaho, Farida Semmak, Regine Laleau
An overview of a SysML extension for goal-oriented NFR modelling: Poster paper. RCIS (2013)
Regine Laleau, Fiona Polack
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB (2002)
Regine Laleau, Fiona Polack
Specification of integrity-preserving operations in information systems by using a formal UML-based language. Inf. Softw. Technol. 43 (12) (2001)
Regine Laleau, Fiona Polack
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE (2001)
Regine Laleau
On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications. ICEIS (2000)
Nadira Lammari, Regine Laleau, Mireille Jouve
Processus d'optimisation conceptuelle d'un schéma orienté-objet. Obj. Logiciel Base données Réseaux 5 (1) (1999)
Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani
Deriving Normalized Is_a Hierarchies by Using Applicability Constraints. CAiSE (1996)
Philippe Facon, Regine Laleau
Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?. INFORSID (1995)
Regine Laleau, Nassim Hadj Rabia
Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données. INFORSID (1995)
Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani
An Algorithm for IS_A Hierarchy Derivation. OOIS (1994)
Regine Laleau, Philippe Facon
Modeling Semantic Data Concepts with VDM. SEKE (1993)