Leon J. Osterweil

According to our database1, Leon J. Osterweil authored at least 181 papers between 1974 and 2018.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Awards

ACM Fellow

ACM Fellow 1998, "For fundamental contributions in software engineering, particularly in testing and analysis, environments and process, and leadership in the computer science community.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.
Proceedings of the OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis, 2018

Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance.
Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

What is software?: - The Role of Empirical Methods in Answering the Question.
Proceedings of the Essence of Software Engineering, 2018

2017
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.
ACM Trans. Priv. Secur., 2017

Be Responsible.
ACM SIGSOFT Software Engineering Notes, 2017

Your Software Dwells in the House of Tomorrow, Too.
ACM SIGSOFT Software Engineering Notes, 2017

2016
Be Prepared.
ACM SIGSOFT Software Engineering Notes, 2016

Preview: Ethical and Moral Issues for Software Engineers.
ACM SIGSOFT Software Engineering Notes, 2016

Perspectives on refactoring planning and practice: an empirical study.
Empirical Software Engineering, 2016

Specification and analysis of human-intensive system resource-utilization policies.
Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

Smart checklists to improve healthcare outcomes.
Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2015
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes.
Journal of Systems and Software, 2015

Resource Specification for Prototyping Human-Intensive Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
Learning about application software by studying processes.
Journal of Software: Evolution and Process, 2014

Generation, composition, and verification of families of human-intensive systems.
Proceedings of the 18th International Software Product Line Conference, 2014

Insider Threat Identification by Process Analysis.
Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Refactoring planning and practice in agile software development: an empirical study.
Proceedings of the International Conference on Software and Systems Process 2014, 2014

Specifying Flexible Human Behavior in Interaction-Intensive Process Environments.
Proceedings of the Business Process Management - 12th International Conference, 2014

On Formal Definition and Analysis of Formal Verification Processes.
Proceedings of the Specification, Algebra, and Software, 2014

2013
Resource Management for Complex, Dynamic Environments.
IEEE Trans. Software Eng., 2013

Supporting Undo and Redo in Scientific Data Analysis.
Proceedings of the 5th Workshop on the Theory and Practice of Provenance, 2013

Supporting process undo and redo in software engineering decision making.
Proceedings of the International Conference on Software and System Process, 2013

Search based risk mitigation planning in project portfolio management.
Proceedings of the International Conference on Software and System Process, 2013

Resource scheduling through resource-aware simulation of emergency departments.
Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

2012
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.
Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

Provenance Support for Rework.
Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

An approach to modeling and supporting the rework process in refactoring.
Proceedings of the 2012 International Conference on Software and System Process, 2012

System processes are software too.
Proceedings of the 2012 International Conference on Software and System Process, 2012

Computational Predictors in Online Social Deliberations.
Proceedings of the Sixth International Conference on Weblogs and Social Media, 2012

The role of context in exception-driven rework.
Proceedings of the 5th International Workshop on Exception Handling, 2012

Smart checklists for human-intensive medical systems.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm.
Int. J. Software and Informatics, 2011

Preface.
Int. J. Software and Informatics, 2011

Developing discrete event simulations from rigorous process definitions.
Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Characterizing process variation.
Proceedings of the 33rd International Conference on Software Engineering, 2011

On effective testing of health care simulation software.
Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection.
Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Context, Retrospection, and Prospection in Healthcare Process Definitions.
Proceedings of the Business Process Management Workshops, 2011

2010
Exception Handling Patterns for Process Modeling.
IEEE Trans. Software Eng., 2010

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance.
IEEE Trans. Automation Science and Engineering, 2010

Evolving Embedded Systems.
IEEE Computer, 2010

Modeling and Analyzing Faults to Improve Election Process Robustness.
Proceedings of the 2010 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2010

Supporting negotiation and dispute resolution with computing and communication technologies.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Supporting human-intensive systems.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

Disruption-Driven Resource Rescheduling in Software Development Processes.
Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements.
Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

Dynamic scheduling of emergency department resources.
Proceedings of the ACM International Health Informatics Symposium, 2010

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.
Proceedings of the ACM International Health Informatics Symposium, 2010

A benchmark for evaluating software engineering techniques for improving medical processes.
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments.
Proceedings of the Fundamental Approaches to Software Engineering, 2010

Categorizing and modeling variation in families of systems: a position paper.
Proceedings of the Software Architecture, 4th European Conference, 2010

2009
Formalisms to Support the Definition of Processes.
J. Comput. Sci. Technol., 2009

Structural Considerations in Defining Executable Process Models.
Proceedings of the Trustworthy Software Development Processes, 2009

A Pattern for Modeling Rework in Software Development Processes.
Proceedings of the Trustworthy Software Development Processes, 2009

Simulating patient flow through an Emergency Department using process-driven discrete event simulation.
Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

Workshop on software Engineering in Health Care (SEHC).
Proceedings of the 31st International Conference on Software Engineering, 2009

Dispute prevention and dispute resolution in networked health information technology.
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.
Proceedings of the Business Process Management Workshops, 2009

