Benoît Barbot : Publications
-
[1]
On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
B. Barbot and M. Kwiatkowska
In Proc. 36th International Conference on Application and Theory of Petri Nets and Concurrency. 2015.
To appear.
Details about On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets | BibTeX data for On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
-
[1]
Acceleration for Statistical Model Checking
Benôıt Barbot
PhD Thesis , type= PhD Thesis. Laboratoire Spécification et Vérification‚ ENS Cachan‚ France. 2014.
Details about Acceleration for Statistical Model Checking | BibTeX data for Acceleration for Statistical Model Checking | Download (pdf) of Acceleration for Statistical Model Checking
-
[2]
Coupling and Importance Sampling for Statistical Model Checking
Benoît Barbot‚ Serge Haddad and Claudine Picaronny
In Proceedings of (TACAS'12). Pages 331−346. 2012.
Details about Coupling and Importance Sampling for Statistical Model Checking | BibTeX data for Coupling and Importance Sampling for Statistical Model Checking
-
[3]
Efficient CTMC Model Checking of Linear Real−Time Objectives
Benoît Barbot‚ Taolue Chen‚ Tingting Han‚ Joost−Pieter Katoen and Alexandru Mereacre
In Proceedings of (TACAS'11). Pages 128−142. 2011.
Details about Efficient CTMC Model Checking of Linear Real−Time Objectives | BibTeX data for Efficient CTMC Model Checking of Linear Real−Time Objectives
-
[4]
Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
Elvio Gilberto Amparore‚ Benoit Barbot‚ Marco Beccuti‚ Susanna Donatelli and Giuliana Franceschinis
In Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation. Pages 253–264. New York‚ NY‚ USA. 2013. ACM.
Details about Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets | BibTeX data for Simulation−based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets
-
[5]
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
Étienne André‚ Benôıt Barbot‚ Clément Démoulins‚ Lom Messan Hillah‚ Francis Hulin−Hubard‚ Fabrice Kordon‚ Alban Linard‚ Laure Petrucci and others
In Proceedings of (ICFEM'13). Pages 199–214. 2013.
Details about A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems | BibTeX data for A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems
-
[6]
Importance Sampling for Model Checking of Continuous Time Markov Chains
Benôıt Barbot‚ Serge Haddad and Claudine Picaronny
In Petre Dini and Pascal Lorenz, editors, Proceedings of (SIMUL'12). Pages 30−35. Lisbon‚ Portugal. 2012. IARIA.
Details about Importance Sampling for Model Checking of Continuous Time Markov Chains | BibTeX data for Importance Sampling for Model Checking of Continuous Time Markov Chains
-
[7]
Rare Event Handling in Signalling Cascades
Benôıt Barbot‚ Serge Haddad‚ Monika Heiner and Claudine Picaronny
In Amr Arisha and Georgiy Bobashev, editors, Proceedings of (SIMUL'14). Pages 126−131. Nice‚ France. October, 2014. XPS.
Details about Rare Event Handling in Signalling Cascades | BibTeX data for Rare Event Handling in Signalling Cascades
-
[8]
Échantillonnage préférentiel pour le model checking statistique
Benôıt Barbot‚ Serge Haddad and Claudine Picaronny
In Proceedings of (MSR'11). Vol. 45 of Journal Européen des Systèmes Automatisés. Lille‚ France. November, 2011. Hermès.
Details about Échantillonnage préférentiel pour le model checking statistique | BibTeX data for Échantillonnage préférentiel pour le model checking statistique