Some classes of uniquely 3-colorable graphs. - Leon J. Osterweil (Discret. Math., 1974)

Allegations as aids to static program testing. - Leon J. Osterweil (ACM Annual Conference, 1976)

SICSOFT (Paper Session). - Leon J. Osterweil; Robert H. Hoffman; Lori A. Clarke; Hanan Samet; Richard E. Fairley (ACM Annual Conference, 1976)

Some experience with DAVE: a Fortran program analyzer. - Leon J. Osterweil; Lloyd D. Fosdick (AFIPS National Computer Conference, 1976)

Program testing techniques using simulated execution. - Leon J. Osterweil; Lloyd D. Fosdick (ANSS, 1976)

The Detection of Anomalous Interprocedural Data Flow. - Lloyd D. Fosdick; Leon J. Osterweil (ICSE, 1976)

Data Flow Analysis in Software Reliability. - Lloyd D. Fosdick; Leon J. Osterweil (ACM Comput. Surv., 1976)

DAVE-A Validation Error Detection and Documentation System for Fortran Programs. - Leon J. Osterweil; Lloyd D. Fosdick (Softw. Pract. Exp., 1976)

On Two Problems in the Generation of Program Test Paths. - Harold N. Gabow; Shachindra N. Maheswari; Leon J. Osterweil (IEEE Trans. Software Eng., 1976)

ASSET: A Lifecycle Verification and Visibility System. - Leon J. Osterweil; John R. Brown; Leon G. Stucki (COMPSAC, 1978)

A facility for verification, testing and documentation of concurrent process software. - Richard N. Taylor; Leon J. Osterweil (COMPSAC, 1978)

Using tools for verification, documentation and testing. - Leon J. Osterweil (SIGNUM, 1978)

ASSET: A life cycle verification and visibility system. - Leon J. Osterweil; John R. Brown; Leon G. Stucki (J. Syst. Softw., 1979)

Anomaly Detection in Concurrent Software by Static Data Flow Analysis. - Richard N. Taylor; Leon J. Osterweil (IEEE Trans. Software Eng., 1980)

An approach to transfer verification and validation technology. - Mark K. Smith; Leonard L. Tripp; Leon J. Osterweil; Richard N. Taylor; William E. Howden (AFIPS National Computer Conference, 1981)

BIGMAC II: A FORTRAN Language Augmentation Tool. - Eugene W. Myers; Leon J. Osterweil (ICSE, 1981)

Software Engineering Research: Directions for the Next Five Years. - Leon J. Osterweil (Computer, 1981)

Software environment research: the next five years. - Leon J. Osterweil; Lori A. Clarke; Donald Good; Raymond C. Houghton Jr.; Thomas Love; Patricia Santoni; Daniel Teichroew; Anthony I. Wasserman (ACM SIGSOFT Softw. Eng. Notes, 1981)

The Toolpack/IST Approach to Extensibility in Software Environments. - Leon J. Osterweil; Geoffrey Clemm (Ada Software Tools Interfaces, 1983)

Toolpack - An Experimental Software Development Environment Research Project. - Leon J. Osterweil (IEEE Trans. Software Eng., 1983)

Omega - A Data Flow Analysis Tool for the C Programming Language. - Cindy Wilson; Leon J. Osterweil (IEEE Trans. Software Eng., 1985)

A Process-Object Centered View of Software Environment Architecture. - Leon J. Osterweil (Advanced Programming Environments, 1986)

Software processes are software too. - Leon J. Osterweil (ISPW, 1986)

TRICS: A Testing Tool for C. - Barbara Raither; Leon J. Osterweil (ESEC, 1987)

Lessons of Current Environments. - Leon J. Osterweil (ICSE, 1987)

New perspectives on software maintenance processes. - Shehab A. Gamalel-Din; Leon J. Osterweil (ICSM, 1988)

Automated support for the enactment of rigorously described software processes. - Leon J. Osterweil (ISPW, 1988)

Foundations for the Arcadia Environment Architecture. - Richard N. Taylor; Frank C. Belz; Lori A. Clarke; Leon J. Osterweil; Richard W. Selby; Jack C. Wileden; Alexander L. Wolf; Michal Young (Software Development Environments (SDE), 1988)

Experiences with process programming. - Leon J. Osterweil (ISPW, 1989)

