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)

Function Interval Arithmetic. - Jan Duracz; Amin Farjudian; Michal Konecný; Walid Taha (ICMS, 2014)

Polynomial function intervals for floating-point software verification. - Jan Duracz; Michal Konecný (Ann. Math. Artif. Intell., 2014)

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)

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)