Approximate parameter synthesis for probabilistic time-bounded reachability T Han, JP Katoen, A Mereacre 2008 Real-Time Systems Symposium, 173-182, 2008 | 104 | 2008 |
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 | 72 | 2013 |
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 | 69 | 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 | 67 | 2009 |
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 | 54 | 2014 |
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 | 51 | 2011 |
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 | 51 | 2011 |
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 | 44 | 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 | 43 | 2010 |
Quantitative model-checking of controlled discrete-time Markov processes I Tkachev, A Mereacre, JP Katoen, A Abate Information and Computation 253, 1-35, 2017 | 38 | 2017 |
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 | 37 | 2014 |
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 | 36 | 2013 |
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 |
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 | 26 | 2014 |
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 | 23 | 2015 |
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 | 22 | 2015 |
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 | 15 | 2008 |
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 |
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers C Barker, M Kwiatkowska, A Mereacre, N Paoletti, A Patane 2015 37th Annual International Conference of the IEEE Engineering in …, 2015 | 12 | 2015 |
Observing continuous-time MDPs by 1-clock timed automata T Chen, T Han, JP Katoen, A Mereacre International Workshop on Reachability Problems, 2-25, 2011 | 12 | 2011 |