|
Search the dblp DataBase
Derek Riley:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Xenofon D. Koutsoukos, Derek Riley
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2006, pp:377-391 [Conf]
- Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP] HSCC, 2007, pp:758-761 [Conf]
Modeling and Analysis of Probabilistic Timed Systems. [Citation Graph (, )][DBLP]
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. [Citation Graph (, )][DBLP]
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. [Citation Graph (, )][DBLP]
Simulation of stochastic hybrid systems with switching and reflecting boundaries. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|