Benoît Barbot : Publications
Click here to download all publications in a single bibtex file
@techreport{RR-16-01, title = "Building Power Consumption Models from Executable Timed I/O Automata Specifications", author = "Benoît Barbot and Marta Kwiatkowska and Alexandru Mereacre and Nicola Paoletti", year = "2016", address = "Oxford, UK", institution = "Department of Computer Science", }
@article{BHHP-sysmea15, title = "Rare Event Handling in Signalling Cascades", author = "Barbot, Beno{\^\i}t and Haddad, Serge and Heiner, Monika and Picaronny, Claudine", year = "2015", journal = "{J}ournal on {A}dvances in {S}ystems and {M}easurements (SysMea15)", month = "June", volume = "8", }
@techreport{TechBKMP15, title = "Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices", author = "Barbot, Beno\^it and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola", year = "2015", address = "Oxford, UK", institution = "Department of Computer Science", month = "May", number = "CS-RR-15-05", }
@article{BBDHN15-perfeval, title = "{HASL}: A~New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation", author = "Ballarini, Paolo and Barbot, Beno{\^\i}t and Duflot, Marie and Haddad, Serge and Pekergin, Nihal", year = "2015", journal = "Performance Evaluation", }
@inproceedings{BK15, title = "On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets", author = "B. Barbot and M. Kwiatkowska", year = "2015", booktitle = "Proc. 36th International Conference on Application and Theory of Petri Nets and Concurrency", note = "To appear.", }
@inproceedings{BHHP-simul14, title = "Rare Event Handling in Signalling Cascades", author = "Barbot, Beno{\^\i}t and Haddad, Serge and Heiner, Monika and Picaronny, Claudine", year = "2014", address = "Nice, France", booktitle = "Proceedings of ({SIMUL}'14)", editor = "Arisha, Amr and Bobashev, Georgiy", month = "oct", pages = "126-131", publisher = "XPS", }
@phdthesis{barbot-phd2014, title = "Acceleration for Statistical Model Checking", author = "Barbot, Beno{\^\i}t", year = "2014", school = "Laboratoire Sp{\'e}cification et V{\'e}rification, ENS Cachan, France", url = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/barbot-phd14.pdf", }
@inproceedings{andre2013modular, title = "A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems", author = "Andr{\'e}, {\'E}tienne and Barbot, Beno{\^\i}t and D{\'e}moulins, Cl{\'e}ment and Hillah, Lom Messan and Hulin-Hubard, Francis and Kordon, Fabrice and Linard, Alban and Petrucci, Laure and others", year = "2013", booktitle = "Proceedings of (ICFEM'13)", pages = "199--214", }
@inproceedings{PADS2013, title = "Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets", author = "Amparore, Elvio Gilberto and Barbot, Benoit and Beccuti, Marco and Donatelli, Susanna and Franceschinis, Giuliana", year = "2013", address = "New York, NY, USA", booktitle = "Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation", pages = "253--264", publisher = "ACM", series = "(SIGSIM-PADS '13)", }
@inproceedings{BHP-simul12, title = "Importance Sampling for Model Checking of Continuous Time Markov Chains", author = "Beno{\^\i}t Barbot and Serge Haddad and Claudine Picaronny", year = "2012", address = "Lisbon, Portugal", booktitle = "Proceedings of (SIMUL'12)", editor = "Petre Dini and Pascal Lorenz", month = "Novembre", pages = "30-35", publisher = "IARIA", }
@inproceedings{BHP-tacas12, title = "Coupling and Importance Sampling for Statistical Model Checking", author = "Beno\^{\i}t Barbot and Serge Haddad and Claudine Picaronny", year = "2012", booktitle = "Proceedings of (TACAS'12)", pages = "331-346", }
@inproceedings{BHP-msr11, title = "{\'E}chantillonnage pr{\'e}f{\'e}rentiel pour le model checking statistique", author = "Barbot, Beno{\^\i}t and Haddad, Serge and Picaronny, Claudine", year = "2011", address = "Lille, France", booktitle = "Proceedings of ({MSR}'11)", month = "nov", publisher = "Herm{\`e}s", series = "Journal Europ{\'e}en des Syst{\`e}mes Automatis{\'e}s", volume = "45", }
@inproceedings{BCHKM11-tacas11, title = "Efficient {CTMC} Model Checking of Linear Real-Time Objectives", author = "Beno\^{\i}t Barbot and Taolue Chen and Tingting Han and Joost-Pieter Katoen and Alexandru Mereacre", year = "2011", booktitle = "Proceedings of (TACAS'11)", pages = "128-142", }