Lori A. Clarke

Lauren R. Kennedy-Metz

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2020

2018

Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.

[BibT_eX]

[DOI]

Proceedings of the OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis, 2018

Improving Diversity in Computing Research: An Overview of CRA-W Activities.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM 1st International Workshop on Gender Equality in Software Engineering, 2018

Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2018

Process Driven Guidance for Complex Surgical Procedures.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2018, 2018

2017

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.

[BibT_eX]

[DOI]

Sean Peisert

ACM Trans. Priv. Secur., 2017

Cognitive support during high-consequence episodes of care in cardiovascular surgery.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2017

2016

Smart checklists to improve healthcare outcomes.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2014

Insider Threat Identification by Process Analysis.

[BibT_eX]

[DOI]

Matt Bishop

Huong Phan

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Impact of barcode design on the medication administration process.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2014, 2014

Online Deviation Detection for Medical Processes.

[BibT_eX]

[DOI]

Stefan C. Christov

Proceedings of the AMIA 2014, 2014

2013

Modal abstraction view of requirements for medical devices used in healthcare processes.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Considerations for online deviation detection in medical processes.

[BibT_eX]

[DOI]

Stefan C. Christov

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

Using process modeling and analysis techniques to reduce errors in healthcare.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.

[BibT_eX]

[DOI]

Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

Computational Predictors in Online Social Deliberations.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Weblogs and Social Media, 2012

Smart checklists for human-intensive medical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

Environment Support for Improving Software Development Processes: A Vision Influenced by the Work of Barry W. Boehm.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

On effective testing of health care simulation software.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

2010

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2010

Modeling and Analyzing Faults to Improve Election Process Robustness.

[BibT_eX]

[DOI]

Proceedings of the 2010 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2010

Supporting negotiation and dispute resolution with computing and communication technologies.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Supporting human-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.

[BibT_eX]

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Process-based derivation of requirements for medical devices.

[BibT_eX]

[DOI]

Proceedings of the ACM International Health Informatics Symposium, 2010

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.

[BibT_eX]

[DOI]

Philip L. Henneman

Lucinda Cassells

Wilson Mertens

Proceedings of the ACM International Health Informatics Symposium, 2010

2nd International Workshop on Software Engineering in Health Care (SEHC 2010).

[BibT_eX]

[DOI]

Jens H. Weber-Jahnke

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

A benchmark for evaluating software engineering techniques for improving medical processes.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

2009

Simulating patient flow through an Emergency Department using process-driven discrete event simulation.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

Dispute prevention and dispute resolution in networked health information technology.

[BibT_eX]

[DOI]

Proceedings of the 10th Annual International Conference on Digital Government Research, 2009

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2009

2008

Combining symbolic execution with model checking to verify parallel numerical programs.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2008

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2008

Experience in using a process language to define scientific workflow and generate dataset provenance.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Using software engineering technology to improve the quality of medical processes.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Analyzing medical processes.

[BibT_eX]

[DOI]

Bin Chen

Philip L. Henneman

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and verifying requirements for election processes.

[BibT_eX]

[DOI]

Matthew Marzilli

Proceedings of the 9th Annual International Conference on Digital Government Research, 2008

2007

Ensuring reliable datasets for environmental models and forecasts.

[BibT_eX]

[DOI]

Ecol. Informatics, 2007

Getting the Details Right.

[BibT_eX]

[DOI]

Proceedings of the Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs, 2007

Rigorously Defining and Analyzing Medical Processes: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Representing Process Variation with a Process Family.

[BibT_eX]

[DOI]

Proceedings of the Software Process Dynamics and Agility, 2007

Engineering Medical Processes to Improve Their Safety.

[BibT_eX]

[DOI]

Philip L. Henneman

Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

Plug-and-Play Architectural Design and Verification.

[BibT_eX]

[DOI]

Shangzhu Wang

Proceedings of the Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], 2007

Using process definitions to drive user interactions with digital government systems.

[BibT_eX]

[DOI]

Norman K. Sondheimer

Leah Wing

Alexander E. Wise

Proceedings of the 8th Annual International Conference on Digital Government Research, 2007

2006

A historical perspective on runtime assertion checking in software development.

[BibT_eX]

[DOI]

David S. Rosenblum

ACM SIGSOFT Softw. Eng. Notes, 2006

Complex medical processes as context for embedded systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2006

User guidance for creating precise and accessible property specifications.

[BibT_eX]

[DOI]

Rachel L. Cobleigh

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Verification support for plug-and-play architectural design.

[BibT_eX]

[DOI]

Shangzhu Wang

Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, 2006

Using model checking with symbolic execution to verify parallel numerical programs.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Definition and Analysis of Election Processes.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

Automatic Fault Tree Derivation from Little-JIL Process Definitions.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

Managing space for finite-state verification.

[BibT_eX]

[DOI]

Jianbin Tan

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

A process-driven tool to support online dispute resolution.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

Architectural Building Blocks for Plug-and-Play System Design.

[BibT_eX]

[DOI]

Shangzhu Wang

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Process Technology to Facilitate the Conduct of Science.

[BibT_eX]

[DOI]

Proceedings of the Unifying the Software Process Spectrum, 2005

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.

[BibT_eX]

[DOI]

Proceedings of the Unifying the Software Process Spectrum, 2005

2004

Flow analysis for verifying properties of concurrent software systems.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2004

Heuristic-guided counterexample search in FLAVERS.

[BibT_eX]

[DOI]

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Heuristic-Based Model Refinement for FLAVERS.

[BibT_eX]

[DOI]

Jianbin Tan

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Trust Resource Management in Digital Government Through Process Modeling.

[BibT_eX]

[DOI]

Proceedings of the 2003 Annual National Conference on Digital Government Research, 2003

2002

