Marco Diciolla : Publications
-
[1]
A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
Taolue Chen‚ Marco Diciolla‚ Marta Kwiatkowska and Alexandru Mereacre
In Hybrid Systems: Computation and Control (HSCC 2013). 2013.
Details about A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers | BibTeX data for A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
-
[2]
Quantitative Verification of Implantable Cardiac Pacemakers
Taolue Chen‚ Marco Diciolla‚ Marta Kwiatkowska and Alexandru Mereacre
In Real Time Systems Symposium (RTSS) 2012. Real Time Systems Symposium (RTSS) 2012.
Details about Quantitative Verification of Implantable Cardiac Pacemakers | BibTeX data for Quantitative Verification of Implantable Cardiac Pacemakers
-
[3]
Synthesising Optimal Timing Delays for Timed I/O Automata
Marco Diciolla‚ Chang Hwan Peter Kim‚ Marta Kwiatkowska and Alexandru Mereacre
DCS. 2014.
Details about Synthesising Optimal Timing Delays for Timed I/O Automata | BibTeX data for Synthesising Optimal Timing Delays for Timed I/O Automata | Download (pdf) of Synthesising Optimal Timing Delays for Timed I/O Automata
-
[4]
Time−Bounded Verification of CTMCs Against Real−Time Specifications
Taolue Chen‚ Marco Diciolla‚ Marta Kwiatkowska and Alexandru Mereacre
In 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011). Springer. 2011.
Details about Time−Bounded Verification of CTMCs Against Real−Time Specifications | BibTeX data for Time−Bounded Verification of CTMCs Against Real−Time Specifications
-
[5]
Verification of Linear Duration Properties over Continuous−Time Markov Chains
Taolue Chen‚ Marco Diciolla‚ Marta Z. Kwiatkowska and Alexandru Mereacre
In HSCC. 2012.
Details about Verification of Linear Duration Properties over Continuous−Time Markov Chains | BibTeX data for Verification of Linear Duration Properties over Continuous−Time Markov Chains