140 Governors Drive
Amherst, MA 01003-9264
Office: 316 Computer Science Building
I work in the Laboratory for Software Engineering Research (LASER) with my co-advisors George Avrunin and Lori Clarke. My research interests are in the areas of requirements engineering, model checking, and analysis.
The goal of my PhD research has been to investigate techniques to improve the quality of human-intensive processes (HIPs) that involve coordination among human performers, software applications, and hardware devices. For instance, consider an in-patient surgery medical process that involves a surgeon, anestheologist, nurses, patient, electronic order entry system, and an infusion pump. Since the HIPs are often complex involving aspects such as concurrency and exceptional situations, I have developed static and dynamic analysis techniques that help prevent the HIPs from violating their overall system requirements and evaluated these techniques on either benchmarks or case studies.
For my masters work, I contributed to the FLAVERS model checker that employs static data flow analysis techniques to verify whether or not all potential traces through a finite-state model of a system satisfy a given requirement of that system. If not, this model checker can generate a counterexample trace that illustrates a potential system requirement violation to help with program understanding and debugging. For my thesis work, I am investigating a static analysis approach to automatically derived requirements for components used in HIPs based on interface synthesis methods developed for software systems. The derived requirements are represented as finite state automata that prevent any sequences of procedure calls to a selected component that violate a given system requirement. Such requirements can be used to select the right process for a given component or alternatively to select the right component for a given process. Since checklists that guide the human performers though on-going processes have been applied in multiple domains and shown to reduce human errors, I am also contributing to a dynamic approach that generates context-sensitive Smart Checklists by matching validated HIP models against streams of real-world process activity events.
All of my publications are available from the LASER publication database.
- "A Comprehensive Framework for Using Iterative Analysis to Improve Human-Intensive Process Security: An Election Example", Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, and Sean Peissart, To appear in ACM Transactions on Privacy and Security (TOPS), 2017.
- "Cognitive Support During High-Consequence Episodes of Care in Cardiovascular Surgery", Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan C. Christov, Julian M. Goldman, Steven J. Yule, and Marco A. Zenati, To appear in Proceedings of the 2017 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA'17), 2017.
- "Smart Checklists to Improve Healthcare Outcomes", Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, and Leon J. Osterweil, In Proceedings of the International Conference on Software Engineering (ICSE) 2016 Workshop on Software Engineering in Healthcare Systems (SEHS'16), 2016, pp. 54 - 57.
- "Process Modelling of Aortic Cannulation in Cardiac Surgery: Toward a Smart Checklist to Mitigate the Risk of Stroke", Heather M. Conboy, Jason K. Maron, Stefan C. Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, and Marco A. Zenati, In Proceedings of the 5th Workshop on Modeling and Monitoring of Computer Assisted Interventions (M2CAI'14), 2014.
- "Insider Threat Identification by Process Analysis", Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, and Sean Peisert, In Proceedings of the 1st Workshop on Research for Insider Threat (WRIT'14), 2014, pp. 251 - 264.
- "Modal Abstraction View of Requirements for Medical Devices Used in Healthcare Processes", Heather M. Conboy, George S. Avrunin, and Lori A. Clarke, In Proceedings of the ICSE 2013 Workshop on Software Engineering in Health Care (SEHC'13), 2013, pp. 24 - 27.
- "Process-Based Derivation of Requirements for Medical Devices", Heather M. Conboy, George S. Avrunin, and Lori A. Clarke, In Proceedings of the 1st ACM International Health Informatics Symposium (IHI'10), 2010, pp. 656 - 665.
Invited Talks and Posters
- "MAC (Memory and Aging Center) Process Modeling Project", Heather M. Conboy and Kate Rankin, MAC, University of California San Francisco, March 2014. (Invited talk)
- "Learning Medical Device Requirements from Medical Processes", Heather M. Conboy, George S. Avrunin, and Lori A. Clarke, CRA-W Grad Cohort, San Francisco, March 2009. (Poster)
- "Building Finite State Verifier (FSV) Models from the Bandera Intermediate Representation (BIR)", Heather M. Conboy, George S. Avrunin, Lori A. Clarke, and Stephen F. Siegel, Laboratory for Specification, Analysis, and Transformation of Software, Kansas State University Manhattan, February 2002. (Invited talk)
Software Tools and Benchmarks