Jan Duracz

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 1

Top Topics

Risk Assessment

Floating Point Arithmetic

Interval Arithmetic

Top Venues

Ann. Math. Artif. Intell.

Publications

Adam Duracz, Ayman Aljarbouh, Ferenc A. Bartha, Jawad Masood, Roland Philippsen, Henrik Eriksson, Jan Duracz, Fei Xu, Yingfu Zeng, Christian Grante
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation. CyPhy/WESE (2019)
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, Pererik Andreasson, Jun Inoue, Anita Pinheiro Sant'Anna, Roland Philippsen, Alexandre Chapoutot, Marcia O'Malley, Aaron D. Ames, Verónica Gaspes, Lise Hvatum, Shyam Mehta, Henrik Eriksson, Christian Grante
Acumen: An Open-Source Testbed for Cyber-Physical Systems Research. IoT 360 (1) (2015)
Jan Duracz, Michal Konecný
Polynomial function intervals for floating-point software verification. Ann. Math. Artif. Intell. 70 (4) (2014)
Jan Duracz, Amin Farjudian, Michal Konecný, Walid Taha
Function Interval Arithmetic. ICMS (2014)
Michal Konecný, Walid Taha, Jan Duracz, Adam Duracz, Aaron D. Ames
Enclosing the behavior of a hybrid system up to and beyond a Zeno point. CPSNA (2013)