Marco Diciolla

Statistics

Publications

Citations

145

H-Index

Active since

2012

Affiliations

University of Oxford(Current)

Marco Diciolla is an author at University of Oxford specializing in model checking, cardiovascular system modeling, and physiological systems modeling.

Publications per year

2012–2014

Publications

Quantitative verification of implantable cardiac pacemakers over hybrid heart models

Taolue Chen, Marco Diciolla, Marta Kwiatkowska et al. · Information and Computation · 2014 · 69 citations

Engineering, Biomedical Engineering, Computer Science +17

A simulink hybrid heart model for quantitative verification of cardiac pacemakers

Taolue Chen, Marco Diciolla, Marta Kwiatkowska et al. · 2013 · 44 citations

Engineering, Bioengineering, Biomedical Engineering +17

Quantitative Verification of Implantable Cardiac Pacemakers

Taolue Chen, Marco Diciolla, Marta Kwiatkowska et al. · 2012 · 32 citations

Computing, Cardiology, Computer Science +17

1–3 of 3