Régine Laleau

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards leveraging domain knowledge in state-based formal methods	2022-03-22	Paper
Refinement patterns for ASTDs Formal Aspects of Computing	2016-08-05	Paper
A metamodel for the design of access-control policy enforcement managers: work in progress Foundations and Practice of Security	2012-06-08	Paper
A metamodel of the B modeling of access-control policies: work in progress Foundations and Practice of Security	2012-06-08	Paper
Specification and verification of access control policies in EB\(^{3}\)SEC: work in progress Foundations and Practice of Security	2012-06-08	Paper
Specification of a localization component driven by a goal-based approach: some lessons we learned Lecture Notes in Computer Science	2011-05-12	Paper
scientific article; zbMATH DE number 2080018 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2013574 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 2013595 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1708031 (Why is no real title available?)	2002-02-19	Paper

Research outcomes over time

This page was built for person: Régine Laleau