2009 |
113 | EE | Aaron G. Cass,
Leon J. Osterweil,
Alexander E. Wise:
A Pattern for Modeling Rework in Software Development Processes.
ICSP 2009: 305-316 |
112 | EE | Borislava I. Simidchieva,
Leon J. Osterweil,
Alexander E. Wise:
Structural Considerations in Defining Executable Process Models.
ICSP 2009: 366-376 |
2008 |
111 | EE | Borislava I. Simidchieva,
Matthew Marzilli,
Lori A. Clarke,
Leon J. Osterweil:
Specifying and verifying requirements for election processes.
DG.O 2008: 63-72 |
110 | EE | Bin Chen,
George S. Avrunin,
Elizabeth A. Henneman,
Lori A. Clarke,
Leon J. Osterweil,
Philip L. Henneman:
Analyzing medical processes.
ICSE 2008: 623-632 |
109 | EE | 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 |
108 | EE | Leon J. Osterweil,
Lori A. Clarke,
Aaron M. Ellison,
Rodion M. Podorozhny,
Alexander E. Wise,
Emery Boose,
Julian L. Hadley:
Experience in using a process language to define scientific workflow and generate dataset provenance.
SIGSOFT FSE 2008: 319-329 |
107 | EE | Barbara Staudt Lerner,
Stefan Christov,
Alexander E. Wise,
Leon J. Osterweil:
Exception handling patterns for processes.
Workshop on Exception Handling 2008: 55-61 |
106 | EE | Leon J. Osterweil:
What is software?
Autom. Softw. Eng. 15(3-4): 261-273 (2008) |
105 | EE | Leon J. Osterweil,
Carlo Ghezzi,
Jeff Kramer,
Alexander L. Wolf:
Determining the Impact of Software Engineering Research on Practice.
IEEE Computer 41(3): 39-49 (2008) |
2007 |
104 | EE | 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 |
103 | EE | 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 |
102 | EE | Leon J. Osterweil:
A Future for Software Engineering?
FOSE 2007: 1-11 |
101 | EE | Borislava I. Simidchieva,
Lori A. Clarke,
Leon J. Osterweil:
Representing Process Variation with a Process Family.
ICSP 2007: 109-120 |
100 | EE | 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 |
99 | EE | 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 |
98 | EE | Leon J. Osterweil:
What we learn from the study of ubiquitous processes.
Software Process: Improvement and Practice 12(5): 399-414 (2007) |
97 | EE | 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.
Software Process: Improvement and Practice 12(5): 437-448 (2007) |
2006 |
96 | | 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 |
95 | EE | 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 |
94 | EE | 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 |
93 | EE | 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 |
92 | EE | Mohammad S. Raunak,
Bin Chen,
Amr Elssamadisy,
Lori A. Clarke,
Leon J. Osterweil:
Definition and Analysis of Election Processes.
SPW/ProSim 2006: 178-185 |
91 | EE | 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 |
90 | EE | Leon J. Osterweil:
Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains.
SPW/ProSim 2006: 39-47 |
2005 |
89 | | 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
Springer 2005 |
88 | EE | Aaron G. Cass,
Leon J. Osterweil:
Process support to help novices design software faster and better.
ASE 2005: 295-299 |
87 | EE | 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 |
86 | EE | 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 |
85 | EE | Leon J. Osterweil,
Alexander E. Wise,
Lori A. Clarke,
Aaron M. Ellison,
Julian L. Hadley,
Emery Boose,
David R. Foster:
Process Technology to Facilitate the Conduct of Science.
ISPW 2005: 403-415 |
84 | EE | Mohammad S. Raunak,
Leon J. Osterweil:
Process Definition Language Support for Rapid Simulation Prototyping.
ISPW 2005: 416-432 |
83 | EE | Rodion M. Podorozhny,
Dewayne E. Perry,
Leon J. Osterweil:
Automatically Analyzing Software Processes: Experience Report.
ISPW 2005: 482-497 |
82 | EE | Leon J. Osterweil:
Unifying Microprocess and Macroprocess Research.
ISPW 2005: 68-74 |
81 | EE | Leon J. Osterweil,
Carlo Ghezzi,
Jeff Kramer,
Alexander L. Wolf:
Editorial.
ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005) |
2004 |
80 | EE | Ethan Katsh,
Leon J. Osterweil,
Norman K. Sondheimer:
Process Technology for Achieving Government Online Dispute Resolution.
DG.O 2004 |
2003 |
79 | EE | Leon J. Osterweil:
Understanding process and the quest for deeper questions in software engineering research.
ESEC / SIGSOFT FSE 2003: 6-14 |
78 | EE | Aaron G. Cass,
Stanley M. Sutton Jr.,
Leon J. Osterweil:
Formalizing Rework in Software Processes.
EWSPT 2003: 16-31 |
77 | EE | Leon J. Osterweil:
New Software Engineering Faculty Symposium (NSEFS 03).
ICSE 2003: 767-768 |
76 | EE | 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 Software Engineering Notes 28(4): 27-35 (2003) |
2002 |
75 | EE | Rachel L. Smith,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil:
PROPEL: an approach supporting property elucidation.
ICSE 2002: 11-21 |
74 | EE | Leon J. Osterweil,
Philippe Kruchten,
Martin Fowler,
Wilhelm Schäfer:
Lightweight vs. heavyweight processes: is this even the right question?
ICSE 2002: 649 |
73 | EE | 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 |
72 | EE | Jamieson M. Cobleigh,
Lori A. Clarke,
Leon J. Osterweil:
FLAVERS: A finite state verification technique for software systems.
IBM Systems Journal 41(1): 140- (2002) |
2001 |
71 | EE | 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 |
70 | EE | Aaron G. Cass,
Leon J. Osterweil:
Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper.
EWSPT 2001: 145-151 |
69 | | 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 |
68 | | Leon J. Osterweil:
Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice.
ICSE 2001: 697-697 |
67 | | 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-698 |
66 | | Leon J. Osterweil,
Gabriel M. Silberman,
Kenny Wong:
New Software Engineering Faculty Symposium.
ICSE 2001: 813-813 |
2000 |
65 | EE | 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 |
64 | EE | Leon J. Osterweil,
Lori A. Clarke:
Frameworks for Reasoning about Agent Based Systems.
Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 64-71 |
63 | EE | 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 |
62 | EE | S. Bhattacharyya,
Leon J. Osterweil:
Relocation in Mobile Process-Centered Software Development Environments.
DEXA Workshop 2000: 198-203 |
61 | EE | 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 |
60 | EE | 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 |
59 | EE | Jamieson M. Cobleigh,
Lori A. Clarke,
Leon J. Osterweil:
Verifying properties of process definitions.
ISSTA 2000: 96-101 |
58 | EE | Leon J. Osterweil,
Lori A. Clarke:
Continuous Self-Evaluation for the Self-Improvement of Software.
IWSAS 2000: 27-39 |
57 | EE | Aaron G. Cass,
Leon J. Osterweil:
Design Guidance through the Controlled Application of Constraints.
IWSSD 2000: 195- |
56 | EE | 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 |
1999 |
55 | EE | Rodion M. Podorozhny,
Barbara Staudt Lerner,
Leon J. Osterweil:
Modeling Resources for Activity Coordination and Scheduling.
COORDINATION 1999: 307-322 |
54 | EE | 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 |
53 | EE | David 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 |
52 | | Barbara Staudt Lerner,
Leon J. Osterweil,
Stanley M. Sutton Jr.,
Alexander E. Wise:
Programming Process Coordination in Little-JIL.
EWSPT 1998: 127-131 |
51 | | Leon J. Osterweil:
JIL and Little-JIL Process Programming Languages.
EWSPT 1998: 152 |
50 | | Eric K. McCall,
Lori A. Clarke,
Leon J. Osterweil:
An Adaptable Generation Approach to Agenda Management.
ICSE 1998: 282-291 |
49 | EE | Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil:
Efficient Composite Data Flow Analysis Applied to Concurrent Programs.
PASTE 1998: 51-58 |
48 | EE | Xiping Song,
Leon J. Osterweil:
Engineering Software Design Processes to Guide Process Execution.
IEEE Trans. Software Eng. 24(9): 759-775 (1998) |
1997 |
47 | EE | Stanley M. Sutton Jr.,
Leon J. Osterweil:
The Design of a Next-Generation Process Language.
ESEC / SIGSOFT FSE 1997: 142-158 |
46 | EE | Gleb Naumovich,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil:
Applying Static Analysis to Software Architectures.
ESEC / SIGSOFT FSE 1997: 77-93 |
45 | EE | Rodion M. Podorozhny,
Leon J. Osterweil:
The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.
ICSE 1997: 303-313 |
44 | EE | Leon J. Osterweil:
Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9.
ICSE 1997: 540-548 |
43 | EE | Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil,
Matthew B. Dwyer:
Verification of Concurrent Software with FLAVERS.
ICSE 1997: 594-595 |
1996 |
42 | EE | Mark J. Maybee,
Dennis Heimbigner,
Leon J. Osterweil:
Multilanguage Interoperability in Distributed Systems.
ICSE 1996: 451-463 |
41 | EE | Stanley M. Sutton Jr.,
Leon J. Osterweil:
Product families and process families.
ISPW 1996: 109-111 |
40 | | Leon J. Osterweil:
Improving the quality of software quality determination processes.
Quality of Numerical Software 1996: 90-105 |
39 | EE | Gleb Naumovich,
Lori A. Clarke,
Leon J. Osterweil:
Verification of Communication Protocols Using Data Flow Analysis.
SIGSOFT FSE 1996: 93-105 |
38 | | Leon J. Osterweil:
Strategic Directions in Software Quality.
ACM Comput. Surv. 28(4): 738-750 (1996) |
1995 |
37 | EE | 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) |
36 | EE | F. E. Eassa,
Leon J. Osterweil,
M. Z. Abdel Mageed:
AIDA: A dynamic analyzer for Ada programs.
Journal of Systems and Software 31(3): 239-255 (1995) |
1994 |
35 | | Hadar Ziv,
Leon J. Osterweil:
Research Issues in the Intersection of Hypertext and Software Development Environments.
ICSE Workshop on SE-HCI 1994: 268-279 |
34 | | Dennis Heimbigner,
Leon J. Osterweil:
An argument for the elimination of roles.
ISPW 1994: 122-123 |
33 | | Leon J. Osterweil,
Dennis Heimbigner:
An alternative to software process languages.
ISPW 1994: 129-131 |
32 | EE | Xiping Song,
Leon J. Osterweil:
Experience with an Approach to Comparing Software Design Methodologies.
IEEE Trans. Software Eng. 20(5): 364-384 (1994) |
1992 |
31 | EE | Kurt M. Olender,
Leon J. Osterweil:
Interprocedural Static Analysis of Sequencing Constraints.
ACM Trans. Softw. Eng. Methodol. 1(1): 21-52 (1992) |
30 | | Xiping Song,
Leon J. Osterweil:
Toward Objective, Systematic Design-Method Comparisons.
IEEE Software 9(3): 43-53 (1992) |
1990 |
29 | | Leon J. Osterweil,
Richard N. Taylor:
The architecture of the Arcadia-1 process centered software environment.
ISPW 1990: 155-158 |
28 | EE | Geoffrey Clemm,
Leon J. Osterweil:
A Mechanism for Environment Integration.
ACM Trans. Program. Lang. Syst. 12(1): 1-25 (1990) |
27 | EE | 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) |
1989 |
26 | | Leon J. Osterweil:
Experiences with process programming.
ISPW 1989: 109-111 |
25 | | Leon J. Osterweil:
Example process program code, coded in Appl/A.
ISPW 1989: 169-170 |
24 | | Izhar Shy,
Richard N. Taylor,
Leon J. Osterweil:
A Metaphor and a Conceptual Architecture for Software Development Environments.
SEE 1989: 77-97 |
23 | EE | Debra J. Richardson,
Stephanie Leif Aha,
Leon J. Osterweil:
Integrating Testing Techniques Through Process Programming.
Symposium on Testing, Analysis, and Verification 1989: 219-228 |
22 | EE | Kurt M. Olender,
Leon J. Osterweil:
Cesar: A Static Sequencing Constraint Analyzer.
Symposium on Testing, Analysis, and Verification 1989: 66-74 |
1988 |
21 | | Leon J. Osterweil:
Automated support for the enactment of rigorously described software processes.
ISPW 1988: 121-125 |
20 | | 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 |
19 | | Barbara Raither,
Leon J. Osterweil:
TRICS: A Testing Tool for C.
ESEC 1987: 254-262 |
18 | | Leon J. Osterweil:
Software Processes Are Software Too.
ICSE 1987: 2-13 |
17 | | Leon J. Osterweil:
Lessons of Current Environments.
ICSE 1987: 286 |
1986 |
16 | | Leon J. Osterweil:
A Process-Object Centered View of Software Environment Architecture.
Advanced Programming Environments 1986: 156-174 |
15 | | Leon J. Osterweil:
Software processes are software too.
ISPW 1986: 79-80 |
1985 |
14 | | 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 |
13 | | Leon J. Osterweil,
Geoffrey Clemm:
The Toolpack/IST Approach to Extensibility in Software Environments.
Ada Software Tools Interfaces 1983: 133-163 |
12 | | Leon J. Osterweil:
Toolpack - An Experimental Software Development Environment Research Project.
IEEE Trans. Software Eng. 9(6): 673-685 (1983) |
1982 |
11 | | Leon J. Osterweil:
Toolpack - An Experimental Software Development Environment Research Project.
ICSE 1982: 166-177 |
1981 |
10 | EE | 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 |
9 | | Eugene W. Myers,
Leon J. Osterweil:
BIGMAC II: A FORTRAN Language Augmentation Tool.
ICSE 1981: 410-421 |
8 | | Leon J. Osterweil:
Software Engineering Research: Directions for the Next Five Years.
IEEE Computer 14(4): 35-43 (1981) |
1980 |
7 | | 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) |
1979 |
6 | EE | Leon J. Osterweil,
John R. Brown,
Leon G. Stucki:
ASSET: A life cycle verification and visibility system.
Journal of Systems and Software 1: 77-86 (1979) |
1976 |
5 | EE | Leon J. Osterweil,
Lloyd D. Fosdick:
Some experience with DAVE: a Fortran program analyzer.
AFIPS National Computer Conference 1976: 909-915 |
4 | | Lloyd D. Fosdick,
Leon J. Osterweil:
The Detection of Anomalous Interprocedural Data Flow.
ICSE 1976: 624-628 |
3 | | Lloyd D. Fosdick,
Leon J. Osterweil:
Data Flow Analysis in Software Reliability.
ACM Comput. Surv. 8(3): 305-330 (1976) |
2 | | 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) |
1 | | Leon J. Osterweil,
Lloyd D. Fosdick:
DAVE-A Validation Error Detection and Documentation System for Fortran Programs.
Softw., Pract. Exper. 6(4): 473-486 (1976) |