Zamira Daw

According to our database, Zamira Daw authored at least 15 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Assuring safety in a flexible aerospace certification - Lessons learned on applying OPs at the system level -.

Zamira Daw, Scott Beecher

Proceedings of the IEEE International Systems Conference, 2023

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

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.

Chanwook Oh, Nikhil Naik, Zamira Daw, Timothy E. Wang, Pierluigi Nuzzo

Proceedings of the Computer Safety, Reliability, and Security, 2022

Hierarchical Contract-Based Synthesis for Assurance Cases.

Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2016

An extensible formal semantics for UML activity diagrams.

Zamira Daw, Rance Cleaveland

CoRR, 2016

2015

Comparing model checkers for timed UML activity diagrams.

Zamira Daw, Rance Cleaveland

Sci. Comput. Program., 2015

An Extensible Operational Semantics for UML Activity Diagrams.

Zamira Daw, Rance Cleaveland

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

UML-VT: A Formal Verification Environment for UML Activity Diagrams.

Zamira Daw, John Mangino, Rance Cleaveland

Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014

Model-driven development methodology for hybrid embedded systems based on UML with emphasis on safety-related requirements.

Zamira Angélica Daw Pérez

PhD thesis, 2014

Formal verification of software-based medical devices considering medical guidelines.

Zamira Daw, Rance Cleaveland, Marcus Vetter

Int. J. Comput. Assist. Radiol. Surg., 2014

2013

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

2011

Towards safe data flow processing by integration of design by contract in deterministic UML activities.

Zamira Daw, Marcus Vetter, Josef Börcsök

Proceedings of the XXIII International Symposium on Information, 2011

2010

Generation of Deterministic MCU/FPGA Hybrid Systems from UML Activities.

Ruediger Willenberg, Zamira Daw, Christian Englert, Marcus Vetter

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009

Methoden zur Entwicklung sicherheitskritischer eingebetter Systeme mittels deterministescher UML-Modelle.

Zamira Daw, Flor Alvarez, Marcus Vetter

Softwaretechnik-Trends, 2009

Deterministic UML Models for Interconnected Activities and State Machines.

Zamira Daw, Marcus Vetter

Proceedings of the Model Driven Engineering Languages and Systems, 2009