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
92*2017
Approximate parameter synthesis for probabilistic time-bounded reachability
T Han, JP Katoen, A Mereacre
2008 Real-Time Systems Symposium, 173-182, 2008
832008
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
652009
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
572011
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
522014
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
512013
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
472011
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
372011
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
362011
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
302012
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
292013
Quantitative model-checking of controlled discrete-time Markov processes
I Tkachev, A Mereacre, JP Katoen, A Abate
Information and Computation 253, 1-35, 2017
222017
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
182015
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
182015
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
182014
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
132008
Compositional strategy synthesis for stochastic games with multiple objectives
N Basset, M Kwiatkowska, C Wiltsche
Information and Computation 261, 536-587, 2018
122018
The system can't perform the operation now. Try again later.
Articles 1–20