dblp.uni-trier.dewww.uni-trier.de

Mikhail Bernadsky

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EEMikhail Bernadsky, Rajeev Alur: Symbolic Analysis for GSMP Models with One Stateful Clock. HSCC 2007: 90-103
2006
3EERajeev Alur, Mikhail Bernadsky: Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. HSCC 2006: 19-33
2004
2EEMikhail Bernadsky, Raman Sharykin, Rajeev Alur: Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT 2004: 309-324
1EERajeev Alur, Mikhail Bernadsky, P. Madhusudan: Optimal Reachability for Weighted Timed Games. ICALP 2004: 122-133

Coauthor Index

1Rajeev Alur [1] [2] [3] [4]
2P. Madhusudan (Parthasarathy Madhusudan) [1]
3Raman Sharykin [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)