Prof. Leon J. Osterweil is a Professor in the Department. of Computer Science, University. of Massachusetts Amherst. He is a Fellow of the ACM, has been an ACM Lecturer, has served on the editorial board of IEEE Software and on the board of ACM Transactions on Software Engineering and Methodology since its inception. His paper suggesting the idea of process programming was recognized as the Most Influential Paper of the 9th International Conference on Software Engineering (ICSE 9), awarded as a 10-year retrospective. Another paper on software tool integration, presented at ICSE 6, was runner-up for this honor. Prof. Osterweil was Chair of the Computer Science Department at the University of Colorado at Boulder, and of the Information and Computer Science Department of the University of California at Irvine. He was also the founding director of UCI's Irvine Research Unit in Software. Prof. Osterweil has been the Program Chair of many conferences, including ICSE 16. He is a director of the International Software Process Association, and was General Chair of SIGSOFT's Sixth International Symposium on the Foundations of Software Engineering. He has been a member of the Software Engineering Institute's Process Program Advisory Board since its inception. He is a member of the KLA-Tencor Software Technical Advisory Board and has been on similar boards for SAIC, MCC, and IBM. In addition he has consulted for such companies as AT&T, Boeing, and TRW. Prof. Osterweil's research has centered on software analysis and testing, software tool integration, and software processes and process programming. He has been a Principal Investigator on a number of NSF and ARPA/DARPA projects over the past 25 years. He was one of the founding principals of the ARPA-funded Arcadia project, and a co-PI on a DARPA EDCS contract. He has done research and prototype development of testing and analysis systems for over 20 years. He was a principal designer of the DAVE static dataflow analysis system, developed in 1973, and of the Cecil/Cesar programmable dataflow analysis system in the late 1980's. He was a co-developer of the Odin object management system, and a principal in the Toolpack project that developed an early integrated set of tools for numerical software development. He was a leader of the Appl/A process programming language development activity, and currently leads the Little-JIL process programming language project. He has published and presented dozens of papers on these and other software engineering topics in leading venues worldwide. He has been a keynote speaker at a number of conferences, most notably the 9th International Conference on Software Engineering, Quality Week 96, CASE 92, and the Inaugural Symposium of JAIST, the Japan Advanced Institute for Software Technology. He is the Chair of the ACM Impact Project, and was General Chair of ICSE 2006. His ICSE 9 paper has been awarded a prize as the most influential paper of ICSE 9, awarded as a 10-year retrospective. He has consulted for such organizations as IBM, Bell Laboratories, SAIC, MCC, and TRW, and is a member of SEI's Process Program Advisory Board. Prof. Osterweil is a Fellow of the ACM.
2010
An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report (with LA Clarke and GS Avrunin), Business Process Management Workshops, 2009 (2010)
Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance (with LA Clarke, AM Ellison, E Boose, R Podorozhny, and A Wise), IEEE Trandactions on Automation Science and Engineering (2010)
Exception Handling Patterns for Process Modeling (with BS Lerner, S Christov, R Bendraou, U Kannengiesser, and A Wise), IEEE Transactions on Software Engineering (2010)
2009
Formalisms to Support the Definition of Processes, Journal of Computer Science and Technology (2009)
Simulating Patient Flow through an Emergency Department Using Process-Driven Discrete Event Simulation (with M Raunak, A Wise, L Clarke, and P Henneman), 2009 ICSE Workshop on Software Engineering in Health Care (2009)
Structural Considerations in Defining Executable Process Models (with BI Simidchieva and A Wise), Trustworthy Software Development Processes, Proceedings (2009)
Workshop on Software Engineering in Health Care (SEHC) (with B Paech), 2009 31st International Conference on Software Engineering, Companion Volume (2009)
2008
Analyzing Medical Processes (with B Chen, LA Clarke, GS Avrunin, EA Henneman, and PL Henneman), ICSE'08 Proceedings of the Thirtieth International Conference on Software Engineering (2008)
Automated fault tree analysis for engineering design optimization (with TF Shao, ZF Lin, S Krishnamurty, and IR Grosse), Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference 2007, Vol 5, Pts A-C, (2008)
Designing Property Specifications to Improve the Safety of the Blood Transfusion Process (with EA Henneman, R Cobleigh, GS Avrunin, LA Clarke, and PL Henneman), Transfusion Medicine Reviews (2008)
Determining the impact of software engineering research on practice (with C Ghezzi, J Kramer, AL Wolf, B Ryder, ML Soffa, J Estublier, D Rombach, M Ciolkowski, W Emmerich, M Aoyama, LA Clarke, and DS Rosenblum), Computer (2008)
Formally Defining Medical Processes (with S Christov, B Chen, GS Avrunin, LA Clarke, D Brown, L Cassells, and W Mertens), Methods of Information in Medicine (2008)
2007
Engineering medical processes to improve their safety (with GS Avrunin, B Chen, LA Clarke, R Cobleigh, EA Henneman, and PL Henneman), Situational Method Engineering: Fundamentals and Experiences (2007)
Ensuring reliable datasets for environmental models and forecasts (with ER Boose, AM Ellisona, LA Clarke, R Podorozhny, JL Hadley, A Wise, and DR Foster), Ecological Informatics (2007)
Increasing patient safety and efficiency in transfusion therapy using formal process definitions (with EA Henneman, GS Avrunin, LA Clarke, C Andrzejewski, K Merrigan, R Cobleigh, K Frederick, E Katz-Bassett, and PL Henneman), Transfusion Medicine Reviews (2007)
Representing process variation with a process family (with BI Simidchieva and LA Clarke), Software Process Dynamics and Agility, Proceedings (2007)
2006
Analytic webs support the synthesis of ecological data sets (with AM Ellison, L Clarke, JL Hadley, A Wise, E Boose, DR Foster, A Hanson, D Jensen, P Kuzeja, E Riseman, and H Schultz), Ecology (2006)
Applying little-JIL to describe process-agent knowledge in SoftPM (with JC Xiao, L Zhang, A Wise, and Q Wang), Software Process Change (2006)
Automatic fault tree derivation from Little-JIL process definitions (with B Chen, GS Avrunin, and LA Clarke), Software Process Change (2006)
Definition and analysis of election processes (with MS Raunak, B Chen, A Elssamadisy, and LA Clarke), Software Process Change (2006)
Ubiquitous process engineering: Applying software process technology to other domains, Software Process Change (2006)
2005
Automatically analyzing software processes: Experience report (with RM Podorozhny and DE Perry), Unifying the Software Process Spectrum (2005)
Process definition language support for rapid simulation prototyping (with MS Raunak), Unifying the Software Process Spectrum (2005)
Process programming to support medical safety: A case study on blood transfusion (with LA Clarke, Y Chen, GS Avrunin, B Chen, R Cobleigh, K Frederick, and EA Henneman), Unifying the Software Process Spectrum (2005)
Process technology to facilitate the conduct of science (with A Wise, LA Clarke, AM Ellison, JL Hadley, E Boose, and DR Foster), Unifying the Software Process Spectrum (2005)
2003
Formalizing rework in software processes (with AG Cass and SM Sutton), Software Process Technology, Proceedings (2003)
New Software Engineering Faculty Symposium (NSEFS 03), 25TH International Conference on Software Engineering, Proceedings (2003)
2002
FLAVERS: A finite state verification technique for software systems (with JM Cobleigh and LA Clarke), IBM Systems Journal (2002)
Lightweight vs. heavyweight processes: Is this even the right question? (with P Kruchten, M Fowler, and W Schafer), ICSE 2002: Proceedings of the 24th International Conference on Software Engineering (2002)
PROPEL: An approach supporting property elucidation (with RL Smith, GS Avrunin, and LA Clarke), ICSE 2002: Proceedings of the 24th International Conference on Software Engineering (2002)
2001
Frameworks for reasoning about agent based systems (with LA Clarke), Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems (2001)
Integrating high-level and detailed agent coordination into a layered architecture (with XQ Zhang, A Raja, B Lerner, V Lesser, and T Wagner), Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems (2001)
New software engineering faculty symposium (with G Silberman and K Wong), 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 (with JM Cobleigh and LA Clarke), Proceedings of the 23rd International Conference on Software Engineering (2001)
1999
Modeling resources for activity coordination and scheduling (with RM Podorozhny and BS Lerner), Coordination Languages and Models (1999)
1998
Efficient composite data flow analysis applied to concurrent programs (with G Naumovich and LA Clarke), ACM Sigplan Notices (1998)