Zamira Daw

16 papers A 1B 3C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
AI Engineering for Safety-Critical Control Systems: An Aerospace Perspective.
ACC
Umut Durak, Zamira Daw, Ufuk Topcu, Ella M. Atkins, Darren Cofer, Mevlut Uzun, Gökhan Inalhan, Leonidas Kosmidis, James L. Paunicka, Trung T. Pham
2025 — conf
Arguing machine learning assurance for certification.
Software Engineering Companion
Tihomir Varchev, Stephan Staudacher, Zamira Daw, Michael Holloway
2023 — conf
Assuring safety in a flexible aerospace certification - Lessons learned on applying OPs at the system level -.
SysCon
Zamira Daw, Scott Beecher
2023 — conf
Computer-Aided Generation of Assurance Cases.
SAFECOMP Workshops
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 B conf
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.
SAFECOMP
Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo
2022 — conf
Hierarchical Contract-Based Synthesis for Assurance Cases.
NFM
Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
2016 J jnl
An extensible formal semantics for UML activity diagrams.
CoRR
Zamira Daw, Rance Cleaveland
2015 B conf
An Extensible Operational Semantics for UML Activity Diagrams.
SEFM
Zamira Daw, Rance Cleaveland
2015 J jnl
Comparing model checkers for timed UML activity diagrams.
Sci. Comput. Program.
Zamira Daw, Rance Cleaveland
2015 — conf
UML-VT: A Formal Verification Environment for UML Activity Diagrams.
P&D@MoDELS
Zamira Daw, John Mangino, Rance Cleaveland
2014 J jnl
Formal verification of software-based medical devices considering medical guidelines.
Int. J. Comput. Assist. Radiol. Surg.
Zamira Daw, Rance Cleaveland, Marcus Vetter
2013 J jnl
Integrating model checking and UML based model-driven development for embedded systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Zamira Daw, Rance Cleaveland, Marcus Vetter
2011 — conf
Towards safe data flow processing by integration of design by contract in deterministic UML activities.
ICAT
Zamira Daw, Marcus Vetter, Josef Börcsök
2010 B conf
Generation of Deterministic MCU/FPGA Hybrid Systems from UML Activities.
FPL
Ruediger Willenberg, Zamira Daw, Christian Englert, Marcus Vetter
2009 A conf
Deterministic UML Models for Interconnected Activities and State Machines.
MoDELS
Zamira Daw, Marcus Vetter
2009 J jnl
Methoden zur Entwicklung sicherheitskritischer eingebetter Systeme mittels deterministescher UML-Modelle.
Softwaretechnik-Trends
Zamira Daw, Flor Alvarez, Marcus Vetter