| 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 | 38 | 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 | 24 | 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, ... Cyber Physical Systems. Model-Based Design: 9th International Workshop …, 2020 | 22 | 2020 |
| A core language for executable models of cyber-physical systems (preliminary report) W Taha, P Brauner, Y Zeng, R Cartwright, V Gaspes, A Ames, ... 2012 32nd International Conference on Distributed Computing Systems …, 2012 | 22 | 2012 |
| 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 | 21 | 2016 |
| 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 | 15 | 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 |
| Modeling basic aspects of cyber-physical systems, part ii Y Zeng, C Rose, P Brauner, W Taha, J Masood, R Philippsen, M O'Malley, ... 2014 IEEE Intl Conf on High Performance Computing and Communications, 2014 …, 2014 | 15 | 2014 |
| A first course on cyber physical systems W Taha, R Cartwright, R Philippsen, Y Zeng Workshop on Cyber-Physical Systems Education (CPS-Ed), 2013 | 15 | 2013 |
| Modeling Electromechanical Aspects of Cyber-Physical Systems Y Zeng, C Rose, W Taha, A Duracz, K Atkinson, R Philippsen, ... Journal of Software Engineering for Robotics 7 (1), 100-119, 2016 | 14 | 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 | 9 | 2016 |
| A First Course on Cyber Physical Systems T Walid, C Robert, P Roland, Z Yingfu Proceedings of the First Workshop on Cyber-Physical Systems Education (CPS …, 2013 | 9 | 2013 |
| Compile-Time Extensions to Hybrid ODEs Y Zeng, F Bartha, W Taha Proceedings 3rd International Workshop on Symbolic and Numerical Methods for …, 2017 | 2 | 2017 |
| Making Hybrid Systems Easier to Model, Simulate, and Visualize Y Zeng Rice University, 2019 | 1 | 2019 |
Walid TahaHalmstad UniversityVerified email at hh.se
