Adam Duracz

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

Michal Konečný, Walid Taha, Ferenc A. Bartha et al. · Nonlinear Analysis Hybrid Systems · 2015 · 19 citations · Full text

Computing, Computer Science, Dynamical Systems +13

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

Michal Konečný, Walid Taha, Jan Duracz et al. · 2013 · 18 citations · Full text

Computing, Computer Science, Systems Engineering +14

Proteus: Language and Runtime Support for Self-Adaptive Software Development

Saeid Barati, Ferenc A. Bartha, Swarnendu Biswas et al. · IEEE Software · 2019 · 17 citations

Computing, Computer Science, Programming Languages +11

Safe & robust reachability analysis of hybrid systems

Eugenio Moggi, Amin Farjudian, Adam Duracz et al. · Theoretical Computer Science · 2018 · 13 citations · Full text

Engineering, Mathematics, Systems Engineering +15

Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment

Adam Duracz, Henrik Eriksson, Ferenc A. Bartha et al. · 2015 · 10 citations · Full text

Engineering, Risk Management, Systems Engineering +17