Marco Diciolla

According to our database, Marco Diciolla authored at least 8 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Quantitative verification of real-time properties with application to medical devices.

Marco Diciolla

PhD thesis, 2014

Quantitative verification of implantable cardiac pacemakers over hybrid heart models.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Inf. Comput., 2014

Synthesising optimal timing delays for Timed I/O Automata.

Marco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Verification of linear duration properties over continuous-time markov chains.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

ACM Trans. Comput. Log., 2013

A simulink hybrid heart model for quantitative verification of cardiac pacemakers.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Quantitative Verification of Implantable Cardiac Pacemakers.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

2011

Time-Bounded Verification of CTMCs against MTL specifications.

Marco Diciolla

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Time-Bounded Verification of CTMCs against Real-Time Specifications.

Taolue Chen, Marco Diciolla, Marta Z. Kwiatkowska, Alexandru Mereacre

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011