Leon J. Osterweil

204 papers A* 25A 3B 10C 1Misc 4Journal 51Unranked 106
YearRankTypeTitle / Venue / Authors
2025 — conf
Embedding Ethical Awareness in Computer Science and AI Education: The PEaRCE Approach to Responsible Computing.
AIED (1)
Mohammad Hadi Nezhad, Francisco Enrique Vicente Castro, Eugene Mak, Peter J. Haas, Danielle Allessio, Leon J. Osterweil, Injila Rasul, Heather M. Conboy, Ivon Arroyo
2023 — conf
Piloting an Interactive Ethics and Responsible Computing Learning Environment in Undergraduate CS Courses.
SIGCSE (1)
Francisco Castro, Sahitya Raipura, Heather M. Conboy, Peter J. Haas, Leon J. Osterweil, Ivon Arroyo
2022 — conf
A Coding Framework for Usability Evaluation of Digital Health Technologies.
HCI (1)
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
2021 J jnl
AAP4All: An Adaptive Auto Parallelization of Serial Code for HPC Systems.
Intell. Autom. Soft Comput.
Muhammad Usman Ashraf, Fathy Alburaei Eassa, Leon J. Osterweil, Aiiad Ahmad Albeshri, Abdullah M. Algarni, Iqra Ilyas
2020 Misc conf
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies.
CogSIMA
Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati
2019 — ch.
Process and Workflow.
Handbook of Software Engineering
Leon J. Osterweil, Volker Gruhn, Nils Schwenzfeier
2018 J jnl
Be Gracious.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil
2018 Misc conf
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care.
CogSIMA
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
2018 J jnl
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling.
IEEE Trans. Syst. Man Cybern. Syst.
Seung Yeob Shin, Yuriy Brun, Hari Balasubramanian, Philip L. Henneman, Leon J. Osterweil
2018 — conf
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.
OR 2.0/CARE/CLIP/ISIC@MICCAI
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
2018 Misc conf
Process Driven Guidance for Complex Surgical Procedures.
AMIA
George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati
2018 — conf
Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance.
SEHS@ICSE
George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati
2018 — ch.
What is software?: - The Role of Empirical Methods in Answering the Question.
The Essence of Software Engineering
Leon J. Osterweil
2017 J jnl
Be Responsible.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil
2017 Misc conf
Cognitive support during high-consequence episodes of care in cardiovascular surgery.
CogSIMA
Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov
2017 J jnl
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.
ACM Trans. Priv. Secur.
Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert
2017 J jnl
Your Software Dwells in the House of Tomorrow, Too.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil
2016 J jnl
Be Prepared.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil
2016 J jnl
Perspectives on refactoring planning and practice: an empirical study.
Empir. Softw. Eng.
Jie Chen, Junchao Xiao, Qing Wang, Leon J. Osterweil, Mingshu Li
2016 J jnl
Preview: Ethical and Moral Issues for Software Engineers.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil
2016 — conf
Smart checklists to improve healthcare outcomes.
SEHS@ICSE
Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2016 — conf
Specification and analysis of human-intensive system resource-utilization policies.
SEHS@ICSE
Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil
2015 B conf
Resource Specification for Prototyping Human-Intensive Systems.
FASE
Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman
2015 J jnl
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes.
J. Syst. Softw.
Jie Chen, Xiwei Xu, Leon J. Osterweil, Liming Zhu, Yuriy Brun, Len Bass, Junchao Xiao, Mingshu Li, Qing Wang
2014 B conf
Generation, composition, and verification of families of human-intensive systems.
SPLC
Borislava I. Simidchieva, Leon J. Osterweil
2014 — conf
Insider Threat Identification by Process Analysis.
IEEE Symposium on Security and Privacy Workshops
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert
2014 J jnl
Learning about application software by studying processes.
J. Softw. Evol. Process.
Leon J. Osterweil
2014 — conf
On Formal Definition and Analysis of Formal Verification Processes.
Specification, Algebra, and Software
Leon J. Osterweil
2014 B conf
Refactoring planning and practice in agile software development: an empirical study.
ICSSP
Jie Chen, Junchao Xiao, Qing Wang, Leon J. Osterweil, Mingshu Li
2014 A conf
Specifying Flexible Human Behavior in Interaction-Intensive Process Environments.
BPM
Christoph Dorn, Schahram Dustdar, Leon J. Osterweil
2013 J jnl
Resource Management for Complex, Dynamic Environments.
IEEE Trans. Software Eng.
M. S. Raunak, Leon J. Osterweil
2013 — conf
Resource scheduling through resource-aware simulation of emergency departments.
SEHC@ICSE
Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil
2013 B conf
Search based risk mitigation planning in project portfolio management.
ICSSP
Junchao Xiao, Leon J. Osterweil, Jie Chen, Qing Wang, Mingshu Li
2013 — conf
Supporting Undo and Redo in Scientific Data Analysis.
TaPP
Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil
2013 B conf
Supporting process undo and redo in software engineering decision making.
ICSSP
Xiang Zhao, Yuriy Brun, Leon J. Osterweil
2013 — conf
What Is Software? The Role of Empirical Methods in Answering the Question.
Perspectives on the Future of Software Engineering
Leon J. Osterweil
2012 — conf
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.
EVT/WOTE
Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
2012 B conf
An approach to modeling and supporting the rework process in refactoring.
ICSSP
Xiang Zhao, Leon J. Osterweil
2012 A conf
Computational Predictors in Online Social Deliberations.
ICWSM
Beverly Park Woolf, Thomas J. Murray, Xiaoxi Xu, Leon J. Osterweil, Lori A. Clarke, Leah Wing, Ethan Katsh
2012 — conf
Provenance Support for Rework.
TaPP
Xiang Zhao, Barbara Staudt Lerner, Leon J. Osterweil, Emery R. Boose, Aaron M. Ellison
2012 — conf
Smart checklists for human-intensive medical systems.
DSN Workshops
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch
2012 B conf
System processes are software too.
ICSSP
Leon J. Osterweil
2012 — conf
The role of context in exception-driven rework.
WEH@ICSE
Xiang Zhao, Barbara Staudt Lerner, Leon J. Osterweil
2011 J jnl
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm.
Int. J. Softw. Informatics
Leon J. Osterweil
2011 A* conf
Characterizing process variation.
ICSE
Borislava I. Simidchieva, Leon J. Osterweil
2011 — conf
Context, Retrospection, and Prospection in Healthcare Process Definitions.
Business Process Management Workshops (2)
Leon J. Osterweil
2011 — conf
Developing discrete event simulations from rigorous process definitions.
SpringSim (TMS-DEVS)
M. S. Raunak, Leon J. Osterweil, Alexander E. Wise
2011 — conf
On effective testing of health care simulation software.
SEHC@ICSE
Christian Murphy, M. S. Raunak, Andrew L. King, Sanjian Chen, Christopher Imbriano, Gail E. Kaiser, Insup Lee, Oleg Sokolsky, Lori A. Clarke, Leon J. Osterweil
2011 — conf
Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection.
SEHC@ICSE
Zongfang Lin, Allen R. Hanson, Leon J. Osterweil, Alexander E. Wise
2011 J jnl
Preface.
Int. J. Softw. Informatics
Leon J. Osterweil
2010 — conf
A benchmark for evaluating software engineering techniques for improving medical processes.
SEHC@ICSE
Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman
2010 — conf
Categorizing and modeling variation in families of systems: a position paper.
ECSA Companion Volume
Borislava I. Simidchieva, Leon J. Osterweil
2010 J jnl
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance.
IEEE Trans Autom. Sci. Eng.
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise
2010 — conf
Disruption-Driven Resource Rescheduling in Software Development Processes.
ICSP
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li
2010 B conf
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments.
FASE
Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li
2010 — conf
Dynamic scheduling of emergency department resources.
IHI
Junchao Xiao, Leon J. Osterweil, Qing Wang
2010 J jnl
Evolving Embedded Systems.
Computer
Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker
2010 J jnl
Exception Handling Patterns for Process Modeling.
IEEE Trans. Software Eng.
Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander E. Wise
2010 — conf
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.
IHI
George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens
2010 — conf
Modeling and Analyzing Faults to Improve Election Process Robustness.
EVT/WOTE
Borislava I. Simidchieva, Sophie Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
2010 — conf
Supporting human-intensive systems.
FoSER
Lori A. Clarke, Leon J. Osterweil, George S. Avrunin
2010 — conf
Supporting negotiation and dispute resolution with computing and communication technologies.
FoSER
Leon J. Osterweil, Lori A. Clarke
2010 — conf
Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements.
ICSP
Leon J. Osterweil, Alexander E. Wise
2009 — conf
A Pattern for Modeling Rework in Software Development Processes.
ICSP
Aaron G. Cass, Leon J. Osterweil, Alexander E. Wise
2009 — conf
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report.
Business Process Management Workshops
Leon J. Osterweil, Lori A. Clarke, George S. Avrunin
2009 — conf
Dispute prevention and dispute resolution in networked health information technology.
D.GO
Norman K. Sondheimer, Ethan Katsh, Lori A. Clarke, Leon J. Osterweil, Daniel Rainey
2009 J jnl
Formalisms to Support the Definition of Processes.
J. Comput. Sci. Technol.
Leon J. Osterweil
2009 — conf
Simulating patient flow through an Emergency Department using process-driven discrete event simulation.
SEHC@ICSE
M. S. Raunak, Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Philip L. Henneman
2009 — conf
Structural Considerations in Defining Executable Process Models.
ICSP
Borislava I. Simidchieva, Leon J. Osterweil, Alexander E. Wise
2009 — conf
Workshop on software Engineering in Health Care (SEHC).
ICSE Companion
Leon J. Osterweil, Barbara Paech
2008 A* conf
Analyzing medical processes.
ICSE
Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman
2008 J jnl
Determining the Impact of Software Engineering Research on Practice.
Computer
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
2008 — conf
Exception handling patterns for processes.
Workshop on Exception Handling
Barbara Staudt Lerner, Stefan Christov, Alexander E. Wise, Leon J. Osterweil
2008 — conf
Experience in using a process language to define scientific workflow and generate dataset provenance.
SIGSOFT FSE
Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley
2008 — conf
Specifying and verifying requirements for election processes.
DG.O
Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil
2008 — conf
Using software engineering technology to improve the quality of medical processes.
ICSE Companion
Lori A. Clarke, George S. Avrunin, Leon J. Osterweil
2008 J jnl
What is software?
Autom. Softw. Eng.
Leon J. Osterweil
2007 — conf
A Future for Software Engineering?
FOSE
Leon J. Osterweil
2007 J jnl
Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM.
Softw. Process. Improv. Pract.
Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang
2007 — conf
Challenges Observed in the Definition of Reference Business Processes.
Business Process Management Workshops
Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser
2007 J jnl
Desiderata for Languages to be Used in the Defnition of Reference Business Processes.
Int. J. Softw. Informatics
Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva
2007 — conf
Engineering Medical Processes to Improve Their Safety.
Situational Method Engineering
Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman
2007 J jnl
Ensuring reliable datasets for environmental models and forecasts.
Ecol. Informatics
Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster
2007 — conf
Representing Process Variation with a Process Family.
ICSP
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil
2007 — conf
Rigorously Defining and Analyzing Medical Processes: An Experience Report.
MoDELS (Workshops)
Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens
2007 — conf
Using process definitions to drive user interactions with digital government systems.
DG.O
Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise
2007 J jnl
What we learn from the study of ubiquitous processes.
Softw. Process. Improv. Pract.
Leon J. Osterweil
2006 A* ed.
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006
ICSE
Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa
2006 — conf
A process-driven tool to support online dispute resolution.
DG.O
Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander E. Wise, Daniel Rainey
2006 — conf
Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM.
SPW/ProSim
Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang
2006 — conf
Automatic Fault Tree Derivation from Little-JIL Process Definitions.
SPW/ProSim
Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2006 J jnl
Complex medical processes as context for embedded systems.
SIGBED Rev.
George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil
2006 — conf
Definition and Analysis of Election Processes.
SPW/ProSim
Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil
2006 — conf
Experimental application of process technology to the creation and adoption of online dispute resolution.
DG.O
Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey
2006 — conf
Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains.
SPW/ProSim
Leon J. Osterweil
2005 — conf
Automatically Analyzing Software Processes: Experience Report.
ISPW
Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil
2005 — conf
Early lessons from the application of process technology to online grievance mediation.
DG.O
Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey
2005 J jnl
Editorial.
ACM Trans. Softw. Eng. Methodol.
Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
2005 — conf
Process Definition Language Support for Rapid Simulation Prototyping.
ISPW
Mohammad S. Raunak, Leon J. Osterweil
2005 — conf
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.
ISPW
Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil
2005 — conf
Process Technology to Facilitate the Conduct of Science.
ISPW
Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery R. Boose, David R. Foster
2005 A* conf
Process support to help novices design software faster and better.
ASE
Aaron G. Cass, Leon J. Osterweil
2005 — conf
Unifying Microprocess and Macroprocess Research.
ISPW
Leon J. Osterweil
2005 — ed.
Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers
ISPW
Mingshu Li, Barry W. Boehm, Leon J. Osterweil
2004 — conf
Process Technology for Achieving Government Online Dispute Resolution.
DG.O
Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer
2003 — conf
Formalizing Rework in Software Processes.
EWSPT
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Osterweil
2003 A* conf
New Software Engineering Faculty Symposium (NSEFS 03).
ICSE
Leon J. Osterweil
2003 J jnl
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 Softw. Eng. Notes
Leon J. Osterweil
2003 — conf
Understanding process and the quest for deeper questions in software engineering research.
ESEC / SIGSOFT FSE
Leon J. Osterweil
2002 — conf
Containment units: a hierarchically composable architecture for adaptive systems.
SIGSOFT FSE
Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner
2002 J jnl
FLAVERS: A finite state verification technique for software systems.
IBM Syst. J.
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
2002 A* conf
Lightweight vs. heavyweight processes: is this even the right question?
ICSE
Leon J. Osterweil, Philippe Kruchten, Martin Fowler, Wilhelm Schäfer
2002 A* conf
PROPEL: an approach supporting property elucidation.
ICSE
Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
2001 — conf
An architecture for flexible, evolvable process-driven user-guidance environments.
ESEC / SIGSOFT FSE
Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil
2001 — conf
Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper.
EWSPT
Aaron G. Cass, Leon J. Osterweil
2001 A* conf
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice.
ICSE
Leon J. Osterweil
2001 A* conf
New Software Engineering Faculty Symposium.
ICSE
Leon J. Osterweil, Gabriel M. Silberman, Kenny Wong
2001 A* conf
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?
ICSE
H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
2001 A* conf
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.
ICSE
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
2000 — conf
Continuous Self-Evaluation for the Self-Improvement of Software.
IWSAS
Leon J. Osterweil, Lori A. Clarke
2000 — conf
Design Guidance through the Controlled Application of Constraints.
IWSSD
Aaron G. Cass, Leon J. Osterweil
2000 J jnl
FLAVERS.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil, Lori A. Clarke
2000 — conf
Frameworks for Reasoning about Agent Based Systems.
Agents Workshop on Infrastructure for Multi-Agent Systems
Leon J. Osterweil, Lori A. Clarke
2000 — conf
Integrating High-Level and Detailed Agent Coordination into a Layered Architecture.
Agents Workshop on Infrastructure for Multi-Agent Systems
Xiaoqin Zhang, Anita Raja, Barbara Staudt Lerner, Victor R. Lesser, Leon J. Osterweil, Thomas Wagner
2000 J jnl
Little-JIL.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil, Lori A. Clarke
2000 A* conf
Little-JIL/Juliette: a process definition language and interpreter.
ICSE
Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil
2000 — conf
Relocation in Mobile Process-Centered Software Development Environments.
DEXA Workshop
Supratik Bhattacharyya, Leon J. Osterweil
2000 — conf
The impact project: determining the impact of software engineering research upon practice (panel session).
SIGSOFT FSE
Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf
2000 A* conf
Using Little-JIL to Coordinate Agents in Software Engineering.
ASE
Alexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr.
2000 A conf
Verifying properties of process definitions.
ISSTA
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
2000 A* conf
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.
ICSE
Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller
1999 — conf
Agents and Workflow - An Intimate Connection, or Just Friends?
TOOLS (30)
Martin L. Griss, Qiming Chen, Gregory A. Bolcer, Robert R. Kessler, Leon J. Osterweil
1999 — conf
Coordinating agent activities in knowledge discovery processes.
WACC
David D. Jensen, Yulin Dong, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise
1999 C conf
Modeling Resources for Activity Coordination and Scheduling.
COORDINATION
Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil
1998 A* conf
An Adaptable Generation Approach to Agenda Management.
ICSE
Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
1998 — conf
Efficient Composite Data Flow Analysis Applied to Concurrent Programs.
PASTE
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
1998 J jnl
Engineering Software Design Processes to Guide Process Execution.
IEEE Trans. Software Eng.
Xiping Song, Leon J. Osterweil
1998 — conf
Enhancing Design Methods to Support Real Design Processes.
IWSSD
Barbara Staudt Lerner, Stanley M. Sutton Jr., Leon J. Osterweil
1998 — conf
JIL and Little-JIL Process Programming Languages.
EWSPT
Leon J. Osterweil
1998 — ed.
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998
SIGSOFT FSE
Leon J. Osterweil, William L. Scherlis
1998 — conf
Programming Process Coordination in Little-JIL.
EWSPT
Barbara Staudt Lerner, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise
1997 — conf
Applying Static Analysis to Software Architectures.
ESEC / SIGSOFT FSE
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
1997 A* conf
Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9.
ICSE
Leon J. Osterweil
1997 A* conf
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.
ICSE
Rodion M. Podorozhny, Leon J. Osterweil
1997 — conf
The Design of a Next-Generation Process Language.
ESEC / SIGSOFT FSE
Stanley M. Sutton Jr., Leon J. Osterweil
1997 A* conf
Verification of Concurrent Software with FLAVERS.
ICSE
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
1996 — conf
Assuring Accuracy and Impartiality in Software Design Methodology Comparison.
IWSSD
Leon J. Osterweil, Xiping Song
1996 — conf
Improving the quality of software quality determination processes.
Quality of Numerical Software
Leon J. Osterweil
1996 A* conf
Multilanguage Interoperability in Distributed Systems.
ICSE
Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil
1996 — conf
PDP: Programming A Programmable Design Process.
IWSSD
Stanley M. Sutton Jr., Leon J. Osterweil
1996 — conf
Product families and process families.
ISPW
Stanley M. Sutton Jr., Leon J. Osterweil
1996 J jnl
Strategic Directions in Software Quality.
ACM Comput. Surv.
Leon J. Osterweil
1996 — conf
Verification of Communication Protocols Using Data Flow Analysis.
SIGSOFT FSE
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil
1995 J jnl
AIDA: A dynamic analyzer for Ada programs.
J. Syst. Softw.
Fathy E. Eassa, Leon J. Osterweil, M. Z. Abdel Mageed
1995 J jnl
APPL/A: A Language for Software Process Programming.
ACM Trans. Softw. Eng. Methodol.
Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil
1994 J jnl
AIDA: a dynamic analyser for Ada programs.
Inf. Softw. Technol.
Fathy E. Eassa, Leon J. Osterweil, M. Z. Abdel Mageed
1994 — conf
An alternative to software process languages.
ISPW
Leon J. Osterweil, Dennis Heimbigner
1994 — conf
An argument for the elimination of roles.
ISPW
Dennis Heimbigner, Leon J. Osterweil
1994 J jnl
Experience with an Approach to Comparing Software Design Methodologies.
IEEE Trans. Software Eng.
Xiping Song, Leon J. Osterweil
1994 A* ed.
Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994.
ICSE
Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde
1994 — conf
Research Issues in the Intersection of Hypertext and Software Development Environments.
ICSE Workshop on SE-HCI
Hadar Ziv, Leon J. Osterweil
1992 J jnl
A Proposed Testing and Analysis Research Initiative.
IEEE Softw.
Leon J. Osterweil, Lori A. Clarke
1992 J jnl
Interprocedural Static Analysis of Sequencing Constraints.
ACM Trans. Softw. Eng. Methodol.
Kurt M. Olender, Leon J. Osterweil
1992 J jnl
Toward Objective, Systematic Design-Method Comparisons.
IEEE Softw.
Xiping Song, Leon J. Osterweil
1990 J jnl
A Mechanism for Environment Integration.
ACM Trans. Program. Lang. Syst.
Geoffrey Clemm, Leon J. Osterweil
1990 J jnl
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation.
IEEE Trans. Software Eng.
Kurt M. Olender, Leon J. Osterweil
1990 — conf
Language constructs for managing change in process-centered environments.
SDE
Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil
1990 — conf
The architecture of the Arcadia-1 process centered software environment.
ISPW
Leon J. Osterweil, Richard N. Taylor
1989 — conf
A Metaphor and a Conceptual Architecture for Software Development Environments.
SEE
Izhar Shy, Richard N. Taylor, Leon J. Osterweil
1989 — conf
An example of formal specification as an aid to design and development.
IWSSD
Robert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil
1989 — conf
Cesar: A Static Sequencing Constraint Analyzer.
Symposium on Testing, Analysis, and Verification
Kurt M. Olender, Leon J. Osterweil
1989 — conf
Example process program code, coded in Appl/A.
ISPW
Leon J. Osterweil
1989 — conf
Experiences with process programming.
ISPW
Leon J. Osterweil
1989 — conf
Integrating Testing Techniques Through Process Programming.
Symposium on Testing, Analysis, and Verification
Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil
1988 — conf
Automated support for the enactment of rigorously described software processes.
ISPW
Leon J. Osterweil
1988 — conf
Foundations for the Arcadia Environment Architecture.
Software Development Environments (SDE)
Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young
1988 — conf
New perspectives on software maintenance processes.
ICSM
Shehab A. Gamalel-Din, Leon J. Osterweil
1987 A* conf
Lessons of Current Environments.
ICSE
Leon J. Osterweil
1987 A* conf
Software Processes Are Software Too.
ICSE
Leon J. Osterweil
1987 — conf
TRICS: A Testing Tool for C.
ESEC
Barbara Raither, Leon J. Osterweil
1986 — conf
A Process-Object Centered View of Software Environment Architecture.
Advanced Programming Environments
Leon J. Osterweil
1986 — conf
Software processes are software too.
ISPW
Leon J. Osterweil
1985 J jnl
Omega - A Data Flow Analysis Tool for the C Programming Language.
IEEE Trans. Software Eng.
Cindy Wilson, Leon J. Osterweil
1983 — conf
The Toolpack/IST Approach to Extensibility in Software Environments.
Ada Software Tools Interfaces
Leon J. Osterweil, Geoffrey Clemm
1983 J jnl
Toolpack - An Experimental Software Development Environment Research Project.
IEEE Trans. Software Eng.
Leon J. Osterweil
1982 A* conf
Toolpack - An Experimental Software Development Environment Research Project.
ICSE
Leon J. Osterweil
1981 — conf
An approach to transfer verification and validation technology.
AFIPS National Computer Conference
Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden
1981 A* conf
BIGMAC II: A FORTRAN Language Augmentation Tool.
ICSE
Eugene W. Myers, Leon J. Osterweil
1981 J jnl
Software Engineering Research: Directions for the Next Five Years.
Computer
Leon J. Osterweil
1981 J jnl
Software environment research: the next five years.
ACM SIGSOFT Softw. Eng. Notes
Leon J. Osterweil, Lori A. Clarke, Donald Good, Raymond C. Houghton Jr., Thomas Love, Patricia Santoni, Daniel Teichroew, Anthony I. Wasserman
1980 J jnl
Anomaly Detection in Concurrent Software by Static Data Flow Analysis.
IEEE Trans. Software Eng.
Richard N. Taylor, Leon J. Osterweil
1979 J jnl
ASSET: A life cycle verification and visibility system.
J. Syst. Softw.
Leon J. Osterweil, John R. Brown, Leon G. Stucki
1978 B conf
A facility for verification, testing and documentation of concurrent process software.
COMPSAC
Richard N. Taylor, Leon J. Osterweil
1978 B conf
ASSET: A Lifecycle Verification and Visibility System.
COMPSAC
Leon J. Osterweil, John R. Brown, Leon G. Stucki
1978 — conf
Using tools for verification, documentation and testing.
SIGNUM
Leon J. Osterweil
1976 — conf
Allegations as aids to static program testing.
ACM Annual Conference
Leon J. Osterweil
1976 J jnl
DAVE-A Validation Error Detection and Documentation System for Fortran Programs.
Softw. Pract. Exp.
Leon J. Osterweil, Lloyd D. Fosdick
1976 J jnl
Data Flow Analysis in Software Reliability.
ACM Comput. Surv.
Lloyd D. Fosdick, Leon J. Osterweil
1976 J jnl
On Two Problems in the Generation of Program Test Paths.
IEEE Trans. Software Eng.
Harold N. Gabow, Shachindra N. Maheswari, Leon J. Osterweil
1976 — conf
Program testing techniques using simulated execution.
ANSS
Leon J. Osterweil, Lloyd D. Fosdick
1976 — conf
SICSOFT (Paper Session).
ACM Annual Conference
Leon J. Osterweil, Robert H. Hoffman, Lori A. Clarke, Hanan Samet, Richard E. Fairley
1976 — conf
Some experience with DAVE: a Fortran program analyzer.
AFIPS National Computer Conference
Leon J. Osterweil, Lloyd D. Fosdick
1976 A* conf
The Detection of Anomalous Interprocedural Data Flow.
ICSE
Lloyd D. Fosdick, Leon J. Osterweil
1974 J jnl
Some classes of uniquely 3-colorable graphs.
Discret. Math.
Leon J. Osterweil