Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Laura K. Dillon
@inproceedings{DBLP:conf/sigcse/McDonaldD21,
author = {Andrew McDonald and
Laura K. Dillon},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {Virtual Outreach: Lessons from a Coding Club's Response to {COVID-19}},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {418--424},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3432559},
doi = {10.1145/3408877.3432559},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/McDonaldD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpcc/OwenDDRLK17,
author = {Charles B. Owen and
Laura K. Dillon and
Alison Dobbins and
Matthew Rhodes and
Madeline Levinson and
Noah Keppers},
title = {Computer literacy through dance: the dancing computer project},
journal = {Int. J. Pervasive Comput. Commun.},
volume = {13},
number = {1},
pages = {26--40},
year = {2017},
url = {https://doi.org/10.1108/IJPCC-02-2017-0012},
doi = {10.1108/IJPCC-02-2017-0012},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpcc/OwenDDRLK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/DuBowVDH17,
author = {Wendy M. DuBow and
Ignatios Vakalis and
Laura K. Dillon and
Helen H. Hu},
editor = {Michael E. Caspersen and
Stephen H. Edwards and
Tiffany Barnes and
Daniel D. Garcia},
title = {Increasing Diversity in the Face of Enrollment Increases},
booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
pages = {655--656},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3017680.3017683},
doi = {10.1145/3017680.3017683},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/DuBowVDH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/momm/OwenDDKLR16,
author = {Charles B. Owen and
Laura K. Dillon and
Alison Dobbins and
Noah Keppers and
Madeline Levinson and
Matthew Rhodes},
editor = {Bessam Abdulrazak and
Eric Pardede and
Matthias Steinbauer and
Ismail Khalil and
Gabriele Anderst{-}Kotsis},
title = {Dancing Computer: Computer Literacy though Dance},
booktitle = {Proceedings of the 14th International Conference on Advances in Mobile
Computing and Multi Media, MoMM 2016, Singapore, November 28-30, 2016},
pages = {174--180},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=3007131},
timestamp = {Tue, 06 Nov 2018 11:06:57 +0100},
biburl = {https://dblp.org/rec/conf/momm/OwenDDKLR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2016,
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781},
doi = {10.1145/2884781},
isbn = {978-1-4503-3900-1},
timestamp = {Mon, 07 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2016c,
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2889160},
isbn = {978-1-4503-4205-6},
timestamp = {Mon, 07 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2016c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/XuD15,
author = {Chang Xu and
Laura K. Dillon},
title = {{SEES} Summary: Software Engineering Educators Symposium 2014},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {40},
number = {1},
pages = {38--39},
year = {2015},
url = {https://doi.org/10.1145/2693208.2693251},
doi = {10.1145/2693208.2693251},
timestamp = {Sat, 06 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/XuD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NizolDS14,
author = {Matthew Nizol and
Laura K. Dillon and
R. E. Kurt Stirewalt},
editor = {Joanne M. Atlee and
Vinay Kulkarni and
Tony Clark and
Robert B. France and
Bernhard Rumpe},
title = {Toward tractable instantiation of conceptual data models using non-semantics-preserving
model transformations},
booktitle = {6th International Workshop on Modeling in Software Engineering, MiSE
2014, Hyderabad, India, June 2-3, 2014},
pages = {13--18},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2593770.2593771},
doi = {10.1145/2593770.2593771},
timestamp = {Tue, 03 Nov 2020 08:17:22 +0100},
biburl = {https://dblp.org/rec/conf/icse/NizolDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/comsware/HuangDS11,
author = {Yi Huang and
Laura K. Dillon and
R. E. Kurt Stirewalt},
editor = {Paul Grace and
Ren{\'{e}} Meier and
Liviu Iftode},
title = {Contract-based synchronization of {IP} telecommunication services:
a case study},
booktitle = {Proceedings of the 5th International Conference on COMmunication System
softWAre and MiddlewaRE {(COMSWARE} 2011), July 1-3, 2011, Verona,
Italy},
pages = {5},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2016551.2016556},
doi = {10.1145/2016551.2016556},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/comsware/HuangDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/HuangD11,
author = {Yi Huang and
Laura K. Dillon},
editor = {Carol Davids and
J{\"{o}}rg Ott},
title = {Developing interactive multi-user VoIP applications using synchronization
contracts with ECharts},
booktitle = {Proceedings of the 5th International Conference on Principles, Systems
and Applications of {IP} Telecommunications, IPTcomm 2011, Chicago,
Illinois, August 1-2, 2011},
pages = {8:1--8:2},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2124436.2124446},
doi = {10.1145/2124436.2124446},
timestamp = {Mon, 07 Nov 2022 10:49:04 +0100},
biburl = {https://dblp.org/rec/conf/iptcomm/HuangD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/McGillDS11,
author = {Matthew J. McGill and
Laura K. Dillon and
R. E. Kurt Stirewalt},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Scalable analysis of conceptual data models},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {56--66},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001428},
doi = {10.1145/2001420.2001428},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/McGillDS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/FlemingKSD10,
author = {Scott D. Fleming and
Eileen T. Kraemer and
R. E. Kurt Stirewalt and
Laura K. Dillon},
editor = {Christopher D. Hundhausen and
Emmanuel Pietriga and
Paloma D{\'{\i}}az and
Mary Beth Rosson},
title = {Debugging Concurrent Software: {A} Study Using Multithreaded Sequence
Diagrams},
booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing,
{VL/HCC} 2010, Legan{\'{e}}s-Madrid, Spain, 21-25 September 2010,
Proceedings},
pages = {33--40},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/VLHCC.2010.14},
doi = {10.1109/VLHCC.2010.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/FlemingKSD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KraemerD10,
author = {Eileen T. Kraemer and
Laura K. Dillon},
editor = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
title = {Groundwork for the Development of Testing Plans for Concurrent Software},
booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
- 19.03.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2621/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KraemerD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ivs/XieKSDF09,
author = {Shaohua Xie and
Eileen T. Kraemer and
R. E. Kurt Stirewalt and
Laura K. Dillon and
Scott D. Fleming},
title = {Design and evaluation of extensions to {UML} sequence diagrams for
modeling multithreaded interactions},
journal = {Inf. Vis.},
volume = {8},
number = {2},
pages = {120--136},
year = {2009},
url = {https://doi.org/10.1057/ivs.2009.6},
doi = {10.1057/IVS.2009.6},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ivs/XieKSDF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/StirewaltDK09,
author = {R. E. Kurt Stirewalt and
Laura K. Dillon and
Eileen T. Kraemer},
title = {The inference validity problem in legal discovery},
booktitle = {31st International Conference on Software Engineering, {ICSE} 2009,
May 16-24, 2009, Vancouver, Canada, Companion Volume},
pages = {303--306},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICSE-COMPANION.2009.5071007},
doi = {10.1109/ICSE-COMPANION.2009.5071007},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/StirewaltDK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/HuangCDS09,
author = {Yi Huang and
Eric Cheung and
Laura K. Dillon and
R. E. Kurt Stirewalt},
editor = {Mustaque Ahamad and
Dorgham Sisalem and
Eric Chen and
Charles Consel},
title = {A thread synchronization model for {SIP} servlet containers},
booktitle = {Principles, Systems and Applications of {IP} Telecommunications. Third
International Conference, IPTComm 2009, Atlanta, Georgia, USA, July
7-8, 2009. Proceedings},
pages = {7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595637.1595647},
doi = {10.1145/1595637.1595647},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iptcomm/HuangCDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/HuangDS09,
author = {Yi Huang and
Laura K. Dillon and
R. E. Kurt Stirewalt},
title = {Prototyping synchronization policies for existing programs},
booktitle = {The 17th {IEEE} International Conference on Program Comprehension,
{ICPC} 2009, Vancouver, British Columbia, Canada, May 17-19, 2009},
pages = {289--290},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICPC.2009.5090062},
doi = {10.1109/ICPC.2009.5090062},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/HuangDS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/McGillSD09,
author = {Matthew J. McGill and
R. E. Kurt Stirewalt and
Laura K. Dillon},
editor = {Robert Meersman and
Pilar Herrero and
Tharam S. Dillon},
title = {Automated Test Input Generation for Software That Consumes {ORM} Models},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2009 Workshops,
Confederated International Workshops and Posters, ADI, CAMS, EI2N,
ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, {OTM} Academy, SWWS, SEMELS,
Beyond SAWSDL, and {COMBEK} 2009, Vilamoura, Portugal, November 1-6,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5872},
pages = {704--713},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05290-3\_86},
doi = {10.1007/978-3-642-05290-3\_86},
timestamp = {Thu, 14 Oct 2021 10:28:27 +0200},
biburl = {https://dblp.org/rec/conf/otm/McGillSD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2009,
editor = {Gregg Rothermel and
Laura K. Dillon},
title = {Proceedings of the Eighteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2009, Chicago, IL, USA, July 19-23,
2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1572272},
doi = {10.1145/1572272},
isbn = {978-1-60558-338-9},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DillonSKXF08,
author = {Laura K. Dillon and
R. E. Kurt Stirewalt and
Eileen T. Kraemer and
Shaohua Xie and
Scott D. Fleming},
editor = {Joanne M. Atlee and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steven V{\"{o}}lkel and
Steffen Zschaler},
title = {Using formal models to objectively judge quality of multi-threaded
programs in empirical studies},
booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2008,
Leipzig, Germany, May 10-11, 2008},
pages = {33--38},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370731.1370740},
doi = {10.1145/1370731.1370740},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DillonSKXF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FlemingKSXD08,
author = {Scott D. Fleming and
Eileen T. Kraemer and
R. E. Kurt Stirewalt and
Shaohua Xie and
Laura K. Dillon},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {A study of student strategies for the corrective maintenance of concurrent
software},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {759--768},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368195},
doi = {10.1145/1368088.1368195},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FlemingKSXD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/HuangDS08,
author = {Yi Huang and
Laura K. Dillon and
R. E. Kurt Stirewalt},
editor = {Henning Schulzrinne and
Radu State and
Saverio Niccolini},
title = {On Mechanisms for Deadlock Avoidance in {SIP} Servlet Containers},
booktitle = {Principles, Systems and Applications of {IP} Telecommunications. Services
and Security for Next Generation Networks, Second International Conference,
IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {5310},
pages = {196--216},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89054-6\_10},
doi = {10.1007/978-3-540-89054-6\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/iptcomm/HuangDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpc/FlemingKSDX08,
author = {Scott D. Fleming and
Eileen T. Kraemer and
R. E. Kurt Stirewalt and
Laura K. Dillon and
Shaohua Xie},
editor = {Ren{\'{e}} L. Krikhaar and
Ralf L{\"{a}}mmel and
Chris Verhoef},
title = {Refining Existing Theories of Program Comprehension During Maintenance
for Concurrent Software},
booktitle = {The 16th {IEEE} International Conference on Program Comprehension,
{ICPC} 2008, Amsterdam, The Netherlands, June 10-13, 2008},
pages = {23--32},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICPC.2008.40},
doi = {10.1109/ICPC.2008.40},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwpc/FlemingKSDX08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softvis/XieKSDF08,
author = {Shaohua Xie and
Eileen T. Kraemer and
R. E. Kurt Stirewalt and
Laura K. Dillon and
Scott D. Fleming},
editor = {Rainer Koschke and
Christopher D. Hundhausen and
Alexandru C. Telea},
title = {Assessing the benefits of synchronization-adorned sequence diagrams:
two controlled experiments},
booktitle = {Proceedings of the {ACM} 2008 Symposium on Software Visualization,
Ammersee, Germany, September 16-17, 2008},
pages = {9--18},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1409720.1409723},
doi = {10.1145/1409720.1409723},
timestamp = {Wed, 17 Mar 2021 18:00:55 +0100},
biburl = {https://dblp.org/rec/conf/softvis/XieKSDF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/Sarna-StarostaSD07,
author = {Beata Sarna{-}Starosta and
R. E. Kurt Stirewalt and
Laura K. Dillon},
title = {A Model-Based Design-for-Verification Approach to Checking for Deadlock
in Multi-Threaded Applications},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {17},
number = {2},
pages = {207--230},
year = {2007},
url = {https://doi.org/10.1142/S0218194007003197},
doi = {10.1142/S0218194007003197},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/Sarna-StarostaSD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Sarna-StarostaS07,
author = {Beata Sarna{-}Starosta and
R. E. Kurt Stirewalt and
Laura K. Dillon},
title = {Contracts and Middleware for Safe {SOA} Applications},
booktitle = {Proceedings of the International Workshop on Systems Development in
{SOA} Environments, {SDSOA} '07, Minneapolis, MN, USA, May 2007},
pages = {5},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SDSOA.2007.4},
doi = {10.1109/SDSOA.2007.4},
timestamp = {Wed, 26 Jan 2022 09:50:48 +0100},
biburl = {https://dblp.org/rec/conf/icse/Sarna-StarostaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/Sarna-StarostaSD06,
author = {Beata Sarna{-}Starosta and
R. E. Kurt Stirewalt and
Laura K. Dillon},
editor = {Kang Zhang and
George Spanoudakis and
Giuseppe Visaggio},
title = {A Model-based Design-for-Verification Approach to Checking for Deadlock
in Multi-threaded Applications},
booktitle = {Proceedings of the Eighteenth International Conference on Software
Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
CA, USA, July 5-7, 2006},
pages = {120--125},
year = {2006},
timestamp = {Thu, 12 Mar 2020 11:30:50 +0100},
biburl = {https://dblp.org/rec/conf/seke/Sarna-StarostaSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/StirewaltDB06,
author = {R. E. Kurt Stirewalt and
Laura K. Dillon and
Reimer Behrends},
title = {Using Views to Specify a Synchronization Aspect for Object-Oriented
Languages},
booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
MD, {USA}},
pages = {272--281},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/SEW.2006.41},
doi = {10.1109/SEW.2006.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/StirewaltDB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/BehrendsSD05,
author = {Reimer Behrends and
R. E. Kurt Stirewalt and
Laura K. Dillon},
editor = {George T. Heineman and
Ivica Crnkovic and
Heinz W. Schmidt and
Judith A. Stafford and
Clemens A. Szyperski and
Kurt C. Wallnau},
title = {A Component-Oriented Model for the Design of Safe Multi-threaded Applications},
booktitle = {Component-Based Software Engineering, 8th International Symposium,
{CBSE} 2005, St. Louis, MO, USA, May 14-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3489},
pages = {251--266},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11424529\_17},
doi = {10.1007/11424529\_17},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cbse/BehrendsSD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/StirewaltBD05,
author = {R. E. Kurt Stirewalt and
Reimer Behrends and
Laura K. Dillon},
title = {Safe and Reliable Use of Concurrency in Multi-Threaded Shared-Memory
Systems},
booktitle = {29th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-29}
2005), 6-7 April 2005, Greenbelt, Maryland, {USA}},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEW.2005.39},
doi = {10.1109/SEW.2005.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/StirewaltBD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DillonT04,
author = {Laura K. Dillon and
Walter F. Tichy},
title = {Guest Editors' Introduction: 2003 International Conference on Software
Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {30},
number = {6},
pages = {353--354},
year = {2004},
url = {https://doi.org/10.1109/TSE.2004.21},
doi = {10.1109/TSE.2004.21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DillonT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DillonS03,
author = {Laura K. Dillon and
Kurt Stirewalt},
title = {Inference Graphs: {A} Computational Structure Supporting Generation
of Customizable and Correct Analysis Components},
journal = {{IEEE} Trans. Software Eng.},
volume = {29},
number = {2},
pages = {133--150},
year = {2003},
url = {https://doi.org/10.1109/TSE.2003.1178052},
doi = {10.1109/TSE.2003.1178052},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DillonS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/McKinleySCDK02,
author = {Philip K. McKinley and
Kurt Stirewalt and
Betty H. C. Cheng and
Laura K. Dillon and
Sandeep S. Kulkarni},
title = {Education: Interactive Distributed Applications and the Computer Science
Curriculum},
journal = {{IEEE} Distributed Syst. Online},
volume = {3},
number = {10},
year = {2002},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsonline/McKinleySCDK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DillonS01,
author = {Laura K. Dillon and
Kurt Stirewalt},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {Leightweight Analysis of Operational Specifications Using Inference
Graphs},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {57--67},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919081},
doi = {10.1109/ICSE.2001.919081},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DillonS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/StirewaltD01,
author = {Kurt Stirewalt and
Laura K. Dillon},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {A Component-Based Approach to Building Formal Analysis Tools},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919091},
doi = {10.1109/ICSE.2001.919091},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/StirewaltD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssr/StirewaltD01,
author = {Kurt Stirewalt and
Laura K. Dillon},
title = {Generation of visitor components that implement program transformations},
booktitle = {Proceedings of the {ACM} {SIGSOFT} Symposium on Software Reusability:
Putting Software Reuse in Context, {SSR} 2001, May 18-20, 2001, Toronto,
Ontario, Canada},
pages = {86--94},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/375212.375258},
doi = {10.1145/375212.375258},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ssr/StirewaltD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Dillon00,
author = {Laura K. Dillon},
title = {Automated support for testing and debugging of real-time programs
using oracles},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {45--46},
year = {2000},
url = {https://doi.org/10.1145/340855.340884},
doi = {10.1145/340855.340884},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Dillon00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KeyesDC99,
author = {David S. Keyes and
Laura K. Dillon and
Moon{-}Jung Chung},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Analysis of a Scheduler for a {CAD} Framework},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {152--161},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302461},
doi = {10.1145/302405.302461},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/KeyesDC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AvruninCD98,
author = {George S. Avrunin and
James C. Corbett and
Laura K. Dillon},
title = {Analyzing Partially-Implemented Real-Time Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {24},
number = {8},
pages = {602--614},
year = {1998},
url = {https://doi.org/10.1109/32.707696},
doi = {10.1109/32.707696},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AvruninCD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/MoserRKMD97,
author = {Louise E. Moser and
Y. S. Ramakrishna and
George Kutty and
P. M. Melliar{-}Smith and
Laura K. Dillon},
title = {A Graphical Environment for the Design of Concurrent Real-Time Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {6},
number = {1},
pages = {31--79},
year = {1997},
url = {https://doi.org/10.1145/237432.237438},
doi = {10.1145/237432.237438},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/MoserRKMD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Dillon97,
author = {Laura K. Dillon},
title = {Task Dependence and Termination in Ada},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {6},
number = {1},
pages = {80--110},
year = {1997},
url = {https://doi.org/10.1145/237432.237459},
doi = {10.1145/237432.237459},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/Dillon97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/DolinAAD97,
author = {Ron Dolin and
Divyakant Agrawal and
Amr El Abbadi and
Laura K. Dillon},
editor = {Forouzan Golshani and
Kia Makki},
title = {Pharos: {A} Scalable Distributed Architecture for Locating Heterogeneous
Information Sources},
booktitle = {Proceedings of the Sixth International Conference on Information and
Knowledge Management (CIKM'97), Las Vegas, Nevada, USA, November 10-14,
1997},
pages = {348--355},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/266714.266924},
doi = {10.1145/266714.266924},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/DolinAAD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AvruninCD97,
author = {George S. Avrunin and
James C. Corbett and
Laura K. Dillon},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Analyzing Partially-Implemented Real-Time Systems},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {228--238},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253275},
doi = {10.1145/253228.253275},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AvruninCD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/MoserMRKD96,
author = {Louise E. Moser and
P. M. Melliar{-}Smith and
Y. S. Ramakrishna and
George Kutty and
Laura K. Dillon},
title = {Automated Deduction in a Graphical Temporal Logic},
journal = {J. Appl. Non Class. Logics},
volume = {6},
number = {1},
pages = {29--47},
year = {1996},
url = {https://doi.org/10.1080/11663081.1996.10510865},
doi = {10.1080/11663081.1996.10510865},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/MoserMRKD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RamakrishnaMMDK96,
author = {Y. S. Ramakrishna and
P. M. Melliar{-}Smith and
Louise E. Moser and
Laura K. Dillon and
George Kutty},
title = {Interval Logics and Their Decision Procedures, Part {I:} An Interval
Logic},
journal = {Theor. Comput. Sci.},
volume = {166},
number = {1{\&}2},
pages = {1--47},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00254-5},
doi = {10.1016/0304-3975(95)00254-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RamakrishnaMMDK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/RamakrishnaMMDK96a,
author = {Y. S. Ramakrishna and
P. M. Melliar{-}Smith and
Louise E. Moser and
Laura K. Dillon and
George Kutty},
title = {Interval Logics and Their Decision Procedures. Part {II:} {A} Real-Time
Interval Logic},
journal = {Theor. Comput. Sci.},
volume = {170},
number = {1-2},
pages = {1--46},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)80701-8},
doi = {10.1016/S0304-3975(96)80701-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/RamakrishnaMMDK96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/MoserMRKD96,
author = {Louise E. Moser and
P. M. Melliar{-}Smith and
Y. S. Ramakrishna and
George Kutty and
Laura K. Dillon},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {The Real-Time Graphical Interval Logic Toolset},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {446--449},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_99},
doi = {10.1007/3-540-61474-5\_99},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/MoserMRKD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DillonR96,
author = {Laura K. Dillon and
Y. S. Ramakrishna},
editor = {David Garlan},
title = {Generating Oracles from Your Favorite Temporal Logic Specifications},
booktitle = {Proceedings of the Fourth {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, SIGSOFT1996, San Francisco, California, USA,
October 16-18, 1996},
pages = {106--117},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/239098.239116},
doi = {10.1145/239098.239116},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/DillonR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KuttyMMRD95,
author = {George Kutty and
Louise E. Moser and
P. M. Melliar{-}Smith and
Y. S. Ramakrishna and
Laura K. Dillon},
title = {Axiomatizations of Interval Logics},
journal = {Fundam. Informaticae},
volume = {24},
number = {4},
pages = {313--331},
year = {1995},
url = {https://doi.org/10.3233/FI-1995-2441},
doi = {10.3233/FI-1995-2441},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KuttyMMRD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/DillonKMMR94,
author = {Laura K. Dillon and
George Kutty and
Louise E. Moser and
P. M. Melliar{-}Smith and
Y. S. Ramakrishna},
title = {A Graphical Interval Logic for Specifying Concurrent Systems},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {3},
number = {2},
pages = {131--165},
year = {1994},
url = {https://doi.org/10.1145/192218.192226},
doi = {10.1145/192218.192226},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/DillonKMMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AvruninCDW94,
author = {George S. Avrunin and
James C. Corbett and
Laura K. Dillon and
Jack C. Wileden},
title = {Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {20},
number = {9},
pages = {708--719},
year = {1994},
url = {https://doi.org/10.1109/32.317429},
doi = {10.1109/32.317429},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AvruninCDW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/DillonKMMR94,
author = {Laura K. Dillon and
George Kutty and
P. M. Melliar{-}Smith and
Louise E. Moser and
Y. S. Ramakrishna},
title = {Visual Specifications for Temporal Reasoning},
journal = {J. Vis. Lang. Comput.},
volume = {5},
number = {1},
pages = {61--81},
year = {1994},
url = {https://doi.org/10.1006/jvlc.1994.1004},
doi = {10.1006/JVLC.1994.1004},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/DillonKMMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/KuttyMMDR94,
author = {George Kutty and
Louise E. Moser and
P. M. Melliar{-}Smith and
Laura K. Dillon and
Y. S. Ramakrishna},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {First-Order Future Interval Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {195--209},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013989},
doi = {10.1007/BFB0013989},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/KuttyMMDR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/Melliar-SmithMRKD94,
author = {P. M. Melliar{-}Smith and
Louise E. Moser and
Y. S. Ramakrishna and
George Kutty and
Laura K. Dillon},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {A System for Automated Deduction in Graphical Interval Logic},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {540--542},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0014008},
doi = {10.1007/BFB0014008},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictl/Melliar-SmithMRKD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DillonY94,
author = {Laura K. Dillon and
Qing Yu},
editor = {David S. Wile},
title = {Oracles for Checking Temporal Properties of Concurrent Systems},
booktitle = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
December 6-9, 1994},
pages = {140--153},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/193173.195401},
doi = {10.1145/193173.195401},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/DillonY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/Dillon93,
author = {Laura K. Dillon},
title = {A Visual Model for Ada Tasking},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {2},
number = {4},
pages = {311--345},
year = {1993},
url = {https://doi.org/10.1145/158431.158432},
doi = {10.1145/158431.158432},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/Dillon93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KuttyRMDM93,
author = {George Kutty and
Y. S. Ramakrishna and
Louise E. Moser and
Laura K. Dillon and
P. M. Melliar{-}Smith},
editor = {Costas Courcoubetis},
title = {A Graphical Interval Logic Toolset for Verifying Concurrent Systems},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {138--153},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_12},
doi = {10.1007/3-540-56922-7\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KuttyRMDM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RamakrishnaDMMK93,
author = {Y. S. Ramakrishna and
Laura K. Dillon and
Louise E. Moser and
P. M. Melliar{-}Smith and
George Kutty},
editor = {R. K. Shyamasundar},
title = {A Real-Time Interval Logic and Its Decision Procedure},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
13th Conference, Bombay, India, December 15-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {761},
pages = {173--192},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57529-4\_52},
doi = {10.1007/3-540-57529-4\_52},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RamakrishnaDMMK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/RamakrishnaMMDK93,
author = {Y. S. Ramakrishna and
P. Michael Melliar{-}Smith and
Louise E. Moser and
Laura K. Dillon and
George Kutty},
title = {Really visual temporal reasoning},
booktitle = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
USA, December 1993},
pages = {262--273},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/REAL.1993.393490},
doi = {10.1109/REAL.1993.393490},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/RamakrishnaMMDK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/KuttyDMMR93,
author = {George Kutty and
Laura K. Dillon and
Louise E. Moser and
P. M. Melliar{-}Smith and
Y. S. Ramakrishna},
title = {Visual Tools for Temporal Reasoning},
booktitle = {Proceedings of the 1993 {IEEE} Workshop on Visual Languages, August
24-27, 1993, Bergen, Norway},
pages = {152--159},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/VL.1993.269591},
doi = {10.1109/VL.1993.269591},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/KuttyDMMR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RamakrishnaMDMK92,
author = {Y. S. Ramakrishna and
Louise E. Moser and
Laura K. Dillon and
P. M. Melliar{-}Smith and
George Kutty},
title = {An automata-theoretic decision procedure for propositional temporal
logic with since and until},
journal = {Fundam. Informaticae},
volume = {17},
number = {3},
pages = {271--282},
year = {1992},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RamakrishnaMDMK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/RamakrishnaDMMK92,
author = {Y. S. Ramakrishna and
Laura K. Dillon and
Louise E. Moser and
P. M. Melliar{-}Smith and
George Kutty},
editor = {R. K. Shyamasundar},
title = {An Automata-Theoretic Decision Procedure for Future Interval Logic},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
12th Conference, New Delhi, India, December 18-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {652},
pages = {51--67},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56287-7\_94},
doi = {10.1007/3-540-56287-7\_94},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/RamakrishnaDMMK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DillonKMMR92,
author = {Laura K. Dillon and
George Kutty and
Louise E. Moser and
P. M. Melliar{-}Smith and
Y. S. Ramakrishna},
editor = {Tony Montgomery and
Lori A. Clarke and
Carlo Ghezzi},
title = {Graphical Specifications for Concurrent Software Systems},
booktitle = {Proceedings of the 14th International Conference on Software Engineering,
Melbourne, Australia, May 11-15, 1992},
pages = {214--224},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143062.143116},
doi = {10.1145/143062.143116},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DillonKMMR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/Dillon91,
author = {Laura K. Dillon},
title = {An isolation approach to symbolic execution-based verification of
Ada tasking programs},
journal = {J. Syst. Softw.},
volume = {14},
number = {3},
pages = {183--198},
year = {1991},
url = {https://doi.org/10.1016/0164-1212(91)90065-E},
doi = {10.1016/0164-1212(91)90065-E},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/Dillon91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AvruninBCDW91,
author = {George S. Avrunin and
Ugo A. Buy and
James C. Corbett and
Laura K. Dillon and
Jack C. Wileden},
title = {Automated Analysis of Concurrent Systems With the Constrained Expression
Toolset},
journal = {{IEEE} Trans. Software Eng.},
volume = {17},
number = {11},
pages = {1204--1222},
year = {1991},
url = {https://doi.org/10.1109/32.106975},
doi = {10.1109/32.106975},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AvruninBCDW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AvruninBCDW91,
author = {George S. Avrunin and
Ugo A. Buy and
James C. Corbett and
Laura K. Dillon and
Jack C. Wileden},
editor = {William E. Howden},
title = {Experiments with an Improved Constrained Expression Toolset},
booktitle = {Proceedings of the Symposium on Testing, Analysis, and Verification,
{TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
pages = {178--187},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/120807.120823},
doi = {10.1145/120807.120823},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/AvruninBCDW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Dillon90,
author = {Laura K. Dillon},
title = {Using Symbolic Execution for Verification of Ada Tasking Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {12},
number = {4},
pages = {643--669},
year = {1990},
url = {https://doi.org/10.1145/88616.96551},
doi = {10.1145/88616.96551},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Dillon90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Dillon90,
author = {Laura K. Dillon},
title = {Verifying General Safety Properties of Ada Tasking Programs},
journal = {{IEEE} Trans. Software Eng.},
volume = {16},
number = {1},
pages = {51--63},
year = {1990},
url = {https://doi.org/10.1109/32.44363},
doi = {10.1109/32.44363},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Dillon90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AvruninWD89,
author = {George S. Avrunin and
Jack C. Wileden and
Laura K. Dillon},
editor = {Richard A. Kemmerer},
title = {Experiments in Automated Analysis of Concurrent Software Systems},
booktitle = {Proceedings of the {ACM} {SIGSOFT} '89 Third Symposium on Testing,
Analysis, and Verification, {TAV} 1989, Key West, Florida, USA, December
13-15, 1989},
pages = {124--130},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75308.75323},
doi = {10.1145/75308.75323},
timestamp = {Fri, 18 Feb 2022 16:21:58 +0100},
biburl = {https://dblp.org/rec/conf/issta/AvruninWD89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DillonAW88,
author = {Laura K. Dillon and
George S. Avrunin and
Jack C. Wileden},
title = {Constrained Expressions: Toward Broad Applicability of Analysis Methods
for Distributed Software Systems},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {10},
number = {3},
pages = {374--402},
year = {1988},
url = {https://doi.org/10.1145/44501.44502},
doi = {10.1145/44501.44502},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/DillonAW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/AvruninDWR86,
author = {George S. Avrunin and
Laura K. Dillon and
Jack C. Wileden and
William E. Riddle},
title = {Constrained Expressions: Adding Analysis Capabilities to Design Methods
for Concurrent Software Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {12},
number = {2},
pages = {278--292},
year = {1986},
url = {https://doi.org/10.1109/TSE.1986.6312944},
doi = {10.1109/TSE.1986.6312944},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/AvruninDWR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
