Adam Duracz
Adam Duracz
Systecon AB
Verified email at duracz.net - Homepage
Title
Cited by
Cited by
Year
Acumen: An open-source testbed for cyber-physical systems research
W Taha, A Duracz, Y Zeng, K Atkinson, FA Bartha, P Brauner, J Duracz, ...
International Internet of Things Summit, 118-130, 2015
342015
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
33*2013
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
132019
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
132017
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
132015
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
122016
Rigorous simulation: its theory and applications
A Duracz
Halmstad University Press, 2016
102016
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
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
62016
Safe & robust reachability analysis of hybrid systems
E Moggi, A Farjudian, A Duracz, W Taha
Theoretical Computer Science 747, 75-99, 2018
52018
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
52016
Derivation of Probability Distributions for Risk Assessment
A Duracz
Master’s Thesis, Stockholm University, Stockholm, Sweden, 2006
32006
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
22016
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
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, 108-126, 2019
12019
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, 223-239, 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
Presentation av exjobb i datalogi och biomedicinsk teknik.
D Staaf, PH Börjesson, S Brännström, C Sabel, S Dahl, A Duracz
Exjobbsrapporter 2006
S Ahsin, L Alf, C Algotsson, T Ali, D Almer, E Anderlind, B Andrist, ...
The system can't perform the operation now. Try again later.
Articles 1–20