Zamira Daw

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 8

Top Topics

Medical Devices

Uml Activity Diagrams

Formal Verification

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

SAFECOMP Workshops

Sci. Comput. Program.

Publications

Timothy E. Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano L. Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
Computer-Aided Generation of Assurance Cases. SAFECOMP Workshops (2023)
Zamira Daw, Scott Beecher
Assuring safety in a flexible aerospace certification - Lessons learned on applying OPs at the system level -. SysCon (2023)
Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
Hierarchical Contract-Based Synthesis for Assurance Cases. NFM (2022)
Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks. SAFECOMP (2022)
Zamira Daw, Rance Cleaveland
An extensible formal semantics for UML activity diagrams. CoRR (2016)
Zamira Daw, Rance Cleaveland
An Extensible Operational Semantics for UML Activity Diagrams. SEFM (2015)
Zamira Daw, Rance Cleaveland
Comparing model checkers for timed UML activity diagrams. Sci. Comput. Program. 111 (2015)
Zamira Daw, John Mangino, Rance Cleaveland
UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@MoDELS (2015)
Zamira Daw, Rance Cleaveland, Marcus Vetter
Formal verification of software-based medical devices considering medical guidelines. Int. J. Comput. Assist. Radiol. Surg. 9 (1) (2014)
Zamira Daw, Rance Cleaveland, Marcus Vetter
Integrating model checking and UML based model-driven development for embedded systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Zamira Daw, Marcus Vetter, Josef Börcsök
Towards safe data flow processing by integration of design by contract in deterministic UML activities. ICAT (2011)
Ruediger Willenberg, Zamira Daw, Christian Englert, Marcus Vetter
Generation of Deterministic MCU/FPGA Hybrid Systems from UML Activities. FPL (2010)
Zamira Daw, Marcus Vetter
Deterministic UML Models for Interconnected Activities and State Machines. MoDELS (2009)
Zamira Daw, Flor Alvarez, Marcus Vetter
Methoden zur Entwicklung sicherheitskritischer eingebetter Systeme mittels deterministescher UML-Modelle. Softwaretechnik-Trends 29 (3) (2009)