Alexandru Mereacre

ORCID

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 8

Top Venues

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Kubilay Ahmet Küçük, Steve Moyle, Andrew C. Martin, Alexandru Mereacre, Nicholas Allott
SoK: How Not to Architect Your Next-Generation TEE Malware? HASP@MICRO (2022)
Kubilay Ahmet Küçük, Steve Moyle, Andrew C. Martin, Alexandru Mereacre, Nicholas Allott
SoK: How Not to Architect Your Next-Generation TEE Malware? CoRR (2022)
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
Quantitative model-checking of controlled discrete-time Markov processes. Inf. Comput. 253 (2017)
Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC (2016)
Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC (2015)
Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB (2015)
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB (2015)
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32 (5) (2015)
Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre
Synthesising optimal timing delays for Timed I/O Automata. EMSOFT (2014)
Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti
Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI (2014)
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
Quantitative model-checking of controlled discrete-time Markov processes. CoRR (2014)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236 (2014)
Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV (2014)
Marta Z. Kwiatkowska, Alexandru Mereacre
Automated Verification of Quantitative Properties of Cardiac Pacemaker Software. MCPS (2014)
Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) (2014)
Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen, Alessandro Abate
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. HSCC (2013)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Verification of linear duration properties over continuous-time markov chains. ACM Trans. Comput. Log. 14 (4) (2013)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC (2013)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Verification of linear duration properties over continuous-time markov chains. HSCC (2012)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Quantitative Verification of Implantable Cardiac Pacemakers. RTSS (2012)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Observing Continuous-Time MDPs by 1-Clock Timed Automata. RP (2011)
Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre
Quantitative automata model checking of autonomous stochastic hybrid systems. HSCC (2011)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Reachability probabilities in Markovian Timed Automata. CDC/ECC (2011)
Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Efficient CTMC Model Checking of Linear Real-Time Objectives. TACAS (2011)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications Log. Methods Comput. Sci. 7 (1) (2011)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS (2011)
Marijn R. Jongerden, Alexandru Mereacre, Henrik C. Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen
Computing Optimal Schedules for battery Usage in Embedded Systems. IEEE Trans. Ind. Informatics 6 (3) (2010)
Alexandru Mereacre
Time-Inhomogeneous Markov Chains and Piecewise Deterministic Markov Processes. AlgoSyn (2010)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications. LICS (2009)
Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
LTL Model Checking of Time-Inhomogeneous Markov Chains. ATVA (2009)
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability. RTSS (2008)
Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains. HSCC (2008)
Joost-Pieter Katoen, Alexandru Mereacre
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains. FORMATS (2008)

Alexandru Mereacre.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandru Mereacre