Régine Laleau
Orcid: 0000-0002-2019-4936Affiliations:
- Université Paris-Est Créteil, France
According to our database1,
Régine Laleau
authored at least 120 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Softw. Tools Technol. Transf., June, 2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024
Proceedings of the Formal Methods and Software Engineering, 2024
Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024
2023
A Tool-Supported Approach for Modeling and Verifying Hybrid Systems using EVENT-B and the Differential Equation Solver SAGEMATH.
Proceedings of the 18th International Conference on Software Technologies, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
2022
Modeling and proving hybrid programs with Event-B: An approach by generalization and instantiation.
Sci. Comput. Program., 2022
Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study.
Proceedings of the 26th International Conference on Engineering of Complex Computer Systems, 2022
Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications.
Proceedings of the Risks and Security of Internet and Systems, 2022
2021
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021
Proceedings of the Logic, Computation and Rigorous Methods, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach.
Int. J. Softw. Tools Technol. Transf., 2020
Formal Requirements Modeling and Verification for Critical Systems.
Proceedings of the 22nd International Conference on Enterprise Information Systems, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
2019
Comput. J., 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference Workshops, 2019
Proceedings of the 14th International Conference on Software Technologies, 2019
Proceedings of the Formal Methods and Software Engineering, 2019
2018
Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment.
Proceedings of the New Trends in Model and Data Engineering, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
A formal approach to derive an aspect oriented programming-based implementation of a secure access control filter.
Inf. Softw. Technol., 2017
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017
2016
Sci. Comput. Program., 2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Int. J. Inf. Syst. Model. Des., 2015
Proceedings of the Proceedings 17th International Workshop on Refinement, 2015
2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
A Proved Approach for Building Correct Instances of UML Associations: Multiplicities Satisfaction.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Sci. Comput. Program., 2013
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013
Proceedings of the Advances in Conceptual Modeling, 2013
2012
Proceedings of the 3rd International Conference on Ambient Systems, 2012
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., 2012
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012
2011
Innov. Syst. Softw. Eng., 2011
Ingénierie des Systèmes d Inf., 2011
Int. J. Syst. Serv. Oriented Eng., 2011
Introduction.
Document Numérique, 2011
A Four-concern-oriented Secure IS Development Approach.
Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011
Une première approche de traçabilité entre modèles d'exigences non-fonctionnelles et spécifications abstraites Event-B .
Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
Proceedings of the Foundations and Practice of Security, 2011
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress.
Proceedings of the Foundations and Practice of Security, 2011
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress.
Proceedings of the Foundations and Practice of Security, 2011
Proceedings of the Advanced Information Systems Engineering Workshops, 2011
Proceedings of the Advanced Information Systems Engineering Workshops, 2011
2010
Innov. Syst. Softw. Eng., 2010
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus. Présentation de la méthode EB<sup>3</sup>SEC.
Ingénierie des Systèmes d Inf., 2010
From ASTD Access Control Policies to WS-BPEL Processes Deployed in a SOA Environment.
Proceedings of the Web Information Systems Engineering - WISE 2010 Workshops, 2010
Specification of a Localization Component Driven by a Goal-Based Approach: Some Lessons We Learned.
Proceedings of the Formal Methods: Foundations and Applications, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Model-driven Engineering of Functional Security Policies.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 3, ISAS, Funchal, Madeira, Portugal, June 8, 2010
2009
Generating relational database transactions from eb<sup>3</sup> attribute definitions.
Softw. Syst. Model., 2009
Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, 2009
Proceedings of the Third IEEE International Conference on Research Challenges in Information Science, 2009
Modélisation de politiques de sécurité à l'aide d'une algèbre de processus.
Proceedings of the Actes du XXVIIème Congrès INFORSID, Toulouse, France, 26-29 mai 2009, 2009
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2009
How to Adapt the KAOS Method to the Requirements Engineering of Cycab Vehicle.
Proceedings of the ENASE 2009, 2009
2008
Tech. Sci. Informatiques, 2008
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., 2008
Using formal metamodels to check consistency of functional views in information systems specification.
Inf. Softw. Technol., 2008
Using Variants in KAOS Goal Modelling.
Proceedings of the ICEIS 2008, 2008
Proceedings of the International Workshop on Model Driven Information Systems Engineering: Enterprise, 2008
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008
2007
Using Computer Science Modeling Techniques for Airport Security Certification.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007
Synthesizing Information Systems: the APIS Project.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007
Proceedings of the B 2007: Formal Specification and Development in B, 2007
2006
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards.
Softw. Process. Improv. Pract., 2006
J. Database Manag., 2006
From a B formal specification to an executable code: application to the relational database domain.
Inf. Softw. Technol., 2006
A formal approach based on UML and B for the specification and development of database applications.
Autom. Softw. Eng., 2006
Systematic Identification of Preconditions from Set-Based Integrity Constraints.
Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006
EB3TG: A Tool Synthesizing Relational Database Transactions from EB3 Attribute Definitions.
Proceedings of the ICEIS 2006, 2006
Proceedings of the 18th Conference on Advanced Information Systems Engineering (CAiSE '06), 2006
Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, 2006
2005
State-based versus event-based specifications for information systems: a comparison of B and eb<sup>3</sup>.
Softw. Syst. Model., 2005
How to Synthesize Relational Database Transactions From EB3 Attribute Definitions?
Proceedings of the Modelling, 2005
Generating Relational Database Transactions From Recursive Functions Defined on EB<sup>3</sup> Traces.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005
2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Advanced Information Systems Engineering, 16th International Conference, 2004
2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003
Proceedings of the FME 2003: Formal Methods, 2003
2002
Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002
2001
Specification of integrity-preserving operations in information systems by using a formal UML-based language.
Inf. Softw. Technol., 2001
Proceedings of the Advanced Information Systems Engineering, 13th International Conference, 2001
2000
A Generic Process to Refine a B Specification into a Relational Database Implementation.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000
An Overview of a Method and Its Support Tool for Generating B Specifications from UML Notations.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000
On the Interest of Combining UML with the B Formal Method for the Specification of Database Applications.
Proceedings of the ICEIS 2000, 2000
1999
Processus d'optimisation conceptuelle d'un schéma orienté-objet.
Obj. Logiciel Base données Réseaux, 1999
1996
Proceedings of the Advances Information System Engineering, 8th International Conference, 1996
1995
Génération automatique de spécifications VDM à partir d'un schéma conceptuel de données.
Proceedings of the Actes du XIIIème Congrès INFORSID, Grenoble, France, May 30, 1995
Des spécifications informelles aux spécifications formelles: compilation ou interprétation ?.
Proceedings of the Actes du XIIIème Congrès INFORSID, Grenoble, France, May 30, 1995
1994
Proceedings of the 1994 International Conference on Object Oriented Information Systems, 1994
1993
Modeling Semantic Data Concepts with VDM.
Proceedings of the SEKE'93, 1993