Derek Riley

20 papers A 1Misc 1Journal 7Unranked 10
YearRankTypeTitle / Venue / Authors
2024 — conf
Exposing the Hidden Curriculum with a First Year Computing Seminar.
SIGCSE (2)
Derek Riley, Katherine Panciera
2021 J jnl
Architecting and Visualizing Deep Reinforcement Learning Models.
CoRR
Alexander Neuwirth, Derek Riley
2014 — conf
Biodiesel sim: crowdsourcing simulations for complex model analysis.
SpringSim (ANSS)
Derek Riley, Xiaowei Zhang, Xenofon D. Koutsoukos
2014 J jnl
Crowdsourcing traffic simulation to improve signal timing.
J. Comput. Sci. Coll.
Derek Riley, Gwen Nellen, Raul Barrera, Jesus Quevedo
2012 J jnl
NCSWT: An integrated modeling and simulation tool for networked control systems.
Simul. Model. Pract. Theory
Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Wei Yan, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits
2012 — conf
NCSWT: an integrated modeling and simulation tool for networked control systems.
HSCC
Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits
2012 A conf
Using mobile phone programming to teach Java and advanced programming to computer scientists.
SIGCSE
Derek Riley
2011 — conf
Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems.
SimuTools
Derek Riley, Emeka Eyisi, Jia Bai, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits
2010 J jnl
Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System.
Eur. J. Control
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
2010 J jnl
Simulation of Stochastic Hybrid Systems using probabilistic boundary detection and adaptive time stepping.
Simul. Model. Pract. Theory
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
2009 — conf
Modeling and Analysis of Probabilistic Timed Systems.
ECBS
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty
2009 — —
Modeling, simulation, and verification of biochemical processes using Stochastic Hybrid Systems.
Derek Riley
2009 — conf
Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.
HSCC
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
2008 J jnl
Computational Methods for Verification of Stochastic Hybrid Systems.
IEEE Trans. Syst. Man Cybern. Part A
Xenofon D. Koutsoukos, Derek Riley
2008 — conf
Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.
HSCC
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
2008 Misc conf
Simulation of stochastic hybrid systems with switching and reflecting boundaries.
WSC
Derek Riley, Kasandra Riley
2007 — conf
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.
HSCC
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
2007 — conf
Verification of Biochemical Processes Using Stochastic Hybrid Systems.
ISIC
Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley
2006 — conf
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.
HSCC
Xenofon D. Koutsoukos, Derek Riley
2004 J jnl
Java simulation and robot modeling of the Cataglyphis Bicolor.
J. Comput. Sci. Coll.
Kelly R. Cannon, Derek Riley