default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeon J. Osterweil
Person information
- affiliation: University of Massachusetts Amherst, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c146]Francisco Castro
, Sahitya Raipura, Heather M. Conboy, Peter J. Haas, Leon J. Osterweil, Ivon Arroyo:
Piloting an Interactive Ethics and Responsible Computing Learning Environment in Undergraduate CS Courses. SIGCSE (1) 2023: 659-665- 2022
- [c145]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:
A Coding Framework for Usability Evaluation of Digital Health Technologies. HCI (1) 2022: 185-196 - 2020
- [c144]Heather M. Conboy, Lauren R. Kennedy-Metz, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Roger D. Dias, Marco A. Zenati:
Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies. CogSIMA 2020: 205-210
2010 – 2019
- 2019
- [p2]Leon J. Osterweil, Volker Gruhn, Nils Schwenzfeier:
Process and Workflow. Handbook of Software Engineering 2019: 1-49 - 2018
- [j50]Leon J. Osterweil:
Be Gracious. ACM SIGSOFT Softw. Eng. Notes 43(2): 4-6 (2018) - [j49]Seung Yeob Shin, Yuriy Brun, Hari Balasubramanian, Philip L. Henneman, Leon J. Osterweil:
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling. IEEE Trans. Syst. Man Cybern. Syst. 48(9): 1578-1593 (2018) - [c143]George S. Avrunin, Stefan C. Christov, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Marco A. Zenati:
Process Driven Guidance for Complex Surgical Procedures. AMIA 2018 - [c142]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:
Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care. CogSIMA 2018: 77-82 - [c141]George S. Avrunin, Lori A. Clarke, Heather M. Conboy, Leon J. Osterweil, Roger D. Dias, Steven J. Yule, Julian M. Goldman, Marco A. Zenati:
Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance. SEHS@ICSE 2018: 2-9 - [c140]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:
Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures. OR 2.0/CARE/CLIP/ISIC@MICCAI 2018: 62-68 - [p1]Leon J. Osterweil:
What is software?: - The Role of Empirical Methods in Answering the Question. The Essence of Software Engineering 2018: 59-76 - 2017
- [j48]Leon J. Osterweil:
Your Software Dwells in the House of Tomorrow, Too. ACM SIGSOFT Softw. Eng. Notes 42(1): 7-8 (2017) - [j47]Leon J. Osterweil:
Be Responsible. ACM SIGSOFT Softw. Eng. Notes 42(3): 5-8 (2017) - [j46]Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert:
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. ACM Trans. Priv. Secur. 20(2): 5:1-5:31 (2017) - [c139]Heather M. Conboy, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Steven J. Yule, Marco A. Zenati, Stefan C. Christov:
Cognitive support during high-consequence episodes of care in cardiovascular surgery. CogSIMA 2017: 1-3 - 2016
- [j45]Jie Chen, Junchao Xiao, Qing Wang, Leon J. Osterweil, Mingshu Li:
Perspectives on refactoring planning and practice: an empirical study. Empir. Softw. Eng. 21(3): 1397-1436 (2016) - [j44]Leon J. Osterweil:
Preview: Ethical and Moral Issues for Software Engineers. ACM SIGSOFT Softw. Eng. Notes 41(4): 5 (2016) - [j43]Leon J. Osterweil:
Be Prepared. ACM SIGSOFT Softw. Eng. Notes 41(5): 4-5 (2016) - [c138]Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil:
Specification and analysis of human-intensive system resource-utilization policies. SEHS@ICSE 2016: 8-14 - [c137]Stefan C. Christov, Heather M. Conboy, Nancy Famigletti, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Smart checklists to improve healthcare outcomes. SEHS@ICSE 2016: 54-57 - 2015
- [j42]Jie Chen, Xiwei Xu, Leon J. Osterweil, Liming Zhu, Yuriy Brun, Len Bass, Junchao Xiao, Mingshu Li, Qing Wang:
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes. J. Syst. Softw. 110: 205-221 (2015) - [c136]Seung Yeob Shin, Yuriy Brun, Leon J. Osterweil, Hari Balasubramanian, Philip L. Henneman:
Resource Specification for Prototyping Human-Intensive Systems. FASE 2015: 332-346 - 2014
- [j41]Leon J. Osterweil:
Learning about application software by studying processes. J. Softw. Evol. Process. 26(10): 869-876 (2014) - [c135]Leon J. Osterweil:
On Formal Definition and Analysis of Formal Verification Processes. Specification, Algebra, and Software 2014: 35-52 - [c134]Christoph Dorn, Schahram Dustdar, Leon J. Osterweil:
Specifying Flexible Human Behavior in Interaction-Intensive Process Environments. BPM 2014: 366-373 - [c133]Jie Chen, Junchao Xiao, Qing Wang, Leon J. Osterweil, Mingshu Li:
Refactoring planning and practice in agile software development: an empirical study. ICSSP 2014: 55-64 - [c132]Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert:
Insider Threat Identification by Process Analysis. IEEE Symposium on Security and Privacy Workshops 2014: 251-264 - [c131]Borislava I. Simidchieva, Leon J. Osterweil:
Generation, composition, and verification of families of human-intensive systems. SPLC 2014: 207-216 - 2013
- [j40]M. S. Raunak, Leon J. Osterweil:
Resource Management for Complex, Dynamic Environments. IEEE Trans. Software Eng. 39(3): 384-402 (2013) - [c130]Leon J. Osterweil:
What Is Software? The Role of Empirical Methods in Answering the Question. Perspectives on the Future of Software Engineering 2013: 237-254 - [c129]Seung Yeob Shin, Hari Balasubramanian, Yuriy Brun, Philip L. Henneman, Leon J. Osterweil:
Resource scheduling through resource-aware simulation of emergency departments. SEHC@ICSE 2013: 64-70 - [c128]Xiang Zhao, Yuriy Brun, Leon J. Osterweil:
Supporting process undo and redo in software engineering decision making. ICSSP 2013: 56-60 - [c127]Junchao Xiao, Leon J. Osterweil, Jie Chen, Qing Wang, Mingshu Li:
Search based risk mitigation planning in project portfolio management. ICSSP 2013: 146-155 - [c126]Xiang Zhao, Emery R. Boose, Yuriy Brun, Barbara Staudt Lerner, Leon J. Osterweil:
Supporting Undo and Redo in Scientific Data Analysis. TaPP 2013 - 2012
- [c125]George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Julian M. Goldman, Tracy L. Rausch:
Smart checklists for human-intensive medical systems. DSN Workshops 2012: 1-6 - [c124]Xiang Zhao, Barbara Staudt Lerner, Leon J. Osterweil:
The role of context in exception-driven rework. WEH@ICSE 2012: 41-45 - [c123]Beverly Park Woolf, Thomas J. Murray, Xiaoxi Xu, Leon J. Osterweil, Lori A. Clarke, Leah Wing, Ethan Katsh:
Computational Predictors in Online Social Deliberations. ICWSM 2012 - [c122]Leon J. Osterweil:
System processes are software too. ICSSP 2012: 2 - [c121]Xiang Zhao, Leon J. Osterweil:
An approach to modeling and supporting the rework process in refactoring. ICSSP 2012: 110-119 - [c120]Xiang Zhao, Barbara Staudt Lerner, Leon J. Osterweil, Emery R. Boose, Aaron M. Ellison:
Provenance Support for Rework. TaPP 2012 - [c119]Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil:
A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. EVT/WOTE 2012 - 2011
- [j39]Leon J. Osterweil:
Preface. Int. J. Softw. Informatics 5(3): 411-413 (2011) - [j38]Leon J. Osterweil:
A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm. Int. J. Softw. Informatics 5(3): 457-474 (2011) - [c118]Leon J. Osterweil:
Context, Retrospection, and Prospection in Healthcare Process Definitions. Business Process Management Workshops (2) 2011: 187 - [c117]Zongfang Lin, Allen R. Hanson, Leon J. Osterweil, Alexander E. Wise:
Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection. SEHC@ICSE 2011: 13-16 - [c116]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:
On effective testing of health care simulation software. SEHC@ICSE 2011: 40-47 - [c115]Borislava I. Simidchieva, Leon J. Osterweil:
Characterizing process variation. ICSE 2011: 836-839 - [c114]M. S. Raunak, Leon J. Osterweil, Alexander E. Wise:
Developing discrete event simulations from rigorous process definitions. SpringSim (TMS-DEVS) 2011: 117-124 - 2010
- [j37]Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker:
Evolving Embedded Systems. Computer 43(5): 34-40 (2010) - [j36]Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Emery R. Boose, Rodion M. Podorozhny, Alexander E. Wise:
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance. IEEE Trans Autom. Sci. Eng. 7(1): 189-195 (2010) - [j35]Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander E. Wise:
Exception Handling Patterns for Process Modeling. IEEE Trans. Software Eng. 36(2): 162-183 (2010) - [c113]Borislava I. Simidchieva, Leon J. Osterweil:
Categorizing and modeling variation in families of systems: a position paper. ECSA Companion Volume 2010: 316-323 - [c112]Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li:
Dynamic Resource Scheduling in Disruption-Prone Software Development Environments. FASE 2010: 107-122 - [c111]Stefan Christov, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Elizabeth A. Henneman:
A benchmark for evaluating software engineering techniques for improving medical processes. SEHC@ICSE 2010: 50-56 - [c110]George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Stefan Christov, Bin Chen, Elizabeth A. Henneman, Philip L. Henneman, Lucinda Cassells, Wilson Mertens:
Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview. IHI 2010: 316-325 - [c109]Junchao Xiao, Leon J. Osterweil, Qing Wang:
Dynamic scheduling of emergency department resources. IHI 2010: 590-599 - [c108]Leon J. Osterweil, Alexander E. Wise:
Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements. ICSP 2010: 2-13 - [c107]Junchao Xiao, Leon J. Osterweil, Qing Wang, Mingshu Li:
Disruption-Driven Resource Rescheduling in Software Development Processes. ICSP 2010: 234-247 - [c106]Lori A. Clarke, Leon J. Osterweil, George S. Avrunin:
Supporting human-intensive systems. FoSER 2010: 87-92 - [c105]Leon J. Osterweil, Lori A. Clarke:
Supporting negotiation and dispute resolution with computing and communication technologies. FoSER 2010: 269-272 - [c104]Borislava I. Simidchieva, Sophie Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil:
Modeling and Analyzing Faults to Improve Election Process Robustness. EVT/WOTE 2010
2000 – 2009
- 2009
- [j34]Leon J. Osterweil:
Formalisms to Support the Definition of Processes. J. Comput. Sci. Technol. 24(2): 198-211 (2009) - [c103]Leon J. Osterweil, Lori A. Clarke, George S. Avrunin:
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report. Business Process Management Workshops 2009: 647-653 - [c102]Norman K. Sondheimer, Ethan Katsh, Lori A. Clarke, Leon J. Osterweil, Daniel Rainey:
Dispute prevention and dispute resolution in networked health information technology. D.GO 2009: 240-243 - [c101]M. S. Raunak, Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Philip L. Henneman:
Simulating patient flow through an Emergency Department using process-driven discrete event simulation. SEHC@ICSE 2009: 73-83 - [c100]Leon J. Osterweil, Barbara Paech:
Workshop on software Engineering in Health Care (SEHC). ICSE Companion 2009: 465 - [c99]Aaron G. Cass, Leon J. Osterweil, Alexander E. Wise:
A Pattern for Modeling Rework in Software Development Processes. ICSP 2009: 305-316 - [c98]Borislava I. Simidchieva, Leon J. Osterweil, Alexander E. Wise:
Structural Considerations in Defining Executable Process Models. ICSP 2009: 366-376 - 2008
- [j33]Leon J. Osterweil:
What is software? Autom. Softw. Eng. 15(3-4): 261-273 (2008) - [j32]Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
Determining the Impact of Software Engineering Research on Practice. Computer 41(3): 39-49 (2008) - [c97]Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil:
Specifying and verifying requirements for election processes. DG.O 2008: 63-72 - [c96]Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman:
Analyzing medical processes. ICSE 2008: 623-632 - [c95]Lori A. Clarke, George S. Avrunin, Leon J. Osterweil:
Using software engineering technology to improve the quality of medical processes. ICSE Companion 2008: 889-898 - [c94]Barbara Staudt Lerner, Stefan Christov, Alexander E. Wise, Leon J. Osterweil:
Exception handling patterns for processes. Workshop on Exception Handling 2008: 55-61 - [c93]Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery R. Boose, Julian L. Hadley:
Experience in using a process language to define scientific workflow and generate dataset provenance. SIGSOFT FSE 2008: 319-329 - 2007
- [j31]Emery R. Boose, Aaron M. Ellison, Leon J. Osterweil, Lori A. Clarke, Rodion M. Podorozhny, Julian L. Hadley, Alexander E. Wise, David R. Foster:
Ensuring reliable datasets for environmental models and forecasts. Ecol. Informatics 2(3): 237-247 (2007) - [j30]Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva:
Desiderata for Languages to be Used in the Defnition of Reference Business Processes. Int. J. Softw. Informatics 1(1): 37-65 (2007) - [j29]Leon J. Osterweil:
What we learn from the study of ubiquitous processes. Softw. Process. Improv. Pract. 12(5): 399-414 (2007) - [j28]Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang:
Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM. Softw. Process. Improv. Pract. 12(5): 437-448 (2007) - [c92]Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser:
Challenges Observed in the Definition of Reference Business Processes. Business Process Management Workshops 2007: 95-107 - [c91]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:
Using process definitions to drive user interactions with digital government systems. DG.O 2007: 310-311 - [c90]Leon J. Osterweil:
A Future for Software Engineering? FOSE 2007: 1-11 - [c89]Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman:
Engineering Medical Processes to Improve Their Safety. Situational Method Engineering 2007: 267-282 - [c88]Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil:
Representing Process Variation with a Process Family. ICSP 2007: 109-120 - [c87]Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens:
Rigorously Defining and Analyzing Medical Processes: An Experience Report. MoDELS (Workshops) 2007: 118-131 - 2006
- [j27]George S. Avrunin, Lori A. Clarke, Elizabeth A. Henneman, Leon J. Osterweil:
Complex medical processes as context for embedded systems. SIGBED Rev. 3(4): 9-14 (2006) - [c86]Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey:
Experimental application of process technology to the creation and adoption of online dispute resolution. DG.O 2006: 273-274 - [c85]Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander E. Wise, Daniel Rainey:
A process-driven tool to support online dispute resolution. DG.O 2006: 356-357 - [c84]Leon J. Osterweil:
Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains. SPW/ProSim 2006: 39-47 - [c83]Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim 2006: 150-158 - [c82]Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil:
Definition and Analysis of Election Processes. SPW/ProSim 2006: 178-185 - [c81]Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang:
Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM. SPW/ProSim 2006: 214-221 - [e4]Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa:
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. ACM 2006, ISBN 1-59593-375-1 [contents] - 2005
- [j26]Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf:
Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005) - [c80]Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey:
Early lessons from the application of process technology to online grievance mediation. DG.O 2005: 99-100 - [c79]Leon J. Osterweil:
Unifying Microprocess and Macroprocess Research. ISPW 2005: 68-74 - [c78]Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil:
Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. ISPW 2005: 347-359 - [c77]Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery R. Boose, David R. Foster:
Process Technology to Facilitate the Conduct of Science. ISPW 2005: 403-415 - [c76]Mohammad S. Raunak, Leon J. Osterweil:
Process Definition Language Support for Rapid Simulation Prototyping. ISPW 2005: 416-432 - [c75]Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil:
Automatically Analyzing Software Processes: Experience Report. ISPW 2005: 482-497 - [c74]Aaron G. Cass, Leon J. Osterweil:
Process support to help novices design software faster and better. ASE 2005: 295-299 - [e3]Mingshu Li, Barry W. Boehm, Leon J. Osterweil:
Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3840, Springer 2005, ISBN 3-540-31112-2 [contents] - 2004
- [c73]Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer:
Process Technology for Achieving Government Online Dispute Resolution. DG.O 2004 - 2003
- [j25]Leon J. Osterweil:
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 28(4): 27-35 (2003) - [c72]Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Osterweil:
Formalizing Rework in Software Processes. EWSPT 2003: 16-31 - [c71]Leon J. Osterweil:
New Software Engineering Faculty Symposium (NSEFS 03). ICSE 2003: 767-768 - [c70]Leon J. Osterweil:
Understanding process and the quest for deeper questions in software engineering research. ESEC / SIGSOFT FSE 2003: 6-14 - 2002
- [j24]Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
FLAVERS: A finite state verification technique for software systems. IBM Syst. J. 41(1): 140-165 (2002) - [c69]Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
PROPEL: an approach supporting property elucidation. ICSE 2002: 11-21 - [c68]Leon J. Osterweil, Philippe Kruchten, Martin Fowler, Wilhelm Schäfer:
Lightweight vs. heavyweight processes: is this even the right question? ICSE 2002: 649 - [c67]Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner:
Containment units: a hierarchically composable architecture for adaptive systems. SIGSOFT FSE 2002: 159-165 - 2001
- [c66]Aaron G. Cass, Leon J. Osterweil:
Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper. EWSPT 2001: 145-151 - [c65]Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. ICSE 2001: 37-46 - [c64]Leon J. Osterweil:
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice. ICSE 2001: 697 - [c63]H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas:
Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698 - [c62]Leon J. Osterweil, Gabriel M. Silberman, Kenny Wong:
New Software Engineering Faculty Symposium. ICSE 2001: 813 - [c61]Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil:
An architecture for flexible, evolvable process-driven user-guidance environments. ESEC / SIGSOFT FSE 2001: 33-43 - 2000
- [j23]Leon J. Osterweil, Lori A. Clarke:
FLAVERS. ACM SIGSOFT Softw. Eng. Notes 25(1): 101-102 (2000) - [j22]Leon J. Osterweil, Lori A. Clarke:
Little-JIL. ACM SIGSOFT Softw. Eng. Notes 25(1): 104 (2000) - [c60]Leon J. Osterweil, Lori A. Clarke:
Frameworks for Reasoning about Agent Based Systems. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 64-71 - [c59]Xiaoqin Zhang, Anita Raja, Barbara Staudt Lerner, Victor R. Lesser, Leon J. Osterweil, Thomas Wagner:
Integrating High-Level and Detailed Agent Coordination into a Layered Architecture. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 72-79 - [c58]Supratik Bhattacharyya, Leon J. Osterweil:
Relocation in Mobile Process-Centered Software Development Environments. DEXA Workshop 2000: 198-203 - [c57]Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller:
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. ICSE 2000: 660 - [c56]Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil:
Little-JIL/Juliette: a process definition language and interpreter. ICSE 2000: 754-757 - [c55]Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
Verifying properties of process definitions. ISSTA 2000: 96-101 - [c54]Leon J. Osterweil, Lori A. Clarke:
Continuous Self-Evaluation for the Self-Improvement of Software. IWSAS 2000: 27-39 - [c53]Aaron G. Cass, Leon J. Osterweil:
Design Guidance through the Controlled Application of Constraints. IWSSD 2000: 195-200 - [c52]Alexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr.:
Using Little-JIL to Coordinate Agents in Software Engineering. ASE 2000: 155-164 - [c51]Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf:
The impact project: determining the impact of software engineering research upon practice (panel session). SIGSOFT FSE 2000: 108-109
1990 – 1999
- 1999
- [c50]Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil:
Modeling Resources for Activity Coordination and Scheduling. COORDINATION 1999: 307-322 - [c49]Martin L. Griss, Qiming Chen, Gregory A. Bolcer, Robert R. Kessler, Leon J. Osterweil:
Agents and Workflow - An Intimate Connection, or Just Friends? TOOLS (30) 1999: 558-562 - [c48]David D. Jensen, Yulin Dong, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise:
Coordinating agent activities in knowledge discovery processes. WACC 1999: 137-146 - 1998
- [j21]Xiping Song, Leon J. Osterweil:
Engineering Software Design Processes to Guide Process Execution. IEEE Trans. Software Eng. 24(9): 759-775 (1998) - [c47]Barbara Staudt Lerner, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise:
Programming Process Coordination in Little-JIL. EWSPT 1998: 127-131 - [c46]Leon J. Osterweil:
JIL and Little-JIL Process Programming Languages. EWSPT 1998: 152 - [c45]Eric K. McCall, Lori A. Clarke, Leon J. Osterweil:
An Adaptable Generation Approach to Agenda Management. ICSE 1998: 282-291 - [c44]Barbara Staudt Lerner, Stanley M. Sutton Jr., Leon J. Osterweil:
Enhancing Design Methods to Support Real Design Processes. IWSSD 1998: 159-161 - [c43]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE 1998: 51-58 - [e2]Leon J. Osterweil, William L. Scherlis:
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT 1998, Lake Buena Vista, Florida, USA, November 3-5, 1998. ACM 1998, ISBN 978-1-58113-108-6 [contents] - 1997
- [c42]Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93 - [c41]Stanley M. Sutton Jr., Leon J. Osterweil:
The Design of a Next-Generation Process Language. ESEC / SIGSOFT FSE 1997: 142-158 - [c40]Rodion M. Podorozhny, Leon J. Osterweil:
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. ICSE 1997: 303-313 - [c39]Leon J. Osterweil:
Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9. ICSE 1997: 540-548 - [c38]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer:
Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595 - 1996
- [j20]Leon J. Osterweil:
Strategic Directions in Software Quality. ACM Comput. Surv. 28(4): 738-750 (1996) - [c37]Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil:
Multilanguage Interoperability in Distributed Systems. ICSE 1996: 451-463 - [c36]Stanley M. Sutton Jr., Leon J. Osterweil:
Product families and process families. ISPW 1996: 109-111 - [c35]Leon J. Osterweil, Xiping Song:
Assuring Accuracy and Impartiality in Software Design Methodology Comparison. IWSSD 1996: 170-171 - [c34]Stanley M. Sutton Jr., Leon J. Osterweil:
PDP: Programming A Programmable Design Process. IWSSD 1996: 186-190 - [c33]Leon J. Osterweil:
Improving the quality of software quality determination processes. Quality of Numerical Software 1996: 90-105 - [c32]Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil:
Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE 1996: 93-105 - 1995
- [j19]Fathy E. Eassa, Leon J. Osterweil, M. Z. Abdel Mageed:
AIDA: A dynamic analyzer for Ada programs. J. Syst. Softw. 31(3): 239-255 (1995) - [j18]Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil:
APPL/A: A Language for Software Process Programming. ACM Trans. Softw. Eng. Methodol. 4(3): 221-286 (1995) - 1994
- [j17]Fathy E. Eassa, Leon J. Osterweil, M. Z. Abdel Mageed:
AIDA: a dynamic analyser for Ada programs. Inf. Softw. Technol. 36(2): 107-117 (1994) - [j16]Xiping Song, Leon J. Osterweil:
Experience with an Approach to Comparing Software Design Methodologies. IEEE Trans. Software Eng. 20(5): 364-384 (1994) - [c31]Hadar Ziv, Leon J. Osterweil:
Research Issues in the Intersection of Hypertext and Software Development Environments. ICSE Workshop on SE-HCI 1994: 268-279 - [c30]Dennis Heimbigner, Leon J. Osterweil:
An argument for the elimination of roles. ISPW 1994: 122-123 - [c29]Leon J. Osterweil, Dennis Heimbigner:
An alternative to software process languages. ISPW 1994: 129-131 - [e1]Bruno Fadini, Leon J. Osterweil, Axel van Lamsweerde:
Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994. IEEE Computer Society / ACM Press 1994, ISBN 0-8186-5855-X [contents] - 1992
- [j15]Xiping Song, Leon J. Osterweil:
Toward Objective, Systematic Design-Method Comparisons. IEEE Softw. 9(3): 43-53 (1992) - [j14]Leon J. Osterweil, Lori A. Clarke:
A Proposed Testing and Analysis Research Initiative. IEEE Softw. 9(5): 89-96 (1992) - [j13]Kurt M. Olender, Leon J. Osterweil:
Interprocedural Static Analysis of Sequencing Constraints. ACM Trans. Softw. Eng. Methodol. 1(1): 21-52 (1992) - 1990
- [j12]Geoffrey Clemm, Leon J. Osterweil:
A Mechanism for Environment Integration. ACM Trans. Program. Lang. Syst. 12(1): 1-25 (1990) - [j11]Kurt M. Olender, Leon J. Osterweil:
Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. IEEE Trans. Software Eng. 16(3): 268-280 (1990) - [c28]Leon J. Osterweil, Richard N. Taylor:
The architecture of the Arcadia-1 process centered software environment. ISPW 1990: 155-158 - [c27]Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil:
Language constructs for managing change in process-centered environments. SDE 1990: 206-217
1980 – 1989
- 1989
- [c26]Leon J. Osterweil:
Experiences with process programming. ISPW 1989: 109-111 - [c25]Leon J. Osterweil:
Example process program code, coded in Appl/A. ISPW 1989: 169-170 - [c24]Kurt M. Olender, Leon J. Osterweil:
Cesar: A Static Sequencing Constraint Analyzer. Symposium on Testing, Analysis, and Verification 1989: 66-74 - [c23]Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil:
Integrating Testing Techniques Through Process Programming. Symposium on Testing, Analysis, and Verification 1989: 219-228 - [c22]Robert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil:
An example of formal specification as an aid to design and development. IWSSD 1989: 266-272 - [c21]Izhar Shy, Richard N. Taylor, Leon J. Osterweil:
A Metaphor and a Conceptual Architecture for Software Development Environments. SEE 1989: 77-97 - 1988
- [c20]Shehab A. Gamalel-Din, Leon J. Osterweil:
New perspectives on software maintenance processes. ICSM 1988: 14-22 - [c19]Leon J. Osterweil:
Automated support for the enactment of rigorously described software processes. ISPW 1988: 121-125 - [c18]Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young:
Foundations for the Arcadia Environment Architecture. Software Development Environments (SDE) 1988: 1-13 - 1987
- [c17]Barbara Raither, Leon J. Osterweil:
TRICS: A Testing Tool for C. ESEC 1987: 254-262 - [c16]Leon J. Osterweil:
Software Processes Are Software Too. ICSE 1987: 2-13 - [c15]Leon J. Osterweil:
Lessons of Current Environments. ICSE 1987: 286 - 1986
- [c14]Leon J. Osterweil:
A Process-Object Centered View of Software Environment Architecture. Advanced Programming Environments 1986: 156-174 - [c13]Leon J. Osterweil:
Software processes are software too. ISPW 1986: 79-80 - 1985
- [j10]Cindy Wilson, Leon J. Osterweil:
Omega - A Data Flow Analysis Tool for the C Programming Language. IEEE Trans. Software Eng. 11(9): 832-838 (1985) - 1983
- [j9]Leon J. Osterweil:
Toolpack - An Experimental Software Development Environment Research Project. IEEE Trans. Software Eng. 9(6): 673-685 (1983) - [c12]Leon J. Osterweil, Geoffrey Clemm:
The Toolpack/IST Approach to Extensibility in Software Environments. Ada Software Tools Interfaces 1983: 133-163 - 1982
- [c11]Leon J. Osterweil:
Toolpack - An Experimental Software Development Environment Research Project. ICSE 1982: 166-177 - 1981
- [j8]Leon J. Osterweil:
Software Engineering Research: Directions for the Next Five Years. Computer 14(4): 35-43 (1981) - [j7]Leon J. Osterweil, Lori A. Clarke, Donald Good, Raymond C. Houghton Jr., Thomas Love, Patricia Santoni, Daniel Teichroew, Anthony I. Wasserman:
Software environment research: the next five years. ACM SIGSOFT Softw. Eng. Notes 6(4): 15-25 (1981) - [c10]Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden:
An approach to transfer verification and validation technology. AFIPS National Computer Conference 1981: 367-373 - [c9]Eugene W. Myers, Leon J. Osterweil:
BIGMAC II: A FORTRAN Language Augmentation Tool. ICSE 1981: 410-421 - 1980
- [j6]Richard N. Taylor, Leon J. Osterweil:
Anomaly Detection in Concurrent Software by Static Data Flow Analysis. IEEE Trans. Software Eng. 6(3): 265-278 (1980)
1970 – 1979
- 1979
- [j5]Leon J. Osterweil, John R. Brown, Leon G. Stucki:
ASSET: A life cycle verification and visibility system. J. Syst. Softw. 1: 77-86 (1979) - 1978
- [c8]Leon J. Osterweil, John R. Brown, Leon G. Stucki:
ASSET: A Lifecycle Verification and Visibility System. COMPSAC 1978: 30-35 - [c7]Richard N. Taylor, Leon J. Osterweil:
A facility for verification, testing and documentation of concurrent process software. COMPSAC 1978: 36-41 - [c6]Leon J. Osterweil:
Using tools for verification, documentation and testing. SIGNUM 1978: 63-67 - 1976
- [j4]Lloyd D. Fosdick, Leon J. Osterweil:
Data Flow Analysis in Software Reliability. ACM Comput. Surv. 8(3): 305-330 (1976) - [j3]Leon J. Osterweil, Lloyd D. Fosdick:
DAVE-A Validation Error Detection and Documentation System for Fortran Programs. Softw. Pract. Exp. 6(4): 473-486 (1976) - [j2]Harold N. Gabow, Shachindra N. Maheswari, Leon J. Osterweil:
On Two Problems in the Generation of Program Test Paths. IEEE Trans. Software Eng. 2(3): 227-231 (1976) - [c5]Leon J. Osterweil, Robert H. Hoffman, Lori A. Clarke, Hanan Samet, Richard E. Fairley:
SICSOFT (Paper Session). ACM Annual Conference 1976: 478 - [c4]Leon J. Osterweil:
Allegations as aids to static program testing. ACM Annual Conference 1976: 479-482 - [c3]Leon J. Osterweil, Lloyd D. Fosdick:
Some experience with DAVE: a Fortran program analyzer. AFIPS National Computer Conference 1976: 909-915 - [c2]Leon J. Osterweil, Lloyd D. Fosdick:
Program testing techniques using simulated execution. ANSS 1976: 171-177 - [c1]Lloyd D. Fosdick, Leon J. Osterweil:
The Detection of Anomalous Interprocedural Data Flow. ICSE 1976: 624-628 - 1974
- [j1]Leon J. Osterweil:
Some classes of uniquely 3-colorable graphs. Discret. Math. 8(1): 59-69 (1974)
Coauthor Index
[c145] [c144] [c143] [c142] [c141] [c140] [j46] [c139] [c137] [c132] [c125] [c123] [c119] [c116] [j36] [c111] [c110] [c106] [c105] [c104] [c103] [c102] [c101] [c97] [c96] [c95] [c93] [j31] [c91] [c89] [c88] [c87] [j27] [c85] [c83] [c82] [c78] [c77] [j24] [c69] [c65] [c61] [j23] [j22] [c60] [c55] [c54] [c51] [c45] [c43] [c42] [c38] [c32] [j14] [c18] [j7] [c5]
Barbara Lerner
aka: Barbara Staudt Lerner
aka: Barbara Staudt Lerner
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
