A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). - Walid Taha; Paul Brauner; Yingfu Zeng; Robert Cartwright; Verónica Gaspes; Aaron D. Ames; Alexandre Chapoutot (ICDCS Workshops, 2012)

Developing A First Course on Cyber-Physical Systems. - Walid Taha; Robert Cartwright; Roland Philippsen; Yingfu Zeng (WESE, 2014)

Modeling Basic Aspects of Cyber-Physical Systems, Part II (Extended Abstract). - Yingfu Zeng; Chad G. Rose; Paul Brauner; Walid Taha; Jawad Masood; Roland Philippsen; Marcia Kilchenman O'Malley; Robert Cartwright (HPCC/CSS/ICESS, 2014)

Modeling Basic Aspects of Cyber-Physical Systems, Part II. - Yingfu Zeng; Chad G. Rose; Paul Brauner; Walid Taha; Jawad Masood; Roland Philippsen; Marcia K. O'Malley; Robert Cartwright (CoRR, 2014)

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)

Compile-Time Extensions to Hybrid ODEs. - Yingfu Zeng; Ferenc A. Bartha; Walid Taha (SNR@ETAPS, 2017)

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)