Travelled to:1 × Australia
1 × Greece
1 × The Netherlands
2 × Germany
4 × Canada
9 × USA
Collaborated with:R.E.K.Stirewalt Y.S.Ramakrishna K.Stirewalt G.S.Avrunin S.D.Fleming E.Kraemer S.Xie L.E.Moser P.M.Melliar-Smith J.C.Corbett J.C.Wileden Q.Yu G.Kutty M.J.McGill Y.Huang B.Sarna-Starosta R.Behrends D.S.Keyes M.Chung R.Dolin D.Agrawal A.E.Abbadi G.Kutty U.A.Buy
Talks about:concurr (6) analysi (5) system (5) softwar (4) toolset (3) graphic (3) specif (3) experi (3) model (3) logic (3)
Person: Laura K. Dillon
DBLP: Dillon:Laura_K=
Facilitated 1 volumes:
EdContributed to:
2011
20092008
2008
2008
2006
200520011999
19971997
1996
199619941993199219911989Wrote 19 papers:
- ISSTA-2011-McGillDS #analysis #concept #modelling #scalability
- Scalable analysis of conceptual data models (MJM, LKD, REKS), pp. 56–66.
- ICPC-2009-HuangDS #policy #prototype #source code
- Prototyping synchronization policies for existing programs (YH, LKD, REKS), pp. 289–290.
- ICPC-2008-FlemingKSDX #comprehension #concurrent #maintenance
- Refining Existing Theories of Program Comprehension During Maintenance for Concurrent Software (SDF, EK, REKS, LKD, SX), pp. 23–32.
- ICSE-2008-FlemingKSXD #case study #concurrent #maintenance #student
- A study of student strategies for the corrective maintenance of concurrent software (SDF, EK, REKS, SX, LKD), pp. 759–768.
- SOFTVIS-2008-XieKSDF #diagrams #sequence chart
- Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments (SX, EK, REKS, LKD, SDF), pp. 9–18.
- SEKE-2006-Sarna-StarostaSD #approach #concurrent #modelling #multi #thread
- A Model-based Design-for-Verification Approach to Checking for Deadlock in Multi-threaded Applications (BSS, REKS, LKD), pp. 120–125.
- CBSE-2005-BehrendsSD #component #concurrent #design #multi #thread
- A Component-Oriented Model for the Design of Safe Multi-threaded Applications (RB, REKS, LKD), pp. 251–266.
- ICSE-2001-DillonS #analysis #graph #specification #using
- Leightweight Analysis of Operational Specifications Using Inference Graphs (LKD, KS), pp. 57–67.
- ICSE-2001-StirewaltD #analysis #approach #component #formal method #tool support
- A Component-Based Approach to Building Formal Analysis Tools (KS, LKD), pp. 167–176.
- ICSE-1999-KeyesDC #analysis #framework
- Analysis of a Scheduler for a CAD Framework (DSK, LKD, MJC), pp. 152–161.
- CIKM-1997-DolinAAD #architecture #distributed #named #scalability
- Pharos: A Scalable Distributed Architecture for Locating Heterogeneous Information Sources (RD, DA, AEA, LKD), pp. 348–355.
- ICSE-1997-AvruninCD #realtime
- Analyzing Partially-Implemented Real-Time Systems (GSA, JCC, LKD), pp. 228–238.
- CAV-1996-MoserMRKD #logic #realtime #tool support #visual notation
- The Real-Time Graphical Interval Logic Toolset (LEM, PMMS, YSR, GK, LKD), pp. 446–449.
- FSE-1996-DillonR #generative #logic #specification
- Generating Oracles from Your Favorite Temporal Logic Specifications (LKD, YSR), pp. 106–117.
- FSE-1994-DillonY #concurrent
- Oracles for Checking Temporal Properties of Concurrent Systems (LKD, QY), pp. 140–153.
- CAV-1993-KuttyRMDM #concurrent #logic #tool support #verification #visual notation
- A Graphical Interval Logic Toolset for Verifying Concurrent Systems (GK, YSR, LEM, LKD, PMMS), pp. 138–153.
- ICSE-1992-DillonKMMR #concurrent #specification #visual notation
- Graphical Specifications for Concurrent Software Systems (LKD, GK, LEM, PMMS, YSR), pp. 214–224.
- TAV-1991-AvruninBCDW #tool support
- Experiments with an Improved Constrained Expression Toolset (GSA, UAB, JCC, LKD, JCW), pp. 178–187.
- TAV-1989-AvruninWD #analysis #automation #concurrent
- Experiments in Automated Analysis of Concurrent Software Systems (GSA, JCW, LKD), pp. 124–130.