| |
| 2009 | ||
|---|---|---|
| 4 | EE | Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley: Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. HSCC 2009: 460-464 |
| 2008 | ||
| 3 | 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 |
| 2 | EE | Derek Riley, Kasandra Riley: Simulation of stochastic hybrid systems with switching and reflecting boundaries. Winter Simulation Conference 2008: 804-812 |
| 2007 | ||
| 1 | EE | Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley: Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. HSCC 2007: 758-761 |
| 1 | Xenofon D. Koutsoukos | [1] [3] [4] |
| 2 | Derek Riley | [1] [2] [3] [4] |