Alexandru Mereacre
Alexandru Mereacre
Nquiringminds Ltd
Verified email at nquiringminds.com
Title
Cited by
Cited by
Year
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54 (6), 589-623, 2017
77*2017
Approximate parameter synthesis for probabilistic time-bounded reachability
T Han, JP Katoen, A Mereacre
2008 Real-Time Systems Symposium, 173-182, 2008
742008
Quantitative model checking of continuous-time Markov chains against timed automata specifications
T Chen, T Han, JP Katoen, A Mereacre
2009 24th Annual IEEE Symposium on Logic In Computer Science, 309-318, 2009
622009
Model checking of continuous-time Markov chains against timed automata specifications
T Chen, T Han, JP Katoen, A Mereacre
arXiv preprint arXiv:1101.3694, 2011
542011
Quantitative verification of implantable cardiac pacemakers over hybrid heart models
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
Information and Computation 236, 87-101, 2014
502014
Efficient CTMC model checking of linear real-time objectives
B Barbot, T Chen, T Han, JP Katoen, A Mereacre
International Conference on Tools and Algorithms for the Construction and …, 2011
442011
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
I Tkachev, A Mereacre, JP Katoen, A Abate
Proceedings of the 16th international conference on Hybrid systems …, 2013
432013
Computing optimal schedules of battery usage in embedded systems
M Jongerden, A Mereacre, H Bohnenkamp, B Haverkort, JP Katoen
IEEE Transactions on Industrial Informatics 6 (3), 276-286, 2010
432010
Quantitative automata model checking of autonomous stochastic hybrid systems
A Abate, JP Katoen, A Mereacre
Proceedings of the 14th international conference on Hybrid systems …, 2011
352011
Time-bounded verification of CTMCs against real-time specifications
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
International Conference on Formal Modeling and Analysis of Timed Systems, 26-42, 2011
332011
Invariant verification of nonlinear hybrid automata networks of cardiac cells
Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska
International Conference on Computer Aided Verification, 373-390, 2014
322014
Quantitative verification of implantable cardiac pacemakers
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
2012 IEEE 33rd Real-Time Systems Symposium, 263-272, 2012
282012
A simulink hybrid heart model for quantitative verification of cardiac pacemakers
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
Proceedings of the 16th international conference on Hybrid systems …, 2013
242013
Quantitative model-checking of controlled discrete-time Markov processes
I Tkachev, A Mereacre, JP Katoen, A Abate
Information and Computation 253, 1-35, 2017
172017
Estimation and verification of hybrid heart models for personalised medical and wearable devices
B Barbot, M Kwiatkowska, A Mereacre, N Paoletti
International Conference on Computational Methods in Systems Biology, 3-7, 2015
162015
Formal modelling and validation of rate-adaptive pacemakers
M Kwiatkowska, H Lea-Banks, A Mereacre, N Paoletti
2014 IEEE International Conference on Healthcare Informatics, 23-32, 2014
162014
Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques
M Kwiatkowska, A Mereacre, N Paoletti, A Patanč
International Workshop on Hybrid Systems Biology, 119-140, 2015
152015
Synthesising optimal timing delays for timed I/O automata
M Diciolla, CHP Kim, M Kwiatkowska, A Mereacre
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
142014
Compositional modeling and minimization of time-inhomogeneous Markov chains
T Han, JP Katoen, A Mereacre
International Workshop on Hybrid Systems: Computation and Control, 244-258, 2008
122008
LTL model checking of time-inhomogeneous Markov chains
T Chen, T Han, JP Katoen, A Mereacre
International Symposium on Automated Technology for Verification and …, 2009
112009
The system can't perform the operation now. Try again later.
Articles 1–20