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",
}