Dominique Méry

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
https://portal.mardi4nfdi.de/entity/Q2709808	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominique Méry