2008
Determining the Impact of Software Engineering Research on Practice.
IEEE Computer, 2008

What is software?
Autom. Softw. Eng., 2008

Experience in using a process language to define scientific workflow and generate dataset provenance.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Exception handling patterns for processes.
Proceedings of the 4th International Workshop on Exception Handling, 2008

Using software engineering technology to improve the quality of medical processes.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Analyzing medical processes.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and verifying requirements for election processes.
Proceedings of the 9th Annual International Conference on Digital Government Research, 2008

2007
Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM.
Software Process: Improvement and Practice, 2007

What we learn from the study of ubiquitous processes.
Software Process: Improvement and Practice, 2007

Desiderata for Languages to be Used in the Defnition of Reference Business Processes.
Int. J. Software and Informatics, 2007

Ensuring reliable datasets for environmental models and forecasts.
Ecological Informatics, 2007

Rigorously Defining and Analyzing Medical Processes: An Experience Report.
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.
Proceedings of the Software Process Dynamics and Agility, 2007

Engineering Medical Processes to Improve Their Safety.
Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

A Future for Software Engineering?
Proceedings of the International Conference on Software Engineering, 2007

Using process definitions to drive user interactions with digital government systems.
Proceedings of the 8th Annual International Conference on Digital Government Research, 2007

Challenges Observed in the Definition of Reference Business Processes.
Proceedings of the Business Process Management Workshops, 2007

2006
Complex medical processes as context for embedded systems.
SIGBED Review, 2006

Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM.
Proceedings of the Software Process Change, 2006

Definition and Analysis of Election Processes.
Proceedings of the Software Process Change, 2006

Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains.
Proceedings of the Software Process Change, 2006

Automatic Fault Tree Derivation from Little-JIL Process Definitions.
Proceedings of the Software Process Change, 2006

Experimental application of process technology to the creation and adoption of online dispute resolution.
Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

A process-driven tool to support online dispute resolution.
Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

2005
Editorial.
ACM Trans. Softw. Eng. Methodol., 2005

Process support to help novices design software faster and better.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Process Definition Language Support for Rapid Simulation Prototyping.
Proceedings of the Unifying the Software Process Spectrum, 2005

Automatically Analyzing Software Processes: Experience Report.
Proceedings of the Unifying the Software Process Spectrum, 2005

Process Technology to Facilitate the Conduct of Science.
Proceedings of the Unifying the Software Process Spectrum, 2005

Unifying Microprocess and Macroprocess Research.
Proceedings of the Unifying the Software Process Spectrum, 2005

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.
Proceedings of the Unifying the Software Process Spectrum, 2005

Early lessons from the application of process technology to online grievance mediation.
Proceedings of the 2005 National Conference on Digital Government Research, 2005

2004
Process Technology for Achieving Government Online Dispute Resolution.
Proceedings of the 2004 Annual National Conference on Digital Government Research, 2004

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.
ACM SIGSOFT Software Engineering Notes, 2003

Understanding process and the quest for deeper questions in software engineering research.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

New Software Engineering Faculty Symposium (NSEFS 03).
Proceedings of the 25th International Conference on Software Engineering, 2003

Formalizing Rework in Software Processes.
Proceedings of the Software Process Technology, 9th International Workshop, 2003

2002
FLAVERS: A finite state verification technique for software systems.
IBM Systems Journal, 2002

Containment units: a hierarchically composable architecture for adaptive systems.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

PROPEL: an approach supporting property elucidation.
Proceedings of the 24th International Conference on Software Engineering, 2002

Lightweight vs. heavyweight processes: is this even the right question?
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
An architecture for flexible, evolvable process-driven user-guidance environments.
Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
Proceedings of the 23rd International Conference on Software Engineering, 2001

New Software Engineering Faculty Symposium.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice.
Proceedings of the 23rd International Conference on Software Engineering, 2001

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper.
Proceedings of the Software Process Technology, 8th European Workshop, 2001

2000
Little-JIL.
ACM SIGSOFT Software Engineering Notes, 2000

FLAVERS.
ACM SIGSOFT Software Engineering Notes, 2000

The impact project: determining the impact of software engineering research upon practice (panel session).
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Using Little-JIL to Coordinate Agents in Software Engineering.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Design Guidance through the Controlled Application of Constraints.
Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Continuous Self-Evaluation for the Self-Improvement of Software.
Proceedings of the Self-Adaptive Software, First International Workshop, 2000

Verifying properties of process definitions.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Little-JIL/Juliette: a process definition language and interpreter.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

Relocation in Mobile Process-Centered Software Development Environments.
Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

Integrating High-Level and Detailed Agent Coordination into a Layered Architecture.
Proceedings of the Infrastructure for Agents, 2000

Frameworks for Reasoning about Agent Based Systems.
Proceedings of the Infrastructure for Agents, 2000

1999
Coordinating agent activities in knowledge discovery processes.
Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

Agents and Workflow - An Intimate Connection, or Just Friends?
Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Modeling Resources for Activity Coordination and Scheduling.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Engineering Software Design Processes to Guide Process Execution.
IEEE Trans. Software Eng., 1998

