Search dblp for Publications

export results for "toc:db/conf/cade/verify2007.bht:"

 download as .bib file

@inproceedings{DBLP:conf/cade/AlkassarHKRT07,
  author       = {Eyad Alkassar and
                  Mark A. Hillebrand and
                  Steffen Knapp and
                  Rostislav Rusev and
                  Sergey Tverdyshev},
  editor       = {Bernhard Beckert},
  title        = {Formal Device and Programming Model for a Serial Interface},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:14 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/AlkassarHKRT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Filali07,
  author       = {Mamoun Filali},
  editor       = {Bernhard Beckert},
  title        = {A Mechanization of Phylogenetic Trees},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Filali07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Fontaine07,
  author       = {Pascal Fontaine},
  editor       = {Bernhard Beckert},
  title        = {Combinations of Theories and the Bernays-Sch{\"{o}}nfinkel-Ramsey
                  Class},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Fontaine07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/GajanovicR07,
  author       = {Borislav Gajanovic and
                  Bernhard Rumpe},
  editor       = {Bernhard Beckert},
  title        = {{ALICE:} An Advanced Logic for Interactive Component Engineering},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/GajanovicR07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LangensteinNRS07,
  author       = {Bruno Langenstein and
                  Andreas Nonnengart and
                  Georg Rock and
                  Werner Stephan},
  editor       = {Bernhard Beckert},
  title        = {A History-based Verification of Distributed Applications},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/LangensteinNRS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/LarssonH07,
  author       = {Daniel Larsson and
                  Reiner H{\"{a}}hnle},
  editor       = {Bernhard Beckert},
  title        = {Symbolic Fault Injection},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/LarssonH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MengPK07,
  author       = {Jia Meng and
                  Lawrence C. Paulson and
                  Gerwin Klein},
  editor       = {Bernhard Beckert},
  title        = {A Termination Checker for Isabelle Hoare Logic},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/MengPK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/MossakowskiML07,
  author       = {Till Mossakowski and
                  Christian Maeder and
                  Klaus L{\"{u}}ttich},
  editor       = {Bernhard Beckert},
  title        = {The Heterogeneous Tool Set (Hets)},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/MossakowskiML07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Mostowski07,
  author       = {Wojciech Mostowski},
  editor       = {Bernhard Beckert},
  title        = {Fully Verified Java Card {API} Reference Implementation},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Mostowski07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Nipkow07,
  author       = {Tobias Nipkow},
  editor       = {Bernhard Beckert},
  title        = {Reflecting Linear Arithmetic: From Dense Linear Orders to Presburger
                  Arithmetic},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Nipkow07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/PavlovicPK07,
  author       = {Olivera Pavlovic and
                  Ralf Pinger and
                  Maik Kollmann},
  editor       = {Bernhard Beckert},
  title        = {Automation of Formal Verification of {PLC} Programs Written in {IL}},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper13.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/PavlovicPK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Platzer07,
  author       = {Andr{\'{e}} Platzer},
  editor       = {Bernhard Beckert},
  title        = {Combining Deduction and Algebraic Constraints for Hybrid System Analysis},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper14.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Platzer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Rummer07,
  author       = {Philipp R{\"{u}}mmer},
  editor       = {Bernhard Beckert},
  title        = {A Sequent Calculus for Integer Arithmetic with Counterexample Generation},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper15.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Rummer07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/SchmittW07,
  author       = {Peter H. Schmitt and
                  Benjamin Wei{\ss}},
  editor       = {Bernhard Beckert},
  title        = {Inferring Invariants by Symbolic Execution},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/SchmittW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Stump07,
  author       = {Aaron Stump},
  editor       = {Bernhard Beckert},
  title        = {Lightweight Verification with Dependent Types},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Stump07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cade/Tinelli07,
  author       = {Cesare Tinelli},
  editor       = {Bernhard Beckert},
  title        = {Trends and Challenges in Satisfiability Modulo Theories},
  booktitle    = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/Tinelli07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/cade/2007verify,
  editor       = {Bernhard Beckert},
  title        = {Proceedings of 4th International Verification Workshop in connection
                  with CADE-21, Bremen, Germany, July 15-16, 2007},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {259},
  publisher    = {CEUR-WS.org},
  year         = {2007},
  url          = {https://ceur-ws.org/Vol-259},
  urn          = {urn:nbn:de:0074-259-9},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cade/2007verify.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.