Mikhail Bernadsky

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

Coauthor Index

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