Zamira Daw

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Assuring safety in a flexible aerospace certification - Lessons learned on applying OPs at the system level -.
Proceedings of the IEEE International Systems Conference, 2023

Computer-Aided Generation of Assurance Cases.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022
ARACHNE: Automated Validation of Assurance Cases with Stochastic Contract Networks.
Proceedings of the Computer Safety, Reliability, and Security, 2022

Hierarchical Contract-Based Synthesis for Assurance Cases.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

2016
An extensible formal semantics for UML activity diagrams.
CoRR, 2016

2015
Comparing model checkers for timed UML activity diagrams.
Sci. Comput. Program., 2015

An Extensible Operational Semantics for UML Activity Diagrams.
Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

UML-VT: A Formal Verification Environment for UML Activity Diagrams.
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.
PhD thesis, 2014

Formal verification of software-based medical devices considering medical guidelines.
Int. J. Comput. Assist. Radiol. Surg., 2014

2013
Integrating model checking and UML based model-driven development for embedded systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

2011
Towards safe data flow processing by integration of design by contract in deterministic UML activities.
Proceedings of the XXIII International Symposium on Information, 2011

2010
Generation of Deterministic MCU/FPGA Hybrid Systems from UML Activities.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009
Methoden zur Entwicklung sicherheitskritischer eingebetter Systeme mittels deterministescher UML-Modelle.
Softwaretechnik-Trends, 2009

Deterministic UML Models for Interconnected Activities and State Machines.
Proceedings of the Model Driven Engineering Languages and Systems, 2009


  Loading...