Deterministic UML Models for Interconnected Activities and State Machines. - Zamira Daw; Marcus Vetter (MoDELS, 2009)

Methoden zur Entwicklung sicherheitskritischer eingebetter Systeme mittels deterministescher UML-Modelle. - Zamira Daw; Flor Alvarez; Marcus Vetter (Softwaretechnik-Trends, 2009)

Generation of Deterministic MCU/FPGA Hybrid Systems from UML Activities. - Ruediger Willenberg; Zamira Daw; Christian Englert; Marcus Vetter (FPL, 2010)

Towards safe data flow processing by integration of design by contract in deterministic UML activities. - Zamira Daw; Marcus Vetter; Josef Börcsök (ICAT, 2011)

Integrating model checking and UML based model-driven development for embedded systems. - Zamira Daw; Rance Cleaveland; Marcus Vetter (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Formal verification of software-based medical devices considering medical guidelines. - Zamira Daw; Rance Cleaveland; Marcus Vetter (Int. J. Comput. Assist. Radiol. Surg., 2014)

Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements. - Zamira Angélica Daw Pérez (Kassel University Press, 2014)

UML-VT: A Formal Verification Environment for UML Activity Diagrams. - Zamira Daw; John Mangino; Rance Cleaveland (P&D@MoDELS, 2015)

An Extensible Operational Semantics for UML Activity Diagrams. - Zamira Daw; Rance Cleaveland (SEFM, 2015)

Comparing model checkers for timed UML activity diagrams. - Zamira Daw; Rance Cleaveland (Sci. Comput. Program., 2015)

An extensible formal semantics for UML activity diagrams. - Zamira Daw; Rance Cleaveland (CoRR, 2016)

Hierarchical Contract-Based Synthesis for Assurance Cases. - Timothy E. Wang; Zamira Daw; Pierluigi Nuzzo 002; Alessandro Pinto (NFM, 2022)

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. - Chanwook Oh; Nikhil Naik 001; Zamira Daw; Timothy E. Wang; Pierluigi Nuzzo 002 (SAFECOMP, 2022)

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 002 (SAFECOMP Workshops, 2023)

Assuring safety in a flexible aerospace certification - Lessons learned on applying OPs at the system level -. - Zamira Daw; Scott Beecher (SysCon, 2023)

AI Engineering for Safety-Critical Control Systems: An Aerospace Perspective. - Umut Durak; Zamira Daw; Ufuk Topcu; Ella Atkins; Darren Cofer; Mevlut Uzun; Gökhan Inalhan; Leonidas Kosmidis; James L. Paunicka; Trung T. Pham (ACC, 2025)

Arguing machine learning assurance for certification. - Tihomir Varchev; Stephan Staudacher; Zamira Daw; Michael Holloway (Software Engineering Companion, 2025)