Derek Riley

According to our database, Derek Riley authored at least 18 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Exposing the Hidden Curriculum with a First Year Computing Seminar.

Derek Riley, Katherine Panciera

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2021

Architecting and Visualizing Deep Reinforcement Learning Models.

Alexander Neuwirth, Derek Riley

CoRR, 2021

2014

Biodiesel sim: crowdsourcing simulations for complex model analysis.

Derek Riley, Xiaowei Zhang, Xenofon D. Koutsoukos

Proceedings of the 47th Annual Simulation Symposium, 2014

2012

NCSWT: An integrated modeling and simulation tool for networked control systems.

Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Wei Yan, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits

Simul. Model. Pract. Theory, 2012

Using mobile phone programming to teach Java and advanced programming to computer scientists.

Derek Riley

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

NCSWT: an integrated modeling and simulation tool for networked control systems.

Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

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, Janos Sztipanovits

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques, 2011

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

Reachability Analysis of Stochastic Hybrid Systems: A Biodiesel Production System.

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

Eur. J. Control, 2010

2009

Modeling, simulation, and verification of biochemical processes using Stochastic Hybrid Systems.

Derek Riley

PhD thesis, 2009

Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

Modeling and Analysis of Probabilistic Timed Systems.

Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Ted Bapty

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

2008

Computational Methods for Verification of Stochastic Hybrid Systems.

Xenofon D. Koutsoukos, Derek Riley

IEEE Trans. Syst. Man Cybern. Part A, 2008

Simulation of stochastic hybrid systems with switching and reflecting boundaries.

Derek Riley, Kasandra Riley

Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, 2008

Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process.

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems.

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Verification of Biochemical Processes Using Stochastic Hybrid Systems.

Derek Riley, Xenofon D. Koutsoukos, Kasandra Riley

Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 2007

2006

Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.

Xenofon D. Koutsoukos, Derek Riley

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006