| 2026 | SAFECOMP | On the Timing Determinism of CUDA and Vulkan SC for Safety-Critical AI Workloads on Integrated SoC GPUs. | Yousif M. Elsheikh, Adrian Raiser, Fabian Frommherz, Zamira Daw |
| 2023 | SAFECOMP | Computer-Aided Generation of Assurance Cases. | Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo |
| 2022 | SAFECOMP | ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. | Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo |
| 2015 | MODELS | UML-VT: A Formal Verification Environment for UML Activity Diagrams. | Zamira Daw, John Mangino, Rance Cleaveland |
| 2015 | SEFM | An Extensible Operational Semantics for UML Activity Diagrams. | Zamira Daw, Rance Cleaveland |
| 2010 | FPL | Generation of Deterministic MCU/FPGA Hybrid Systems from UML Activities. | Ruediger Willenberg, Zamira Daw, Christian Englert, Marcus Vetter |
| 2009 | MODELS | Deterministic UML Models for Interconnected Activities and State Machines. | Zamira Daw, Marcus Vetter |