Mikhail Bernadsky

Publication Activity (10 Years)

Years Active: 2004-2007
Publications (10 Years): 0

Publications

Mikhail Bernadsky, Rajeev Alur
Symbolic Analysis for GSMP Models with One Stateful Clock. HSCC (2007)
Rajeev Alur, Mikhail Bernadsky
Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems. HSCC (2006)
Rajeev Alur, Mikhail Bernadsky, P. Madhusudan
Optimal Reachability for Weighted Timed Games. ICALP (2004)
Mikhail Bernadsky, Raman Sharykin, Rajeev Alur
Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT (2004)