| 2009 |
|---|
| 7 | EE | Abhishek Dubey,
Derek Riley,
Sherif Abdelwahed,
Ted Bapty:
Modeling and Analysis of Probabilistic Timed Systems.
ECBS 2009: 69-78 |
| 6 | EE | Derek Riley,
Xenofon D. Koutsoukos,
Kasandra Riley:
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.
HSCC 2009: 460-464 |
| 2008 |
|---|
| 5 | EE | Derek Riley,
Xenofon D. Koutsoukos,
Kasandra Riley:
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.
HSCC 2008: 429-442 |
| 4 | EE | Derek Riley,
Kasandra Riley:
Simulation of stochastic hybrid systems with switching and reflecting boundaries.
Winter Simulation Conference 2008: 804-812 |
| 3 | EE | Xenofon D. Koutsoukos,
Derek Riley:
Computational Methods for Verification of Stochastic Hybrid Systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(2): 385-396 (2008) |
| 2007 |
|---|
| 2 | EE | Derek Riley,
Xenofon D. Koutsoukos,
Kasandra Riley:
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.
HSCC 2007: 758-761 |
| 2006 |
|---|
| 1 | EE | Xenofon D. Koutsoukos,
Derek Riley:
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.
HSCC 2006: 377-391 |
