Designing Robust Software Systems through Parametric Markov Chain Synthesis

Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

39 Downloads (Pure)

Original language	English
Title of host publication	Software Architecture (ICSA), 2017 IEEE International Conference on
Pages	131-140
Number of pages	10
ISBN (Electronic)	978-1-5090-5729-0
DOIs	https://doi.org/10.1109/ICSA.2017.16
Publication status	E-pub ahead of print - 18 May 2017

Access to Document

@inproceedings{45adc9837fc740d6a7a3f07d5f075617,

title = "Designing Robust Software Systems through Parametric Markov Chain Synthesis",

author = "Radu Calinescu and Milan Ceska and Simos Gerasimou and Marta Kwiatkowska and Nicola Paoletti",

year = "2017",

month = may,

day = "18",

doi = "10.1109/ICSA.2017.16",

language = "English",

pages = "131--140",

booktitle = "Software Architecture (ICSA), 2017 IEEE International Conference on",

}

TY - GEN

T1 - Designing Robust Software Systems through Parametric Markov Chain Synthesis

AU - Calinescu, Radu

AU - Ceska, Milan

AU - Gerasimou, Simos

AU - Kwiatkowska, Marta

AU - Paoletti, Nicola

PY - 2017/5/18

Y1 - 2017/5/18

U2 - 10.1109/ICSA.2017.16

DO - 10.1109/ICSA.2017.16

M3 - Conference contribution

SP - 131

EP - 140

BT - Software Architecture (ICSA), 2017 IEEE International Conference on

ER -