Concepedia

Alexandru Mereacre

AM

11

Publications

481

Citations

11

H-Index

2008

Active since

Affiliations

University of Oxford(Current)

RWTH Aachen University

University of Twente

Delft University of Technology

Alexandru Mereacre is an author at University of Oxford specializing in systems engineering, engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal VerificationVerificationFormal MethodsCardiologyHeart FailureComputer EngineeringMedicine

Publications per year

2008–2015

11

Publications

11

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

Taolue Chen, Tingting Han, Joost-Pieter Katoen et al. · 2009 · 76 citations

Engineering, Reachability Problem, Verification +21

Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability

Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre · 2008 · 70 citations

Engineering, Reachability Problem, Approximate Parameter Synthesis +17

Quantitative verification of implantable cardiac pacemakers over hybrid heart models

Taolue Chen, Marco Diciolla, Marta Kwiatkowska et al. · Information and Computation · 2014 · 69 citations

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

Ilya Tkachev, Alexandru Mereacre, Joost-Pieter Katoen et al. · 2013 · 61 citations

Engineering, Reachability Problem, Verification +16

A simulink hybrid heart model for quantitative verification of cardiac pacemakers

Taolue Chen, Marco Diciolla, Marta Kwiatkowska et al. · 2013 · 44 citations

Cardiac Muscle, Heart Failure, Pacemaker Model +23

Rows per page

1–5 of 11