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