Ayesha Yasmeen

According to our database, Ayesha Yasmeen authored at least 6 papers between 2008 and 2012.

Collaborative distances:

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

2012

Formal analysis of safety-critical system simulations.

Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter

Proceedings of the International Conference on Application and Theory of Automation in Command and Control Systems, 2012

2011

Formalizing operator task analysis

Ayesha Yasmeen

PhD thesis, 2011

Robustness for protection envelopes with respect to human task variation.

Ayesha Yasmeen, Elsa L. Gunter

Proceedings of the IEEE International Conference on Systems, 2011

Automated framework for formal operator task analysis.

Ayesha Yasmeen, Elsa L. Gunter

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2009

Specifying and Analyzing Workflows for Automated Identification and Data Capture.

Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

Secure Broadcast Ambients.

Elsa L. Gunter, Ayesha Yasmeen

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008