Ayesha Yasmeen

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Adaptive Systems

Regulatory Requirements

Formal Analysis

Top Venues

Publications

Ayesha Yasmeen, Karen M. Feigh, Gabriel Gelman, Elsa L. Gunter
Formal analysis of safety-critical system simulations. ATACCS (2012)
Ayesha Yasmeen, Elsa L. Gunter
Robustness for protection envelopes with respect to human task variation. SMC (2011)
Ayesha Yasmeen, Elsa L. Gunter
Automated framework for formal operator task analysis. ISSTA (2011)
Elsa L. Gunter, Ayesha Yasmeen, Carl A. Gunter, Anh Nguyen
Specifying and Analyzing Workflows for Automated Identification and Data Capture. HICSS (2009)
Elsa L. Gunter, Ayesha Yasmeen
Secure Broadcast Ambients. Formal Aspects in Security and Trust (2008)