Marco Diciolla

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Probabilistic Automata

Continuous Time Markov Chains

Qualitative And Quantitative

Cardiac Motion Estimation

Top Venues

ACM Trans. Comput. Log.

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre
Synthesising optimal timing delays for Timed I/O Automata. EMSOFT (2014)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Inf. Comput. 236 (2014)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Verification of linear duration properties over continuous-time markov chains. ACM Trans. Comput. Log. 14 (4) (2013)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
A simulink hybrid heart model for quantitative verification of cardiac pacemakers. HSCC (2013)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Verification of linear duration properties over continuous-time markov chains. HSCC (2012)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Quantitative Verification of Implantable Cardiac Pacemakers. RTSS (2012)
Marco Diciolla
Time-Bounded Verification of CTMCs against MTL specifications. ICCSW (2011)
Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre
Time-Bounded Verification of CTMCs against Real-Time Specifications. FORMATS (2011)