Richard Lassaigne

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Testing membership for timed automata Acta Informatica	2023-11-21	Paper
Probabilistic abstraction for model checking: an approach based on property testing ACM Transactions on Computational Logic	2017-07-12	Paper
Evaluating complex MAC protocols for sensor networks with APMC Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC	2013-09-26	Paper
Distribution, approximation and probabilistic model checking	2013-09-26	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2009-05-15	Paper
Probabilistic verification and approximation Annals of Pure and Applied Logic	2008-03-28	Paper
scientific article; zbMATH DE number 2116161 (Why is no real title available?)	2004-11-18	Paper
scientific article; zbMATH DE number 2090714 (Why is no real title available?)	2004-08-13	Paper
scientific article; zbMATH DE number 877979 (Why is no real title available?)	1996-05-13	Paper
scientific article; zbMATH DE number 790274 (Why is no real title available?)	1995-08-27	Paper
scientific article; zbMATH DE number 3373754 (Why is no real title available?)	1972-01-01	Paper
scientific article; zbMATH DE number 3377235 (Why is no real title available?)	1971-01-01	Paper

Research outcomes over time

This page was built for person: Richard Lassaigne