default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRégine Laleau
Regine Laleau
Person information
- affiliation: Université Paris-Est Créteil, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j35]Amel Mammar, Marc Frappier, Régine Laleau:
An Event-B model of an automotive adaptive exterior light system. Int. J. Softw. Tools Technol. Transf. 26(3): 331-346 (2024)- [c83]Fayçal Baba
, Amel Mammar, Marc Frappier, Régine Laleau:
Modeling and Verification of Solidity Smart Contracts with the B Method. ICECCS 2024: 159-178 - [c82]Simon Collart Dutilleul, Philippe Bon, Régine Laleau:
Securing Automatic Small Railway Vehicles Using Automatic Train Protection. ISoLA (5) 2024: 159-173 - [i6]Catalin Dima, Mariem Hammami, Youssouf Oualhadj, Régine Laleau:
Deciding the synthesis problem for hybrid games through bisimulation. CoRR abs/2409.05498 (2024) - 2023
- [c81]Racem Bougacha, Régine Laleau, Simon Collart Dutilleul:
Formal alignment of requirements models with high-level architecture models. ICECCS 2023: 216-225 - [c80]Meryem Afendi, Amel Mammar, Régine Laleau:
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH. ICSOFT 2023: 71-83 - 2022
- [j34]Amel Mammar, Meryem Afendi, Régine Laleau:
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation. Sci. Comput. Program. 222: 102856 (2022) - [c79]Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed:
Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. CRiSIS 2022: 153-168 - [c78]Meryem Afendi, Amel Mammar, Régine Laleau:
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study. ICECCS 2022: 91-96 - [c77]Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed:
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. TASE 2022: 256-273 - 2021
- [c76]Yamine Aït Ameur, Régine Laleau, Dominique Méry, Neeraj Kumar Singh:
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods 2021: 1-13 - [c75]Sophie Ebersold, Régine Laleau, Manuel Mazzara:
Welcome from the Organizers FormReq 2021. RE Workshops 2021: 349 - 2020
- [j33]Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau:
A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard. Int. J. Softw. Tools Technol. Transf. 22(3): 333-347 (2020) - [j32]Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar:
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. Int. J. Softw. Tools Technol. Transf. 22(3): 349-363 (2020) - [c74]Meryem Afendi, Régine Laleau, Amel Mammar:
Modelling Hybrid Programs with Event-B. ABZ 2020: 139-154 - [c73]Amel Mammar, Marc Frappier, Régine Laleau:
An Event-B Model of an Automotive Adaptive Exterior Light System. ABZ 2020: 351-366 - [c72]Régine Laleau:
Formal Requirements Modeling and Verification for Critical Systems. ICEIS (1) 2020: 19
2010 – 2019
- 2019
- [j31]Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Régine Laleau:
SGAC: A Multi-Layered Access Control Model with Conflict Resolution Strategy. Comput. J. 62(12): 1707-1733 (2019) - [c71]Steve Jeffrey Tueno Fotso, Régine Laleau, Marc Frappier, Amel Mammar, Francois Thibodeau, Mama Nsangou Mouchili:
Assessment of a Formal Requirements Modeling Approach on a Transportation System. ICFEM 2019: 470-486 - [c70]Steve Jeffrey Tueno Fotso, Régine Laleau, Héctor Ruíz Barradas, Marc Frappier, Amel Mammar:
A Formal Requirements Modeling Approach: Application to Rail Communication. ICSOFT 2019: 170-177 - [c69]Sophie Ebersold, Régine Laleau, Manuel Mazzara:
FormReq@RE2019 Preface. RE Workshops 2019: 108 - 2018
- [c68]Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier:
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications. ABZ 2018: 55-70 - [c67]Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar:
Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach. ABZ 2018: 262-276 - [c66]Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau:
An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard. ABZ 2018: 353-366 - [c65]Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar:
Back Propagating B System Updates on SysML/KAOS Domain Models. ICECCS 2018: 160-169 - [c64]Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau:
How to handle environmental uncertainty in goal-based requirements engineering. ICSE (Companion Volume) 2018: 368-369 - [c63]Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel:
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. IFM 2018: 377-397 - [c62]Manzoor Ahmad, Christophe Gnaho, Jean-Michel Bruel, Régine Laleau:
Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment. MEDI Workshops 2018: 115-129 - [e3]Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. EPTCS 271, 2018 [contents] - [i5]Steve Jeffrey Tueno Fotso, Marc Frappier, Amel Mammar, Régine Laleau:
From SysML/KAOS Domain Models to B System Specifications. CoRR abs/1803.01972 (2018) - [i4]Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Héctor Ruíz Barradas:
The Generic SysML/KAOS Domain Metamodel. CoRR abs/1811.04732 (2018) - 2017
- [j30]Amel Mammar, Thi Mai Nguyen, Régine Laleau:
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter. Inf. Softw. Technol. 92: 158-178 (2017) - [j29]Amel Mammar, Régine Laleau:
Modeling a landing gear system in Event-B. Int. J. Softw. Tools Technol. Transf. 19(2): 167-186 (2017) - [c61]Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau:
Verification of SGAC Access Control Policies Using Alloy and ProB. HASE 2017: 120-123 - [c60]Steve Tueno, Regine Laleau, Amel Mammar, Marc Frappier:
Towards Using Ontologies for Domain Modeling within the SysML/KAOS Approach. RE Workshops 2017: 1-5 - [i3]Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier:
The SysML/KAOS Domain Modeling Approach. CoRR abs/1710.00903 (2017) - [i2]Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier:
Formal Representation of SysML/KAOS Domain Model (Complete Version). CoRR abs/1712.07406 (2017) - 2016
- [j28]Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
A formal validation of the RBAC ANSI 2012 standard using B. Sci. Comput. Program. 131: 76-93 (2016) - [c59]Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau:
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods. ABZ 2016: 394-408 - [c58]Amel Mammar, Thi Mai Nguyen, Régine Laleau:
Formal Development of a Secure Access Control Filter. HASE 2016: 173-180 - [c57]Amel Mammar, Régine Laleau:
On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications. ISoLA (1) 2016: 325-339 - [c56]Nghi Huynh, Marc Frappier, Herman Pooda, Amel Mammar, Regine Laleau:
SGAC: A patient-centered access control method. RCIS 2016: 1-12 - [c55]Thi Mai Nguyen, Amel Mammar, Regine Laleau, Samir Hameg:
A tool for the generation of a secure access control filter. RCIS 2016: 1-12 - 2015
- [j27]Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh:
Validation of IS Security Policies Featuring Authorisation Constraints. Int. J. Inf. Syst. Model. Des. 6(1): 24-46 (2015) - [j26]Catherine Dubois, Régine Laleau:
Introduction. Tech. Sci. Informatiques 34(5): 493-494 (2015) - [c54]Thomas Fayolle, Marc Frappier, Régine Laleau, Frédéric Gervais:
Formal refinement of extended state machines. Refine@FM 2015: 1-16 - 2014
- [j25]Marc Frappier, Frédéric Gervais, Régine Laleau, Jérémy Milhau:
Refinement patterns for ASTDs. Formal Aspects Comput. 26(5): 919-941 (2014) - [j24]Nadira Lammari, Nora Cuppens-Boulahia, Régine Laleau:
Introduction. Ingénierie des Systèmes d Inf. 19(6): 7-8 (2014) - [c53]Amel Mammar, Régine Laleau:
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction. APSEC (1) 2014: 438-445 - [c52]Amel Mammar, Régine Laleau:
Modeling a Landing Gear System in Event-B. ABZ (Case Study) 2014: 80-94 - [c51]Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais:
Validating the RBAC ANSI 2012 Standard Using B. ABZ 2014: 255-270 - 2013
- [j23]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010. Sci. Comput. Program. 78(3): 270-271 (2013) - [c50]Christophe Gnaho, Farida Semmak, Régine Laleau:
Modeling the Impact of Non-functional Requirements on Functional Requirements. ER Workshops 2013: 59-67 - [c49]Christophe Gnaho, Farida Semmak, Regine Laleau:
An overview of a SysML extension for goal-oriented NFR modelling: Poster paper. RCIS 2013: 1-2 - 2012
- [j22]Abderrahman Matoussi, Régine Laleau:
Une approche pour la prise en compte des buts non fonctionnels dans les spécifications abstraites Event-B. Ingénierie des Systèmes d Inf. 17(3): 95-118 (2012) - [j21]Jérémy Milhau, Frédéric Gervais, Régine Laleau, Marc Frappier:
Refinement patterns for ASTD. ACM SIGSOFT Softw. Eng. Notes 37(4): 1-8 (2012) - [c48]Hakim Ferrier-Belhaouari, Pierre Konopacki, Régine Laleau, Marc Frappier:
A Design by Contract Approach to Verify Access Control Policies. ICECCS 2012: 263-272 - [c47]Manzoor Ahmad, Jean-Michel Bruel, Régine Laleau, Christophe Gnaho:
Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling. ANT/MobiWIS 2012: 474-481 - 2011
- [j20]Brigitte Grau, Régine Laleau, Jean-Yves Ramel:
Introduction. Document Numérique 14(2): 7-10 (2011) - [j19]Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis:
Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments. Int. J. Syst. Serv. Oriented Eng. 2(2): 37-59 (2011) - [j18]Régine Laleau:
Éditorial. Ingénierie des Systèmes d Inf. 16(1): 7-8 (2011) - [j17]Abderrahman Matoussi, Régine Laleau:
Un outil de construction de spécifications abstraites Event-B dirigée par les buts. Ingénierie des Systèmes d Inf. 16(5): 143-166 (2011) - [j16]Jérémy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, Marc Frappier:
Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng. 7(4): 303-313 (2011) - [c46]Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh:
Taking into Account Functional Models in the Validation of IS Security Policies. CAiSE Workshops 2011: 592-606 - [c45]Pierre Konopacki, Marc Frappier, Régine Laleau:
Expressing Access Control Policies with an Event-Based Approach. CAiSE Workshops 2011: 607-621 - [c44]Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis:
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress. FPS 2011: 218-226 - [c43]Pierre Konopacki, Hakim Belhaouari, Marc Frappier, Régine Laleau:
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress. FPS 2011: 227-233 - [c42]Jérémy Milhau, Marc Frappier, Régine Laleau:
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress. FPS 2011: 234-241 - [c41]Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification. ICECCS 2011: 139-148 - [c40]Abderrahman Matoussi, Régine Laleau:
Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B . INFORSID 2011: 301-316 - [c39]Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis:
A Four-concern-oriented Secure IS Development Approach. SECRYPT 2011: 464-471 - 2010
- [j15]Pierre Konopacki, Marc Frappier, Régine Laleau:
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB3SEC. Ingénierie des Systèmes d Inf. 15(3): 113-136 (2010) - [j14]Régine Laleau, Farida Semmak, Abderrahman Matoussi, Dorian Petit, Ahmed Hammad, Bruno Tatibouët:
A first attempt to combine SysML requirements diagrams and B. Innov. Syst. Softw. Eng. 6(1-2): 47-54 (2010) - [c38]Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Pierre Konopacki, Régine Laleau, Jérémy Milhau, Richard St-Denis:
Model-driven Engineering of Functional Security Policies. ICEIS (3) 2010: 374-379 - [c37]Jérémy Milhau, Marc Frappier, Frédéric Gervais, Régine Laleau:
Systematic Translation Rules from astd to Event-B. IFM 2010: 245-259 - [c36]Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned. SBMF 2010: 177-193 - [c35]Michel Embe Jiague, Marc Frappier, Frédéric Gervais, Régine Laleau, Richard St-Denis:
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment. WISE Workshops 2010: 126-141 - [e2]Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves:
Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings. Lecture Notes in Computer Science 5977, Springer 2010, ISBN 978-3-642-11810-4 [contents]
2000 – 2009
- 2009
- [j13]Frédéric Gervais, Marc Frappier, Régine Laleau:
Generating relational database transactions from eb3 attribute definitions. Softw. Syst. Model. 8(3): 423-445 (2009) - [c34]Farida Semmak, Christophe Gnaho, Joël Brunet, Régine Laleau:
How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle. ENASE 2009: 87-94 - [c33]Farida Semmak, Christophe Gnaho, Régine Laleau:
Extended KAOS Method to Model Variability in Requirements. ENASE (Selected Papers) 2009: 193-205 - [c32]Pierre Konopacki, Marc Frappier, Régine Laleau:
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. INFORSID 2009: 295-310 - [c31]Farida Semmak, Régine Laleau, Christophe Gnaho:
Supporting Variability in Goal-based Requirements. RCIS 2009: 237-246 - [c30]Farida Semmak, Christophe Gnaho, Régine Laleau:
A Tool for Modelling Variability at Goal Level. VaMoS 2009: 177-180 - [p1]Amel Mammar, Régine Laleau:
UB2SQL. Database Technologies: Concepts, Methodologies, Tools, and Applications 2009: 1168-1188 - 2008
- [j12]Régine Laleau, Fiona Polack:
Using formal metamodels to check consistency of functional views in information systems specification. Inf. Softw. Technol. 50(7-8): 797-814 (2008) - [j11]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. Ingénierie des Systèmes d Inf. 13(4): 133-157 (2008) - [j10]Marc Frappier, Frédéric Gervais, Régine Laleau, Benoît Fraikin, Richard St-Denis:
Extending statecharts with process algebra operators. Innov. Syst. Softw. Eng. 4(3): 285-292 (2008) - [j9]Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier:
Applying CSP || B to information systems. Softw. Syst. Model. 7(1): 85-102 (2008) - [j8]Amel Mammar, Régine Laleau:
Implémentation JAVA d'une spAcification B. Application aux bases de données. Tech. Sci. Informatiques 27(5): 537-570 (2008) - [c29]Abderrahman Matoussi, Frédéric Gervais, Régine Laleau:
A First Attempt to Express KAOS Refinement Patterns with Event B. ABZ 2008: 338 - [c28]Farida Semmak, Christophe Gnaho, Régine Laleau:
Extended Kaos to Support Variability for Goal Oriented Requirements Reuse. MoDISE-EUS 2008: 22-33 - [c27]Joël Brunet, Farida Semmak, Régine Laleau, Christophe Gnaho:
Using Variants in KAOS Goal Modelling. ICEIS (3-2) 2008: 339-344 - 2007
- [c26]Frédéric Gervais, Marc Frappier, Régine Laleau:
Refinement of eb3 Process Patterns into B Specifications. B 2007: 201-215 - [c25]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. INFORSID 2007: 155-170 - [c24]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. RCIS 2007: 61-72 - [c23]Marc Frappier, Benoît Fraikin, Frédéric Gervais, Régine Laleau, Mario Richard:
Synthesizing Information Systems: the APIS Project. RCIS 2007: 73-84 - [e1]Régine Laleau, Michel Lemoine:
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006. CEUR Workshop Proceedings 241, CEUR-WS.org 2007 [contents] - 2006
- [j7]Amel Mammar, Régine Laleau:
A formal approach based on UML and B for the specification and development of database applications. Autom. Softw. Eng. 13(4): 497-528 (2006) - [j6]Amel Mammar, Régine Laleau:
From a B formal specification to an executable code: application to the relational database domain. Inf. Softw. Technol. 48(4): 253-279 (2006) - [j5]Amel Mammar, Régine Laleau:
UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method. J. Database Manag. 17(4): 70-89 (2006) - [j4]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. Softw. Process. Improv. Pract. 11(5): 487-503 (2006) - [c22]Régine Laleau, Michel Lemoine:
Preface. ReMo2V 2006 - [c21]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. CAiSE Forum 2006 - [c20]Frédéric Gervais, Panawé Batanado, Marc Frappier, Régine Laleau:
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions. ICEIS (3) 2006: 44-51 - [c19]Amel Mammar, Frédéric Gervais, Régine Laleau:
Systematic Identification of Preconditions from Set-Based Integrity Constraints. INFORSID 2006: 595-610 - [i1]Sandrine Blazy, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method. CoRR abs/cs/0610097 (2006) - 2005
- [j3]Benoît Fraikin, Marc Frappier, Régine Laleau:
State-based versus event-based specifications for information systems: a comparison of B and eb3. Softw. Syst. Model. 4(3): 236-257 (2005) - [c18]Frédéric Gervais, Marc Frappier, Régine Laleau:
Synthesizing B Specifications from EB3 Attribute Definitions. IFM 2005: 207-226 - [c17]Frédéric Gervais, Marc Frappier, Régine Laleau:
Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces. SEFM 2005: 117-126 - [c16]Frédéric Gervais, Marc Frappier, Régine Laleau:
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions? MSVVEIS 2005: 83-88 - 2004
- [c15]Xiaocheng Ge, Fiona Polack, Régine Laleau:
Secure Databases: An Analysis of Clark-Wilson Model in a Database Environment. CAiSE 2004: 234-247 - [c14]Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier:
How to Verify Dynamic Properties of Information Systems. SEFM 2004: 416-425 - 2003
- [c13]Amel Mammar, Régine Laleau:
Design of an Automatic Prover Dedicated to the Refinement of Database Applications. FME 2003: 834-854 - [c12]Sandrine Blazy, Frédéric Gervais, Régine Laleau:
Reuse of Specification Patterns with the B Method. ZB 2003: 40-57 - [c11]Marc Frappier, Régine Laleau:
Proving Event Ordering Properties for Information Systems. ZB 2003: 421-436 - 2002
- [c10]Regine Laleau, Fiona Polack:
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. ZB 2002: 517-534 - 2001
- [j2]Regine Laleau, Fiona Polack:
Specification of integrity-preserving operations in information systems by using a formal UML-based language. Inf. Softw. Technol. 43(12): 693-704 (2001) - [c9]Regine Laleau, Fiona Polack:
A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems. CAiSE 2001: 402-416 - 2000
- [c8]Regine Laleau:
On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications. ICEIS 2000: 56-63 - [c7]Régine Laleau, Amel Mammar:
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations. ASE 2000: 269-272 - [c6]Régine Laleau, Amel Mammar:
A Generic Process to Refine a B Specification into a Relational Database Implementation. ZB 2000: 22-41
1990 – 1999
- 1999
- [j1]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) - 1996
- [c5]Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani:
Deriving Normalized Is_a Hierarchies by Using Applicability Constraints. CAiSE 1996: 562-580 - 1995
- [c4]Philippe Facon, Regine Laleau:
Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?. INFORSID 1995 - [c3]Regine Laleau, Nassim Hadj Rabia:
Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données. INFORSID 1995 - 1994
- [c2]Nadira Lammari, Regine Laleau, Mireille Jouve, Xavier Castellani:
An Algorithm for IS_A Hierarchy Derivation. OOIS 1994: 469-479 - 1993
- [c1]Regine Laleau, Philippe Facon:
Modeling Semantic Data Concepts with VDM. SEKE 1993: 228-230
Coauthor Index
[j35] [c83] [j33] [j32] [c73] [j31] [c71] [c70] [c68] [c67] [c66] [c65] [c63] [i5] [i4] [c61] [c60] [i3] [i2] [j28] [c59] [c56] [c54] [j25] [c51] [j23] [j21] [c48] [j19] [j16] [c45] [c44] [c43] [c42] [c39] [j15] [c38] [c37] [c35] [e2] [j13] [c32] [j10] [j9] [c26] [c23] [c20] [j3] [c18] [c17] [c16] [c14] [c11]
Steve Tueno
aka: Steve Jeffrey Tueno Fotso
aka: Steve Jeffrey Tueno Fotso
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
