Marco Diciolla : Publications
Conference papers
|
[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. |
|
[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. |
|
[3] |
Verification of Linear Duration Properties over Continuous−Time Markov Chains Taolue Chen‚ Marco Diciolla‚ Marta Z. Kwiatkowska and Alexandru Mereacre In HSCC. 2012. |
|
[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. |