Richard Lassaigne

From MaRDI portal
Person:2478550

Available identifiers

zbMath Open lassaigne.richardMaRDI QIDQ2478550

List of research outcomes





PublicationDate of PublicationType
Testing membership for timed automata2023-11-21Paper
Probabilistic abstraction for model checking: an approach based on property testing2017-07-12Paper
Evaluating complex MAC protocols for sensor networks with APMC2015-03-18Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC2013-09-26Paper
Distribution, approximation and probabilistic model checking2013-09-26Paper
Verification, Model Checking, and Abstract Interpretation2009-05-15Paper
Probabilistic verification and approximation2008-03-28Paper
https://portal.mardi4nfdi.de/entity/Q48274632004-11-18Paper
https://portal.mardi4nfdi.de/entity/Q48132092004-08-13Paper
https://portal.mardi4nfdi.de/entity/Q48775001996-05-13Paper
https://portal.mardi4nfdi.de/entity/Q48464691995-08-27Paper
https://portal.mardi4nfdi.de/entity/Q56454141972-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56483611971-01-01Paper

Research outcomes over time

This page was built for person: Richard Lassaigne

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