GOAL: Supporting General and Dynamic Adaptation in Computing Systems.
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022
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
Safe & robust reachability analysis of hybrid systems.
Theor. Comput. Sci., 2018
A Semantic Account of Rigorous Simulation.
Proceedings of the Principles of Modeling, 2018
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
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
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