Marc Frappier

Available identifiers

Publication	Date of Publication	Type
Parameterized verification of monotone information systems	2018-10-23	Paper
Refinement patterns for ASTDs	2016-08-05	Paper
Proof-based verification approaches for dynamic properties: application to the information system domain	2015-07-23	Paper
A Metamodel for the Design of Access-Control Policy Enforcement Managers: Work in Progress	2012-06-08	Paper
A Metamodel of the B Modeling of Access-Control Policies: Work in Progress	2012-06-08	Paper
Specification and Verification of Access Control Policies in EB3SEC: Work in Progress	2012-06-08	Paper
Efficient symbolic computation of process expressions	2009-07-15	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q4436981	2003-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q4433972	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4412535	2003-07-15	Paper
Semantic distance between specifications	2000-10-26	Paper
A calculus of program adaption and its applications	2000-09-14	Paper
Unifying program construction and modification	1998-04-02	Paper
A relational calculus for program construction by parts	1996-07-03	Paper

This page was built for person: Marc Frappier