| 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 | 44* | 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 | 40 | 2016 |
| 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 | 22 | 2019 |
| 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 | 16 | 2017 |
| 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 | 15 | 2015 |
| Safe & robust reachability analysis of hybrid systems E Moggi, A Farjudian, A Duracz, W Taha Theoretical Computer Science 747, 75-99, 2018 | 13 | 2018 |
| 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 | 13 | 2016 |
| 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 | 10 | 2016 |
| 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 | 9 | 2016 |
| Rigorous simulation: its theory and applications A Duracz Halmstad University Press, 2016 | 9 | 2016 |
| 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 | 7 | 2016 |
| 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, ... International Workshop on Design, Modeling, and Evaluation of Cyber Physical …, 2019 | 6 | 2019 |
| 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 | 5 | 2019 |
| 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 | 4 | 2022 |
| 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 | 4 | 2016 |
| Derivation of Probability Distributions for Risk Assessment A Duracz Master’s Thesis, 2006 | 4 | 2006 |
| 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 | 2 | 2014 |
| 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 | 1 | 2019 |
| 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 | 1 | 2018 |
| The Assurance Monitor Pattern A Duracz, KM Chandy, M Abdelrahman, JJG España, R Sai, YH Yang, ... arXiv preprint arXiv:2001.02075, 2020 | | 2020 |
Walid TahaHalmstad UniversityPotvrđena adresa e-pošte na hh.se