Benoît Barbot

Dr Benoît Barbot

Research Assistant

Interests

I am currently post-doctorate researcher at the University of Oxford on the VERIWARE project 

Biography

I did my PhD under the supervision of Serge Haddad and Claudine Picaronny on rare event handling in the statistical model checking. Details on my defense can be found here.

Selected Publications

View AllManage publications

• Building Power Consumption Models from Executable Timed I/O Automata Specifications

  Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti

  Department of Computer Science. Oxford‚ UK. 2016.

  Details about Building Power Consumption Models from Executable Timed I/O Automata Specifications | BibTeX data for Building Power Consumption Models from Executable Timed I/O Automata Specifications | Download  (pdf) of Building Power Consumption Models from Executable Timed I/O Automata Specifications

• Rare Event Handling in Signalling Cascades

  Benôıt Barbot‚ Serge Haddad‚ Monika Heiner and Claudine Picaronny

  In Journal on Advances in Systems and Measurements (SysMea15). Vol. 8. June, 2015.

  Details about Rare Event Handling in Signalling Cascades | BibTeX data for Rare Event Handling in Signalling Cascades

• Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices

  Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti

  No. CS−RR−15−05. Department of Computer Science. Oxford‚ UK. May, 2015.

  Details about Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices | BibTeX data for Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices | Download  (pdf) of Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices