Concepedia

Zamira Daw

ZD

Statistics

Publications

4

Citations

70

H-Index

4

Active since

2013

Affiliations

University of Maryland, College Park(Current)

Zamira Daw is an author at University of Maryland, College Park specializing in formal methods, computer science, and computing.

Publications per year

2013–2024

4

Publications

4

Comparing model checkers for timed UML activity diagrams

Zamira Daw, Rance Cleaveland · Science of Computer Programming · 2015 · 26 citations

Computing, Computer Engineering, Computer Science +14

Formal verification of software-based medical devices considering medical guidelines

Zamira Daw, Rance Cleaveland, Marcus Vetter · International Journal of Computer Assisted Radiology and Surgery · 2013 · 18 citations

Computing, Biomedical Informatics, Health Informatics +11

ML meets aerospace: challenges of certifying airborne AI

Bastian Luettig, Yassine Akhiat, Zamira Daw · Frontiers in Aerospace Engineering · 2024 · 15 citations · Full text

Engineering, Aerospace Engineering, Computer Science +17

Overarching Properties as means of compliance: An industrial case study

Zamira Daw, Scott Beecher, Michael Holloway et al. · 2021 · 11 citations

Engineering, Systems Engineering, Quality Assurance +16

1–4 of 4