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
43*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
2016 IEEE International Conference on Computational Science and Engineering …, 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
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
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
152016
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
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
82016
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20