Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

BibTeX records: Eric Mercer

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons > Eric Mercer

download as .bib file

@article{DBLP:journals/jsa/BeltHRSCCMABCHH23,
  author       = {Jason Belt and
                  John Hatcliff and
                  Robby and
                  John Shackleton and
                  Jim Carciofini and
                  Todd Carpenter and
                  Eric Mercer and
                  Isaac Amundson and
                  Junaid Babar and
                  Darren D. Cofer and
                  David S. Hardin and
                  Karl Hoech and
                  Konrad Slind and
                  Ihor Kuz and
                  Kent McLeod},
  title        = {Model-driven development for the seL4 microkernel using the {HAMR}
                  framework},
  journal      = {J. Syst. Archit.},
  volume       = {134},
  pages        = {102789},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.sysarc.2022.102789},
  doi          = {10.1016/J.SYSARC.2022.102789},
  timestamp    = {Sat, 14 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jsa/BeltHRSCCMABCHH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sosym/MercerSACBH23,
  author       = {Eric Mercer and
                  Konrad Slind and
                  Isaac Amundson and
                  Darren D. Cofer and
                  Junaid Babar and
                  David S. Hardin},
  title        = {Synthesizing verified components for cyber assured systems engineering},
  journal      = {Softw. Syst. Model.},
  volume       = {22},
  number       = {5},
  pages        = {1451--1471},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10270-023-01096-3},
  doi          = {10.1007/S10270-023-01096-3},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/MercerSACBH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tpds/HuangWYMO23,
  author       = {Yu Huang and
                  Tao Wang and
                  Zihui Yin and
                  Eric Mercer and
                  Benjamin Ogles},
  title        = {Improving the Efficiency of Deadlock Detection in {MPI} Programs Through
                  Trace Compression},
  journal      = {{IEEE} Trans. Parallel Distributed Syst.},
  volume       = {34},
  number       = {1},
  pages        = {400--415},
  year         = {2023},
  url          = {https://doi.org/10.1109/TPDS.2022.3218346},
  doi          = {10.1109/TPDS.2022.3218346},
  timestamp    = {Sun, 15 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tpds/HuangWYMO23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/NeupaneGM23,
  author       = {Aadesh Neupane and
                  Michael A. Goodrich and
                  Eric G. Mercer},
  editor       = {Francesco Amigoni and
                  Arunesh Sinha},
  title        = {Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf
                  Formulas},
  booktitle    = {Autonomous Agents and Multiagent Systems. Best and Visionary Papers
                  - {AAMAS} 2023 Workshops, London, UK, May 29 - June 2, 2023, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {14456},
  pages        = {97--122},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-56255-6\_6},
  doi          = {10.1007/978-3-031-56255-6\_6},
  timestamp    = {Sun, 14 Apr 2024 18:32:16 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/NeupaneGM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/FedchinDFMRRRSW23,
  author       = {Aleksandr Fedchin and
                  Tyler Dean and
                  Jeffrey S. Foster and
                  Eric Mercer and
                  Zvonimir Rakamaric and
                  Giles Reger and
                  Neha Rungta and
                  Robin Salkeld and
                  Lucas Wagner and
                  Cassidy Waldrip},
  editor       = {Kristin Yvonne Rozier and
                  Swarat Chaudhuri},
  title        = {A Toolkit for Automated Testing of Dafny},
  booktitle    = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
                  Houston, TX, USA, May 16-18, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13903},
  pages        = {397--413},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33170-1\_24},
  doi          = {10.1007/978-3-031-33170-1\_24},
  timestamp    = {Mon, 26 Jun 2023 16:06:04 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/FedchinDFMRRRSW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieeesp/CoferABHSAHRKLM22,
  author       = {Darren D. Cofer and
                  Isaac Amundson and
                  Junaid Babar and
                  David S. Hardin and
                  Konrad Slind and
                  Perry Alexander and
                  John Hatcliff and
                  Robby and
                  Gerwin Klein and
                  Corey Lewis and
                  Eric Mercer and
                  John Shackleton},
  title        = {Cyberassured Systems Engineering at Scale},
  journal      = {{IEEE} Secur. Priv.},
  volume       = {20},
  number       = {3},
  pages        = {52--64},
  year         = {2022},
  url          = {https://doi.org/10.1109/MSEC.2022.3151733},
  doi          = {10.1109/MSEC.2022.3151733},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieeesp/CoferABHSAHRKLM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/LiuBAHCM22,
  author       = {Cong Liu and
                  Junaid Babar and
                  Isaac Amundson and
                  Karl Hoech and
                  Darren D. Cofer and
                  Eric Mercer},
  editor       = {Jyotirmoy V. Deshmukh and
                  Klaus Havelund and
                  Ivan Perez},
  title        = {Assume-Guarantee Reasoning with Scheduled Components},
  booktitle    = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
                  Pasadena, CA, USA, May 24-27, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13260},
  pages        = {355--372},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-06773-0\_19},
  doi          = {10.1007/978-3-031-06773-0\_19},
  timestamp    = {Thu, 02 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/LiuBAHCM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/HansonWMD22,
  author       = {Parker Hanson and
                  Benjamin Winters and
                  Eric Mercer and
                  Brett Decker},
  editor       = {Owolabi Legunsen and
                  Grigore Rosu},
  title        = {Verifying the {SHA-3} Implementation from OpenSSL with the Software
                  Analysis Workbench},
  booktitle    = {Model Checking Software - 28th International Symposium, {SPIN} 2022,
                  Virtual Event, May 21, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13255},
  pages        = {97--113},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15077-7\_6},
  doi          = {10.1007/978-3-031-15077-7\_6},
  timestamp    = {Sat, 10 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/HansonWMD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/syscon/MercerBB22,
  author       = {Eric Mercer and
                  Keith A. Butler and
                  Ali Bahrami},
  title        = {Model Checking Functional Integration of Human Cognition and Machine
                  Reasoning},
  booktitle    = {{IEEE} International Systems Conference, SysCon 2022, Montreal, QC,
                  Canada, April 25-28, 2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SysCon53536.2022.9773873},
  doi          = {10.1109/SYSCON53536.2022.9773873},
  timestamp    = {Wed, 25 May 2022 22:56:18 +0200},
  biburl       = {https://dblp.org/rec/conf/syscon/MercerBB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/models/MercerSACBH21,
  author       = {Eric Mercer and
                  Konrad Slind and
                  Isaac Amundson and
                  Darren D. Cofer and
                  Junaid Babar and
                  David S. Hardin},
  title        = {Synthesizing Verified Components for Cyber Assured Systems Engineering},
  booktitle    = {24th International Conference on Model Driven Engineering Languages
                  and Systems, {MODELS} 2021, Fukuoka, Japan, October 10-15, 2021},
  pages        = {205--215},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/MODELS50736.2021.00029},
  doi          = {10.1109/MODELS50736.2021.00029},
  timestamp    = {Wed, 23 Feb 2022 10:19:29 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MercerSACBH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/DeckerWM21,
  author       = {Brett Decker and
                  Benjamin Winters and
                  Eric Mercer},
  editor       = {Aaron Dutle and
                  Mariano M. Moscato and
                  Laura Titolo and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Ivan Perez},
  title        = {Towards Verifying {SHA256} in OpenSSL with the Software Analysis Workbench},
  booktitle    = {{NASA} Formal Methods - 13th International Symposium, {NFM} 2021,
                  Virtual Event, May 24-28, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12673},
  pages        = {72--78},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-76384-8\_5},
  doi          = {10.1007/978-3-030-76384-8\_5},
  timestamp    = {Wed, 20 Sep 2023 15:15:29 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/DeckerWM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pc/HuangGM20,
  author       = {Yu Huang and
                  Kai Gong and
                  Eric Mercer},
  title        = {An efficient algorithm for match pair approximation in message passing},
  journal      = {Parallel Comput.},
  volume       = {91},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.parco.2019.102585},
  doi          = {10.1016/J.PARCO.2019.102585},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pc/HuangGM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/ArthoPAABBBCCDE20,
  author       = {Cyrille Artho and
                  Quoc{-}Sang Phan and
                  Peter Aldous and
                  Alyas Almaawi and
                  Lucas Bang and
                  Lasse Berglund and
                  Tevfik Bultan and
                  Zhenbang Chen and
                  Hayes Converse and
                  Wei Dong and
                  William Eiers and
                  Milos Gligoric and
                  Simon Goldsmith and
                  Lars Grunske and
                  Joshua Hooker and
                  Ismet Burak Kadron and
                  Timo Kehrer and
                  Sarfraz Khurshid and
                  Xuan{-}Bach Dinh Le and
                  David Lo and
                  Eric Mercer and
                  Sasa Misailovic and
                  Egor Namakonov and
                  Hoang Lam Nguyen and
                  Yannic Noller and
                  Benjamin Ogles and
                  Rohan Padhye and
                  Pavel Par{\'{\i}}zek and
                  Corina S. Pasareanu and
                  Sheridan Jacob Powell and
                  Seemanta Saha and
                  Koushik Sen and
                  Elena Sherman and
                  Kyle Storey and
                  Minxing Tang and
                  Willem Visser and
                  Ji Wang and
                  Hengbiao Yu},
  title        = {The Java Pathfinder Workshop 2019},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {45},
  number       = {2},
  pages        = {20--22},
  year         = {2020},
  url          = {https://doi.org/10.1145/3385678.3385685},
  doi          = {10.1145/3385678.3385685},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/ArthoPAABBBCCDE20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/HuangOM20,
  author       = {Yu Huang and
                  Benjamin Ogles and
                  Eric Mercer},
  title        = {A Predictive Analysis for Detecting Deadlock in {MPI} Programs},
  booktitle    = {35th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2020, Melbourne, Australia, September 21-25, 2020},
  pages        = {18--28},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3324884.3416588},
  doi          = {10.1145/3324884.3416588},
  timestamp    = {Fri, 12 Feb 2021 13:04:43 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HuangOM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2008-01623,
  author       = {Mohcine Madkour and
                  Keith A. Butler and
                  Eric Mercer and
                  Ali Bahrami and
                  Cui Tao},
  title        = {Semantic based model of Conceptual Work Products for formal verification
                  of complex interactive systems},
  journal      = {CoRR},
  volume       = {abs/2008.01623},
  year         = {2020},
  url          = {https://arxiv.org/abs/2008.01623},
  eprinttype    = {arXiv},
  eprint       = {2008.01623},
  timestamp    = {Fri, 07 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2008-01623.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/isse/NakadeMASOHPM19,
  author       = {Radha Nakade and
                  Eric Mercer and
                  Peter Aldous and
                  Kyle Storey and
                  Benjamin Ogles and
                  Joshua Hooker and
                  Sheridan Jacob Powell and
                  Jay McCarthy},
  title        = {Model-checking task-parallel programs for data-race},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {15},
  number       = {3-4},
  pages        = {289--306},
  year         = {2019},
  url          = {https://doi.org/10.1007/s11334-019-00343-5},
  doi          = {10.1007/S11334-019-00343-5},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/isse/NakadeMASOHPM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/StoreyMP19,
  author       = {Kyle Storey and
                  Eric Mercer and
                  Pavel Par{\'{\i}}zek},
  title        = {A Sound Dynamic Partial Order Reduction Engine for Java Pathfinder},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {44},
  number       = {4},
  pages        = {15},
  year         = {2019},
  url          = {https://doi.org/10.1145/3364452.3364457},
  doi          = {10.1145/3364452.3364457},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/StoreyMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/NamakonovMPS19,
  author       = {Egor Namakonov and
                  Eric Mercer and
                  Pavel Par{\'{\i}}zek and
                  Kyle Storey},
  title        = {Symbolic data race detection for Habanero programs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {44},
  number       = {4},
  pages        = {18},
  year         = {2019},
  url          = {https://doi.org/10.1145/3364452.33644562},
  doi          = {10.1145/3364452.33644562},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/NamakonovMPS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/HookerAMOSP19,
  author       = {Joshua Hooker and
                  Peter Aldous and
                  Eric Mercer and
                  Benjamin Ogles and
                  Kyle Storey and
                  Sheridan Jacob Powell},
  title        = {{JPF-HJ:} {A} Tool for Task Parallel Program Analysis},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {44},
  number       = {4},
  pages        = {19},
  year         = {2019},
  url          = {https://doi.org/10.1145/3364452.33644563},
  doi          = {10.1145/3364452.33644563},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/HookerAMOSP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/OglesAM19,
  author       = {Benjamin Ogles and
                  Peter Aldous and
                  Eric Mercer},
  editor       = {Clark W. Barrett and
                  Jin Yang},
  title        = {Proving Data Race Freedom in Task Parallel Programs Using a Weaker
                  Partial Order},
  booktitle    = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
                  CA, USA, October 22-25, 2019},
  pages        = {55--63},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/FMCAD.2019.8894270},
  doi          = {10.23919/FMCAD.2019.8894270},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/OglesAM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/JonesWBPAM18,
  author       = {Joseph Jones and
                  James Wasson and
                  Sean Brown and
                  Seth Poulsen and
                  Peter Aldous and
                  Eric Mercer},
  title        = {Memory safety in {C} by abstract interpretation},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {43},
  number       = {4},
  pages        = {56},
  year         = {2018},
  url          = {https://doi.org/10.1145/3282517.3282530},
  doi          = {10.1145/3282517.3282530},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sigsoft/JonesWBPAM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/NeupaneGM18,
  author       = {Aadesh Neupane and
                  Michael A. Goodrich and
                  Eric G. Mercer},
  editor       = {Elisabeth Andr{\'{e}} and
                  Sven Koenig and
                  Mehdi Dastani and
                  Gita Sukthankar},
  title        = {{GEESE:} Grammatical Evolution Algorithm for Evolution of Swarm Behaviors},
  booktitle    = {Proceedings of the 17th International Conference on Autonomous Agents
                  and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
                  2018},
  pages        = {2025--2027},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  Richland, SC, {USA} / {ACM}},
  year         = {2018},
  url          = {http://dl.acm.org/citation.cfm?id=3238059},
  timestamp    = {Sat, 30 Sep 2023 09:34:53 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/NeupaneGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gecco/NeupaneGM18,
  author       = {Aadesh Neupane and
                  Michael A. Goodrich and
                  Eric G. Mercer},
  editor       = {Hern{\'{a}}n E. Aguirre and
                  Keiki Takadama},
  title        = {{GEESE:} grammatical evolution algorithm for evolution of swarm behaviors},
  booktitle    = {Proceedings of the Genetic and Evolutionary Computation Conference,
                  {GECCO} 2018, Kyoto, Japan, July 15-19, 2018},
  pages        = {999--1006},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3205455.3205619},
  doi          = {10.1145/3205455.3205619},
  timestamp    = {Wed, 21 Nov 2018 12:43:54 +0100},
  biburl       = {https://dblp.org/rec/conf/gecco/NeupaneGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lcpc/StoreyPOHAM18,
  author       = {Kyle Storey and
                  Sheridan Jacob Powell and
                  Benjamin Ogles and
                  Joshua Hooker and
                  Peter Aldous and
                  Eric Mercer},
  editor       = {Mary W. Hall and
                  Hari Sundar},
  title        = {Optimized Sound and Complete Data Race Detection in Structured Parallel
                  Programs},
  booktitle    = {Languages and Compilers for Parallel Computing - 31st International
                  Workshop, {LCPC} 2018, Salt Lake City, UT, USA, October 9-11, 2018,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {11882},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-34627-0\_8},
  doi          = {10.1007/978-3-030-34627-0\_8},
  timestamp    = {Tue, 26 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lcpc/StoreyPOHAM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/NakadeMAM18,
  author       = {Radha Nakade and
                  Eric Mercer and
                  Peter Aldous and
                  Jay McCarthy},
  editor       = {Aaron Dutle and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Anthony Narkawicz},
  title        = {Model-Checking Task Parallel Programs for Data-Race},
  booktitle    = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
                  Newport News, VA, USA, April 17-19, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10811},
  pages        = {367--382},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-77935-5\_25},
  doi          = {10.1007/978-3-319-77935-5\_25},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/NakadeMAM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/thms/MercerRG16,
  author       = {Eric Mercer and
                  Neha Rungta and
                  Douglas J. Gillan},
  title        = {Guest Editorial Special Issue on Systematic Approaches to Human-Machine
                  Interface: Improving Resilience, Robustness, and Stability},
  journal      = {{IEEE} Trans. Hum. Mach. Syst.},
  volume       = {46},
  number       = {2},
  pages        = {169--173},
  year         = {2016},
  url          = {https://doi.org/10.1109/THMS.2016.2516780},
  doi          = {10.1109/THMS.2016.2516780},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/thms/MercerRG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/RungtaMRKSW16,
  author       = {Neha Rungta and
                  Eric G. Mercer and
                  Franco Raimondi and
                  Bjorn C. Krantz and
                  Richard Stocker and
                  Andrew Wallace},
  title        = {Modeling complex air traffic management systems},
  booktitle    = {Proceedings of the 8th International Workshop on Modeling in Software
                  Engineering, MiSE@ICSE 2016, Austin, Texas, USA, May 16-17, 2016},
  pages        = {41--47},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2896982.2896993},
  doi          = {10.1145/2896982.2896993},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/RungtaMRKSW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/HilleryMRP16,
  author       = {Benjamin Hillery and
                  Eric Mercer and
                  Neha Rungta and
                  Suzette Person},
  editor       = {Barbara Jobstmann and
                  K. Rustan M. Leino},
  title        = {Exact Heap Summaries for Symbolic Execution},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 17th International
                  Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
                  2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9583},
  pages        = {206--225},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49122-5\_10},
  doi          = {10.1007/978-3-662-49122-5\_10},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/HilleryMRP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/AndersonVMS15,
  author       = {Peter Anderson and
                  Nick Vrvilo and
                  Eric Mercer and
                  Vivek Sarkar},
  title        = {{JPF} Verification of Habanero Java Programs using Gradual Type Permission
                  Regions},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {40},
  number       = {1},
  pages        = {1--5},
  year         = {2015},
  url          = {https://doi.org/10.1145/2693208.2693245},
  doi          = {10.1145/2693208.2693245},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/AndersonVMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/NakadeM15,
  author       = {Radha Nakade and
                  Eric Mercer},
  title        = {Verification of Habanero Java Programs using Computation Graphs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {40},
  number       = {6},
  pages        = {1--4},
  year         = {2015},
  url          = {https://doi.org/10.1145/2830719.2830733},
  doi          = {10.1145/2830719.2830733},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/NakadeM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amia/ButlerMBT15,
  author       = {Keith A. Butler and
                  Eric Mercer and
                  Ali Bahrami and
                  Cui Tao},
  title        = {Model Checking for Verification of Interactive Health {IT} Systems},
  booktitle    = {{AMIA} 2015, American Medical Informatics Association Annual Symposium,
                  San Francisco, CA, USA, November 14-18, 2015},
  publisher    = {{AMIA}},
  year         = {2015},
  url          = {https://knowledge.amia.org/59310-amia-1.2741865/t004-1.2745466/f004-1.2745467/2248920-1.2745810/2246148-1.2745807},
  timestamp    = {Wed, 17 Apr 2024 11:47:40 +0200},
  biburl       = {https://dblp.org/rec/conf/amia/ButlerMBT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/atal/StockerRMRHCG15,
  author       = {Richard Stocker and
                  Neha Rungta and
                  Eric Mercer and
                  Franco Raimondi and
                  Jon Holbrook and
                  Colleen Cardoza and
                  Michael A. Goodrich},
  editor       = {Gerhard Weiss and
                  Pinar Yolum and
                  Rafael H. Bordini and
                  Edith Elkind},
  title        = {An Approach to Quantify Workload in a System of Agents},
  booktitle    = {Proceedings of the 2015 International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
  pages        = {1041--1050},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {http://dl.acm.org/citation.cfm?id=2773284},
  timestamp    = {Tue, 08 Mar 2022 10:12:47 +0100},
  biburl       = {https://dblp.org/rec/conf/atal/StockerRMRHCG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/MercerAVS15,
  author       = {Eric G. Mercer and
                  Peter Anderson and
                  Nick Vrvilo and
                  Vivek Sarkar},
  editor       = {Myra B. Cohen and
                  Lars Grunske and
                  Michael Whalen},
  title        = {Model Checking Task Parallel Programs Using Gradual Permissions {(N)}},
  booktitle    = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
                  {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages        = {535--540},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ASE.2015.75},
  doi          = {10.1109/ASE.2015.75},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/MercerAVS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/HuangM15,
  author       = {Yu Huang and
                  Eric Mercer},
  editor       = {Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Detecting {MPI} Zero Buffer Incompatibility by {SMT} Encoding},
  booktitle    = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
                  CA, USA, April 27-29, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9058},
  pages        = {219--233},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-17524-9\_16},
  doi          = {10.1007/978-3-319-17524-9\_16},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/HuangM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/aim/JainJKTMRWWBSLSHH14,
  author       = {Manish Jain and
                  Albert Xin Jiang and
                  Takashi Kido and
                  Keiki Takadama and
                  Eric G. Mercer and
                  Neha Rungta and
                  Mark Waser and
                  Alan Wagner and
                  Jennifer L. Burke and
                  Donald A. Sofge and
                  William F. Lawless and
                  Mohan Sridharan and
                  Nick Hawes and
                  Tim Hwang},
  title        = {Reports of the 2014 {AAAI} Spring Symposium Series},
  journal      = {{AI} Mag.},
  volume       = {35},
  number       = {3},
  pages        = {70--76},
  year         = {2014},
  url          = {https://doi.org/10.1609/aimag.v35i3.2550},
  doi          = {10.1609/AIMAG.V35I3.2550},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aim/JainJKTMRWWBSLSHH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/AndersonCM14,
  author       = {Peter Anderson and
                  Brandon Chase and
                  Eric Mercer},
  title        = {{JPF} verification of habanero Java programs},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {39},
  number       = {1},
  pages        = {1--7},
  year         = {2014},
  url          = {https://doi.org/10.1145/2557833.2560582},
  doi          = {10.1145/2557833.2560582},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/AndersonCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/HilleryMRP14,
  author       = {Benjamin Hillery and
                  Eric Mercer and
                  Neha Rungta and
                  Suzette Person},
  title        = {Towards a lazier symbolic pathfinder},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {39},
  number       = {1},
  pages        = {1--5},
  year         = {2014},
  url          = {https://doi.org/10.1145/2557833.2560579},
  doi          = {10.1145/2557833.2560579},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/HilleryMRP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/NoonanMR14,
  author       = {Eric Noonan and
                  Eric Mercer and
                  Neha Rungta},
  title        = {Vector-clock based partial order reduction for {JPF}},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {39},
  number       = {1},
  pages        = {1--5},
  year         = {2014},
  url          = {https://doi.org/10.1145/2557833.2560581},
  doi          = {10.1145/2557833.2560581},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/NoonanMR14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Mercer14,
  author       = {Eric G. Mercer},
  title        = {Committees},
  booktitle    = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
                  USA, March 24-26, 2014},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/8049},
  timestamp    = {Wed, 14 Nov 2018 14:23:12 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Mercer14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/MercerGRB14,
  author       = {Eric G. Mercer and
                  Michael A. Goodrich and
                  Neha Rungta and
                  Ellen J. Bass},
  title        = {Preface},
  booktitle    = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
                  USA, March 24-26, 2014},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/8050},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/MercerGRB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/MooreIGMG14,
  author       = {J. J. Moore and
                  R. Ivie and
                  T. J. Gledhill and
                  Eric G. Mercer and
                  Michael A. Goodrich},
  title        = {Modeling Human Workload in Unmanned Aerial Systems},
  booktitle    = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
                  USA, March 24-26, 2014},
  publisher    = {{AAAI} Press},
  year         = {2014},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7753},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/MooreIGMG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/HuangMM13,
  author       = {Yu Huang and
                  Eric Mercer and
                  Jay McCarthy},
  editor       = {Ewen Denney and
                  Tevfik Bultan and
                  Andreas Zeller},
  title        = {Proving {MCAPI} executions are correct using {SMT}},
  booktitle    = {2013 28th {IEEE/ACM} International Conference on Automated Software
                  Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
                  2013},
  pages        = {26--36},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASE.2013.6693063},
  doi          = {10.1109/ASE.2013.6693063},
  timestamp    = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl       = {https://dblp.org/rec/conf/kbse/HuangMM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smc/GledhillMG13,
  author       = {T. J. Gledhill and
                  Eric Mercer and
                  Michael A. Goodrich},
  title        = {Modeling UASs for Role Fusion and Human Machine Interface Optimization},
  booktitle    = {{IEEE} International Conference on Systems, Man, and Cybernetics,
                  Manchester, {SMC} 2013, United Kingdom, October 13-16, 2013},
  pages        = {1929--1937},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/SMC.2013.332},
  doi          = {10.1109/SMC.2013.332},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/GledhillMG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigsoft/MercerPR12,
  author       = {Eric Mercer and
                  Suzette Person and
                  Neha Rungta},
  title        = {Computing and visualizing the impact of change with Java PathFinder
                  extensions},
  journal      = {{ACM} {SIGSOFT} Softw. Eng. Notes},
  volume       = {37},
  number       = {6},
  pages        = {1--5},
  year         = {2012},
  url          = {https://doi.org/10.1145/2382756.2382801},
  doi          = {10.1145/2382756.2382801},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigsoft/MercerPR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/itaero/GoodrichM12,
  author       = {Michael A. Goodrich and
                  Eric Mercer},
  title        = {Abstraction and Persistence: Macro-Level Guarantees of Collective
                  Bio-Inspired Teams under Human Supervision},
  booktitle    = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
                  2012},
  year         = {2012},
  url          = {https://doi.org/10.2514/6.2012-2457},
  doi          = {10.2514/6.2012-2457},
  timestamp    = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/itaero/GoodrichM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spaa/ShirakoVMS12,
  author       = {Jun Shirako and
                  Nick Vrvilo and
                  Eric G. Mercer and
                  Vivek Sarkar},
  editor       = {Guy E. Blelloch and
                  Maurice Herlihy},
  title        = {Design, verification and applications of a new read-write lock algorithm},
  booktitle    = {24th {ACM} Symposium on Parallelism in Algorithms and Architectures,
                  {SPAA} '12, Pittsburgh, PA, USA, June 25-27, 2012},
  pages        = {48--57},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2312005.2312015},
  doi          = {10.1145/2312005.2312015},
  timestamp    = {Wed, 21 Nov 2018 11:16:54 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/ShirakoVMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vmcai/MorseVMM12,
  author       = {Everett Morse and
                  Nick Vrvilo and
                  Eric Mercer and
                  Jay McCarthy},
  editor       = {Viktor Kuncak and
                  Andrey Rybalchenko},
  title        = {Modeling Asynchronous Message Passing for {C} Programs},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 13th International
                  Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7148},
  pages        = {332--347},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27940-9\_22},
  doi          = {10.1007/978-3-642-27940-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/MorseVMM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/WesongaMR11,
  author       = {Saint Wesonga and
                  Eric G. Mercer and
                  Neha Rungta},
  editor       = {Perry Alexander and
                  Corina S. Pasareanu and
                  John G. Hosking},
  title        = {Guided test visualization: Making sense of errors in concurrent programs},
  booktitle    = {26th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
  pages        = {624--627},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ASE.2011.6100141},
  doi          = {10.1109/ASE.2011.6100141},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/WesongaMR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppopp/FischerMR11,
  author       = {Topher Fischer and
                  Eric Mercer and
                  Neha Rungta},
  editor       = {Calin Cascaval and
                  Pen{-}Chung Yew},
  title        = {Symbolically modeling concurrent {MCAPI} executions},
  booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
                  February 12-16, 2011},
  pages        = {307--308},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1941553.1941602},
  doi          = {10.1145/1941553.1941602},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/FischerMR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/RungtaM10,
  author       = {Neha Rungta and
                  Eric Mercer},
  editor       = {Jeff Kramer and
                  Judith Bishop and
                  Premkumar T. Devanbu and
                  Sebasti{\'{a}}n Uchitel},
  title        = {Slicing and dicing bugs in concurrent programs},
  booktitle    = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
                  Engineering - Volume 2, {ICSE} 2010, Cape Town, South Africa, 1-8
                  May 2010},
  pages        = {195--198},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1810295.1810328},
  doi          = {10.1145/1810295.1810328},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/RungtaM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/SharmaGMH09,
  author       = {Subodh Sharma and
                  Ganesh Gopalakrishnan and
                  Eric Mercer and
                  Jim Holt},
  title        = {{MCC:} {A} runtime verification tool for {MCAPI} user applications},
  booktitle    = {Proceedings of 9th International Conference on Formal Methods in Computer-Aided
                  Design, {FMCAD} 2009, 15-18 November 2009, Austin, Texas, {USA}},
  pages        = {41--44},
  publisher    = {{IEEE}},
  year         = {2009},
  url          = {https://doi.org/10.1109/FMCAD.2009.5351145},
  doi          = {10.1109/FMCAD.2009.5351145},
  timestamp    = {Mon, 04 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/SharmaGMH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hldvt/SharmaGM09,
  author       = {Subodh Sharma and
                  Ganesh Gopalakrishnan and
                  Eric Mercer},
  title        = {Dynamic verification of Multicore Communication applications in {MCAPI}},
  booktitle    = {{IEEE} International High Level Design Validation and Test Workshop,
                  {HLDVT} 2009, San Francisco, CA, USA, 4-6 November 2009},
  pages        = {100--105},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/HLDVT.2009.5340169},
  doi          = {10.1109/HLDVT.2009.5340169},
  timestamp    = {Mon, 04 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hldvt/SharmaGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issta/RungtaM09,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  editor       = {Ganesh Gopalakrishnan and
                  Eitan Farchi and
                  Eric Mercer},
  title        = {Clash of the Titans: tools and techniques for hunting bugs in concurrent
                  programs},
  booktitle    = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
                  USA, July 19-20, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1639622.1639631},
  doi          = {10.1145/1639622.1639631},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/RungtaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/RungtaM09,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  editor       = {Germ{\'{a}}n Puebla and
                  Germ{\'{a}}n Vidal},
  title        = {Guided model checking for programs with polymorphism},
  booktitle    = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
                  and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
                  USA, January 19-20, 2009},
  pages        = {21--30},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1480945.1480950},
  doi          = {10.1145/1480945.1480950},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/RungtaM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/RungtaMV09,
  author       = {Neha Rungta and
                  Eric G. Mercer and
                  Willem Visser},
  editor       = {Corina S. Pasareanu},
  title        = {Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic
                  Execution},
  booktitle    = {Model Checking Software, 16th International {SPIN} Workshop, Grenoble,
                  France, June 26-28, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5578},
  pages        = {174--191},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02652-2\_16},
  doi          = {10.1007/978-3-642-02652-2\_16},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/RungtaMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issta/2009p,
  editor       = {Ganesh Gopalakrishnan and
                  Eitan Farchi and
                  Eric Mercer},
  title        = {Proceedings of the 7th Workshop on Parallel and Distributed Systems:
                  Testing, Analysis, and Debugging, {PADTAD} 2009, Chicago, Illinois,
                  USA, July 19-20, 2009},
  publisher    = {{ACM}},
  year         = {2009},
  isbn         = {978-1-60558-655-7},
  timestamp    = {Tue, 19 Jan 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issta/2009p.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/KumarM08,
  author       = {Rahul Kumar and
                  Eric G. Mercer},
  title        = {Improving Live Sequence Chart to Automata Transformation for Verification},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {10},
  year         = {2008},
  url          = {https://doi.org/10.14279/tuj.eceasst.10.151},
  doi          = {10.14279/TUJ.ECEASST.10.151},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/KumarM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hvc/RungtaM08,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  editor       = {Hana Chockler and
                  Alan J. Hu},
  title        = {A Meta Heuristic for Effectively Detecting Concurrency Errors},
  booktitle    = {Hardware and Software: Verification and Testing, 4th International
                  Haifa Verification Conference, {HVC} 2008, Haifa, Israel, October
                  27-30, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5394},
  pages        = {23--37},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01702-5\_8},
  doi          = {10.1007/978-3-642-01702-5\_8},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hvc/RungtaM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/policy/WalkerMS08,
  author       = {Daniel D. Walker and
                  Eric G. Mercer and
                  Kent E. Seamons},
  title        = {Or Best Offer: {A} Privacy Policy Negotiation Protocol},
  booktitle    = {9th {IEEE} International Workshop on Policies for Distributed Systems
                  and Networks {(POLICY} 2008), 2-4 June 2008, Palisades, New York,
                  {USA}},
  pages        = {173--180},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/POLICY.2008.39},
  doi          = {10.1109/POLICY.2008.39},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/policy/WalkerMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KumarM09,
  author       = {Rahul Kumar and
                  Eric G. Mercer},
  editor       = {Alice Miller and
                  Muffy Calder},
  title        = {Verifying Communication Protocols Using Live Sequence Chart Specifications},
  booktitle    = {Proceedings of the Eighth International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2008, Glasgow, UK, September 30 - October
                  1, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {250},
  number       = {2},
  pages        = {33--48},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.08.016},
  doi          = {10.1016/J.ENTCS.2009.08.016},
  timestamp    = {Fri, 24 Feb 2023 13:53:27 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KumarM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/RungtaCMRCS07,
  author       = {Neha Rungta and
                  Hyrum Carroll and
                  Eric G. Mercer and
                  Randall J. Roper and
                  Mark J. Clement and
                  Quinn Snell},
  title        = {Analyzing Gene Relationships for Down Syndrome with Labeled Transition
                  Graphs},
  booktitle    = {Formal Methods in Computer-Aided Design, 7th International Conference,
                  {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  pages        = {216--219},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/FAMCAD.2007.24},
  doi          = {10.1109/FAMCAD.2007.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/RungtaCMRCS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/RungtaM07,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  title        = {Hardness for Explicit State Software Model Checking Benchmarks},
  booktitle    = {Fifth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
                  {UK}},
  pages        = {247--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SEFM.2007.23},
  doi          = {10.1109/SEFM.2007.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/RungtaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/RungtaM07,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {Generating Counter-Examples Through Randomized Guided Search},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {39--57},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_5},
  doi          = {10.1007/978-3-540-73370-6\_5},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/RungtaM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/SelfM07,
  author       = {Joel P. Self and
                  Eric G. Mercer},
  editor       = {Dragan Bosnacki and
                  Stefan Edelkamp},
  title        = {On-the-Fly Dynamic Dead Variable Analysis},
  booktitle    = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
                  Germany, July 1-3, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4595},
  pages        = {113--130},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73370-6\_9},
  doi          = {10.1007/978-3-540-73370-6\_9},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/SelfM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KumarMB09,
  author       = {Rahul Kumar and
                  Eric G. Mercer and
                  Annette Bunker},
  editor       = {Michael Goldsmith and
                  Bill Roscoe},
  title        = {Improving Translation of Live Sequence Charts to Temporal Logic},
  booktitle    = {Proceedings of the Seventh International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2007, Oxford, UK, September 10-12, 2007},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {250},
  number       = {1},
  pages        = {137--152},
  publisher    = {Elsevier},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.entcs.2009.08.010},
  doi          = {10.1016/J.ENTCS.2009.08.010},
  timestamp    = {Fri, 24 Feb 2023 13:48:46 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KumarMB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/RungtaM06,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  title        = {An Improved Distance Heuristic Function for Directed Software Model
                  Checking},
  booktitle    = {Formal Methods in Computer-Aided Design, 6th International Conference,
                  {FMCAD} 2006, San Jose, California, USA, November 12-16, 2006, Proceedings},
  pages        = {60--67},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/FMCAD.2006.5},
  doi          = {10.1109/FMCAD.2006.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/RungtaM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kbse/RungtaM05,
  author       = {Neha Rungta and
                  Eric G. Mercer},
  editor       = {David F. Redmiles and
                  Thomas Ellman and
                  Andrea Zisman},
  title        = {A context-sensitive structural heuristic for guided search model checking},
  booktitle    = {20th {IEEE/ACM} International Conference on Automated Software Engineering
                  {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  pages        = {410--413},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1101908.1101982},
  doi          = {10.1145/1101908.1101982},
  timestamp    = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/RungtaM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/MercerJ05,
  author       = {Eric Mercer and
                  Michael D. Jones},
  editor       = {Patrice Godefroid},
  title        = {Model Checking Machine Code with the {GNU} Debugger},
  booktitle    = {Model Checking Software, 12th International {SPIN} Workshop, San Francisco,
                  CA, USA, August 22-24, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3639},
  pages        = {251--265},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11537328\_20},
  doi          = {10.1007/11537328\_20},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/MercerJ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/spin/JonesM04,
  author       = {Michael D. Jones and
                  Eric Mercer},
  editor       = {Susanne Graf and
                  Laurent Mounier},
  title        = {Explicit State Model Checking with Hopper},
  booktitle    = {Model Checking Software, 11th International {SPIN} Workshop, Barcelona,
                  Spain, April 1-3, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2989},
  pages        = {146--150},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24732-6\_10},
  doi          = {10.1007/978-3-540-24732-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/spin/JonesM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KumarM05,
  author       = {Rahul Kumar and
                  Eric G. Mercer},
  editor       = {Lubos Brim and
                  Martin Leucker},
  title        = {Load Balancing Parallel Explicit State Model Checking},
  booktitle    = {Proceedings of the 3rd International Workshop on Parallel and Distributed
                  Methods in Verification, {PDMC} 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {3},
  pages        = {19--34},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.10.016},
  doi          = {10.1016/J.ENTCS.2004.10.016},
  timestamp    = {Mon, 12 Dec 2022 15:21:54 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KumarM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcad/ZhengMM03,
  author       = {Hao Zheng and
                  Eric Mercer and
                  Chris J. Myers},
  title        = {Modular verification of timed circuits using automatic abstraction},
  journal      = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
  volume       = {22},
  number       = {9},
  pages        = {1138--1153},
  year         = {2003},
  url          = {https://doi.org/10.1109/TCAD.2003.816214},
  doi          = {10.1109/TCAD.2003.816214},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcad/ZhengMM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JonesMBKL03,
  author       = {Michael D. Jones and
                  Eric Mercer and
                  Tonglaga Bao and
                  Rahul Kumar and
                  Peter Lamborn},
  editor       = {Lubos Brim and
                  Orna Grumberg},
  title        = {Benchmarking Explicit State Parallel Model Checkers},
  booktitle    = {2nd International Workshop on Parallel and Distributed Model Checking,
                  {PDMC} 2003, Satellite Workshop of {CAV} 2003, Boulder, Colorado,
                  USA, July 13, 2003},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {89},
  number       = {1},
  pages        = {84--98},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://doi.org/10.1016/S1571-0661(05)80098-2},
  doi          = {10.1016/S1571-0661(05)80098-2},
  timestamp    = {Thu, 08 Dec 2022 15:32:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JonesMBKL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ieiceta/YonedaMM02,
  author       = {Tomohiro Yoneda and
                  Eric Mercer and
                  Chris Myers},
  title        = {Modular Synthesis of Timed Circuits Using Partial Order Reduction},
  journal      = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
  volume       = {85-A},
  number       = {12},
  pages        = {2684--2692},
  year         = {2002},
  url          = {http://search.ieice.org/bin/summary.php?id=e85-a\_12\_2684},
  timestamp    = {Wed, 09 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ieiceta/YonedaMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/prdc/KitaiOYMM02,
  author       = {Tomoya Kitai and
                  Yusuke Oguro and
                  Tomohiro Yoneda and
                  Eric Mercer and
                  Chris J. Myers},
  title        = {Level Oriented Formal Model for Asynchronous Circuit Verification
                  and its Efficient Analysis Method},
  booktitle    = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
                  2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
  pages        = {210--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/PRDC.2002.1185640},
  doi          = {10.1109/PRDC.2002.1185640},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/prdc/KitaiOYMM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MercerMY02,
  author       = {Eric Mercer and
                  Chris J. Myers and
                  Tomohiro Yoneda},
  editor       = {Eugene Asarin and
                  Oded Maler and
                  Sergio Yovine},
  title        = {Modular Synthesis of Timed Circuits using Partial Order Reduction},
  booktitle    = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
                  Grenoble, France, April 6-7, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {65},
  number       = {6},
  pages        = {180--201},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80476-6},
  doi          = {10.1016/S1571-0661(04)80476-6},
  timestamp    = {Mon, 05 Dec 2022 15:10:47 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MercerMY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/arvlsi/KillpackMM01,
  author       = {Kip C. Killpack and
                  Eric Mercer and
                  Chris J. Myers},
  title        = {A Standard-Cell Self-Timed Multiplier for Energy and Area Critical
                  Synchronous Systems},
  booktitle    = {19th Conference on Advanced Research in {VLSI} {(ARVLSI} 2001), 14-16
                  March 2001, Salt Lake City, UT, {USA}},
  pages        = {188--201},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ARVLSI.2001.915560},
  doi          = {10.1109/ARVLSI.2001.915560},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/arvlsi/KillpackMM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/ZhengMM01,
  author       = {Hao Zheng and
                  Eric Mercer and
                  Chris J. Myers},
  editor       = {G{\'{e}}rard Berry and
                  Hubert Comon and
                  Alain Finkel},
  title        = {Automatic Abstraction for Verification of Timed Circuits and Systems},
  booktitle    = {Computer Aided Verification, 13th International Conference, {CAV}
                  2001, Paris, France, July 18-22, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2102},
  pages        = {182--193},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44585-4\_16},
  doi          = {10.1007/3-540-44585-4\_16},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/ZhengMM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iscas/MercerM00,
  author       = {Eric G. Mercer and
                  Chris J. Myers},
  title        = {Stochastic cycle period analysis in timed circuits},
  booktitle    = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2000,
                  Emerging Technologies for the 21st Century, Geneva, Switzerland, 28-31
                  May 2000, Proceedings},
  pages        = {172--175},
  publisher    = {{IEEE}},
  year         = {2000},
  url          = {https://doi.org/10.1109/ISCAS.2000.856286},
  doi          = {10.1109/ISCAS.2000.856286},
  timestamp    = {Fri, 13 Aug 2021 09:26:01 +0200},
  biburl       = {https://dblp.org/rec/conf/iscas/MercerM00.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.