Automated Framework for Formal Operator Task Analysis
Ayesha Yasmeen and Elsa L. Gunter
ACM International Symposium on Software Testing and Analysis (ISSTA ’11), Toronto, Canada, July 2011. [BIB]

Last updated on Wednesday, December 7, 2011, 3:46 pm

Formalizing Operator Task Analysis
Ayesha Yasmeen
Doctoral Thesis, University of Illinois at Urbana-Champaign, June 2011. [BIB]

Last updated on Wednesday, December 7, 2011, 3:55 pm

Specifying and Analyzing Workflows for Automated Identification and Data Capture
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter and Anh Nguyen
IEEE Hawaii International Conference on System Sciences (HICSS ’09), Waikoloa, HI, January 2009.

Last updated on Monday, June 9, 2014, 2:35 pm