Name Card

Full name Familienname, Vorname
Ramakrishnan, C.R.
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen


Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci Ezio - 2016 - Preface of the special issue on Model Checking of...pdf.jpgBartocci, Ezio ; Ramakrishnan, C.R. Preface of the special issue on Model Checking of Software : Selected papers of the 20th International SPIN Symposium on Model Checking of SoftwareArticle Artikel Aug-2016
2Grosu, Radu ; Peled, Doron ; Ramakrishnan, C.R. ; Smolka, Scott A. ; Stoller, Scott D. ; Yang, Junxing Using Statistical Model Checking for Measuring SystemsKonferenzbeitrag Inproceedings2014
3Bartocci, Ezio ; Grosu, Radu ; Katsaros, Panagiotis ; Ramakrishnan, C.R. ; Smolka, Scott A. Model Repair for Probabilistic SystemsKonferenzbeitrag Inproceedings 2011

Contributing Publications Mitbeteiligte Publikationen


Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewEditor(s)TitleTypeIssue Date
1Bartocci, Ezio ; Ramakrishnan, C.R. Model Checking SoftwareKonferenzband Proceedings 2013