Abhishek Dubey

	2009
3		Abhishek Dubey: Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems. ECBS 2009: 149-155
2		Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty: Modeling and Analysis of Probabilistic Timed Systems. ECBS 2009: 69-78
	2007
1		Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai: Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. ISSE 3(1): 33-52 (2007)

Coauthor Index

1	Sherif Abdelwahed	[2]
2	Ted Bapty	[1] [2]
3	Gabor Karsai	[1]
4	Turker Keskinpala	[1]
5	Sandeep Neema	[1]
6	Steven Nordstrom	[1]
7	Derek Riley	[2]