Travelled to:1 × Austria
1 × Cyprus
1 × Finland
1 × France
1 × Ireland
1 × Italy
1 × Switzerland
13 × USA
2 × Canada
2 × Germany
2 × Japan
2 × United Kingdom
Collaborated with:L.A.Clarke ∅ G.Naumovich B.I.Simidchieva J.M.Cobleigh A.G.Cass S.M.S.Jr. A.E.Wise G.S.Avrunin E.K.McCall R.M.Podorozhny B.S.Lerner K.M.Olender B.Raither G.Clemm E.W.Myers L.D.Fosdick P.L.Henneman M.J.Maybee D.Heimbigner D.J.Richardson S.L.Aha J.Xiao Q.Wang M.Li P.Kruchten M.Fowler W.Schäfer R.L.Smith T.J.Sliski M.P.Billmers M.B.Dwyer S.Y.Shin Y.Brun H.Balasubramanian M.L.Griss Q.Chen G.A.Bolcer R.R.Kessler B.Chen E.A.Henneman B.W.Boehm M.Evangelist V.Gruhn J.Kramer E.F.Miller A.M.Ellison E.R.Boose J.L.Hadley
Talks about:softwar (14) process (13) environ (5) languag (4) generat (4) analysi (4) system (4) verif (4) flow (4) data (4)
♂ Person: Leon J. Osterweil
DBLP: Osterweil:Leon_J=
Facilitated 4 volumes:
EdGCh
GChEdContributed to:
2015
20142011201020082008
2005
2003200220022001200120002000
2000
19991998
199819971997199619961989
19871987
1983198219811976Wrote 36 papers:
- FASE-2015-ShinBOBH #prototype #specification
- Resource Specification for Prototyping Human-Intensive Systems (SYS, YB, LJO, HB, PLH), pp. 332–346.
- SPLC-2014-SimidchievaO #composition #generative #product line #verification
- Generation, composition, and verification of families of human-intensive systems (BIS, LJO), pp. 207–216.
- ICSE-2011-SimidchievaO #process
- Characterizing process variation (BIS, LJO), pp. 836–839.
- FASE-2010-XiaoOWL #development #scheduling
- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments (JX, LJO, QW, ML), pp. 107–122.
- FSE-2008-OsterweilCEPWBH #dataset #experience #process #using #workflow
- Experience in using a process language to define scientific workflow and generate dataset provenance (LJO, LAC, AME, RMP, AEW, ERB, JLH), pp. 319–329.
- ICSE-2008-ChenAHCOH #process
- Analyzing medical processes (BC, GSA, EAH, LAC, LJO, PLH), pp. 623–632.
- ASE-2005-CassO #design #performance #process
- Process support to help novices design software faster and better (AGC, LJO), pp. 295–299.
- ESEC-FSE-2003-Osterweil #comprehension #process #re-engineering #research
- Understanding process and the quest for deeper questions in software engineering research (LJO), pp. 6–14.
- FSE-2002-CobleighOWL #adaptation #architecture #composition
- Containment units: a hierarchically composable architecture for adaptive systems (JMC, LJO, AEW, BSL), pp. 159–165.
- ICSE-2002-OsterweilKFS #lightweight #process #question
- Lightweight vs. heavyweight processes: is this even the right question? (LJO, PK, MF, WS), p. 649.
- ICSE-2002-SmithACO #approach #named
- PROPEL: an approach supporting property elucidation (RLS, GSA, LAC, LJO), pp. 11–21.
- ESEC-FSE-2001-SliskiBCO #architecture #evolution #flexibility
- An architecture for flexible, evolvable process-driven user-guidance environments (TJS, MPB, LAC, LJO), pp. 33–43.
- ICSE-2001-CobleighCO #algorithm #analysis #data flow #finite #verification
- The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (JMC, LAC, LJO), pp. 37–46.
- ASE-2000-WiseCLMOS #coordination #re-engineering #using
- Using Little-JIL to Coordinate Agents in Software Engineering (AEW, AGC, BSL, EKM, LJO, SMSJ), pp. 155–164.
- ICSE-2000-CassLSMWO #interpreter #named #process
- Little-JIL/Juliette: a process definition language and interpreter (AGC, BSL, SMSJ, EKM, AEW, LJO), pp. 754–757.
- ICSE-2000-OsterweilBEGKM #re-engineering #research #why
- Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.
- ISSTA-2000-CobleighCO #process #verification
- Verifying properties of process definitions (JMC, LAC, LJO), pp. 96–101.
- TOOLS-USA-1999-GrissCBKO #question #workflow
- Agents and Workflow — An Intimate Connection, or Just Friends? (MLG, QC, GAB, RRK, LJO), pp. 558–562.
- ICSE-1998-McCallCO #adaptation #approach #generative
- An Adaptable Generation Approach to Agenda Management (EKM, LAC, LJO), pp. 282–291.
- PASTE-1998-NaumovichCO #analysis #concurrent #data flow #performance #source code
- Efficient Composite Data Flow Analysis Applied to Concurrent Programs (GN, LAC, LJO), pp. 51–58.
- ESEC-FSE-1997-NaumovichACO #architecture #static analysis
- Applying Static Analysis to Software Architectures (GN, GSA, LAC, LJO), pp. 77–93.
- ESEC-FSE-1997-SuttonO #design #process
- The Design of a Next-Generation Process Language (SMSJ, LJO), pp. 142–158.
- ICSE-1997-NaumovichCOD #concurrent #verification
- Verification of Concurrent Software with FLAVERS (GN, LAC, LJO, MBD), pp. 594–595.
- ICSE-1997-Osterweil #process
- Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (LJO), pp. 540–548.
- ICSE-1997-PodorizhnyO #case study #comparison #design #experience #modelling
- The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report (RMP, LJO), pp. 303–313.
- FSE-1996-NaumovichCO #analysis #communication #data flow #protocol #using #verification
- Verification of Communication Protocols Using Data Flow Analysis (GN, LAC, LJO), pp. 93–105.
- ICSE-1996-MaybeeHO #distributed #multi
- Multilanguage Interoperability in Distributed Systems (MJM, DH, LJO), pp. 451–463.
- TAV-1989-OlenderO #constraints #named
- Cesar: A Static Sequencing Constraint Analyzer (KMO, LJO), pp. 66–74.
- TAV-1989-RichardsonAO #process #programming #testing
- Integrating Testing Techniques Through Process Programming (DJR, SLA, LJO), pp. 219–228.
- ESEC-1987-RaitherO #c #named #testing
- TRICS: A Testing Tool for C (BR, LJO), pp. 254–262.
- ICSE-1987-Osterweil #process
- Software Processes Are Software Too (LJO), pp. 2–13.
- ICSE-1987-Osterweil87a #lessons learnt
- Lessons of Current Environments (LJO), p. 286.
- Ada-1983-OsterweilC #approach
- The Toolpack/IST Approach to Extensibility in Software Environments (LJO, GC), pp. 133–163.
- ICSE-1982-Osterweil #development #named #research
- Toolpack — An Experimental Software Development Environment Research Project (LJO), pp. 166–177.
- ICSE-1981-MyersO #fortran
- BIGMAC II: A FORTRAN Language Augmentation Tool (EWM, LJO), pp. 410–421.
- ICSE-1976-FosdickO #data flow #detection #interprocedural
- The Detection of Anomalous Interprocedural Data Flow (LDF, LJO), pp. 624–628.