Laurent Mounier

From MaRDI portal
Person:548693

Available identifiers

zbMath Open mounier.laurentMaRDI QIDQ548693

List of research outcomes





PublicationDate of PublicationType
“On the fly” verification of behavioural equivalences and preorders2024-04-29Paper
Output-sensitive information flow analysis2024-02-06Paper
https://portal.mardi4nfdi.de/entity/Q58564192021-03-26Paper
Runtime enforcement monitors: Composition, synthesis, and enforcement abilities2011-06-30Paper
Formal Approaches to Software Testing2009-06-04Paper
Model Checking Software2007-09-28Paper
Test Generation for Network Security Rules2007-05-02Paper
https://portal.mardi4nfdi.de/entity/Q48062062003-05-21Paper
https://portal.mardi4nfdi.de/entity/Q27797692002-04-15Paper
https://portal.mardi4nfdi.de/entity/Q27541172001-12-18Paper
https://portal.mardi4nfdi.de/entity/Q45188982001-05-20Paper
Protocol verification with the Aldébaran toolset1997-01-01Paper

Research outcomes over time

This page was built for person: Laurent Mounier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:548693&oldid=7039453"
Powered by MediaWiki