Sylvain Peyronnet

zbMath Openpeyronnet.sylvainMaRDI QIDQ630593

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
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
Approximate verification and enumeration problems Theoretical Aspects of Computing – ICTAC 2012	2012-09-21	Paper
Exact optimization for the \(\ell ^{1}\)-compressive sensing problem using a modified Dantzig-Wolfe method Theoretical Computer Science	2011-03-17	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 2090714 (Why is no real title available?)	2004-08-13	Paper

Research outcomes over time

This page was built for person: Sylvain Peyronnet