Home page of Adam Duracz
PhD, Computer Science
Contact information
- email
- adam@duracz.net
- pgp
- key (fingerprint 9EE4 7AEA 9507 0FCC 0EFD D3C3 EDD9 44B2 6667 19A1) replaces 1E36DE9F
Publications
- Proteus: Language and Runtime Support for Self-Adaptive Software Development
with
Barati et.al.Saeid Barati, Ferenc A. Bartha, Swarnendu Biswas, Robert Cartwright, Donald S. Fussell , Henry Hoffmann, Connor Imes, Jason Miller, Nikita Mishra, Arvind, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Andrew Wright, and Yao-Hsiang Yang, Sizhuo Zhang,
in IEEE Software (2019).
- Safe & Robust Reachability Analysis of Hybrid Systems
with Eugenio Moggi, Amin Farjudian, and Walid Taha, in Theoretical Computer Science (2018).
- A Semantic Account of Rigorous Simulation
with Eugenio Moggi, Walid Taha and Zhenchao Lin, in the Festschrift for Edward A. Lee (2017). Preprint available here.
- Chattering-Free Simulation for Hybrid Systems [Semantics and Prototype Implementation]
with Ayman Aljarbouh, Yingfu Zeng, Benoît Caillaud and Walid Taha, to be presented at CSE 2016, Paris, France (2016).
- Modeling Electromechanical Aspects of Cyber-Physical Systems
with Yingfu Zeng et al., in JOSER, Special Issue on Domain-Specific Languages and Models for Robotic Systems (2016).
- Accurate Rigorous Simulation Should be Possible for Good Designs
with Ferenc A. Bartha and Walid Taha, presented at SNR 2016 in Vienna, Austria (2016).
- Enclosing the Behavior of a Hybrid Automaton up to and Beyond a Zeno Point
with Michal Konečný, Walid Taha, Ferenc A. Bartha, Jan Duracz and Aaron Ames, in Nonlinear Analysis: Hybrid Systems vol. 20C pp. 1-20 (2016).
- Acumen: An Open-source Testbed for Cyber-Physical Systems Research
with Walid Taha et al., presented at CYCLONE'15, Rome, Italy (2015).
- Using Rigorous Simulation to Support ISO 26262 Hazard Analysis and Risk Assessment
with Henrik Eriksson, Ferenc A. Bartha, Fei Xu, Yingfu Zeng and Walid Taha, presented at ICESS'15, New York, NY, USA (2015).
- DSLs Should be Online Applications
with Dominykas Barisas and Walid Taha, presented at ICEE/ICIT'14, Riga, Latvia (2014).
- Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point
with Michal Konečný, Walid Taha, Jan Duracz and Aaron Ames, presented at CPSNA'13, Taipei, Taiwan (2013).
Other research
- Acumen
Hybrid systems simulation langauge.
- ERICA Tool
Software developed as part of the D-ERICA project "An integrated approach to the assessment and management of environmental risks from ionising radiation".
Theses