Alexandru Mereacre

Available identifiers

Publication	Date of Publication	Type
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques	2019-05-21	Paper
Building power consumption models from executable timed I/O automata specifications	2017-05-19	Paper
Quantitative automata model checking of autonomous stochastic hybrid systems	2017-05-16	Paper
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems	2017-05-16	Paper
Verification of linear duration properties over continuous-time markov chains	2017-05-16	Paper
Quantitative model-checking of controlled discrete-time Markov processes	2017-03-16	Paper
Verification of linear duration properties over continuous-time Markov chains	2015-09-17	Paper
Quantitative verification of implantable cardiac pacemakers over hybrid heart models	2014-06-06	Paper
Time-Bounded Verification of CTMCs against Real-Time Specifications	2011-10-07	Paper
Observing continuous-time MDPs by 1-clock timed automata	2011-10-07	Paper
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications	2011-05-26	Paper
Efficient CTMC Model Checking of Linear Real-Time Objectives	2011-05-19	Paper
LTL model checking of time-inhomogeneous Markov chains	2009-12-01	Paper
Model Checking HML on Piecewise-Constant Inhomogeneous Markov Chains	2008-12-02	Paper
Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains	2008-09-02	Paper

This page was built for person: Alexandru Mereacre