Marco Diciolla : Publications

Click here to download all publications in a single bibtex file

@inproceedings{rtss2012,
  title = "Quantitative Verification of Implantable Cardiac Pacemakers",
  author = "Taolue Chen and Marco Diciolla and Marta Kwiatkowska and Alexandru Mereacre",
  year = "Real Time Systems Symposium (RTSS) 2012",
  booktitle = "Real Time Systems Symposium (RTSS) 2012",
}

@techreport{RR-14-07,
  title = "Synthesising Optimal Timing Delays for Timed I/O Automata",
  author = "Marco Diciolla and Chang Hwan Peter Kim and Marta Kwiatkowska and Alexandru Mereacre",
  year = "2014",
  institution = "DCS",
  pages = "27",
}

@inproceedings{hscc2013,
  title = "A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers",
  author = "Taolue Chen and Marco Diciolla and Marta Kwiatkowska and Alexandru Mereacre",
  year = "2013",
  booktitle = "Hybrid Systems: Computation and Control (HSCC 2013)",
}

@inproceedings{DBLP:conf/hscc/ChenDKM12,
  title = "Verification of Linear Duration Properties over Continuous-Time Markov Chains",
  author = "Taolue Chen and Marco Diciolla and Marta Z. Kwiatkowska and Alexandru Mereacre",
  year = "2012",
  booktitle = "HSCC",
}

@inproceedings{CDKM11,
  title = "Time-Bounded Verification of CTMCs Against Real-Time Specifications",
  author = "Taolue Chen and Marco Diciolla and Marta Kwiatkowska and Alexandru Mereacre",
  year = "2011",
  booktitle = "9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011)",
  publisher = "Springer",
  series = "LNCS",
}