Enclosing the behavior of a hybrid system up to and beyond a Zeno point. - Michal Konecný; Walid Taha; Jan Duracz; Adam Duracz; Aaron D. Ames (CPSNA, 2013)

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment. - Adam Duracz; Henrik Eriksson; Ferenc A. Bartha; Fei Xu; Yingfu Zeng; Walid Taha (HPCC/CSS/ICESS, 2015)

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. - Walid Taha; Adam Duracz; Yingfu Zeng; Kevin Atkinson; Ferenc A. Bartha; Paul Brauner; Jan Duracz; Fei Xu; Robert Cartwright; Michal Konecný; Eugenio Moggi; Jawad Masood; et al. (IoT 360 (1), 2015)

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation. - Ayman Aljarbouh; Yingfu Zeng; Adam Duracz; Benoît Caillaud; Walid Taha (CSE/EUC/DCABES, 2016)

Flipping a first course on cyber-physical systems: an experience report. - Walid Taha; Lars-Göran Hedstrom; Fei Xu; Adam Duracz; Ferenc A. Bartha; Yingfu Zeng; Jennifer David; Gaurav Gunjan (WESE, 2016)

Developing a first course on cyber-physical systems. - Walid Taha; Yingfu Zeng; Adam Duracz; Fei Xu; Kevin Atkinson; Paul Brauner; Robert Cartwright; Roland Philippsen (SIGBED Rev., 2016)

Rigorous Simulation: Its Theory and Applications. - Adam Duracz (2016)

A Semantic Account of Rigorous Simulation. - Adam Duracz; Eugenio Moggi; Walid Taha; Zhenchao Lin (Principles of Modeling, 2018)

Safe & robust reachability analysis of hybrid systems. - Eugenio Moggi; Amin Farjudian; Adam Duracz; Walid Taha (Theor. Comput. Sci., 2018)

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation. - Adam Duracz; Ayman Aljarbouh; Ferenc A. Bartha; Jawad Masood; Roland Philippsen; Henrik Eriksson; Jan Duracz; Fei Xu; Yingfu Zeng; Christian Grante (CyPhy/WESE, 2019)

Language Support for Adaptation: Intent-Driven Programming in FAST. - Yao-Hsiang Yang; Adam Duracz; Ferenc A. Bartha; Ryuichi Sai; Ahsan Pervaiz; Saeid Barati 001; Dung Nguyen; Robert Cartwright; Henry Hoffmann; Krishna V. Palem (CoRR, 2019)

Proteus: Language and Runtime Support for Self-Adaptive Software Development. - Saeid Barati 001; Ferenc A. Bartha; Swarnendu Biswas; Robert Cartwright; Adam Duracz; Donald S. Fussell; Henry Hoffmann; Connor Imes; Jason E. Miller; Nikita Mishra; Arvind 001; Dung Nguyen; et al. (IEEE Softw., 2019)

GOAL: Supporting General and Dynamic Adaptation in Computing Systems. - Ahsan Pervaiz; Yao-Hsiang Yang; Adam Duracz; Ferenc A. Bartha; Ryuichi Sai; Connor Imes; Robert Cartwright; Krishna V. Palem; Shan Lu 001; Henry Hoffmann (Onward!, 2022)