Run-Time Efficient Probabilistic Model Checking

Self Managing Situated Computing

ERC Advanced Investigator Grant N. 227977 [2008-2013] - PI Professor Carlo Ghezzi

BibTex:
Research Area:	Uncategorized	Year:	2011
Type of Publication:	In Proceedings
Authors:	Filieri, Antonio Ghezzi, Carlo Tamburrelli, Giordano

Book title:	ICSE





Awards:	ACM Sigsoft Distinguished Paper
@conference{icse11, author = "Filieri, Antonio and Ghezzi, Carlo and Tamburrelli, Giordano", awards = "ACM Sigsoft Distinguished Paper", booktitle = "ICSE", title = "{R}un-{T}ime {E}fficient {P}robabilistic {M}odel {C}hecking", year = "2011", }
[Bibtex]