Sylvain Peyronnet

Available identifiers

zbMath Open peyronnet.sylvainMaRDI QIDQ630593

List of research outcomes

Publication	Date of Publication	Type
Probabilistic abstraction for model checking	2017-07-12	Paper
Evaluating Complex MAC Protocols for Sensor Networks with APMC	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	2012-09-21	Paper
Exact optimization for the \(\ell ^{1}\)-compressive sensing problem using a modified Dantzig-Wolfe method	2011-03-17	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Probabilistic verification and approximation	2008-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4813209	2004-08-13	Paper

Research outcomes over time

This page was built for person: Sylvain Peyronnet