Zarrin Langari

According to our database, Zarrin Langari authored at least 7 papers between 2001 and 2013.

Collaborative distances:

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

2013

Safety cases: a review of challenges.

Zarrin Langari, Tom Maibaum

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

2011

Symmetry for the Analysis of Dynamic Systems.

Zarrin Langari, Richard J. Trefler

Proceedings of the NASA Formal Methods, 2011

2010

Modelling and Analysis using Graph Transformation Systems.

Zarrin Langari

PhD thesis, 2010

2009

Application of Graph Transformation in Verification of Dynamic Systems.

Zarrin Langari, Richard J. Trefler

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2006

Formal Modeling of Communication Protocols by Graph Transformation.

Zarrin Langari, Richard J. Trefler

Proceedings of the FM 2006: Formal Methods, 2006

2005

Quality, cleanroom and formal methods.

Zarrin Langari, Anne Banks Pidduck

ACM SIGSOFT Softw. Eng. Notes, 2005

2001

Subject Classification in the Oxford English Dictionary.

Zarrin Langari, Frank Wm. Tompa

Proceedings of the 2001 IEEE International Conference on Data Mining, 29 November, 2001