Follow
Adam Duracz
Adam Duracz
Systecon AB
Verified email at duracz.net - Homepage
Title
Cited by
Cited by
Year
Enclosing the behavior of a hybrid system up to and beyond a zeno point
M Konečnę, W Taha, J Duracz, A Duracz, A Ames
2013 IEEE 1st international conference on cyber-physical systems, networks …, 2013
42*2013
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
Internet of Things. IoT Infrastructures: Second International Summit, IoT …, 2016
382016
Chattering-free simulation for hybrid dynamical systems semantics and prototype implementation
A Aljarbouh, Y Zeng, A Duracz, B Caillaud, W Taha
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and …, 2016
242016
Advanced hazard analysis and risk assessment in the ISO 26262 functional safety standard using rigorous simulation
A Duracz, A Aljarbouh, FA Bartha, J Masood, R Philippsen, H Eriksson, ...
Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020
222020
Proteus: Language and runtime support for self-adaptive software development
S Barati, FA Bartha, S Biswas, R Cartwright, A Duracz, D Fussell, ...
IEEE Software 36 (2), 73-82, 2019
212019
Chattering-free simulation for hybrid dynamical systems
A Aljarbouh, A Duracz, Y Zeng, B Caillaud, W Taha
2016 IEEE International Conference on Computational Science and Engineering …, 2016
212016
Developing a first course on cyber-physical systems
W Taha, Y Zeng, A Duracz, X Fei, K Atkinson, P Brauner, R Cartwright, ...
ACM SIGBED Review 14 (1), 44-52, 2017
152017
Using rigorous simulation to support ISO 26262 hazard analysis and risk assessment
A Duracz, H Eriksson, FA Bartha, F Xu, Y Zeng, W Taha
2015 IEEE 17th International Conference on High Performance Computing and …, 2015
152015
Modeling electromechanical aspects of cyber-physical systems
Y Zeng, R Chad, W Taha, A Duracz, K Atkinson, R Philippsen, ...
Journal of Software Engineering for Robotics 7 (1), 100-119, 2016
142016
Safe & robust reachability analysis of hybrid systems
E Moggi, A Farjudian, A Duracz, W Taha
Theoretical Computer Science 747, 75-99, 2018
132018
Flipping a first course on cyber-physical systems: An experience report
W Taha, LG Hedstrom, F Xu, A Duracz, FA Bartha, Y Zeng, J David, ...
Proceedings of the 2016 Workshop on Embedded and Cyber-Physical Systems …, 2016
92016
Accurate rigorous simulation should be possible for good designs
A Duracz, FA Bartha, W Taha
2016 International Workshop on Symbolic and Numerical Methods for …, 2016
92016
Rigorous simulation: its theory and applications
A Duracz
Halmstad University Press, 2016
92016
Arvind, Dung Nguyen, Krishna V. Palem, Yan Pei, Keshav Pingali, Ryuichi Sai, Andrew Wright, Yao-Hsiang Yang, and Sizhuo Zhang. 2019. Proteus: Language and Runtime Support for …
S Barati, FA Bartha, S Biswas, R Cartwright, A Duracz, D Fussell, ...
IEEE Software 36 (2), 73-82, 2019
52019
Derivation of Probability Distributions for Risk Assessment
A Duracz
Master’s Thesis, 2006
42006
Goal: Supporting general and dynamic adaptation in computing systems
A Pervaiz, YH Yang, A Duracz, F Bartha, R Sai, C Imes, R Cartwright, ...
Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas …, 2022
32022
DSLs Should be Online Applications
D Barisas, A Duracz, W Taha
2014 Jt. Int. Conf. Eng. Educ. Int. Conf. Inf. Technol. 2-6 June 2014 Riga …, 2014
22014
Language Support for Adaptation: Intent-Driven Programming in FAST
YH Yang, A Duracz, FA Bartha, R Sai, A Pervaiz, S Barati, D Nguyen, ...
arXiv preprint arXiv:1907.08695, 2019
12019
A Semantic Account of Rigorous Simulation
A Duracz, E Moggi, W Taha, Z Lin
Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of …, 2018
12018
The Assurance Monitor Pattern
A Duracz, KM Chandy, M Abdelrahman, JJG Espańa, R Sai, YH Yang, ...
arXiv preprint arXiv:2001.02075, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20