Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: George S. Avrunin
@inproceedings{DBLP:conf/hci/EbnaliKCCOAMAPZ22,
author = {Mahdi Ebnali and
Lauren R. Kennedy{-}Metz and
Heather M. Conboy and
Lori A. Clarke and
Leon J. Osterweil and
George S. Avrunin and
Christian Miccile and
Maria Arshanskiy and
Annette Phillips and
Marco A. Zenati and
Roger D. Dias},
editor = {Masaaki Kurosu},
title = {A Coding Framework for Usability Evaluation of Digital Health Technologies},
booktitle = {Human-Computer Interaction. Theoretical Approaches and Design Methods
- Thematic Area, {HCI} 2022, Held as Part of the 24th {HCI} International
Conference, {HCII} 2022, Virtual Event, June 26 - July 1, 2022, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13302},
pages = {185--196},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-05311-5\_12},
doi = {10.1007/978-3-031-05311-5\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/EbnaliKCCOAMAPZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsima/ConboyKACODZ20,
author = {Heather M. Conboy and
Lauren R. Kennedy{-}Metz and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
Roger D. Dias and
Marco A. Zenati},
editor = {Galina Rogova and
Nicolette M. McGeorge and
Alicia Ruvinsky and
Scott Fouse and
Mary D. Freiman},
title = {Digital Cognitive Aids to Support Adaptation of Surgical Processes
to {COVID-19} Protective Policies},
booktitle = {{IEEE} Conference on Cognitive and Computational Aspects of Situation
Management, CogSIMA 2020, Victoria, BC, Canada, August 24-29, 2020},
pages = {205--210},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CogSIMA49017.2020.9215995},
doi = {10.1109/COGSIMA49017.2020.9215995},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cogsima/ConboyKACODZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/AvruninCCCOZ18,
author = {George S. Avrunin and
Stefan C. Christov and
Lori A. Clarke and
Heather M. Conboy and
Leon J. Osterweil and
Marco A. Zenati},
title = {Process Driven Guidance for Complex Surgical Procedures},
booktitle = {{AMIA} 2018, American Medical Informatics Association Annual Symposium,
San Francisco, CA, November 3-7, 2018},
publisher = {{AMIA}},
year = {2018},
url = {https://knowledge.amia.org/67852-amia-1.4259402/t004-1.4263758/t004-1.4263759/2975381-1.4264081/2977076-1.4264078},
timestamp = {Wed, 17 Apr 2024 11:47:15 +0200},
biburl = {https://dblp.org/rec/conf/amia/AvruninCCCOZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsima/DiasCGCOAAGRYZ18,
author = {Roger D. Dias and
Heather M. Conboy and
Jennifer M. Gabany and
Lori A. Clarke and
Leon J. Osterweil and
George S. Avrunin and
David Arney and
Julian M. Goldman and
Giuseppe Riccardi and
Steven J. Yule and
Marco A. Zenati},
editor = {Galina L. Rogova and
Christian Lebiere and
Odd Erik Gundersen and
Andrea Salfinger and
Ken Baclawski},
title = {Development of an Interactive Dashboard to Analyze Cognitive Workload
of Surgical Teams During Complex Procedural Care},
booktitle = {{IEEE} Conference on Cognitive and Computational Aspects of Situation
Management, CogSIMA 2018, Boston, MA, USA, June 11-14, 2018},
pages = {77--82},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/COGSIMA.2018.8423995},
doi = {10.1109/COGSIMA.2018.8423995},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cogsima/DiasCGCOAAGRYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AvruninCCODYGZ18,
author = {George S. Avrunin and
Lori A. Clarke and
Heather M. Conboy and
Leon J. Osterweil and
Roger D. Dias and
Steven J. Yule and
Julian M. Goldman and
Marco A. Zenati},
editor = {Ita Richardson and
Jens H. Weber},
title = {Toward Improving Surgical Outcomes by Incorporating Cognitive Load
Measurement into Process-Driven Guidance},
booktitle = {2018 {IEEE/ACM} International Workshop on Software Engineering in
Healthcare Systems, SEHS@ICSE 2018, Gothenburg, Sweden, May 28, 2018},
pages = {2--9},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194696.3194705},
doi = {10.1145/3194696.3194705},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AvruninCCODYGZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/miccai/DiasCGCOAGRAYZ18,
author = {Roger D. Dias and
Heather M. Conboy and
Jennifer M. Gabany and
Lori A. Clarke and
Leon J. Osterweil and
David Arney and
Julian M. Goldman and
Giuseppe Riccardi and
George S. Avrunin and
Steven J. Yule and
Marco A. Zenati},
editor = {Danail Stoyanov and
Zeike Taylor and
Duygu Sarikaya and
A. Jonathan McLeod and
Miguel {\'{A}}ngel Gonz{\'{a}}lez Ballester and
Noel C. F. Codella and
Anne L. Martel and
Lena Maier{-}Hein and
Anand Malpani and
Marco A. Zenati and
Sandrine de Ribaupierre and
Xi{\'{o}}ngbiao Lu{\'{o}} and
Toby Collins and
Tobias Reichl and
Klaus Drechsler and
Marius Erdt and
Marius George Linguraru and
Cristina Oyarzun Laura and
Raj Shekhar and
Stefan Wesarg and
M. Emre Celebi and
Kristin J. Dana and
Allan Halpern},
title = {Intelligent Interruption Management System to Enhance Safety and Performance
in Complex Surgical and Robotic Procedures},
booktitle = {{OR} 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic
Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis
- First International Workshop, {OR} 2.0 2018, 5th International Workshop,
{CARE} 2018, 7th International Workshop, {CLIP} 2018, Third International
Workshop, {ISIC} 2018, Held in Conjunction with {MICCAI} 2018, Granada,
Spain, September 16 and 20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11041},
pages = {62--68},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01201-4\_8},
doi = {10.1007/978-3-030-01201-4\_8},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/miccai/DiasCGCOAGRAYZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/OsterweilBCPSAC17,
author = {Leon J. Osterweil and
Matt Bishop and
Heather M. Conboy and
Huong Phan and
Borislava I. Simidchieva and
George S. Avrunin and
Lori A. Clarke and
Sean Peisert},
title = {Iterative Analysis to Improve Key Properties of Critical Human-Intensive
Processes: An Election Security Example},
journal = {{ACM} Trans. Priv. Secur.},
volume = {20},
number = {2},
pages = {5:1--5:31},
year = {2017},
url = {https://doi.org/10.1145/3041041},
doi = {10.1145/3041041},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/OsterweilBCPSAC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsima/ConboyACOGYZC17,
author = {Heather M. Conboy and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
Julian M. Goldman and
Steven J. Yule and
Marco A. Zenati and
Stefan C. Christov},
title = {Cognitive support during high-consequence episodes of care in cardiovascular
surgery},
booktitle = {{IEEE} Conference on Cognitive and Computational Aspects of Situation
Management, CogSIMA 2017, Savannah, GA, USA, March 27-31, 2017},
pages = {1--3},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/COGSIMA.2017.7929610},
doi = {10.1109/COGSIMA.2017.7929610},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cogsima/ConboyACOGYZC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChristovCFACO16,
author = {Stefan C. Christov and
Heather M. Conboy and
Nancy Famigletti and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil},
title = {Smart checklists to improve healthcare outcomes},
booktitle = {Proceedings of the International Workshop on Software Engineering
in Healthcare Systems, SEHS@ICSE 16, Austin, Texas, USA, May 14-22,
2016},
pages = {54--57},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2897683.2897691},
doi = {10.1145/2897683.2897691},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChristovCFACO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amia/ChristovAC14,
author = {Stefan C. Christov and
George S. Avrunin and
Lori A. Clarke},
title = {Online Deviation Detection for Medical Processes},
booktitle = {{AMIA} 2014, American Medical Informatics Association Annual Symposium,
Washington, DC, USA, November 15-19, 2014},
publisher = {{AMIA}},
year = {2014},
url = {https://knowledge.amia.org/56638-amia-1.1540970/t-004-1.1544972/f-004-1.1544973/a-134-1.1545271/a-135-1.1545268},
timestamp = {Wed, 17 Apr 2024 11:47:48 +0200},
biburl = {https://dblp.org/rec/conf/amia/ChristovAC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BishopCPSACOP14,
author = {Matt Bishop and
Heather M. Conboy and
Huong Phan and
Borislava I. Simidchieva and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
Sean Peisert},
title = {Insider Threat Identification by Process Analysis},
booktitle = {35. {IEEE} Security and Privacy Workshops, {SPW} 2014, San Jose, CA,
USA, May 17-18, 2014},
pages = {251--264},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SPW.2014.40},
doi = {10.1109/SPW.2014.40},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sp/BishopCPSACOP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ConboyAC13,
author = {Heather M. Conboy and
George S. Avrunin and
Lori A. Clarke},
editor = {John Knight and
Craig E. Kuziemsky},
title = {Modal abstraction view of requirements for medical devices used in
healthcare processes},
booktitle = {Proceedings of the 5th International Workshop on Software Engineering
in Health Care, {SEHC} 2013, San Francisco, California, USA, May 20-21,
2013},
pages = {24--27},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEHC.2013.6602473},
doi = {10.1109/SEHC.2013.6602473},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ConboyAC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChristovAC13,
author = {Stefan C. Christov and
George S. Avrunin and
Lori A. Clarke},
editor = {John Knight and
Craig E. Kuziemsky},
title = {Considerations for online deviation detection in medical processes},
booktitle = {Proceedings of the 5th International Workshop on Software Engineering
in Health Care, {SEHC} 2013, San Francisco, California, USA, May 20-21,
2013},
pages = {50--56},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SEHC.2013.6602478},
doi = {10.1109/SEHC.2013.6602478},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChristovAC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AvruninCOGR12,
author = {George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
Julian M. Goldman and
Tracy L. Rausch},
title = {Smart checklists for human-intensive medical systems},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops, {DSN} 2012, Boston, MA, USA, June 25-28, 2012},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/DSNW.2012.6264661},
doi = {10.1109/DSNW.2012.6264661},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/AvruninCOGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/PhanABCO12,
author = {Huong Phan and
George S. Avrunin and
Matt Bishop and
Lori A. Clarke and
Leon J. Osterweil},
editor = {J. Alex Halderman and
Olivier Pereira},
title = {A Systematic Process-Model-based Approach for Synthesizing Attacks
and Evaluating Them},
booktitle = {2012 Electronic Voting Technology Workshop / Workshop on Trustworthy
Elections, {EVT/WOTE} '12, Bellevue, WA, USA, August 6-7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/evtwote12/workshop-program/presentation/phan},
timestamp = {Mon, 01 Feb 2021 08:43:08 +0100},
biburl = {https://dblp.org/rec/conf/uss/PhanABCO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChristovACOH10,
author = {Stefan Christov and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
Elizabeth A. Henneman},
editor = {Lori A. Clarke and
Jens H. Weber{-}Jahnke},
title = {A benchmark for evaluating software engineering techniques for improving
medical processes},
booktitle = {Proceedings of the 2010 {ICSE} Workshop on Software Engineering in
Health Care, {SEHC} 2010, Cape Town, South Africa, May 3-4, 2010},
pages = {50--56},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1809085.1809092},
doi = {10.1145/1809085.1809092},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ChristovACOH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/AvruninCOCCHHCM10,
author = {George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
Stefan Christov and
Bin Chen and
Elizabeth A. Henneman and
Philip L. Henneman and
Lucinda Cassells and
Wilson Mertens},
editor = {Tiffany C. Veinot and
{\"{U}}mit V. {\c{C}}ataly{\"{u}}rek and
Gang Luo and
Henrique Andrade and
Neil R. Smalheiser},
title = {Experience modeling and analyzing medical processes: UMass/baystate
medical safety project overview},
booktitle = {{ACM} International Health Informatics Symposium, {IHI} 2010, Arlington,
VA, USA, November 11 - 12, 2010, Proceedings},
pages = {316--325},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882992.1883037},
doi = {10.1145/1882992.1883037},
timestamp = {Sat, 04 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ihi/AvruninCOCCHHCM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ihi/ConboyAC10,
author = {Heather M. Conboy and
George S. Avrunin and
Lori A. Clarke},
editor = {Tiffany C. Veinot and
{\"{U}}mit V. {\c{C}}ataly{\"{u}}rek and
Gang Luo and
Henrique Andrade and
Neil R. Smalheiser},
title = {Process-based derivation of requirements for medical devices},
booktitle = {{ACM} International Health Informatics Symposium, {IHI} 2010, Arlington,
VA, USA, November 11 - 12, 2010, Proceedings},
pages = {656--665},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882992.1883095},
doi = {10.1145/1882992.1883095},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ihi/ConboyAC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangPACC10,
author = {Danhua Wang and
Jingui Pan and
George S. Avrunin and
Lori A. Clarke and
Bin Chen},
title = {An Automatic Failure Mode and Effect Analysis Technique for Processes
Defined in the Little-JIL Process Definition Language},
booktitle = {Proceedings of the 22nd International Conference on Software Engineering
{\&} Knowledge Engineering (SEKE'2010), Redwood City, San Francisco
Bay, CA, USA, July 1 - July 3, 2010},
pages = {765--770},
publisher = {Knowledge Systems Institute Graduate School},
year = {2010},
timestamp = {Sat, 04 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/seke/WangPACC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ClarkeOA10,
author = {Lori A. Clarke and
Leon J. Osterweil and
George S. Avrunin},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Supporting human-intensive systems},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {87--92},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882381},
doi = {10.1145/1882362.1882381},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ClarkeOA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/OsterweilCA09,
author = {Leon J. Osterweil and
Lori A. Clarke and
George S. Avrunin},
editor = {Stefanie Rinderle{-}Ma and
Shazia Wasim Sadiq and
Frank Leymann},
title = {An Integrated Collection of Tools for Continuously Improving the Processes
by Which Health Care Is Delivered: {A} Tool Report},
booktitle = {Business Process Management Workshops, {BPM} 2009 International Workshops,
Ulm, Germany, September 7, 2009. Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {43},
pages = {647--653},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12186-9\_62},
doi = {10.1007/978-3-642-12186-9\_62},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/OsterweilCA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/CobleighAC08,
author = {Jamieson M. Cobleigh and
George S. Avrunin and
Lori A. Clarke},
title = {Breaking up is hard to do: An evaluation of automated assume-guarantee
reasoning},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {17},
number = {2},
pages = {7:1--7:52},
year = {2008},
url = {https://doi.org/10.1145/1348250.1348253},
doi = {10.1145/1348250.1348253},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/CobleighAC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/SiegelMAC08,
author = {Stephen F. Siegel and
Anastasia Mironova and
George S. Avrunin and
Lori A. Clarke},
title = {Combining symbolic execution with model checking to verify parallel
numerical programs},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {17},
number = {2},
pages = {10:1--10:34},
year = {2008},
url = {https://doi.org/10.1145/1348250.1348256},
doi = {10.1145/1348250.1348256},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/SiegelMAC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenAHCOH08,
author = {Bin Chen and
George S. Avrunin and
Elizabeth A. Henneman and
Lori A. Clarke and
Leon J. Osterweil and
Philip L. Henneman},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Analyzing medical processes},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {623--632},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368175},
doi = {10.1145/1368088.1368175},
timestamp = {Sat, 04 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChenAHCOH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ClarkeAO08,
author = {Lori A. Clarke and
George S. Avrunin and
Leon J. Osterweil},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {Using software engineering technology to improve the quality of medical
processes},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008, Companion Volume},
pages = {889--898},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1370175.1370179},
doi = {10.1145/1370175.1370179},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ClarkeAO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WangAC07,
author = {Shangzhu Wang and
George S. Avrunin and
Lori A. Clarke},
editor = {Rog{\'{e}}rio de Lemos and
Felicita Di Giandomenico and
Cristina Gacek and
Henry Muccini and
Marlon Vieira},
title = {Plug-and-Play Architectural Design and Verification},
booktitle = {Architecting Dependable Systems {V} [the book is a result from the
{WADS} 2007 and the Third Workshop on the Role of Software Architecture
for Testing and Analysis]},
series = {Lecture Notes in Computer Science},
volume = {5135},
pages = {273--297},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-85571-2\_12},
doi = {10.1007/978-3-540-85571-2\_12},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/icse/WangAC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-1/OsterweilACCCHH07,
author = {Leon J. Osterweil and
George S. Avrunin and
Bin Chen and
Lori A. Clarke and
Rachel L. Cobleigh and
Elizabeth A. Henneman and
Philip L. Henneman},
editor = {Jolita Ralyt{\'{e}} and
Sjaak Brinkkemper and
Brian Henderson{-}Sellers},
title = {Engineering Medical Processes to Improve Their Safety},
booktitle = {Situational Method Engineering: Fundamentals and Experiences, Proceedings
of the {IFIP} {WG} 8.1 Working Conference, 12-14 September 2007, Geneva,
Switzerland},
series = {{IFIP}},
volume = {244},
pages = {267--282},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-73947-2\_21},
doi = {10.1007/978-0-387-73947-2\_21},
timestamp = {Sat, 04 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip8-1/OsterweilACCCHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChristovCACOBCM07,
author = {Stefan Christov and
Bin Chen and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
David Brown and
Lucinda Cassells and
Wilson Mertens},
editor = {Holger Giese},
title = {Rigorously Defining and Analyzing Medical Processes: An Experience
Report},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {118--131},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_14},
doi = {10.1007/978-3-540-69073-3\_14},
timestamp = {Wed, 23 Feb 2022 12:58:02 +0100},
biburl = {https://dblp.org/rec/conf/models/ChristovCACOBCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pvm/SiegelA07,
author = {Stephen F. Siegel and
George S. Avrunin},
editor = {Franck Cappello and
Thomas H{\'{e}}rault and
Jack J. Dongarra},
title = {Verification of Halting Properties for {MPI} Programs Using Nonblocking
Operations},
booktitle = {Recent Advances in Parallel Virtual Machine and Message Passing Interface,
14th European {PVM/MPI} User's Group Meeting, Paris, France, September
30 - October 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4757},
pages = {326--334},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75416-9\_44},
doi = {10.1007/978-3-540-75416-9\_44},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/pvm/SiegelA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/AvruninCHO06,
author = {George S. Avrunin and
Lori A. Clarke and
Elizabeth A. Henneman and
Leon J. Osterweil},
title = {Complex medical processes as context for embedded systems},
journal = {{SIGBED} Rev.},
volume = {3},
number = {4},
pages = {9--14},
year = {2006},
url = {https://doi.org/10.1145/1183088.1183091},
doi = {10.1145/1183088.1183091},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/AvruninCHO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/WangAC06,
author = {Shangzhu Wang and
George S. Avrunin and
Lori A. Clarke},
editor = {Ian Gorton and
George T. Heineman and
Ivica Crnkovic and
Heinz W. Schmidt and
Judith A. Stafford and
Clemens A. Szyperski and
Kurt C. Wallnau},
title = {Architectural Building Blocks for Plug-and-Play System Design},
booktitle = {Component-Based Software Engineering, 9th International Symposium,
{CBSE} 2006, V{\"{a}}ster{\aa}s, Sweden, June 29 - July 1, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4063},
pages = {98--113},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783565\_7},
doi = {10.1007/11783565\_7},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cbse/WangAC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TanAC06,
author = {Jianbin Tan and
George S. Avrunin and
Lori A. Clarke},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Managing space for finite-state verification},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {152--161},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134308},
doi = {10.1145/1134285.1134308},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TanAC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/ChenACO06,
author = {Bin Chen and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil},
editor = {Qing Wang and
Dietmar Pfahl and
David M. Raffo and
Paul Wernick},
title = {Automatic Fault Tree Derivation from Little-JIL Process Definitions},
booktitle = {Software Process Change, International Software Process Workshop and
International Workshop on Software Process Simulation and Modeling,
SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3966},
pages = {150--158},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11754305\_17},
doi = {10.1007/11754305\_17},
timestamp = {Sat, 04 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/ChenACO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WangAC06,
author = {Shangzhu Wang and
George S. Avrunin and
Lori A. Clarke},
editor = {Robert M. Hierons and
Henry Muccini},
title = {Verification support for plug-and-play architectural design},
booktitle = {Proceedings of the 2006 Workshop on Role of Software Architecture
for Testing and Analysis, held in conjunction with the {ACM} {SIGSOFT}
International Symposium on Software Testing and Analysis {(ISSTA}
2006), {ROSATEA} 2006, Portland, Maine, USA, July 17-20, 2006},
pages = {49--50},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1147249.1147255},
doi = {10.1145/1147249.1147255},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WangAC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CobleighAC06,
author = {Jamieson M. Cobleigh and
George S. Avrunin and
Lori A. Clarke},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Breaking up is hard to do: an investigation of decomposition for assume-guarantee
reasoning},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {97--108},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146250},
doi = {10.1145/1146238.1146250},
timestamp = {Sun, 02 Oct 2022 16:10:12 +0200},
biburl = {https://dblp.org/rec/conf/issta/CobleighAC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SiegelMAC06,
author = {Stephen F. Siegel and
Anastasia Mironova and
George S. Avrunin and
Lori A. Clarke},
editor = {Lori L. Pollock and
Mauro Pezz{\`{e}}},
title = {Using model checking with symbolic execution to verify parallel numerical
programs},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2006, Portland, Maine, USA, July 17-20,
2006},
pages = {157--168},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146238.1146256},
doi = {10.1145/1146238.1146256},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/SiegelMAC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CobleighAC06,
author = {Rachel L. Cobleigh and
George S. Avrunin and
Lori A. Clarke},
editor = {Michal Young and
Premkumar T. Devanbu},
title = {User guidance for creating precise and accessible property specifications},
booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
USA, November 5-11, 2006},
pages = {208--218},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181775.1181801},
doi = {10.1145/1181775.1181801},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CobleighAC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/ClarkeCACCFHO05,
author = {Lori A. Clarke and
Yao Chen and
George S. Avrunin and
Bin Chen and
Rachel L. Cobleigh and
Kim Frederick and
Elizabeth A. Henneman and
Leon J. Osterweil},
editor = {Mingshu Li and
Barry W. Boehm and
Leon J. Osterweil},
title = {Process Programming to Support Medical Safety: {A} Case Study on Blood
Transfusion},
booktitle = {Unifying the Software Process Spectrum, International Software Process
Workshop, {SPW} 2005, Beijing, China, May 25-27, 2005, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3840},
pages = {347--359},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11608035\_29},
doi = {10.1007/11608035\_29},
timestamp = {Wed, 12 Apr 2023 13:19:01 +0200},
biburl = {https://dblp.org/rec/conf/ispw/ClarkeCACCFHO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/SiegelA05,
author = {Stephen F. Siegel and
George S. Avrunin},
editor = {Keshav Pingali and
Katherine A. Yelick and
Andrew S. Grimshaw},
title = {Modeling wildcard-free {MPI} programs for verification},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Principles and Practice
of Parallel Programming, {PPOPP} 2005, June 15-17, 2005, Chicago,
IL, {USA}},
pages = {95--106},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1065944.1065957},
doi = {10.1145/1065944.1065957},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/SiegelA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TanAC04,
author = {Jianbin Tan and
George S. Avrunin and
Lori A. Clarke},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Heuristic-Based Model Refinement for {FLAVERS}},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {635--644},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317485},
doi = {10.1109/ICSE.2004.1317485},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/TanAC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/TanACZL04,
author = {Jianbin Tan and
George S. Avrunin and
Lori A. Clarke and
Shlomo Zilberstein and
Stefan Leue},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Heuristic-guided counterexample search in {FLAVERS}},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {201--210},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029922},
doi = {10.1145/1029894.1029922},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/TanACZL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SiegelA04,
author = {Stephen F. Siegel and
George S. Avrunin},
editor = {Susanne Graf and
Laurent Mounier},
title = {Verification of MPI-Based Software for Scientific Computation},
booktitle = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
Spain, April 1-3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2989},
pages = {286--303},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24732-6\_20},
doi = {10.1007/978-3-540-24732-6\_20},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/SiegelA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2004,
editor = {George S. Avrunin and
Gregg Rothermel},
title = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2004, Boston, Massachusetts, USA, July
11-14, 2004},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1007512},
doi = {10.1145/1007512},
isbn = {1-58113-820-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/SiegelA02,
author = {Stephen F. Siegel and
George S. Avrunin},
title = {Improving the Precision of {INCA} by Eliminating Solutions with Spurious
Cycles},
journal = {{IEEE} Trans. Software Eng.},
volume = {28},
number = {2},
pages = {115--128},
year = {2002},
url = {https://doi.org/10.1109/32.988494},
doi = {10.1109/32.988494},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/SiegelA02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SmithACO02,
author = {Rachel L. Smith and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil},
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {{PROPEL:} an approach supporting property elucidation},
booktitle = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
pages = {11--21},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581339.581345},
doi = {10.1145/581339.581345},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/SmithACO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/AvruninCD00,
author = {George S. Avrunin and
James C. Corbett and
Matthew B. Dwyer},
title = {Benchmarking Finite-State Verifiers},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {4},
pages = {317--320},
year = {2000},
url = {https://doi.org/10.1007/s100090050038},
doi = {10.1007/S100090050038},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/AvruninCD00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/SiegelA00,
author = {Stephen F. Siegel and
George S. Avrunin},
editor = {Debra J. Richardson and
Mary Jean Harold},
title = {Improving the precision of {INCA} by preventing spurious cycles},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2000, Portland, OR, USA, August 21-24, 2000},
pages = {191--200},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/347324.349130},
doi = {10.1145/347324.349130},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/issta/SiegelA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/NaumovichAC99,
author = {Gleb Naumovich and
George S. Avrunin and
Lori A. Clarke},
editor = {Oscar Nierstrasz and
Michel Lemoine},
title = {An Efficient Algorithm for Computing \emph{MHP} Information for Concurrent
Java Programs},
booktitle = {Software Engineering - ESEC/FSE'99, 7th European Software Engineering
Conference, Held Jointly with the 7th {ACM} {SIGSOFT} Symposium on
the Foundations of Software Engineering, Toulouse, France, September
1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1687},
pages = {338--354},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48166-4\_21},
doi = {10.1007/3-540-48166-4\_21},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/NaumovichAC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NaumovichAC99,
author = {Gleb Naumovich and
George S. Avrunin and
Lori A. Clarke},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Data Flow Analysis for Checking Properties of Concurrent Java Programs},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {399--410},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302663},
doi = {10.1145/302405.302663},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NaumovichAC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DwyerAC99,
author = {Matthew B. Dwyer and
George S. Avrunin and
James C. Corbett},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Patterns in Property Specifications for Finite-State Verification},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {411--420},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302672},
doi = {10.1145/302405.302672},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DwyerAC99.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}
}
@inproceedings{DBLP:conf/fmsp/DwyerAC98,
author = {Matthew B. Dwyer and
George S. Avrunin and
James C. Corbett},
editor = {Mark A. Ardis and
Joanne M. Atlee},
title = {Property specification patterns for finite-state verification},
booktitle = {Proceedings of the Second Workshop on Formal Methods in Software Practice,
March 4-5, 1998, Clearwater Beach, Florida, {USA}},
pages = {7--15},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/298595.298598},
doi = {10.1145/298595.298598},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmsp/DwyerAC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NaumovichA98,
author = {Gleb Naumovich and
George S. Avrunin},
editor = {Leon J. Osterweil and
William L. Scherlis},
title = {A Conservative Data Flow Algorithm for Detecting All Pairs of Statement
That May Happen in Parallel},
booktitle = {Proceedings of the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, {SIGSOFT} 1998, Lake Buena Vista, Florida,
USA, November 3-5, 1998},
pages = {24--34},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288195.288213},
doi = {10.1145/288195.288213},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/NaumovichA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/NaumovichACO98,
author = {Gleb Naumovich and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil},
editor = {Mehdi Jazayeri and
Helmut Schauer},
title = {Applying Static Analysis to Software Architectures},
booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering
Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on
Foundations of Software Engineering, Zurich, Switzerland, September
22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1301},
pages = {77--93},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63531-9\_8},
doi = {10.1007/3-540-63531-9\_8},
timestamp = {Wed, 04 May 2022 13:01:10 +0200},
biburl = {https://dblp.org/rec/conf/esec/NaumovichACO98.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}
}
@inproceedings{DBLP:conf/cav/Avrunin96,
author = {George S. Avrunin},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {Symbolic Model Checking Using Algebraic Geometry},
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 = {26--37},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_55},
doi = {10.1007/3-540-61474-5\_55},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Avrunin96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CorbettA95,
author = {James C. Corbett and
George S. Avrunin},
title = {Using Integer Programming to Verify General Safety and Liveness Properties},
journal = {Formal Methods Syst. Des.},
volume = {6},
number = {1},
pages = {97--123},
year = {1995},
url = {https://doi.org/10.1007/BF01384316},
doi = {10.1007/BF01384316},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CorbettA95.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}
}
@inproceedings{DBLP:conf/sigsoft/CorbettA94,
author = {James C. Corbett and
George S. Avrunin},
editor = {David S. Wile},
title = {Towards Scalable Compositional Analysis},
booktitle = {Proceedings of the Second {ACM} {SIGSOFT} Symposium on Foundations
of Software Engineering, {SIGSOFT} 1994, New Orleans, Louisiana, USA,
December 6-9, 1994},
pages = {53--61},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/193173.195294},
doi = {10.1145/193173.195294},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CorbettA94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CorbettA93,
author = {James C. Corbett and
George S. Avrunin},
editor = {Thomas J. Ostrand and
Elaine J. Weyuker},
title = {A Practical Technique for Bounding the Time Between Events in Concurrent
Real-Time Systems},
booktitle = {Proceedings of the 1993 International Symposium on Software Testing
and Analysis, {ISSTA} 1993, Cambridge, MA, USA, June 28-30, 1993},
pages = {110--116},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154183.154263},
doi = {10.1145/154183.154263},
timestamp = {Mon, 14 Feb 2022 11:59:49 +0100},
biburl = {https://dblp.org/rec/conf/issta/CorbettA93.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/cav/AvruninBC91,
author = {George S. Avrunin and
Ugo A. Buy and
James C. Corbett},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Integer Programming in the Analysis of Concurrent Systems},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {92--102},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_10},
doi = {10.1007/3-540-55179-4\_10},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AvruninBC91.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}
}
@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}
}
@inproceedings{DBLP:conf/icdcs/WiledenA88,
author = {Jack C. Wileden and
George S. Avrunin},
title = {Towards Automating Analysis Support for Developers of Distributed
Software},
booktitle = {Proceedings of the 8th International Conference on Distributed Computing
Systems, San Jose, California, USA, June 13-17, 1988},
pages = {350--357},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/DCS.1988.12536},
doi = {10.1109/DCS.1988.12536},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icdcs/WiledenA88.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}
}
@article{DBLP:journals/toplas/AvruninW85,
author = {George S. Avrunin and
Jack C. Wileden},
title = {Describing and Analyzing Distributed Software System Designs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {7},
number = {3},
pages = {380--403},
year = {1985},
url = {https://doi.org/10.1145/3916.3989},
doi = {10.1145/3916.3989},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/AvruninW85.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 2024-04-18 20:25 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:
