Java simulation and robot modeling of the Cataglyphis Bicolor. - Kelly R. Cannon; Derek Riley (J. Comput. Sci. Coll., 2004)

Computational Methods for Reachability Analysis of Stochastic Hybrid Systems. - Xenofon D. Koutsoukos; Derek Riley (HSCC, 2006)

Verification of Biochemical Processes Using Stochastic Hybrid Systems. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (ISIC, 2007)

Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (HSCC, 2007)

Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (HSCC, 2008)

Simulation of stochastic hybrid systems with switching and reflecting boundaries. - Derek Riley; Kasandra Riley (WSC, 2008)

Computational Methods for Verification of Stochastic Hybrid Systems. - Xenofon D. Koutsoukos; Derek Riley (IEEE Trans. Syst. Man Cybern. Part A, 2008)

Modeling and Analysis of Probabilistic Timed Systems. - Abhishek Dubey; Derek Riley; Sherif Abdelwahed; Ted Bapty (ECBS, 2009)

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (HSCC, 2009)

Modeling, simulation, and verification of biochemical processes using Stochastic Hybrid Systems. - Derek Riley (2009)

Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (Eur. J. Control, 2010)

Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping. - Derek Riley; Xenofon D. Koutsoukos; Kasandra Riley (Simul. Model. Pract. Theory, 2010)

Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems. - Derek Riley; Emeka Eyisi; Jia Bai; Xenofon D. Koutsoukos; Yuan Xue 001; Janos Sztipanovits (SimuTools, 2011)

NCSWT: an integrated modeling and simulation tool for networked control systems. - Emeka Eyisi; Jia Bai; Derek Riley; Jiannian Weng; Yan Wei; Yuan Xue 001; Xenofon D. Koutsoukos; Janos Sztipanovits (HSCC, 2012)

Using mobile phone programming to teach Java and advanced programming to computer scientists. - Derek Riley (SIGCSE, 2012)

NCSWT: An integrated modeling and simulation tool for networked control systems. - Emeka Eyisi; Jia Bai; Derek Riley; Jiannian Weng; Wei Yan; Yuan Xue 001; Xenofon D. Koutsoukos; Janos Sztipanovits (Simul. Model. Pract. Theory, 2012)

Biodiesel sim: crowdsourcing simulations for complex model analysis. - Derek Riley; Xiaowei Zhang; Xenofon D. Koutsoukos (SpringSim (ANSS), 2014)

Crowdsourcing traffic simulation to improve signal timing. - Derek Riley; Gwen Nellen; Raul Barrera; Jesus Quevedo (J. Comput. Sci. Coll., 2014)

Architecting and Visualizing Deep Reinforcement Learning Models. - Alexander Neuwirth; Derek Riley (CoRR, 2021)

Exposing the Hidden Curriculum with a First Year Computing Seminar. - Derek Riley; Katherine Panciera (SIGCSE (2), 2024)