Example process program code, coded in Appl/A. - Leon J. Osterweil (ISPW, 1989)

Cesar: A Static Sequencing Constraint Analyzer. - Kurt M. Olender; Leon J. Osterweil (Symposium on Testing, Analysis, and Verification, 1989)

Integrating Testing Techniques Through Process Programming. - Debra J. Richardson; Stephanie Leif Aha; Leon J. Osterweil (Symposium on Testing, Analysis, and Verification, 1989)

An example of formal specification as an aid to design and development. - Robert B. Terwilliger; Mark J. Maybee; Leon J. Osterweil (IWSSD, 1989)

A Metaphor and a Conceptual Architecture for Software Development Environments. - Izhar Shy; Richard N. Taylor; Leon J. Osterweil (SEE, 1989)

The architecture of the Arcadia-1 process centered software environment. - Leon J. Osterweil; Richard N. Taylor (ISPW, 1990)

Language constructs for managing change in process-centered environments. - Stanley M. Sutton Jr.; Dennis Heimbigner; Leon J. Osterweil (SDE, 1990)

A Mechanism for Environment Integration. - Geoffrey Clemm; Leon J. Osterweil (ACM Trans. Program. Lang. Syst., 1990)

Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. - Kurt M. Olender; Leon J. Osterweil (IEEE Trans. Software Eng., 1990)

A Proposed Testing and Analysis Research Initiative. - Leon J. Osterweil; Lori A. Clarke (IEEE Softw., 1992)

Toward Objective, Systematic Design-Method Comparisons. - Xiping Song; Leon J. Osterweil (IEEE Softw., 1992)

Interprocedural Static Analysis of Sequencing Constraints. - Kurt M. Olender; Leon J. Osterweil (ACM Trans. Softw. Eng. Methodol., 1992)

Research Issues in the Intersection of Hypertext and Software Development Environments. - Hadar Ziv; Leon J. Osterweil (ICSE Workshop on SE-HCI, 1994)

An argument for the elimination of roles. - Dennis Heimbigner; Leon J. Osterweil (ISPW, 1994)

An alternative to software process languages. - Leon J. Osterweil; Dennis Heimbigner (ISPW, 1994)

AIDA: a dynamic analyser for Ada programs. - Fathy E. Eassa; Leon J. Osterweil; M. Z. Abdel Mageed (Inf. Softw. Technol., 1994)

Experience with an Approach to Comparing Software Design Methodologies. - Xiping Song; Leon J. Osterweil (IEEE Trans. Software Eng., 1994)

AIDA: A dynamic analyzer for Ada programs. - Fathy E. Eassa; Leon J. Osterweil; M. Z. Abdel Mageed (J. Syst. Softw., 1995)

APPL/A: A Language for Software Process Programming. - Stanley M. Sutton Jr.; Dennis Heimbigner; Leon J. Osterweil (ACM Trans. Softw. Eng. Methodol., 1995)

Multilanguage Interoperability in Distributed Systems. - Mark J. Maybee; Dennis Heimbigner; Leon J. Osterweil (ICSE, 1996)

Product families and process families. - Stanley M. Sutton Jr.; Leon J. Osterweil (ISPW, 1996)

Assuring Accuracy and Impartiality in Software Design Methodology Comparison. - Leon J. Osterweil; Xiping Song (IWSSD, 1996)

PDP: Programming A Programmable Design Process. - Stanley M. Sutton Jr.; Leon J. Osterweil (IWSSD, 1996)

Improving the quality of software quality determination processes. - Leon J. Osterweil (Quality of Numerical Software, 1996)

Verification of Communication Protocols Using Data Flow Analysis. - Gleb Naumovich; Lori A. Clarke; Leon J. Osterweil (SIGSOFT FSE, 1996)

Strategic Directions in Software Quality. - Leon J. Osterweil (ACM Comput. Surv., 1996)

Applying Static Analysis to Software Architectures. - Gleb Naumovich; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (ESEC / SIGSOFT FSE, 1997)

The Design of a Next-Generation Process Language. - Stanley M. Sutton Jr.; Leon J. Osterweil (ESEC / SIGSOFT FSE, 1997)