FLAVERS: A finite state verification technique for software systems.

[BibT_eX]

[DOI]

IBM Syst. J., 2002

PROPEL: an approach supporting property elucidation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

An architecture for flexible, evolvable process-driven user-guidance environments.

[BibT_eX]

[DOI]

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Little-JIL.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

FLAVERS.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

The impact project: determining the impact of software engineering research upon practice (panel session).

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Classifying properties: an alternative to the safety-liveness classification.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Continuous Self-Evaluation for the Self-Improvement of Software.

[BibT_eX]

[DOI]

Proceedings of the Self-Adaptive Software, First International Workshop, 2000

Verifying properties of process definitions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Finite state verification: An emerging technology for validating software systems (abstract only).

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Frameworks for Reasoning about Agent Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Infrastructure for Agents, 2000

1999

Using partial order techniques to improve performance of data flow analysis based verification.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1999

Data Flow Analysis for Checking Properties of Concurrent Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

An Efficient Algorithm for Computing <i>MHP</i> Information for Concurrent Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1999

1998

Efficient Composite Data Flow Analysis Applied to Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Consistency Management for Complex Applications.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

An Adaptable Generation Approach to Agenda Management.

[BibT_eX]

[DOI]

Eric K. McCall

Proceedings of the Forging New Links, 1998

1997

Verification of Concurrent Software with FLAVERS.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

Applying Static Analysis to Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

1996

A Compact Petri Net Representation and Its Implications for Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

A Framework for Event-Based Software Integration.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1996

New Functionality for Programming Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

How Do We Improve Software Quality and How Do We Show that it Matters?

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Verification of Communication Protocols Using Data Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs.

[BibT_eX]

[DOI]

A. T. Chamillard

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

A Flexible Architecture for Building Data Flow Analyzers.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

A Compact Petri Net Representation for Concurrent Programs.

[BibT_eX]

[DOI]

Kari A. Nies

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

Data Flow Analysis for Verifying Properties of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

1993

Letter from the Incoming Chairman.

[BibT_eX]

ACM SIGSOFT Softw. Eng. Notes, 1993

PLEIADES: An Object Management System for Software Engineering Environments.

[BibT_eX]

[DOI]

Proceedings of the First ACM SIGSOFT Symposium on Foundations of Software Engineering, 1993

An Information Flow Model of Fault Detection.

[BibT_eX]

[DOI]

Margaret C. Thompson

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1992

A Proposed Testing and Analysis Research Initiative.

[BibT_eX]

[DOI]

IEEE Softw., 1992

1991

Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization.

[BibT_eX]

[DOI]

Douglas L. Long

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance.

[BibT_eX]

[DOI]

Andy Podgurski

IEEE Trans. Software Eng., 1990

A Comparative Evaluation of Object Definition Techniques.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1990

Extending and Limiting PGraphite-style Persistence.

[BibT_eX]

Proceedings of the Implementing Persistent Object Bases, 1990

1989

The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

A Formal Evaluation of Data Flow Path Selection Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Ada language considerations for concurrency analysis.

[BibT_eX]

[DOI]

Douglas L. Long

Joseph Fialli

Proceedings of the Sixth Washington Ada Symposium on Ada, 1989

The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance.

[BibT_eX]

[DOI]

Andy Podgurski

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Task Interaction Graphs for Concurrency Analysis.

[BibT_eX]

[DOI]

Douglas L. Long

Proceedings of the 11th International Conference on Software Engineering, 1989

1988

A Model of Visibility Control.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1988

Foundations for the Arcadia Environment Architecture.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

TEAM: A Support Environment for Testing, Evaluation, and Analysis.

[BibT_eX]

[DOI]

Steven J. Zeil

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Facilitating process prototyping by controlling the impact of change.

[BibT_eX]

[DOI]

Proceedings of the Forth International Software Process Workshop, 1988

1987

Object Management Support for Software Development Environments.

[BibT_eX]

Proceedings of the Persistent Object Systems: Their Design Implementation and Use. Proceedings of the Second International Workshop, 1987

1985

Partition Analysis: A Method Combining Testing and Verification.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1985

Ada-Based support for programming-in-the-Large.

[BibT_eX]

[DOI]

IEEE Softw., 1985

Applications of symbolic evaluation.

[BibT_eX]

[DOI]

J. Syst. Softw., 1985

Interface Control and Incremental Development in the PIC Environment.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1985

A Comparison of Data Flow Path Selection Criteria.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1985

1984

A reply to Foster's "Comment on 'The application of error-sensitive testing strategies to debugging'".

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 1984

Feedback-directed development of complex software systems.

[BibT_eX]

Proceedings of a Software Process Workshop, February 1984, Egham, UK, 1984

1983

The application of error-sensitive testing strategies to debugging.

[BibT_eX]

[DOI]

Proceedings of the symposium on High-level debugging, 1983

1982

A Close Look at Domain Testing.

[BibT_eX]

[DOI]

Johnette Hassell

IEEE Trans. Software Eng., 1982

1981

Software environment research: the next five years.

[BibT_eX]

[DOI]

Donald Good

Raymond C. Houghton Jr.

ACM SIGSOFT Softw. Eng. Notes, 1981

A Partition Analysis Method to Increase Program Reliability.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Software Engineering, 1981

1980

Nesting in Ada programs is for the birds.

[BibT_eX]

[DOI]

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

1979

Compile-Time Analysis of Data List-Format List Correspondences.

[BibT_eX]

[DOI]

Paul W. Abrahams

IEEE Trans. Software Eng., 1979

1978

Testing: Achievements and Frustrations.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1976

A System to Generate Test Data and Symbolically Execute Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1976

SICSOFT (Paper Session).

[BibT_eX]

[DOI]

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

A program testing system.

[BibT_eX]

[DOI]