Marc Frappier

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
Parameterized verification of monotone information systems Formal Aspects of Computing	2018-10-23	Paper
Refinement patterns for ASTDs Formal Aspects of Computing	2016-08-05	Paper
Proof-based verification approaches for dynamic properties: application to the information system domain Formal Aspects of Computing	2015-07-23	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
Efficient symbolic computation of process expressions Science of Computer Programming	2009-07-15	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
Relational and Kleene-Algebraic Methods in Computer Science Lecture Notes in Computer Science	2005-12-23	Paper
scientific article; zbMATH DE number 2013595 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 2000429 (Why is no real title available?)	2003-11-03	Paper
scientific article; zbMATH DE number 1949627 (Why is no real title available?)	2003-07-15	Paper
Semantic distance between specifications Theoretical Computer Science	2000-10-26	Paper
A calculus of program adaption and its applications Science of Computer Programming	2000-09-14	Paper
Unifying program construction and modification Logic Journal of the IGPL	1998-04-02	Paper
A relational calculus for program construction by parts Science of Computer Programming	1996-07-03	Paper

Research outcomes over time

This page was built for person: Marc Frappier