Verification of Concurrent Software with FLAVERS. - Gleb Naumovich; Lori A. Clarke; Leon J. Osterweil; Matthew B. Dwyer (ICSE, 1997)

Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9. - Leon J. Osterweil (ICSE, 1997)

The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. - Rodion M. Podorozhny; Leon J. Osterweil (ICSE, 1997)

Programming Process Coordination in Little-JIL. - Barbara Staudt Lerner; Leon J. Osterweil; Stanley M. Sutton Jr.; Alexander E. Wise (EWSPT, 1998)

JIL and Little-JIL Process Programming Languages. - Leon J. Osterweil (EWSPT, 1998)

An Adaptable Generation Approach to Agenda Management. - Eric K. McCall; Lori A. Clarke; Leon J. Osterweil (ICSE, 1998)

Enhancing Design Methods to Support Real Design Processes. - Barbara Staudt Lerner; Stanley M. Sutton Jr.; Leon J. Osterweil (IWSSD, 1998)

Efficient Composite Data Flow Analysis Applied to Concurrent Programs. - Gleb Naumovich; Lori A. Clarke; Leon J. Osterweil (PASTE, 1998)

Engineering Software Design Processes to Guide Process Execution. - Xiping Song; Leon J. Osterweil (IEEE Trans. Software Eng., 1998)

Modeling Resources for Activity Coordination and Scheduling. - Rodion M. Podorozhny; Barbara Staudt Lerner; Leon J. Osterweil (COORDINATION, 1999)

Agents and Workflow - An Intimate Connection, or Just Friends? - Martin L. Griss; Qiming Chen; Gregory A. Bolcer; Robert R. Kessler; Leon J. Osterweil (TOOLS (30), 1999)

Coordinating agent activities in knowledge discovery processes. - David D. Jensen; Yulin Dong; Barbara Staudt Lerner; Eric K. McCall; Leon J. Osterweil; Stanley M. Sutton Jr.; Alexander E. Wise (WACC, 1999)

Frameworks for Reasoning about Agent Based Systems. - Leon J. Osterweil; Lori A. Clarke (Agents Workshop on Infrastructure for Multi-Agent Systems, 2000)

Integrating High-Level and Detailed Agent Coordination into a Layered Architecture. - Xiaoqin Zhang 001; Anita Raja; Barbara Staudt Lerner; Victor R. Lesser; Leon J. Osterweil; Thomas Wagner 001 (Agents Workshop on Infrastructure for Multi-Agent Systems, 2000)

Relocation in Mobile Process-Centered Software Development Environments. - Supratik Bhattacharyya; Leon J. Osterweil (DEXA Workshop, 2000)

Little-JIL/Juliette: a process definition language and interpreter. - Aaron G. Cass; Barbara Staudt Lerner; Stanley M. Sutton Jr.; Eric K. McCall; Alexander E. Wise; Leon J. Osterweil (ICSE, 2000)

Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. - Leon J. Osterweil; Barry W. Boehm; Michael Evangelist; Volker Gruhn; Jeff Kramer; Edward F. Miller (ICSE, 2000)

Verifying properties of process definitions. - Jamieson M. Cobleigh; Lori A. Clarke; Leon J. Osterweil (ISSTA, 2000)

Continuous Self-Evaluation for the Self-Improvement of Software. - Leon J. Osterweil; Lori A. Clarke (IWSAS, 2000)

Design Guidance through the Controlled Application of Constraints. - Aaron G. Cass; Leon J. Osterweil (IWSSD, 2000)

Using Little-JIL to Coordinate Agents in Software Engineering. - Alexander E. Wise; Aaron G. Cass; Barbara Staudt Lerner; Eric K. McCall; Leon J. Osterweil; Stanley M. Sutton Jr. (ASE, 2000)

The impact project: determining the impact of software engineering research upon practice (panel session). - Leon J. Osterweil; Lori A. Clarke; Michael Evangelist; Jeff Kramer; H. Dieter Rombach; Alexander L. Wolf (SIGSOFT FSE, 2000)

FLAVERS. - Leon J. Osterweil; Lori A. Clarke (ACM SIGSOFT Softw. Eng. Notes, 2000)

Little-JIL. - Leon J. Osterweil; Lori A. Clarke (ACM SIGSOFT Softw. Eng. Notes, 2000)

Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper. - Aaron G. Cass; Leon J. Osterweil (EWSPT, 2001)

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. - Jamieson M. Cobleigh; Lori A. Clarke; Leon J. Osterweil (ICSE, 2001)

Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice. - Leon J. Osterweil (ICSE, 2001)

