Zarrin Langari

Publication Activity (10 Years)

Years Active: 2001-2013
Publications (10 Years): 0

Top Topics

Lessons Learned

Computational Challenges

Top Venues

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Zarrin Langari, Tom Maibaum
Safety cases: a review of challenges. ASSURE@ICSE (2013)
Zarrin Langari, Richard J. Trefler
Symmetry for the Analysis of Dynamic Systems. NASA Formal Methods (2011)
Zarrin Langari, Richard J. Trefler
Application of Graph Transformation in Verification of Dynamic Systems. IFM (2009)
Zarrin Langari, Richard J. Trefler
Formal Modeling of Communication Protocols by Graph Transformation. FM (2006)
Zarrin Langari, Anne Banks Pidduck
Quality, cleanroom and formal methods. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Zarrin Langari, Anne Banks Pidduck
Quality, cleanroom and formal methods. WoSQ@ICSE (2005)
Zarrin Langari, Frank Wm. Tompa
Subject Classification in the Oxford English Dictionary. ICDM (2001)