Jan Duracz

Enclosing the behavior of a hybrid system up to and beyond a Zeno point

Walid Taha, Michal Konecný, Jan Duracz, 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).

Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

Roland Philippsen, Yingfu Zeng, Christian Grante, 2019, CyPhy/WESE.

Acumen: An Open-Source Testbed for Cyber-Physical Systems Research

Marcia Kilchenman O'Malley, Fei Xu, Robert Cartwright, 2015, IoT 360.

Polynomial function intervals for floating-point software verification

Michal Konecný, Jan Duracz, J. Duracz, 2014, Annals of Mathematics and Artificial Intelligence.

Function Interval Arithmetic

Walid Taha, Michal Konecný, Amin Farjudian, 2014, ICMS.

Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point

Aaron D. Ames, Jan Duracz, Adam Duracz, 2016 .

Picard Method for Enclosing ODEs with Uncertain Initial Values

Walid Taha, Amin Farjudian, Jan Duracz, 2014 .