Travelled to:1 × Austria
1 × China
1 × Japan
1 × Sweden
1 × Switzerland
19 × USA
2 × France
2 × Germany
2 × United Kingdom
3 × Canada
Collaborated with:G.S.Avrunin L.J.Osterweil G.Naumovich M.B.Dwyer J.M.Cobleigh D.J.Richardson P.L.Tarr D.L.Long J.Tan A.Podgurski ∅ A.T.Chamillard B.Chen S.Wang R.L.Cobleigh E.K.McCall K.A.Nies M.C.Thompson A.L.Wolf J.C.Wileden S.F.Siegel A.Mironova R.L.Smith T.J.Sliski M.P.Billmers S.J.Zeil D.Wang J.Pan S.Zilberstein S.Leue E.A.Henneman P.L.Henneman A.M.Ellison R.M.Podorozhny A.E.Wise E.R.Boose J.L.Hadley
Talks about:analysi (12) flow (10) program (9) concurr (9) data (9) properti (6) process (6) verif (6) softwar (5) use (5)
♀ Person: Lori A. Clarke
DBLP: Clarke:Lori_A=
Facilitated 3 volumes:
EdGChEdContributed to:
2010
20082008
200620062006
2006200420042002
2001200120002000
19991999
19991998199819971997199619961996199519941993199319911989198919851981Wrote 37 papers:
- SEKE-2010-WangPACC #analysis #automation #process
- An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language (DW, JP, GSA, LAC, BC), pp. 765–770.
- 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.
- CBSE-2006-WangAC #architecture #design
- Architectural Building Blocks for Plug-and-Play System Design (SW, GSA, LAC), pp. 98–113.
- FSE-2006-CobleighAC #precise #specification
- User guidance for creating precise and accessible property specifications (RLC, GSA, LAC), pp. 208–218.
- ICSE-2006-TanAC #finite #verification
- Managing space for finite-state verification (JT, GSA, LAC), pp. 152–161.
- ISSTA-2006-CobleighAC #composition #reasoning
- Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning (JMC, GSA, LAC), pp. 97–108.
- ISSTA-2006-SiegelMAC #execution #model checking #parallel #source code #symbolic computation #using #verification
- Using model checking with symbolic execution to verify parallel numerical programs (SFS, AM, GSA, LAC), pp. 157–168.
- FSE-2004-TanACZL
- Heuristic-guided counterexample search in FLAVERS (JT, GSA, LAC, SZ, SL), pp. 201–210.
- ICSE-2004-TanAC #heuristic #refinement
- Heuristic-Based Model Refinement for FLAVERS (JT, GSA, LAC), pp. 635–644.
- 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.
- FSE-2000-NaumovichC #classification
- Classifying properties: an alternative to the safety-liveness classification (GN, LAC), pp. 159–168.
- ISSTA-2000-Clarke #finite #validation #verification
- Finite state verification: An emerging technology for validating software systems (LAC), p. 146.
- ISSTA-2000-CobleighCO #process #verification
- Verifying properties of process definitions (JMC, LAC, LJO), pp. 96–101.
- ESEC-FSE-1999-NaumovichAC #algorithm #concurrent #java #performance #source code
- An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs (GN, GSA, LAC), pp. 338–354.
- ICSE-1999-NaumovichAC #analysis #concurrent #data flow #java #source code
- Data Flow Analysis for Checking Properties of Concurrent Java Programs (GN, GSA, LAC), pp. 399–410.
- PASTE-1999-NaumovichCC #analysis #data flow #partial order #performance #using #verification
- Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification (GN, LAC, JMC), pp. 57–65.
- ICSE-1998-McCallCO #adaptation #approach #generative
- An Adaptable Generation Approach to Agenda Management (EKM, LAC, LJO), pp. 282–291.
- ICSE-1998-TarrC #consistency
- Consistency Management for Complex Applications (PLT, LAC), pp. 230–239.
- 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.
- ICSE-1997-NaumovichCOD #concurrent #verification
- Verification of Concurrent Software with FLAVERS (GN, LAC, LJO, MBD), pp. 594–595.
- 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-DwyerC #architecture #data flow #flexibility
- A Flexible Architecture for Building Data Flow Analyzers (MBD, LAC), pp. 554–564.
- ISSTA-1996-ChamillardC #analysis #concurrent #petri net #source code
- Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs (ATC, LAC), pp. 24–38.
- ICSE-1995-DwyerCN #concurrent #petri net #representation #source code
- A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.
- FSE-1994-DwyerC #analysis #concurrent #data flow #source code #verification
- Data Flow Analysis for Verifying Properties of Concurrent Programs (MBD, LAC), pp. 62–75.
- FSE-1993-TarrP #named #re-engineering
- PLEIADES: An Object Management System for Software Engineering Environments (PLT, LAC), pp. 56–70.
- ISSTA-1993-ThompsonRC #data flow #detection #fault
- An Information Flow Model of Fault Detection (MCT, DJR, LAC), pp. 182–192.
- TAV-1991-LongC #analysis #concurrent #data flow
- Data Flow Analysis of Concurrent Systems that Use the Rendezvous Model of Synchronization (DLL, LAC), pp. 21–35.
- ICSE-1989-LongC #analysis #concurrent #graph #interactive
- Task Interaction Graphs for Concurrency Analysis (DLL, LAC), pp. 44–52.
- TAV-1989-PodgurskiC #debugging #dependence #maintenance #testing
- The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance (AP, LAC), pp. 168–178.
- ICSE-1985-ClarkePRZ #comparison #data flow
- A Comparison of Data Flow Path Selection Criteria (LAC, AP, DJR, SJZ), pp. 244–251.
- ICSE-1985-WolfCW #development #incremental #interface
- Interface Control and Incremental Development in the PIC Environment (ALW, LAC, JCW), pp. 75–82.
- ICSE-1981-RichardsonC #analysis #reliability
- A Partition Analysis Method to Increase Program Reliability (DJR, LAC), pp. 244–253.