Follow
Regine Laleau
Regine Laleau
Unknown affiliation
Verified email at u-pec.fr
Title
Cited by
Cited by
Year
An overview of a method and its support tool for generating B specifications from UML notations
R Laleau, A Mammar
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated …, 2000
1172000
A first attempt to combine SysML requirements diagrams and B
R Laleau, F Semmak, A Matoussi, D Petit, A Hammad, B Tatibouet
Innovations in Systems and Software Engineering 6, 47-54, 2010
982010
Coming and going from UML to B: a proposal to support traceability in rigorous IS development
R Laleau, F Polack
International Conference of B and Z Users, 517-534, 2002
712002
Mapping object diagrams into B specifications
P Facon, R Laleau, HP Nguyen
Proceedings of the Methods Integration Workshop, 1996
631996
A goal-based approach to guide the design of an abstract Event-B specification
A Matoussi, F Gervais, R Laleau
2011 16th IEEE International Conference on Engineering of Complex Computer …, 2011
602011
From a B formal specification to an executable code: application to the relational database domain
A Mammar, R Laleau
Information and Software Technology 48 (4), 253-279, 2006
542006
Extending statecharts with process algebra operators
M Frappier, F Gervais, R Laleau, B Fraikin, R St-Denis
Innovations in Systems and Software Engineering 4, 285-292, 2008
532008
Reuse of specification patterns with the B method
S Blazy, F Gervais, R Laleau
ZB 2003: Formal Specification and Development in Z and B: Third …, 2003
512003
A generic process to refine a B specification into a relational database implementation
R Laleau, A Mammar
ZB 2000: Formal Specification and Development in Z and B: First …, 2000
462000
A survey of non-functional requirements in software development process
A Matoussi, R Laleau
LACL, 2008
442008
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach
SJ Tueno Fotso, M Frappier, R Laleau, A Mammar
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
432018
Combining UML, ASTD and B for the formal specification of an access control filter
J Milhau, A Idani, R Laleau, MA Labiadh, Y Ledru, M Frappier
Innovations in Systems and Software Engineering 7, 303-313, 2011
392011
Secure databases: an analysis of Clark-Wilson model in a database environment
X Ge, F Polack, R Laleau
Advanced Information Systems Engineering: 16th International Conference …, 2004
382004
On the use of domain and system knowledge modeling in goal-based Event-B specifications
A Mammar, R Laleau
International Symposium on Leveraging Applications of Formal Methods, 325-339, 2016
352016
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard
A Mammar, M Frappier, SJ Tueno Fotso, R Laleau
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018
332018
Using RELAX, SysML and KAOS for ambient systems requirements modeling
M Ahmad, JM Bruel, R Laleau, C Gnaho
Procedia Computer Science 10, 474-481, 2012
322012
A formal approach based on UML and B for the specification and development of database applications
A Mammar, R Laleau
Automated Software Engineering 13, 497-528, 2006
322006
Taking into account functional models in the validation of is security policies
Y Ledru, A Idani, J Milhau, N Qamar, R Laleau, JL Richier, MA Labiadh
Advanced Information Systems Engineering Workshops: CAiSE 2011 International …, 2011
312011
Combining UML with the B formal method for the specification of database applications
P Facon, R Laleau, A Mammar
CEDRIC Lab/CNAM, 1999
311999
State-based versus event-based specifications for information systems: a comparison of B and eb3
B Fraikin, M Frappier, R Laleau
Software & Systems Modeling 4, 236-257, 2005
302005
The system can't perform the operation now. Try again later.
Articles 1–20