Search dblp for Publications

export results for "toc:db/conf/bmc/bmc2004.bht:"

 download as .bib file

@proceedings{DBLP:conf/bmc/2004,
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/119/issue/2},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bmc/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ArmoniFFHPV05,
  author       = {Roy Armoni and
                  Limor Fix and
                  Ranan Fraer and
                  Scott Huddleston and
                  Nir Piterman and
                  Moshe Y. Vardi},
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {SAT-based Induction for Temporal Safety Properties},
  booktitle    = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  pages        = {3--16},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.021},
  doi          = {10.1016/J.ENTCS.2004.12.021},
  timestamp    = {Tue, 13 Dec 2022 11:43:14 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArmoniFFHPV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AudemardBCS05,
  author       = {Gilles Audemard and
                  Marco Bozzano and
                  Alessandro Cimatti and
                  Roberto Sebastiani},
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {Verifying Industrial Hybrid Systems with MathSAT},
  booktitle    = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  pages        = {17--32},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.022},
  doi          = {10.1016/J.ENTCS.2004.12.022},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AudemardBCS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BiereS05,
  author       = {Armin Biere and
                  Ofer Strichman},
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {Preface},
  booktitle    = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.020},
  doi          = {10.1016/J.ENTCS.2004.12.020},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BiereS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BischoffBCNQ05,
  author       = {Gabriel P. Bischoff and
                  Karl S. Brace and
                  Gianpiero Cabodi and
                  Sergio Nocco and
                  Stefano Quer},
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {Exploiting Target Enlargement and Dynamic Abstraction within Mixed
                  {BDD} and {SAT} Invariant Checking},
  booktitle    = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  pages        = {33--49},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.061},
  doi          = {10.1016/J.ENTCS.2004.06.061},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BischoffBCNQ05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GroceK05,
  author       = {Alex Groce and
                  Daniel Kroening},
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {Making the Most of {BMC} Counterexamples},
  booktitle    = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  pages        = {67--81},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.023},
  doi          = {10.1016/J.ENTCS.2004.12.023},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GroceK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JinS05,
  author       = {HoonSang Jin and
                  Fabio Somenzi},
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {An Incremental Algorithm to Check Satisfiability for Bounded Model
                  Checking},
  booktitle    = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  pages        = {51--65},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.062},
  doi          = {10.1016/J.ENTCS.2004.06.062},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/JinS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Sheridan05,
  author       = {Daniel Sheridan},
  editor       = {Armin Biere and
                  Ofer Strichman},
  title        = {Bounded Model Checking with SNF, Alternating Automata, and Bu"chi
                  Automata},
  booktitle    = {Proceedings of the 2nd International Workshop on Bounded Model Checking,
                  BMC@CAV 2004, Boston, MA, USA, July 18, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {119},
  number       = {2},
  pages        = {83--101},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.12.024},
  doi          = {10.1016/J.ENTCS.2004.12.024},
  timestamp    = {Tue, 13 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Sheridan05.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.