Comparing model checkers for timed UML activity diagrams Z Daw, R Cleaveland Science of Computer Programming 111, 277-299, 2015 | 28 | 2015 |
Formal verification of software-based medical devices considering medical guidelines Z Daw, R Cleaveland, M Vetter International journal of computer assisted radiology and surgery 9, 145-153, 2014 | 23 | 2014 |
UML-VT: A Formal Verification Environment for UML Activity Diagrams Z Daw, J Mangino, R Cleaveland MODELS, Demostrations, 2015 | 12 | 2015 |
Hierarchical contract-based synthesis for assurance cases TE Wang, Z Daw, P Nuzzo, A Pinto NASA Formal Methods Symposium, 175-192, 2022 | 11 | 2022 |
Deterministic UML models for interconnected activities and state machines Z Daw, M Vetter Model Driven Engineering Languages and Systems: 12th International …, 2009 | 10 | 2009 |
Computer-aided generation of assurance cases TE Wang, C Oh, M Low, I Amundson, Z Daw, A Pinto, ML Chiodo, G Wang, ... International Conference on Computer Safety, Reliability, and Security, 135-148, 2023 | 9 | 2023 |
Overarching properties as means of compliance: An industrial case study Z Daw, S Beecher, M Holloway, M Graydon 2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 1-10, 2021 | 8 | 2021 |
Arachne: Automated validation of assurance cases with stochastic contract networks C Oh, N Naik, Z Daw, TE Wang, P Nuzzo International Conference on Computer Safety, Reliability, and Security, 65-81, 2022 | 6 | 2022 |
An Extensible Operational Semantics for UML Activity Diagrams Z Daw, R Cleaveland Software Engineering and Formal Methods - 13th International Conference …, 2015 | 5 | 2015 |
Integrating model checking and UML based model-driven development for embedded systems Z Daw, R Cleaveland, M Vetter Electronic Communications of the EASST 66, 2014 | 5 | 2014 |
Generation of deterministic MCU/FPGA hybrid systems from UML activities R Willenberg, Z Daw, C Englert, M Vetter 2010 International Conference on Field Programmable Logic and Applications …, 2010 | 5 | 2010 |
Assuring safety in a flexible aerospace certification—Lessons learned on applying OPs at the system level— Z Daw, S Beecher 2023 IEEE International Systems Conference (SysCon), 1-8, 2023 | 4 | 2023 |
An extensible formal semantics for UML activity diagrams Z Daw, R Cleaveland arXiv preprint arXiv:1604.02386, 2016 | 4 | 2016 |
Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements ZA Daw Pérez kassel university press GmbH, 2014 | 4 | 2014 |
Model-driven Timing Analysis and Verification for Safety-critical Embedded Systems Z Daw, C Englert, F Alvarez, J Borcsok, M Vetter International Congress; 24th, Condition monitoring and diagnostic …, 2011 | 4 | 2011 |
Deterministic UML models with interconnected activities and state machines for embedded systems Z Daw, M Vetter Model driven engineering languages and systems, 12th international …, 2009 | 3 | 2009 |
Validation of a new non-invasive blood pressure measurement method on mice via pulse wave propagation time measurement on a cuff XP Nguyen, R Kronemayer, P Herrmann, A Mejía, Z Daw, XD Nguyen, ... Walter de Gruyter 56 (3), 153-158, 2011 | 2 | 2011 |
Methode zur Entwicklung sicherheitskritischer eingebetteter Systeme mittels deterministischer UML-Modelle Z Daw, F Alvarez, M Vetter Softwaretechnik-Trends Band 29, Heft 3, 2009 | 2 | 2009 |
Computer-Aided Evaluation for Argument-Based Certification Z Daw, T Wang, C Oh, M Low, I Amundson, G Wang, R Melville, P Nuzzo 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
Aace: Automated assurance case environment for aerospace certification Z Daw, C Oh, M Low, T Wang, I Amundson, A Pinto, M Chiodo, G Wang, ... 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |