Alexandru Mereacre : Publications
-
[1]
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
-
[2]
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
-
[3]
Synthesising Optimal Timing Delays for Timed I/O Automata
Marco Diciolla‚ Chang Hwan Peter Kim‚ Marta Kwiatkowska and Alexandru Mereacre
DCS. 2014.
Details about Synthesising Optimal Timing Delays for Timed I/O Automata | BibTeX data for Synthesising Optimal Timing Delays for Timed I/O Automata | Download (pdf) of Synthesising Optimal Timing Delays for Timed I/O Automata
-
[4]
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.