| |
| 2009 | ||
|---|---|---|
| 3 | EE | Abhishek Dubey: Algorithms for Synthesizing Safe Sets of Operation for Embedded Systems. ECBS 2009: 149-155 |
| 2 | EE | Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty: Modeling and Analysis of Probabilistic Timed Systems. ECBS 2009: 69-78 |
| 2007 | ||
| 1 | EE | 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) |
| 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] |