Seguir
Alexandru Mereacre
Alexandru Mereacre
Nquiringminds Ltd
Dirección de correo verificada de nquiringminds.com
Título
Citado por
Citado por
Año
Approximate parameter synthesis for probabilistic time-bounded reachability
T Han, JP Katoen, A Mereacre
2008 Real-Time Systems Symposium, 173-182, 2008
992008
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
662011
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
662009
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
642013
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
562014
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
522011
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
452011
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
442011
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
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
362014
Quantitative model-checking of controlled discrete-time Markov processes
I Tkachev, A Mereacre, JP Katoen, A Abate
Information and Computation 253, 1-35, 2017
352017
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
342013
Quantitative verification of implantable cardiac pacemakers
T Chen, M Diciolla, M Kwiatkowska, A Mereacre
2012 IEEE 33rd Real-Time Systems Symposium, 263-272, 2012
332012
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
252014
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
212015
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
212015
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
Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008
132008
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
122011
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
112015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20