Dominique Mery

Available identifiers

zbMath Open mery.dominiqueMaRDI QIDQ674007

List of research outcomes

Publication	Date of Publication	Type
Empowering the Event-B method using external theories	2022-08-19	Paper
Towards leveraging domain knowledge in state-based formal methods	2022-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q5020654	2022-01-06	Paper
Verification by construction of distributed algorithms	2019-12-12	Paper
Incremental Parametric Development of Greedy Algorithms	2015-03-18	Paper
Proof-Based Design of Security Protocols	2010-06-22	Paper
Cryptographic Protocols Analysis in Event B	2010-02-02	Paper
Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm	2007-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4680189	2006-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5703804	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4817051	2004-09-14	Paper
Incremental Proof of the Producer/Consumer Property for the PCI Protocol	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4471930	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4436983	2003-12-04	Paper
A mechanically proved and incremental development of IEEE 1394 tree identify protocol	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2729918	2001-10-23	Paper
Diagram refinements for the design of reactive systems	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4494242	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4494257	2000-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4494386	2000-08-10	Paper
On using temporal logic for refinement and compositional verification of concurrent systems	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4028369	1993-03-28	Paper
The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)	1992-09-26	Paper
Méthode axiomatique sur les propriétés de fatalité des programmes parallèles	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4727421	1986-01-01	Paper

Research outcomes over time

This page was built for person: Dominique Mery