Electronic Proceedings in Theoretical Computer Science

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Electronic Proceedings in Theoretical Computer Science
 
Publisher Herausgeber
Electronic Proceedings in Theoretical Computer Science
 
Place of publishing Erscheinungsort
335
 
Series Schriftenreihe
Electronic Proceedings in Theoretical Computer Science
 

Publications Publikationen

Filter:
Author:  Bartocci, Ezio

Results 1-4 of 4 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Grosu, Radu Monitoring with uncertaintyKonferenzbeitrag Inproceedings2013
2Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido On the Robustness of Temporal Properties for Stochastic ModelsKonferenzbeitrag Inproceedings 2013
3Bartocci, Ezio Sampling-based Decentralized Monitoring for Networked Embedded SystemsKonferenzbeitrag Inproceedings 2013
4Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana SEA-PARAM: Exploring Schedulers in Parametric MDPsKonferenzbeitrag Inproceedings2017