Alexandru Mereacre

According to our database, Alexandru Mereacre authored at least 31 papers between 2008 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

SoK: How Not to Architect Your Next-Generation TEE Malware?

Kubilay Ahmet Küçük, Steve Moyle, Andrew Martin, Alexandru Mereacre, Nicholas Allott

Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy, 2022

2017

Quantitative model-checking of controlled discrete-time Markov processes.

Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate

Inf. Comput., 2017

2016

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

Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage.

Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska

IEEE Des. Test, 2015

Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques.

Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers.

Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane

Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

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

Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Quantitative verification of implantable cardiac pacemakers over hybrid heart models.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Inf. Comput., 2014

Automated Verification of Quantitative Properties of Cardiac Pacemaker Software.

Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers.

Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Formal Modelling and Validation of Rate-Adaptive Pacemakers.

Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti

Proceedings of the 2014 IEEE International Conference on Healthcare Informatics, 2014

Synthesising optimal timing delays for Timed I/O Automata.

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 2014 International Conference on Embedded Software, 2014

Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells.

Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Verification of linear duration properties over continuous-time markov chains.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

ACM Trans. Comput. Log., 2013

Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems.

Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

A simulink hybrid heart model for quantitative verification of cardiac pacemakers.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Verification of continuous-space stochastic systems.

Alexandru Mereacre

PhD thesis, 2012

Quantitative Verification of Implantable Cardiac Pacemakers.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

2011

Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Log. Methods Comput. Sci., 2011

Efficient CTMC Model Checking of Linear Real-Time Objectives.

Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Observing Continuous-Time MDPs by 1-Clock Timed Automata.

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the Reachability Problems - 5th International Workshop, 2011

Quantitative automata model checking of autonomous stochastic hybrid systems.

Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Time-Bounded Verification of CTMCs against Real-Time Specifications.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Reachability probabilities in Markovian Timed Automata.

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Computing Optimal Schedules for battery Usage in Embedded Systems.

Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen

IEEE Trans. Ind. Informatics, 2010

Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes.

Alexandru Mereacre

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009

Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications.

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

LTL Model Checking of Time-Inhomogeneous Markov Chains.

Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.

Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains.

Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains.

Joost-Pieter Katoen, Alexandru Mereacre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008