Derek Riley

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 2

Top Topics

Learning Models

Mathematical Analysis

Top Venues

SpringSim (ANSS)

Publications

Derek Riley, Katherine Panciera
Exposing the Hidden Curriculum with a First Year Computing Seminar. SIGCSE (2) (2024)
Alexander Neuwirth, Derek Riley
Architecting and Visualizing Deep Reinforcement Learning Models. CoRR (2021)
Derek Riley, Xiaowei Zhang, Xenofon D. Koutsoukos
Biodiesel sim: crowdsourcing simulations for complex model analysis. SpringSim (ANSS) (2014)
Derek Riley
Using mobile phone programming to teach Java and advanced programming to computer scientists. SIGCSE (2012)
Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits
NCSWT: an integrated modeling and simulation tool for networked control systems. HSCC (2012)
Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Wei Yan, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits
NCSWT: An integrated modeling and simulation tool for networked control systems. Simul. Model. Pract. Theory 27 (2012)
Derek Riley, Emeka Eyisi, Jia Bai, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits
Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems. SimuTools (2011)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping. Simul. Model. Pract. Theory 18 (9) (2010)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System. Eur. J. Control 16 (6) (2010)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. HSCC (2009)
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty
Modeling and Analysis of Probabilistic Timed Systems. ECBS (2009)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. HSCC (2008)
Xenofon D. Koutsoukos, Derek Riley
Computational Methods for Verification of Stochastic Hybrid Systems. IEEE Trans. Syst. Man Cybern. Part A 38 (2) (2008)
Derek Riley, Kasandra Riley
Simulation of stochastic hybrid systems with switching and reflecting boundaries. WSC (2008)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Verification of Biochemical Processes Using Stochastic Hybrid Systems. ISIC (2007)
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. HSCC (2007)
Xenofon D. Koutsoukos, Derek Riley
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. HSCC (2006)