Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Richard J. Trefler
@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} }
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.