New Software Engineering Faculty Symposium. - Leon J. Osterweil; Gabriel M. Silberman; Kenny Wong (ICSE, 2001)

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? - H. Dieter Rombach; Manfred Broy; Michael Evangelist; Ali Mili 001; Leon J. Osterweil; David Lorge Parnas (ICSE, 2001)

An architecture for flexible, evolvable process-driven user-guidance environments. - Timothy J. Sliski; Matthew P. Billmers; Lori A. Clarke; Leon J. Osterweil (ESEC / SIGSOFT FSE, 2001)

Lightweight vs. heavyweight processes: is this even the right question? - Leon J. Osterweil; Philippe Kruchten; Martin Fowler; Wilhelm Schäfer (ICSE, 2002)

PROPEL: an approach supporting property elucidation. - Rachel L. Smith; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (ICSE, 2002)

Containment units: a hierarchically composable architecture for adaptive systems. - Jamieson M. Cobleigh; Leon J. Osterweil; Alexander E. Wise; Barbara Staudt Lerner (SIGSOFT FSE, 2002)

FLAVERS: A finite state verification technique for software systems. - Jamieson M. Cobleigh; Lori A. Clarke; Leon J. Osterweil (IBM Syst. J., 2002)

Formalizing Rework in Software Processes. - Aaron G. Cass; Stanley M. Sutton Jr.; Leon J. Osterweil (EWSPT, 2003)

New Software Engineering Faculty Symposium (NSEFS 03). - Leon J. Osterweil (ICSE, 2003)

Understanding process and the quest for deeper questions in software engineering research. - Leon J. Osterweil (ESEC / SIGSOFT FSE, 2003)

Report on new software engineering faculty symposium (NSEFS 03) a full-day symposium held in conjunction with ICSE 2003 5 May 2003 Portland, OR, USA. - Leon J. Osterweil (ACM SIGSOFT Softw. Eng. Notes, 2003)

Process Technology for Achieving Government Online Dispute Resolution. - Ethan Katsh; Leon J. Osterweil; Norman K. Sondheimer (DG.O, 2004)

Early lessons from the application of process technology to online grievance mediation. - Ethan Katsh; Leon J. Osterweil; Norman K. Sondheimer; Daniel Rainey 001 (DG.O, 2005)

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. - Lori A. Clarke; Yao Chen; George S. Avrunin; Bin Chen 018; Rachel L. Cobleigh; Kim Frederick; Elizabeth A. Henneman; Leon J. Osterweil (ISPW, 2005)

Unifying Microprocess and Macroprocess Research. - Leon J. Osterweil (ISPW, 2005)

Process Technology to Facilitate the Conduct of Science. - Leon J. Osterweil; Alexander E. Wise; Lori A. Clarke; Aaron M. Ellison; Julian L. Hadley; Emery R. Boose; David R. Foster (ISPW, 2005)

Automatically Analyzing Software Processes: Experience Report. - Rodion M. Podorozhny; Dewayne E. Perry; Leon J. Osterweil (ISPW, 2005)

Process Definition Language Support for Rapid Simulation Prototyping. - Mohammad S. Raunak 001; Leon J. Osterweil (ISPW, 2005)

Process support to help novices design software faster and better. - Aaron G. Cass; Leon J. Osterweil (ASE, 2005)

Editorial. - Leon J. Osterweil; Carlo Ghezzi; Jeff Kramer; Alexander L. Wolf (ACM Trans. Softw. Eng. Methodol., 2005)

A process-driven tool to support online dispute resolution. - Lori A. Clarke; Alan Gaitenby; Daniel Gyllstrom; Ethan Katsh; Matthew Marzilli; Leon J. Osterweil; Norman K. Sondheimer; Leah Wing; Alexander E. Wise; Daniel Rainey 001 (DG.O, 2006)

Experimental application of process technology to the creation and adoption of online dispute resolution. - Ethan Katsh; Leon J. Osterweil; Norman K. Sondheimer; Daniel Rainey 001 (DG.O, 2006)

Automatic Fault Tree Derivation from Little-JIL Process Definitions. - Bin Chen 018; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (SPW/ProSim, 2006)

Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains. - Leon J. Osterweil (SPW/ProSim, 2006)

Definition and Analysis of Election Processes. - Mohammad S. Raunak 001; Bin Chen 018; Amr Elssamadisy; Lori A. Clarke; Leon J. Osterweil (SPW/ProSim, 2006)

Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM. - Junchao Xiao; Leon J. Osterweil; Lei Zhang 175; Alexander E. Wise; Qing Wang 001 (SPW/ProSim, 2006)

Complex medical processes as context for embedded systems. - George S. Avrunin; Lori A. Clarke; Elizabeth A. Henneman; Leon J. Osterweil (SIGBED Rev., 2006)

Challenges Observed in the Definition of Reference Business Processes. - Liming Zhu 001; Leon J. Osterweil; Mark Staples; Udo Kannengiesser (Business Process Management Workshops, 2007)

Using process definitions to drive user interactions with digital government systems. - Lori A. Clarke; Alan Gaitenby; Ethan Katsh; Matthew Marzilli; Leon J. Osterweil; Daniel Rainey 001; Borislava I. Simidchieva; Norman K. Sondheimer; Leah Wing; Alexander E. Wise (DG.O, 2007)

A Future for Software Engineering? - Leon J. Osterweil (FOSE, 2007)

Engineering Medical Processes to Improve Their Safety. - Leon J. Osterweil; George S. Avrunin; Bin Chen 018; Lori A. Clarke; Rachel L. Cobleigh; Elizabeth A. Henneman; Philip L. Henneman (Situational Method Engineering, 2007)

Representing Process Variation with a Process Family. - Borislava I. Simidchieva; Lori A. Clarke; Leon J. Osterweil (ICSP, 2007)

Rigorously Defining and Analyzing Medical Processes: An Experience Report. - Stefan Christov; Bin Chen 018; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; David Brown; Lucinda Cassells; Wilson Mertens (MoDELS (Workshops), 2007)

Ensuring reliable datasets for environmental models and forecasts. - Emery R. Boose; Aaron M. Ellison; Leon J. Osterweil; Lori A. Clarke; Rodion M. Podorozhny; Julian L. Hadley; Alexander E. Wise; David R. Foster (Ecol. Informatics, 2007)

Desiderata for Languages to be Used in the Defnition of Reference Business Processes. - Liming Zhu 001; Leon J. Osterweil; Mark Staples; Udo Kannengiesser; Borislava I. Simidchieva (Int. J. Softw. Informatics, 2007)

What we learn from the study of ubiquitous processes. - Leon J. Osterweil (Softw. Process. Improv. Pract., 2007)

Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM. - Junchao Xiao; Leon J. Osterweil; Lei Zhang 175; Alexander E. Wise; Qing Wang 001 (Softw. Process. Improv. Pract., 2007)

Specifying and verifying requirements for election processes. - Borislava I. Simidchieva; Matthew Marzilli; Lori A. Clarke; Leon J. Osterweil (DG.O, 2008)

Analyzing medical processes. - Bin Chen 018; George S. Avrunin; Elizabeth A. Henneman; Lori A. Clarke; Leon J. Osterweil; Philip L. Henneman (ICSE, 2008)

Using software engineering technology to improve the quality of medical processes. - Lori A. Clarke; George S. Avrunin; Leon J. Osterweil (ICSE Companion, 2008)

Exception handling patterns for processes. - Barbara Staudt Lerner; Stefan Christov; Alexander E. Wise; Leon J. Osterweil (Workshop on Exception Handling, 2008)

Experience in using a process language to define scientific workflow and generate dataset provenance. - Leon J. Osterweil; Lori A. Clarke; Aaron M. Ellison; Rodion M. Podorozhny; Alexander E. Wise; Emery R. Boose; Julian L. Hadley (SIGSOFT FSE, 2008)

What is software? - Leon J. Osterweil (Autom. Softw. Eng., 2008)

Determining the Impact of Software Engineering Research on Practice. - Leon J. Osterweil; Carlo Ghezzi; Jeff Kramer; Alexander L. Wolf (Computer, 2008)

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. - Leon J. Osterweil; Lori A. Clarke; George S. Avrunin (Business Process Management Workshops, 2009)

Dispute prevention and dispute resolution in networked health information technology. - Norman K. Sondheimer; Ethan Katsh; Lori A. Clarke; Leon J. Osterweil; Daniel Rainey 001 (D.GO, 2009)

Workshop on software Engineering in Health Care (SEHC). - Leon J. Osterweil; Barbara Paech (ICSE Companion, 2009)

Simulating patient flow through an Emergency Department using process-driven discrete event simulation. - M. S. Raunak 001; Leon J. Osterweil; Alexander E. Wise; Lori A. Clarke; Philip L. Henneman (SEHC@ICSE, 2009)

A Pattern for Modeling Rework in Software Development Processes. - Aaron G. Cass; Leon J. Osterweil; Alexander E. Wise (ICSP, 2009)

Structural Considerations in Defining Executable Process Models. - Borislava I. Simidchieva; Leon J. Osterweil; Alexander E. Wise (ICSP, 2009)

Formalisms to Support the Definition of Processes. - Leon J. Osterweil (J. Comput. Sci. Technol., 2009)

Categorizing and modeling variation in families of systems: a position paper. - Borislava I. Simidchieva; Leon J. Osterweil (ECSA Companion Volume, 2010)

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. - Junchao Xiao; Leon J. Osterweil; Qing Wang 001; Mingshu Li 001 (FASE, 2010)

A benchmark for evaluating software engineering techniques for improving medical processes. - Stefan Christov; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Elizabeth A. Henneman (SEHC@ICSE, 2010)

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. - George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Stefan Christov; Bin Chen 018; Elizabeth A. Henneman; Philip L. Henneman; Lucinda Cassells; Wilson Mertens (IHI, 2010)

Dynamic scheduling of emergency department resources. - Junchao Xiao; Leon J. Osterweil; Qing Wang 001 (IHI, 2010)

Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements. - Leon J. Osterweil; Alexander E. Wise (ICSP, 2010)

Disruption-Driven Resource Rescheduling in Software Development Processes. - Junchao Xiao; Leon J. Osterweil; Qing Wang 001; Mingshu Li 001 (ICSP, 2010)

Supporting human-intensive systems. - Lori A. Clarke; Leon J. Osterweil; George S. Avrunin (FoSER, 2010)

Supporting negotiation and dispute resolution with computing and communication technologies. - Leon J. Osterweil; Lori A. Clarke (FoSER, 2010)

Modeling and Analyzing Faults to Improve Election Process Robustness. - Borislava I. Simidchieva; Sophie Engle; Michael Clifford; Alicia Clay Jones; Sean Peisert; Matt Bishop; Lori A. Clarke; Leon J. Osterweil (EVT/WOTE, 2010)

Evolving Embedded Systems. - Gabor Karsai; Fabio Massacci; Leon J. Osterweil; Ina Schieferdecker (Computer, 2010)

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance. - Leon J. Osterweil; Lori A. Clarke; Aaron M. Ellison; Emery R. Boose; Rodion M. Podorozhny; Alexander E. Wise (IEEE Trans Autom. Sci. Eng., 2010)

Exception Handling Patterns for Process Modeling. - Barbara Staudt Lerner; Stefan Christov; Leon J. Osterweil; Reda Bendraou; Udo Kannengiesser; Alexander E. Wise (IEEE Trans. Software Eng., 2010)

Context, Retrospection, and Prospection in Healthcare Process Definitions. - Leon J. Osterweil (Business Process Management Workshops (2), 2011)

Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection. - Zongfang Lin; Allen R. Hanson; Leon J. Osterweil; Alexander E. Wise (SEHC@ICSE, 2011)

On effective testing of health care simulation software. - Christian Murphy; M. S. Raunak 001; Andrew L. King; Sanjian Chen; Christopher Imbriano; Gail E. Kaiser; Insup Lee 001; Oleg Sokolsky; Lori A. Clarke; Leon J. Osterweil (SEHC@ICSE, 2011)

Characterizing process variation. - Borislava I. Simidchieva; Leon J. Osterweil (ICSE, 2011)

Developing discrete event simulations from rigorous process definitions. - M. S. Raunak 001; Leon J. Osterweil; Alexander E. Wise (SpringSim (TMS-DEVS), 2011)

Preface. - Leon J. Osterweil (Int. J. Softw. Informatics, 2011)

A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm. - Leon J. Osterweil (Int. J. Softw. Informatics, 2011)

Smart checklists for human-intensive medical systems. - George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Julian M. Goldman; Tracy L. Rausch (DSN Workshops, 2012)

The role of context in exception-driven rework. - Xiang Zhao 007; Barbara Staudt Lerner; Leon J. Osterweil (WEH@ICSE, 2012)

Computational Predictors in Online Social Deliberations. - Beverly Park Woolf; Thomas J. Murray 001; Xiaoxi Xu; Leon J. Osterweil; Lori A. Clarke; Leah Wing; Ethan Katsh (ICWSM, 2012)

System processes are software too. - Leon J. Osterweil (ICSSP, 2012)

An approach to modeling and supporting the rework process in refactoring. - Xiang Zhao 007; Leon J. Osterweil (ICSSP, 2012)

Provenance Support for Rework. - Xiang Zhao 007; Barbara Staudt Lerner; Leon J. Osterweil; Emery R. Boose; Aaron M. Ellison (TaPP, 2012)

A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. - Huong Phan; George S. Avrunin; Matt Bishop; Lori A. Clarke; Leon J. Osterweil (EVT/WOTE, 2012)

What Is Software? The Role of Empirical Methods in Answering the Question. - Leon J. Osterweil (Perspectives on the Future of Software Engineering, 2013)

Resource scheduling through resource-aware simulation of emergency departments. - Seung Yeob Shin; Hari Balasubramanian; Yuriy Brun; Philip L. Henneman; Leon J. Osterweil (SEHC@ICSE, 2013)

Search based risk mitigation planning in project portfolio management. - Junchao Xiao; Leon J. Osterweil; Jie Chen 003; Qing Wang 001; Mingshu Li 001 (ICSSP, 2013)

Supporting process undo and redo in software engineering decision making. - Xiang Zhao 007; Yuriy Brun; Leon J. Osterweil (ICSSP, 2013)

Supporting Undo and Redo in Scientific Data Analysis. - Xiang Zhao 007; Emery R. Boose; Yuriy Brun; Barbara Staudt Lerner; Leon J. Osterweil (TaPP, 2013)

Resource Management for Complex, Dynamic Environments. - M. S. Raunak 001; Leon J. Osterweil (IEEE Trans. Software Eng., 2013)

On Formal Definition and Analysis of Formal Verification Processes. - Leon J. Osterweil (Specification, Algebra, and Software, 2014)

Specifying Flexible Human Behavior in Interaction-Intensive Process Environments. - Christoph Dorn 001; Schahram Dustdar; Leon J. Osterweil (BPM, 2014)

Refactoring planning and practice in agile software development: an empirical study. - Jie Chen 003; Junchao Xiao; Qing Wang 001; Leon J. Osterweil; Mingshu Li 001 (ICSSP, 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; Sean Peisert (IEEE Symposium on Security and Privacy Workshops, 2014)

Generation, composition, and verification of families of human-intensive systems. - Borislava I. Simidchieva; Leon J. Osterweil (SPLC, 2014)

Learning about application software by studying processes. - Leon J. Osterweil (J. Softw. Evol. Process., 2014)

Resource Specification for Prototyping Human-Intensive Systems. - Seung Yeob Shin; Yuriy Brun; Leon J. Osterweil; Hari Balasubramanian; Philip L. Henneman (FASE, 2015)

Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. - Jie Chen 003; Xiwei Xu 001; Leon J. Osterweil; Liming Zhu 001; Yuriy Brun; Len Bass; Junchao Xiao; Mingshu Li 001; Qing Wang 001 (J. Syst. Softw., 2015)

Smart checklists to improve healthcare outcomes. - Stefan C. Christov; Heather M. Conboy; Nancy Famigletti; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil (SEHS@ICSE, 2016)

Specification and analysis of human-intensive system resource-utilization policies. - Seung Yeob Shin; Yuriy Brun; Leon J. Osterweil (SEHS@ICSE, 2016)

Perspectives on refactoring planning and practice: an empirical study. - Jie Chen 003; Junchao Xiao; Qing Wang 001; Leon J. Osterweil; Mingshu Li 001 (Empir. Softw. Eng., 2016)

Preview: Ethical and Moral Issues for Software Engineers. - Leon J. Osterweil (ACM SIGSOFT Softw. Eng. Notes, 2016)

Be Prepared. - Leon J. Osterweil (ACM SIGSOFT Softw. Eng. Notes, 2016)

Cognitive support during high-consequence episodes of care in cardiovascular surgery. - Heather M. Conboy; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Julian M. Goldman; Steven J. Yule; Marco A. Zenati; Stefan C. Christov (CogSIMA, 2017)

Your Software Dwells in the House of Tomorrow, Too. - Leon J. Osterweil (ACM SIGSOFT Softw. Eng. Notes, 2017)

Be Responsible. - Leon J. Osterweil (ACM SIGSOFT Softw. Eng. Notes, 2017)

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. - Leon J. Osterweil; Matt Bishop; Heather M. Conboy; Huong Phan; Borislava I. Simidchieva; George S. Avrunin; Lori A. Clarke; Sean Peisert (ACM Trans. Priv. Secur., 2017)

What is software?: - The Role of Empirical Methods in Answering the Question. - Leon J. Osterweil (The Essence of Software Engineering, 2018)

Process Driven Guidance for Complex Surgical Procedures. - George S. Avrunin; Stefan C. Christov; Lori A. Clarke; Heather M. Conboy; Leon J. Osterweil; Marco A. Zenati (AMIA, 2018)

Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. - Roger D. Dias; Heather M. Conboy; Jennifer M. Gabany; Lori A. Clarke; Leon J. Osterweil; George S. Avrunin; David Arney; Julian M. Goldman; Giuseppe Riccardi; Steven J. Yule; Marco A. Zenati (CogSIMA, 2018)

Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. - George S. Avrunin; Lori A. Clarke; Heather M. Conboy; Leon J. Osterweil; Roger D. Dias; Steven J. Yule; Julian M. Goldman; Marco A. Zenati (SEHS@ICSE, 2018)

Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. - Roger D. Dias; Heather M. Conboy; Jennifer M. Gabany; Lori A. Clarke; Leon J. Osterweil; David Arney; Julian M. Goldman; Giuseppe Riccardi; George S. Avrunin; Steven J. Yule; Marco A. Zenati (OR 2.0/CARE/CLIP/ISIC@MICCAI, 2018)

Be Gracious. - Leon J. Osterweil (ACM SIGSOFT Softw. Eng. Notes, 2018)

Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling. - Seung Yeob Shin; Yuriy Brun; Hari Balasubramanian; Philip L. Henneman; Leon J. Osterweil (IEEE Trans. Syst. Man Cybern. Syst., 2018)

Process and Workflow. - Leon J. Osterweil; Volker Gruhn; Nils Schwenzfeier (Handbook of Software Engineering, 2019)

Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. - Heather M. Conboy; Lauren R. Kennedy-Metz; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Roger D. Dias; Marco A. Zenati (CogSIMA, 2020)

AAP4All: An Adaptive Auto Parallelization of Serial Code for HPC Systems. - Muhammad Usman Ashraf; Fathy Alburaei Eassa; Leon J. Osterweil; Aiiad Ahmad Albeshri; Abdullah Algarni; Iqra Ilyas (Intell. Autom. Soft Comput., 2021)

A Coding Framework for Usability Evaluation of Digital Health Technologies. - Mahdi Ebnali; Lauren R. Kennedy-Metz; Heather M. Conboy; Lori A. Clarke; Leon J. Osterweil; George S. Avrunin; Christian Miccile; Maria Arshanskiy; Annette Phillips; Marco A. Zenati; Roger D. Dias (HCI (1), 2022)

Piloting an Interactive Ethics and Responsible Computing Learning Environment in Undergraduate CS Courses. - Francisco Castro 001; Sahitya Raipura; Heather M. Conboy; Peter J. Haas; Leon J. Osterweil; Ivon Arroyo (SIGCSE (1), 2023)

Embedding Ethical Awareness in Computer Science and AI Education: The PEaRCE Approach to Responsible Computing. - Mohammad Hadi Nezhad; Francisco Enrique Vicente Castro; Eugene Mak; Peter J. Haas; Danielle Allessio; Leon J. Osterweil; Injila Rasul; Heather M. Conboy; Ivon Arroyo (AIED (1), 2025)