| Approximate parameter synthesis for probabilistic time-bounded reachability T Han, JP Katoen, A Mereacre 2008 Real-Time Systems Symposium, 173-182, 2008 | 90 | 2008 |
| Model checking of continuous-time Markov chains against timed automata specifications T Chen, T Han, JP Katoen, A Mereacre Logical Methods in Computer Science 7, 2011 | 67 | 2011 |
| 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 | 66 | 2009 |
| 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 | 61 | 2013 |
| 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 | 55 | 2014 |
| Efficient CTMC model checking of linear real-time objectives B Barbot, T Chen, T Han, JP Katoen, A Mereacre Tools and Algorithms for the Construction and Analysis of Systems: 17th …, 2011 | 51 | 2011 |
| 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 | 43 | 2011 |
| Time-bounded verification of CTMCs against real-time specifications T Chen, M Diciolla, M Kwiatkowska, A Mereacre Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011 | 43 | 2011 |
| 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 | 42 | 2010 |
| Invariant verification of nonlinear hybrid automata networks of cardiac cells Z Huang, C Fan, A Mereacre, S Mitra, M Kwiatkowska Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014 | 35 | 2014 |
| Quantitative model-checking of controlled discrete-time Markov processes I Tkachev, A Mereacre, JP Katoen, A Abate Information and Computation 253, 1-35, 2017 | 33 | 2017 |
| Quantitative verification of implantable cardiac pacemakers T Chen, M Diciolla, M Kwiatkowska, A Mereacre 2012 IEEE 33rd Real-Time Systems Symposium, 263-272, 2012 | 33 | 2012 |
| 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 | 31 | 2013 |
| Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques M Kwiatkowska, A Mereacre, N Paoletti, A Patanè Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid …, 2015 | 22 | 2015 |
| 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 | 22 | 2014 |
| Estimation and verification of hybrid heart models for personalised medical and wearable devices B Barbot, M Kwiatkowska, A Mereacre, N Paoletti Computational Methods in Systems Biology: 13th International Conference …, 2015 | 20 | 2015 |
| 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 | 14 | 2014 |
| Compositional modeling and minimization of time-inhomogeneous Markov chains T Han, JP Katoen, A Mereacre Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008 | 13 | 2008 |
| Observing continuous-time MDPs by 1-clock timed automata T Chen, T Han, JP Katoen, A Mereacre Reachability Problems: 5th International Workshop, RP 2011, Genoa, Italy …, 2011 | 12 | 2011 |
| LTL model checking of time-inhomogeneous Markov chains T Chen, T Han, JP Katoen, A Mereacre Automated Technology for Verification and Analysis: 7th International …, 2009 | 11 | 2009 |
