Folgen
Adam Duracz
Adam Duracz
Systecon AB
Bestätigte E-Mail-Adresse bei duracz.net - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
212020
Chattering-free simulation for hybrid dynamical systems
A Aljarbouh, A Duracz, Y Zeng, B Caillaud, W Taha
HAL 2016, 2016
202016
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
182019
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
162016
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
142017
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
142015
Safe & robust reachability analysis of hybrid systems
E Moggi, A Farjudian, A Duracz, W Taha
Theoretical Computer Science 747, 75-99, 2018
112018
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
102016
Rigorous simulation: its theory and applications
A Duracz
Halmstad University Press, 2016
102016
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
72016
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
22022
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
22019
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20