2022
GOAL: Supporting General and Dynamic Adaptation in Computing Systems.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

2019
Proteus: Language and Runtime Support for Self-Adaptive Software Development.
IEEE Softw., 2019

Language Support for Adaptation: Intent-Driven Programming in FAST.
CoRR, 2019

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation.
Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018
Safe & robust reachability analysis of hybrid systems.
Theor. Comput. Sci., 2018

A Semantic Account of Rigorous Simulation.
Proceedings of the Principles of Modeling, 2018

2016
Rigorous Simulation: Its Theory and Applications.
PhD thesis, 2016

Developing a first course on cyber-physical systems.
SIGBED Rev., 2016

Flipping a first course on cyber-physical systems: an experience report.
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems Education, 2016

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research.
Proceedings of the Internet of Things. IoT Infrastructures, 2015

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2013
Enclosing the behavior of a hybrid system up to and beyond a Zeno point.
Proceedings of the 1st IEEE International Conference on Cyber-Physical Systems, 2013