Zamira Daw

Daw, Z., & Cleaveland, R. (2015). An Extensible Operational Semantics for {UML} Activity Diagrams. Software Engineering and Formal Methods - 13th International Conference, {SEFM} 2015, York, UK, September 7-11, 2015. Proceedings. Presented at the. https://doi.org/10.1007/978-3-319-22969-0\_25

Daw, Z., & Cleaveland, R. (2015). Comparing model checkers for timed UML activity diagrams. Science of Computer Programming, 111, 277–299.

Daw, Z., & Cleaveland, R. (2016). An extensible formal semantics for UML activity diagrams. ArXiv Preprint ArXiv:1604.02386.

Daw, Z., Mangino, J., & Cleaveland, R. (2015). UML-VT: A Formal Verification Environment for UML Activity Diagrams. P&D@ MoDELS. Presented at the.