BibTeX records: John Havlicek

download as .bib file

@article{DBLP:journals/tocl/EisnerFH14,
  author       = {Cindy Eisner and
                  Dana Fisman and
                  John Havlicek},
  title        = {Safety and Liveness, Weakness and Strength, and the Underlying Topological
                  Relations},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {15},
  number       = {2},
  pages        = {13:1--13:44},
  year         = {2014},
  url          = {https://doi.org/10.1145/2532440},
  doi          = {10.1145/2532440},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/EisnerFH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/todaes/MukherjeeDMLHC12,
  author       = {Subhankar Mukherjee and
                  Pallab Dasgupta and
                  Siddhartha Mukhopadhyay and
                  Scott Little and
                  John Havlicek and
                  Srikanth Chandrasekaran},
  title        = {Synchronizing {AMS} Assertions with {AMS} Simulation: From Theory
                  to Practice},
  journal      = {{ACM} Trans. Design Autom. Electr. Syst.},
  volume       = {17},
  number       = {4},
  pages        = {38:1--38:25},
  year         = {2012},
  url          = {https://doi.org/10.1145/2348839.2348842},
  doi          = {10.1145/2348839.2348842},
  timestamp    = {Tue, 18 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/todaes/MukherjeeDMLHC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fmcad/HavlicekL11,
  author       = {John Havlicek and
                  Scott Little},
  editor       = {Per Bjesse and
                  Anna Slobodov{\'{a}}},
  title        = {Realtime regular expressions for analog and mixed-signal assertions},
  booktitle    = {International Conference on Formal Methods in Computer-Aided Design,
                  {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  pages        = {155--162},
  publisher    = {{FMCAD} Inc.},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=2157679},
  timestamp    = {Mon, 09 Aug 2021 15:21:44 +0200},
  biburl       = {https://dblp.org/rec/conf/fmcad/HavlicekL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/formats/HavlicekLMN10,
  author       = {John Havlicek and
                  Scott Little and
                  Oded Maler and
                  Dejan Nickovic},
  editor       = {Krishnendu Chatterjee and
                  Thomas A. Henzinger},
  title        = {Property-Based Monitoring of Analog and Mixed-Signal Systems},
  booktitle    = {Formal Modeling and Analysis of Timed Systems - 8th International
                  Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
                  2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6246},
  pages        = {23--24},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15297-9\_3},
  doi          = {10.1007/978-3-642-15297-9\_3},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/formats/HavlicekLMN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BustanH06,
  author       = {Doron Bustan and
                  John Havlicek},
  editor       = {Thomas Ball and
                  Robert B. Jones},
  title        = {Some Complexity Results for SystemVerilog Assertions},
  booktitle    = {Computer Aided Verification, 18th International Conference, {CAV}
                  2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4144},
  pages        = {205--218},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11817963\_21},
  doi          = {10.1007/11817963\_21},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BustanH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/podc/EisnerFH05,
  author       = {Cindy Eisner and
                  Dana Fisman and
                  John Havlicek},
  editor       = {Marcos Kawazoe Aguilera and
                  James Aspnes},
  title        = {A topological characterization of weakness},
  booktitle    = {Proceedings of the Twenty-Fourth Annual {ACM} Symposium on Principles
                  of Distributed Computing, {PODC} 2005, Las Vegas, NV, USA, July 17-20,
                  2005},
  pages        = {1--8},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1073814.1073816},
  doi          = {10.1145/1073814.1073816},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/EisnerFH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamcomp/Havlicek04,
  author       = {John Havlicek},
  title        = {A Note on the Homotopy Type of Wait-Free Atomic Snapshot Protocol
                  Complexes},
  journal      = {{SIAM} J. Comput.},
  volume       = {33},
  number       = {5},
  pages        = {1215--1222},
  year         = {2004},
  url          = {https://doi.org/10.1137/S0097539798337224},
  doi          = {10.1137/S0097539798337224},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/Havlicek04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fmsd/AbadirAHKM03,
  author       = {Magdy S. Abadir and
                  Ken Albin and
                  John Havlicek and
                  Narayanan Krishnamurthy and
                  Andrew K. Martin},
  title        = {Formal Verification Successes at Motorola},
  journal      = {Formal Methods Syst. Des.},
  volume       = {22},
  number       = {2},
  pages        = {117--123},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1022917321255},
  doi          = {10.1023/A:1022917321255},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fmsd/AbadirAHKM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/EisnerFHLMC03,
  author       = {Cindy Eisner and
                  Dana Fisman and
                  John Havlicek and
                  Yoad Lustig and
                  Anthony McIsaac and
                  David Van Campenhout},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {Reasoning with Temporal Logic on Truncated Paths},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {27--39},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_3},
  doi          = {10.1007/978-3-540-45069-6\_3},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/EisnerFHLMC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/EisnerFHMC03,
  author       = {Cindy Eisner and
                  Dana Fisman and
                  John Havlicek and
                  Anthony McIsaac and
                  David Van Campenhout},
  editor       = {Jos C. M. Baeten and
                  Jan Karel Lenstra and
                  Joachim Parrow and
                  Gerhard J. Woeginger},
  title        = {The Definition of a Temporal Clock Operator},
  booktitle    = {Automata, Languages and Programming, 30th International Colloquium,
                  {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2719},
  pages        = {857--870},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45061-0\_67},
  doi          = {10.1007/3-540-45061-0\_67},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/EisnerFHMC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iwls/YuanSHAA02,
  author       = {Jun Yuan and
                  Kurt Shultz and
                  John Havlicek and
                  Ken Albin and
                  Adnan Aziz},
  title        = {A Method for Synthesizing Boolean Constrains},
  booktitle    = {11th {IEEE/ACM} International Workshop on Logic {\&} Synthesis,
                  {IWLS} 2002, June 4-7, 2002, New Orleans, Louisiana, {USA}},
  pages        = {351--353},
  year         = {2002},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iwls/YuanSHAA02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dc/Havlicek00,
  author       = {John Havlicek},
  title        = {Computable Obstructions to Wait-Free Computability},
  journal      = {Distributed Comput.},
  volume       = {13},
  number       = {2},
  pages        = {59--83},
  year         = {2000},
  url          = {https://doi.org/10.1007/s004460050068},
  doi          = {10.1007/S004460050068},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/Havlicek00.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/focs/Havlicek97,
  author       = {John Havlicek},
  title        = {Computable Obstructions to Wait-free Computability},
  booktitle    = {38th Annual Symposium on Foundations of Computer Science, {FOCS} '97,
                  Miami Beach, Florida, USA, October 19-22, 1997},
  pages        = {80--89},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/SFCS.1997.646096},
  doi          = {10.1109/SFCS.1997.646096},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Havlicek97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.