BibTeX records: Richard J. Trefler

download as .bib file

@inproceedings{DBLP:conf/fmcad/ZhangTN22,
  author       = {Ruoxi Zhang and
                  Richard J. Trefler and
                  Kedar S. Namjoshi},
  editor       = {Alberto Griggio and
                  Neha Rungta},
  title        = {Synthesizing Locally Symmetric Parameterized Protocols from Temporal
                  Specifications},
  booktitle    = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
                  Italy, October 17-21, 2022},
  pages        = {235--244},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_30},
  doi          = {10.34727/2022/ISBN.978-3-85448-053-2\_30},
  timestamp    = {Mon, 13 Feb 2023 21:53:10 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/ZhangTN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WesleyCNTWG22,
  author       = {Scott Wesley and
                  Maria Christakis and
                  Jorge A. Navas and
                  Richard J. Trefler and
                  Valentin W{\"{u}}stholz and
                  Arie Gurfinkel},
  editor       = {Bernd Finkbeiner and
                  Thomas Wies},
  title        = {Verifying Solidity Smart Contracts via Communication Abstraction in
                  SmartACE},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation - 23rd International
                  Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13182},
  pages        = {425--449},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-030-94583-1\_21},
  doi          = {10.1007/978-3-030-94583-1\_21},
  timestamp    = {Wed, 19 Jan 2022 09:36:10 +0100},
  biburl       = {https://dblp.org/rec/conf/vmcai/WesleyCNTWG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/WesleyCNTWG21,
  author       = {Scott Wesley and
                  Maria Christakis and
                  Jorge A. Navas and
                  Richard J. Trefler and
                  Valentin W{\"{u}}stholz and
                  Arie Gurfinkel},
  editor       = {Cezara Dragoi and
                  Suvam Mukherjee and
                  Kedar S. Namjoshi},
  title        = {Compositional Verification of Smart Contracts Through Communication
                  Abstraction},
  booktitle    = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
                  IL, USA, October 17-19, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12913},
  pages        = {429--452},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-88806-0\_21},
  doi          = {10.1007/978-3-030-88806-0\_21},
  timestamp    = {Wed, 03 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sas/WesleyCNTWG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08583,
  author       = {Scott Wesley and
                  Maria Christakis and
                  Jorge A. Navas and
                  Richard J. Trefler and
                  Valentin W{\"{u}}stholz and
                  Arie Gurfinkel},
  title        = {Compositional Verification of Smart Contracts Through Communication
                  Abstraction (Extended)},
  journal      = {CoRR},
  volume       = {abs/2107.08583},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.08583},
  eprinttype    = {arXiv},
  eprint       = {2107.08583},
  timestamp    = {Thu, 22 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-08583.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AshmoreGT19,
  author       = {Rylo Ashmore and
                  Arie Gurfinkel and
                  Richard J. Trefler},
  editor       = {Julia M. Badger and
                  Kristin Yvonne Rozier},
  title        = {Local Reasoning for Parameterized First Order Protocols},
  booktitle    = {{NASA} Formal Methods - 11th International Symposium, {NFM} 2019,
                  Houston, TX, USA, May 7-9, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11460},
  pages        = {36--53},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-20652-9\_3},
  doi          = {10.1007/978-3-030-20652-9\_3},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/AshmoreGT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-03218,
  author       = {Rylo Ashmore and
                  Arie Gurfinkel and
                  Richard J. Trefler},
  title        = {Local Reasoning for Parameterized First Order Protocols},
  journal      = {CoRR},
  volume       = {abs/1903.03218},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.03218},
  eprinttype    = {arXiv},
  eprint       = {1903.03218},
  timestamp    = {Sun, 31 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-03218.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-10405,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  title        = {Symmetry Reduction for the Local Mu-Calculus},
  journal      = {CoRR},
  volume       = {abs/1903.10405},
  year         = {2019},
  url          = {http://arxiv.org/abs/1903.10405},
  eprinttype    = {arXiv},
  eprint       = {1903.10405},
  timestamp    = {Mon, 01 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1903-10405.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT18,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Dirk Beyer and
                  Marieke Huisman},
  title        = {Symmetry Reduction for the Local Mu-Calculus},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 24th International Conference, {TACAS} 2018, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10806},
  pages        = {379--395},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-89963-3\_22},
  doi          = {10.1007/978-3-319-89963-3\_22},
  timestamp    = {Fri, 09 Apr 2021 18:45:36 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT16,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Marsha Chechik and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Parameterized Compositional Model Checking},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 22nd International Conference, {TACAS} 2016, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9636},
  pages        = {589--606},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-49674-9\_39},
  doi          = {10.1007/978-3-662-49674-9\_39},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NamjoshiT15,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Susanne Graf and
                  Mahesh Viswanathan},
  title        = {Loop Freedom in AODVv2},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
                  as Part of the 10th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9039},
  pages        = {98--112},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19195-9\_7},
  doi          = {10.1007/978-3-319-19195-9\_7},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/NamjoshiT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NamjoshiT15,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Christel Baier and
                  Cesare Tinelli},
  title        = {Analysis of Dynamic Process Networks},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 21st International Conference, {TACAS} 2015, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2015, London, UK, April 11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9035},
  pages        = {164--178},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46681-0\_11},
  doi          = {10.1007/978-3-662-46681-0\_11},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/NamjoshiT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT13,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Roberto Giacobazzi and
                  Josh Berdine and
                  Isabella Mastroeni},
  title        = {Uncovering Symmetries in Irregular Process Networks},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 14th International
                  Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7737},
  pages        = {496--514},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-35873-9\_29},
  doi          = {10.1007/978-3-642-35873-9\_29},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BeerBCOT12,
  author       = {Ilan Beer and
                  Shoham Ben{-}David and
                  Hana Chockler and
                  Avigail Orni and
                  Richard J. Trefler},
  title        = {Explaining counterexamples using causality},
  journal      = {Formal Methods Syst. Des.},
  volume       = {40},
  number       = {1},
  pages        = {20--40},
  year         = {2012},
  url          = {https://doi.org/10.1007/s10703-011-0132-2},
  doi          = {10.1007/S10703-011-0132-2},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/BeerBCOT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/GhafariGKT12,
  author       = {Naghmeh Ghafari and
                  Arie Gurfinkel and
                  Nils Klarlund and
                  Richard J. Trefler},
  title        = {Reachability Problems in Piecewise {FIFO} Systems},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {13},
  number       = {1},
  pages        = {7:1--7:33},
  year         = {2012},
  url          = {https://doi.org/10.1145/2071368.2071375},
  doi          = {10.1145/2071368.2071375},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/GhafariGKT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/NamjoshiT12,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Viktor Kuncak and
                  Andrey Rybalchenko},
  title        = {Local Symmetry and Compositional Verification},
  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        = {348--362},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27940-9\_23},
  doi          = {10.1007/978-3-642-27940-9\_23},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/NamjoshiT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LangariT11,
  author       = {Zarrin Langari and
                  Richard J. Trefler},
  editor       = {Mihaela Gheorghiu Bobaru and
                  Klaus Havelund and
                  Gerard J. Holzmann and
                  Rajeev Joshi},
  title        = {Symmetry for the Analysis of Dynamic Systems},
  booktitle    = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
                  Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6617},
  pages        = {252--266},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-20398-5\_19},
  doi          = {10.1007/978-3-642-20398-5\_19},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/LangariT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Ben-DavidTW10,
  author       = {Shoham Ben{-}David and
                  Richard J. Trefler and
                  Grant E. Weddell},
  title        = {Model Checking Using Description Logic},
  journal      = {J. Log. Comput.},
  volume       = {20},
  number       = {1},
  pages        = {111--131},
  year         = {2010},
  url          = {https://doi.org/10.1093/logcom/exn062},
  doi          = {10.1093/LOGCOM/EXN062},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Ben-DavidTW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/NamjoshiT10,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  title        = {On the completeness of compositional reasoning methods},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {11},
  number       = {3},
  pages        = {16:1--16:22},
  year         = {2010},
  url          = {https://doi.org/10.1145/1740582.1740584},
  doi          = {10.1145/1740582.1740584},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/NamjoshiT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeerBCOT09,
  author       = {Ilan Beer and
                  Shoham Ben{-}David and
                  Hana Chockler and
                  Avigail Orni and
                  Richard J. Trefler},
  editor       = {Ahmed Bouajjani and
                  Oded Maler},
  title        = {Explaining Counterexamples Using Causality},
  booktitle    = {Computer Aided Verification, 21st International Conference, {CAV}
                  2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5643},
  pages        = {94--108},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02658-4\_11},
  doi          = {10.1007/978-3-642-02658-4\_11},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BeerBCOT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Ben-DavidPTTW09,
  author       = {Shoham Ben{-}David and
                  Jeffrey Pound and
                  Richard J. Trefler and
                  Dmitry Tsarkov and
                  Grant E. Weddell},
  editor       = {Bernardo Cuenca Grau and
                  Ian Horrocks and
                  Boris Motik and
                  Ulrike Sattler},
  title        = {Fair Cycle Detection using Description Logic Reasoning},
  booktitle    = {Proceedings of the 22nd International Workshop on Description Logics
                  {(DL} 2009), Oxford, UK, July 27-30, 2009},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009},
  url          = {https://ceur-ws.org/Vol-477/paper\_56.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:16 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Ben-DavidPTTW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GhafariGT09,
  author       = {Naghmeh Ghafari and
                  Arie Gurfinkel and
                  Richard J. Trefler},
  editor       = {David Lee and
                  Ant{\'{o}}nia Lopes and
                  Arnd Poetzsch{-}Heffter},
  title        = {Verification of Parameterized Systems with Combinations of Abstract
                  Domains},
  booktitle    = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
                  6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
                  International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5522},
  pages        = {57--72},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02138-1\_4},
  doi          = {10.1007/978-3-642-02138-1\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/forte/GhafariGT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/LangariT09,
  author       = {Zarrin Langari and
                  Richard J. Trefler},
  editor       = {Michael Leuschel and
                  Heike Wehrheim},
  title        = {Application of Graph Transformation in Verification of Dynamic Systems},
  booktitle    = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
                  D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5423},
  pages        = {261--276},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00255-7\_18},
  doi          = {10.1007/978-3-642-00255-7\_18},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/LangariT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/TreflerW09,
  author       = {Richard J. Trefler and
                  Thomas Wahl},
  editor       = {Neil D. Jones and
                  Markus M{\"{u}}ller{-}Olm},
  title        = {Extending Symmetry Reduction by Exploiting System Architecture},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 10th International
                  Conference, {VMCAI} 2009, Savannah, GA, USA, January 18-20, 2009.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5403},
  pages        = {320--334},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-93900-9\_26},
  doi          = {10.1007/978-3-540-93900-9\_26},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/TreflerW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Ben-DavidTW07,
  author       = {Shoham Ben{-}David and
                  Richard J. Trefler and
                  Grant E. Weddell},
  editor       = {Diego Calvanese and
                  Enrico Franconi and
                  Volker Haarslev and
                  Domenico Lembo and
                  Boris Motik and
                  Anni{-}Yasmin Turhan and
                  Sergio Tessaris},
  title        = {Modal vs. Propositional Reasoning for model checking with Description
                  Logics},
  booktitle    = {Proceedings of the 2007 International Workshop on Description Logics
                  (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
                  2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-250/paper\_65.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Ben-DavidTW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GhafariGKT07,
  author       = {Naghmeh Ghafari and
                  Arie Gurfinkel and
                  Nils Klarlund and
                  Richard J. Trefler},
  title        = {Algorithmic Analysis of Piecewise {FIFO} Systems},
  booktitle    = {Formal Methods in Computer-Aided Design, 7th International Conference,
                  {FMCAD} 2007, Austin, Texas, USA, November 11-14, 2007, Proceedings},
  pages        = {45--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/FAMCAD.2007.18},
  doi          = {10.1109/FAMCAD.2007.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fmcad/GhafariGKT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Ben-DavidTW07,
  author       = {Shoham Ben{-}David and
                  Richard J. Trefler and
                  Grant E. Weddell},
  editor       = {Nicola Olivetti},
  title        = {Bounded Model Checking with Description Logic Reasoning},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th
                  International Conference, {TABLEAUX} 2007, Aix en Provence, France,
                  July 3-6, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4548},
  pages        = {60--72},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73099-6\_7},
  doi          = {10.1007/978-3-540-73099-6\_7},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/Ben-DavidTW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Ben-DavidTW06,
  author       = {Shoham Ben{-}David and
                  Richard J. Trefler and
                  Grant E. Weddell},
  editor       = {Bijan Parsia and
                  Ulrike Sattler and
                  David Toman},
  title        = {Model checking the basic modalities of {CTL} with Description Logic},
  booktitle    = {Proceedings of the 2006 International Workshop on Description Logics
                  (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {189},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-189/submission\_33.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dlog/Ben-DavidTW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LangariT06,
  author       = {Zarrin Langari and
                  Richard J. Trefler},
  editor       = {Jayadev Misra and
                  Tobias Nipkow and
                  Emil Sekerinski},
  title        = {Formal Modeling of Communication Protocols by Graph Transformation},
  booktitle    = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
                  Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4085},
  pages        = {348--363},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11813040\_24},
  doi          = {10.1007/11813040\_24},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/LangariT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/EmersonTW06,
  author       = {E. Allen Emerson and
                  Richard J. Trefler and
                  Thomas Wahl},
  editor       = {Zhiming Liu and
                  Jifeng He},
  title        = {Reducing Model Checking of the Few to the One},
  booktitle    = {Formal Methods and Software Engineering, 8th International Conference
                  on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
                  1-3, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4260},
  pages        = {94--113},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11901433\_6},
  doi          = {10.1007/11901433\_6},
  timestamp    = {Mon, 21 Mar 2022 22:43:10 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/EmersonTW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GhafariT06,
  author       = {Naghmeh Ghafari and
                  Richard J. Trefler},
  editor       = {E. Allen Emerson and
                  Kedar S. Namjoshi},
  title        = {Piecewise {FIFO} Channels Are Analyzable},
  booktitle    = {Verification, Model Checking, and Abstract Interpretation, 7th International
                  Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3855},
  pages        = {252--266},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11609773\_17},
  doi          = {10.1007/11609773\_17},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/vmcai/GhafariT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KlarlundT05,
  author       = {Nils Klarlund and
                  Richard J. Trefler},
  editor       = {Michael Huth},
  title        = {Regularity Results for {FIFO} Channels},
  booktitle    = {Proceedings of the Fouth International Workshop on Automated Verification
                  of Critical Systems, AVoCS 2004, London, UK, September 4, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {128},
  number       = {6},
  pages        = {21--36},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2005.04.002},
  doi          = {10.1016/J.ENTCS.2005.04.002},
  timestamp    = {Mon, 11 Sep 2023 15:43:49 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KlarlundT05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AmlaENT03,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Roberto M. Amadio and
                  Denis Lugiez},
  title        = {Abstract Patterns of Compositional Reasoning},
  booktitle    = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
                  Marseille, France, September 3-5, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2761},
  pages        = {423--438},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45187-7\_28},
  doi          = {10.1007/978-3-540-45187-7\_28},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/AmlaENT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/ManoliosT03,
  author       = {Panagiotis Manolios and
                  Richard J. Trefler},
  editor       = {Elizabeth Borowsky and
                  Sergio Rajsbaum},
  title        = {A lattice-theoretic characterization of safety and liveness},
  booktitle    = {Proceedings of the Twenty-Second {ACM} Symposium on Principles of
                  Distributed Computing, {PODC} 2003, Boston, Massachusetts, USA, July
                  13-16, 2003},
  pages        = {325--333},
  publisher    = {{ACM}},
  year         = {2003},
  url          = {https://doi.org/10.1145/872035.872083},
  doi          = {10.1145/872035.872083},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/ManoliosT03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AmlaENT02,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Doron A. Peled and
                  Moshe Y. Vardi},
  title        = {Visual Specifications for Modular Reasoning about Asynchronous Systems},
  booktitle    = {Formal Techniques for Networked and Distributed Systems - {FORTE}
                  2002, 22nd {IFIP} {WG} 6.1 International Conference Houston, Texas,
                  USA, November 11-14, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2529},
  pages        = {226--242},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36135-9\_15},
  doi          = {10.1007/3-540-36135-9\_15},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/AmlaENT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ManoliosT01,
  author       = {Panagiotis Manolios and
                  Richard J. Trefler},
  title        = {Safety and Liveness in Branching Time},
  booktitle    = {16th Annual {IEEE} Symposium on Logic in Computer Science, Boston,
                  Massachusetts, USA, June 16-19, 2001, Proceedings},
  pages        = {366--374},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/LICS.2001.932512},
  doi          = {10.1109/LICS.2001.932512},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/ManoliosT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmlaENT01,
  author       = {Nina Amla and
                  E. Allen Emerson and
                  Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {Tiziana Margaria and
                  Wang Yi},
  title        = {Assume-Guarantee Based Compositional Reasoning for Synchronous Timing
                  Diagrams},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems,
                  7th International Conference, {TACAS} 2001 Held as Part of the Joint
                  European Conferences on Theory and Practice of Software, {ETAPS} 2001
                  Genova, Italy, April 2-6, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2031},
  pages        = {465--479},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45319-9\_32},
  doi          = {10.1007/3-540-45319-9\_32},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/AmlaENT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiT00,
  author       = {Kedar S. Namjoshi and
                  Richard J. Trefler},
  editor       = {E. Allen Emerson and
                  A. Prasad Sistla},
  title        = {On the Competeness of Compositional Reasoning},
  booktitle    = {Computer Aided Verification, 12th International Conference, {CAV}
                  2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1855},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/10722167\_14},
  doi          = {10.1007/10722167\_14},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/NamjoshiT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EmersonHT00,
  author       = {E. Allen Emerson and
                  John Havlicek and
                  Richard J. Trefler},
  title        = {Virtual Symmetry Reduction},
  booktitle    = {15th Annual {IEEE} Symposium on Logic in Computer Science, Santa Barbara,
                  California, USA, June 26-29, 2000},
  pages        = {121--131},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/LICS.2000.855761},
  doi          = {10.1109/LICS.2000.855761},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/EmersonHT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/EmersonT99,
  author       = {E. Allen Emerson and
                  Richard J. Trefler},
  editor       = {Laurence Pierre and
                  Thomas Kropf},
  title        = {From Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction
                  in Model Checking},
  booktitle    = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
                  10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
                  Germany, September 27-29, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1703},
  pages        = {142--156},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48153-2\_12},
  doi          = {10.1007/3-540-48153-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:39 +0200},
  biburl       = {https://dblp.org/rec/conf/charme/EmersonT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/EmersonT99,
  author       = {E. Allen Emerson and
                  Richard J. Trefler},
  title        = {Parametric Quantitative Temporal Reasoning},
  booktitle    = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
                  Italy, July 2-5, 1999},
  pages        = {336--343},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/LICS.1999.782628},
  doi          = {10.1109/LICS.1999.782628},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/EmersonT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/EmersonT98,
  author       = {E. Allen Emerson and
                  Richard J. Trefler},
  editor       = {Lubos Brim and
                  Jozef Gruska and
                  Jir{\'{\i}} Zlatuska},
  title        = {Model Checking Real-Time Properties of Symmetric Systems},
  booktitle    = {Mathematical Foundations of Computer Science 1998, 23rd International
                  Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1450},
  pages        = {427--436},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055792},
  doi          = {10.1007/BFB0055792},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/EmersonT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/EmersonT97,
  author       = {E. Allen Emerson and
                  Richard J. Trefler},
  editor       = {Michel Bidoit and
                  Max Dauchet},
  title        = {Generalized Quantitative Temporal Reasoning: An Automata Theoretic
                  Approach},
  booktitle    = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
                  Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1214},
  pages        = {189--200},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0030596},
  doi          = {10.1007/BFB0030596},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/EmersonT97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics