Alexandru Mereacre

Alexandru Mereacre

Research Assistant

Leaving date: 7th June 2015

Themes:

• Automated Verification

Completed Projects:

• VERIWARE
• Autonomous Ubiquitous Sensing
• VERIPACE

Interests

• Probabilistic Verification
• Controller Synthesis
• Stochastic Hybrid Systems

My old webpage at RWTH Aachen University:

http://www-i2.informatik.rwth-aachen.de/i2/mereacre/

My latest publications can be found here:

http://www.veriware.org/publications.php

http://www.informatik.uni-trier.de/~ley/pers/hd/m/Mereacre:Alexandru.html

Biography

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

• Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.

  Marta Kwiatkowska‚ Alexandru Mereacre‚ Nicola Paoletti and Andrea Patanè

  No. CS−RR−15−09. Department of Computer Science. Oxford‚ UK. September, 2015.

  Details about Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. | BibTeX data for Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques. | Download  (pdf) of Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques.

• 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

Activities

• Probabilistic Model Checking
• Quantitative Analysis and Verification