Efficient Composite Data Flow Analysis Applied to Concurrent Programs.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

An Adaptable Generation Approach to Agenda Management.
Proceedings of the Forging New Links, 1998

JIL and Little-JIL Process Programming Languages.
Proceedings of the Software Process Technology, 6th European Workshop, 1998

Programming Process Coordination in Little-JIL.
Proceedings of the Software Process Technology, 6th European Workshop, 1998

1997
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.
Proceedings of the Pulling Together, 1997

Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9.
Proceedings of the Pulling Together, 1997

Verification of Concurrent Software with FLAVERS.
Proceedings of the Pulling Together, 1997

The Design of a Next-Generation Process Language.
Proceedings of the Software Engineering, 1997

Applying Static Analysis to Software Architectures.
Proceedings of the Software Engineering, 1997

1996
Strategic Directions in Software Quality.
ACM Comput. Surv., 1996

Verification of Communication Protocols Using Data Flow Analysis.
Proceedings of the SIGSOFT '96, 1996

Improving the quality of software quality determination processes.
Proceedings of the Quality of Numerical Software, 1996

Product families and process families.
Proceedings of the 10th International Software Process Workshop (ISPW '96), 1996

Multilanguage Interoperability in Distributed Systems.
Proceedings of the 18th International Conference on Software Engineering, 1996

1995
APPL/A: A Language for Software Process Programming.
ACM Trans. Softw. Eng. Methodol., 1995

AIDA: A dynamic analyzer for Ada programs.
Journal of Systems and Software, 1995

1994
Experience with an Approach to Comparing Software Design Methodologies.
IEEE Trans. Software Eng., 1994

AIDA: a dynamic analyser for Ada programs.
Information & Software Technology, 1994

An alternative to software process languages.
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

An argument for the elimination of roles.
Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

Research Issues in the Intersection of Hypertext and Software Development Environments.
Proceedings of the Software Engineering and Human-Computer Interaction, 1994

1992
Interprocedural Static Analysis of Sequencing Constraints.
ACM Trans. Softw. Eng. Methodol., 1992

Toward Objective, Systematic Design-Method Comparisons.
IEEE Software, 1992

A Proposed Testing and Analysis Research Initiative.
IEEE Software, 1992

1990
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation.
IEEE Trans. Software Eng., 1990

A Mechanism for Environment Integration.
ACM Trans. Program. Lang. Syst., 1990

Language constructs for managing change in process-centered environments.
Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

The architecture of the Arcadia-1 process centered software environment.
Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989
A Metaphor and a Conceptual Architecture for Software Development Environments.
Proceedings of the Software Engineering Environments, 1989

Integrating Testing Techniques Through Process Programming.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Cesar: A Static Sequencing Constraint Analyzer.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Example process program code, coded in Appl/A.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Experiences with process programming.
Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988
Foundations for the Arcadia Environment Architecture.
Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Automated support for the enactment of rigorously described software processes.
Proceedings of the Forth International Software Process Workshop (ISPW '88), 1988

1987
Lessons of Current Environments.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

Software Processes Are Software Too.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

TRICS: A Testing Tool for C.
Proceedings of the ESEC '87, 1987

1986
Software processes are software too.
Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

A Process-Object Centered View of Software Environment Architecture.
Proceedings of the Advanced Programming Environments, 1986

1985
Omega - A Data Flow Analysis Tool for the C Programming Language.
IEEE Trans. Software Eng., 1985

1983
Toolpack - An Experimental Software Development Environment Research Project.
IEEE Trans. Software Eng., 1983

The Toolpack/IST Approach to Extensibility in Software Environments.
Proceedings of the Ada Software Tools Interfaces, 1983

1982
Toolpack - An Experimental Software Development Environment Research Project.
Proceedings of the Proceedings, 1982

1981
Software Engineering Research: Directions for the Next Five Years.
IEEE Computer, 1981

BIGMAC II: A FORTRAN Language Augmentation Tool.
Proceedings of the 5th International Conference on Software Engineering, 1981

An approach to transfer verification and validation technology.
Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980
Anomaly Detection in Concurrent Software by Static Data Flow Analysis.
IEEE Trans. Software Eng., 1980

1979
ASSET: A life cycle verification and visibility system.
Journal of Systems and Software, 1979

1978
A facility for verification, testing and documentation of concurrent process software.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

ASSET: A Lifecycle Verification and Visibility System.
Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1976
On Two Problems in the Generation of Program Test Paths.
IEEE Trans. Software Eng., 1976

DAVE-A Validation Error Detection and Documentation System for Fortran Programs.
Softw., Pract. Exper., 1976

Data Flow Analysis in Software Reliability.
ACM Comput. Surv., 1976

The Detection of Anomalous Interprocedural Data Flow.
Proceedings of the 2nd International Conference on Software Engineering, 1976

Some experience with DAVE: a Fortran program analyzer.
Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

SICSOFT (Paper Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

Allegations as aids to static program testing.
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1974
Some classes of uniquely 3-colorable graphs.
Discrete Mathematics, 1974


  Loading...