Segui
Alexandru Mereacre
Alexandru Mereacre
Nquiringminds Ltd
Email verificata su nquiringminds.com
Titolo
Citata da
Citata da
Anno
Approximate parameter synthesis for probabilistic time-bounded reachability
T Han, JP Katoen, A Mereacre
2008 Real-Time Systems Symposium, 173-182, 2008
1042008
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
722013
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
692011
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
672009
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
542014
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
512011
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
512011
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
Quantitative model-checking of controlled discrete-time Markov processes
I Tkachev, A Mereacre, JP Katoen, A Abate
Information and Computation 253, 1-35, 2017
382017
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
372014
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
362013
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
262014
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
232015
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
222015
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
152008
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
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
122015
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20