default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jochen Hoenicke
@inproceedings{DBLP:conf/cade/HenkelHS23,
author = {Elisabeth Henkel and
Jochen Hoenicke and
Tanja Schindler},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {Choose Your Colour: Tree Interpolation for Quantified Formulas in
{SMT}},
booktitle = {Automated Deduction - {CADE} 29 - 29th International Conference on
Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14132},
pages = {248--265},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_15},
doi = {10.1007/978-3-031-38499-8\_15},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HenkelHS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannBDFHKNSSP23,
author = {Matthias Heizmann and
Max Barth and
Daniel Dietsch and
Leonard Fichtner and
Jochen Hoenicke and
Dominik Klumpp and
Mehdi Naouar and
Tanja Schindler and
Frank Sch{\"{u}}ssele and
Andreas Podelski},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {577--581},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_39},
doi = {10.1007/978-3-031-30820-8\_39},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannBDFHKNSSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-11667,
author = {Elisabeth Henkel and
Jochen Hoenicke and
Tanja Schindler},
title = {Choose your Colour: Tree Interpolation for Quantified Formulas in
{SMT}},
journal = {CoRR},
volume = {abs/2305.11667},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.11667},
doi = {10.48550/ARXIV.2305.11667},
eprinttype = {arXiv},
eprint = {2305.11667},
timestamp = {Thu, 25 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-11667.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/HoenickeS22,
author = {Jochen Hoenicke and
Tanja Schindler},
editor = {David D{\'{e}}harbe and
Antti E. J. Hyv{\"{a}}rinen},
title = {A Simple Proof Format for {SMT}},
booktitle = {Proceedings of the 20th Internal Workshop on Satisfiability Modulo
Theories co-located with the 11th International Joint Conference on
Automated Reasoning {(IJCAR} 2022) part of the 8th Federated Logic
Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3185},
pages = {54--70},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3185/paper9527.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/HoenickeS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PadonHMPSS21,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Temporal prophecy for proving temporal properties of infinite-state
systems},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {246--269},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00377-1},
doi = {10.1007/S10703-021-00377-1},
timestamp = {Fri, 12 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PadonHMPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DietschHHNP21,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Karima Echihabi and
Roland Meyer},
title = {Separating Map Variables in a Logic-Based Intermediate Verification
Language},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {169--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_12},
doi = {10.1007/978-3-030-91014-3\_12},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DietschHHNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/HenkelHS21,
author = {Elisabeth Henkel and
Jochen Hoenicke and
Tanja Schindler},
editor = {Alexander Nadel and
Aina Niemetz},
title = {Proof Tree Preserving Sequence Interpolation of Quantified Formulas
in the Theory of Equality},
booktitle = {Proceedings of the 19th International Workshop on Satisfiability Modulo
Theories co-located with 33rd International Conference on Computer
Aided Verification(CAV 2021), Online (initially located in Los Angeles,
USA), July 18-19, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2908},
pages = {3--16},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2908/short12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/HenkelHS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HoenickeS21,
author = {Jochen Hoenicke and
Tanja Schindler},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Incremental Search for Conflict and Unit Instances of Quantified Formulas
with E-Matching},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {534--555},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_24},
doi = {10.1007/978-3-030-67067-2\_24},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HoenickeS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-00966,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State
Systems},
journal = {CoRR},
volume = {abs/2106.00966},
year = {2021},
url = {https://arxiv.org/abs/2106.00966},
eprinttype = {arXiv},
eprint = {2106.00966},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-00966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LangenfeldDWHP19,
author = {Vincent Langenfeld and
Daniel Dietsch and
Bernd Westphal and
Jochen Hoenicke and
Amalinda Post},
editor = {Daniela E. Damian and
Anna Perini and
Seok{-}Won Lee},
title = {Scalable Analysis of Real-Time Requirements},
booktitle = {27th {IEEE} International Requirements Engineering Conference, {RE}
2019, Jeju Island, Korea (South), September 23-27, 2019},
pages = {234--244},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/RE.2019.00033},
doi = {10.1109/RE.2019.00033},
timestamp = {Thu, 25 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/re/LangenfeldDWHP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HoenickeS19,
author = {Jochen Hoenicke and
Tanja Schindler},
editor = {Constantin Enea and
Ruzica Piskac},
title = {Solving and Interpolating Constant Arrays Based on Weak Equivalences},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 20th International
Conference, {VMCAI} 2019, Cascais, Portugal, January 13-15, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11388},
pages = {297--317},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-11245-5\_14},
doi = {10.1007/978-3-030-11245-5\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/HoenickeS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-03998,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Emanuele De Angelis and
Grigory Fedyukovich and
Nikos Tzevelekos and
Mattias Ulbrich},
title = {Ultimate TreeAutomizer {(CHC-COMP} Tool Description)},
booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
and Synthesis and Third Workshop on Program Equivalence and Relational
Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
2019},
series = {{EPTCS}},
volume = {296},
pages = {42--47},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.296.7},
doi = {10.4204/EPTCS.296.7},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-01915,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
title = {Different Maps for Different Uses. {A} Program Transformation for
Intermediate Verification Languages},
journal = {CoRR},
volume = {abs/1901.01915},
year = {2019},
url = {http://arxiv.org/abs/1901.01915},
eprinttype = {arXiv},
eprint = {1901.01915},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-01915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-11381,
author = {Jochen Hoenicke and
Tanja Schindler},
title = {Interpolation and the Array Property Fragment},
journal = {CoRR},
volume = {abs/1904.11381},
year = {2019},
url = {http://arxiv.org/abs/1904.11381},
eprinttype = {arXiv},
eprint = {1904.11381},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-11381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadonHLPSS18,
author = {Oded Padon and
Jochen Hoenicke and
Giuliano Losa and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Reducing liveness to safety in first-order logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {26:1--26:33},
year = {2018},
url = {https://doi.org/10.1145/3158114},
doi = {10.1145/3158114},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PadonHLPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HoenickeS18,
author = {Jochen Hoenicke and
Tanja Schindler},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Efficient Interpolation for the Theory of Arrays},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {549--565},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_36},
doi = {10.1007/978-3-319-94205-6\_36},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/HoenickeS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PadonHMPSS18,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State
Systems},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--11},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603008},
doi = {10.23919/FMCAD.2018.8603008},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/PadonHMPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDGHLNM18,
author = {Matthias Heizmann and
Yu{-}Fang Chen and
Daniel Dietsch and
Marius Greitschus and
Jochen Hoenicke and
Yong Li and
Alexander Nutz and
Betim Musa and
Christian Schilling and
Tanja Schindler and
Andreas Podelski},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Ultimate Automizer and the Search for Perfect Interpolants - (Competition
Contribution)},
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 = {447--451},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_30},
doi = {10.1007/978-3-319-89963-3\_30},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DietschGHHNPSS18,
author = {Daniel Dietsch and
Marius Greitschus and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski and
Christian Schilling and
Tanja Schindler},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution)},
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 = {452--456},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_31},
doi = {10.1007/978-3-319-89963-3\_31},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DietschGHHNPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HoenickeNP18,
author = {Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {A Tree-Based Approach to Data Flow Proofs},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {1--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_1},
doi = {10.1007/978-3-030-03592-1\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/HoenickeNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DietschHHNP18,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {The Map Equality Domain},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {291--308},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_17},
doi = {10.1007/978-3-030-03592-1\_17},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/DietschHHNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-07173,
author = {Jochen Hoenicke and
Tanja Schindler},
title = {Efficient Interpolation for the Theory of Arrays},
journal = {CoRR},
volume = {abs/1804.07173},
year = {2018},
url = {http://arxiv.org/abs/1804.07173},
eprinttype = {arXiv},
eprint = {1804.07173},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-07173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoenickeMP17,
author = {Jochen Hoenicke and
Rupak Majumdar and
Andreas Podelski},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Thread modularity at many levels: a pearl in compositional verification},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {473--485},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009893},
doi = {10.1145/3009837.3009893},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/HoenickeMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/HoenickeS17,
author = {Jochen Hoenicke and
Tanja Schindler},
editor = {Martin Brain and
Liana Hadarean},
title = {Efficient Interpolation for the Theory of Arrays},
booktitle = {Proceedings of the 15th International Workshop on Satisfiability Modulo
Theories affiliated with the International Conference on Computer-Aided
Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1889},
pages = {76--88},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1889/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/HoenickeS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChristHN17,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke and
Alexander Nutz},
title = {Proof Tree Preserving Interpolation},
journal = {CoRR},
volume = {abs/1705.05309},
year = {2017},
url = {http://arxiv.org/abs/1705.05309},
eprinttype = {arXiv},
eprint = {1705.05309},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChristHN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChristH16,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke},
title = {Proof Tree Preserving Tree Interpolation},
journal = {J. Autom. Reason.},
volume = {57},
number = {1},
pages = {67--95},
year = {2016},
url = {https://doi.org/10.1007/s10817-016-9365-5},
doi = {10.1007/S10817-016-9365-5},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChristH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HoenickeP15,
author = {Jochen Hoenicke and
Andreas Podelski},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Fairness for Infinitary Control},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {33--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_5},
doi = {10.1007/978-3-319-23506-6\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HoenickeP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChristH15,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Cutting the Mix},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {9207},
pages = {37--52},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21668-3\_3},
doi = {10.1007/978-3-319-21668-3\_3},
timestamp = {Fri, 27 Mar 2020 08:45:57 +0100},
biburl = {https://dblp.org/rec/conf/cav/ChristH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ChristH15,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Weakly Equivalent Arrays},
booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9322},
pages = {119--134},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_8},
doi = {10.1007/978-3-319-24246-0\_8},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ChristH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/FarzanHHKP15,
author = {Azadeh Farzan and
Matthias Heizmann and
Jochen Hoenicke and
Zachary Kincaid and
Andreas Podelski},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Automated Program Verification},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {25--46},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_2},
doi = {10.1007/978-3-319-15579-1\_2},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/FarzanHHKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeizmannHP14,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Armin Biere and
Roderick Bloem},
title = {Termination Analysis by Learning Terminating Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {797--813},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_53},
doi = {10.1007/978-3-319-08867-9\_53},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/HeizmannHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/ChristH14,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke},
editor = {Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Weakly Equivalent Arrays},
booktitle = {Proceedings of the 12th International Workshop on Satisfiability Modulo
Theories, {SMT} 2014, affiliated with the 26th International Conference
on Computer Aided Verification {(CAV} 2014), the 7th International
Joint Conference on Automated Reasoning {(IJCAR} 2014), and the 17th
International Conference on Theory and Applications of Satisfiability
Testing {(SAT} 2014), Vienna, Austria, July 17-18, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1163},
pages = {39--49},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1163/paper-06.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/ChristH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDHLMSWP14,
author = {Matthias Heizmann and
J{\"{u}}rgen Christ and
Daniel Dietsch and
Jochen Hoenicke and
Markus Lindenmann and
Betim Musa and
Christian Schilling and
Stefan Wissert and
Andreas Podelski},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {418--420},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_35},
doi = {10.1007/978-3-642-54862-8\_35},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannCDHLMSWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ErmisNDHP14,
author = {Evren Ermis and
Alexander Nutz and
Daniel Dietsch and
Jochen Hoenicke and
Andreas Podelski},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Ultimate Kojak - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {421--423},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_36},
doi = {10.1007/978-3-642-54862-8\_36},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ErmisNDHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeizmannHLP14,
author = {Matthias Heizmann and
Jochen Hoenicke and
Jan Leike and
Andreas Podelski},
title = {Linear Ranking for Linear Lasso Programs},
journal = {CoRR},
volume = {abs/1401.5347},
year = {2014},
url = {http://arxiv.org/abs/1401.5347},
eprinttype = {arXiv},
eprint = {1401.5347},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeizmannHLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeizmannHP14,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
title = {Termination Analysis by Learning Terminating Programs},
journal = {CoRR},
volume = {abs/1405.4189},
year = {2014},
url = {http://arxiv.org/abs/1405.4189},
eprinttype = {arXiv},
eprint = {1405.4189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeizmannHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChristH14,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke},
title = {Weakly Equivalent Arrays},
journal = {CoRR},
volume = {abs/1405.6939},
year = {2014},
url = {http://arxiv.org/abs/1405.6939},
eprinttype = {arXiv},
eprint = {1405.6939},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChristH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HeizmannHLP13,
author = {Matthias Heizmann and
Jochen Hoenicke and
Jan Leike and
Andreas Podelski},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Linear Ranking for Linear Lasso Programs},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {365--380},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_26},
doi = {10.1007/978-3-319-02444-8\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HeizmannHLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeizmannHP13,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Software Model Checking for People Who Love Automata},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {36--52},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_2},
doi = {10.1007/978-3-642-39799-8\_2},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/HeizmannHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ChristHN13,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke and
Alexander Nutz},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Proof Tree Preserving Interpolation},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {124--138},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_9},
doi = {10.1007/978-3-642-36742-7\_9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ChristHN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDEHLNSP13,
author = {Matthias Heizmann and
J{\"{u}}rgen Christ and
Daniel Dietsch and
Evren Ermis and
Jochen Hoenicke and
Markus Lindenmann and
Alexander Nutz and
Christian Schilling and
Andreas Podelski},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Ultimate Automizer with SMTInterpol - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {641--643},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_53},
doi = {10.1007/978-3-642-36742-7\_53},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannCDEHLNSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/PostMHP12,
author = {Amalinda Post and
Igor Menzel and
Jochen Hoenicke and
Andreas Podelski},
title = {Automotive behavioral requirements expressed in a specification pattern
system: a case study at {BOSCH}},
journal = {Requir. Eng.},
volume = {17},
number = {1},
pages = {19--33},
year = {2012},
url = {https://doi.org/10.1007/s00766-011-0145-9},
doi = {10.1007/S00766-011-0145-9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/PostMHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ChristHN12,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke and
Alexander Nutz},
editor = {Alastair F. Donaldson and
David Parker},
title = {SMTInterpol: An Interpolating {SMT} Solver},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {248--254},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_19},
doi = {10.1007/978-3-642-31759-0\_19},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/ChristHN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ErmisHP12,
author = {Evren Ermis and
Jochen Hoenicke and
Andreas Podelski},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Splitting via Interpolants},
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 = {186--201},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_13},
doi = {10.1007/978-3-642-27940-9\_13},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ErmisHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/PostH12,
author = {Amalinda Post and
Jochen Hoenicke},
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Formalization and Analysis of Real-Time Requirements: {A} Feasibility
Study at {BOSCH}},
booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
pages = {225--240},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4\_18},
doi = {10.1007/978-3-642-27705-4\_18},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/PostH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6527,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke and
Martin Sch{\"{a}}f},
title = {Towards Bounded Infeasible Code Detection},
journal = {CoRR},
volume = {abs/1205.6527},
year = {2012},
url = {http://arxiv.org/abs/1205.6527},
eprinttype = {arXiv},
eprint = {1205.6527},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-6527.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PostHP11,
author = {Amalinda Post and
Jochen Hoenicke and
Andreas Podelski},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {rt-Inconsistency: {A} New Property for Real-Time Requirements},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {34--49},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_4},
doi = {10.1007/978-3-642-19811-3\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/PostHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PostHP11,
author = {Amalinda Post and
Jochen Hoenicke and
Andreas Podelski},
title = {Vacuous real-time requirements},
booktitle = {{RE} 2011, 19th {IEEE} International Requirements Engineering Conference,
Trento, Italy, August 29 2011 - September 2, 2011},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RE.2011.6051657},
doi = {10.1109/RE.2011.6051657},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PostHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HoenickeLPSW10,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
title = {Doomed program points},
journal = {Formal Methods Syst. Des.},
volume = {37},
number = {2-3},
pages = {171--199},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0102-0},
doi = {10.1007/S10703-010-0102-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/HoenickeLPSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HoenickeMO10,
author = {Jochen Hoenicke and
Roland Meyer and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Kleene, Rabin, and Scott Are Available},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {462--477},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_32},
doi = {10.1007/978-3-642-15375-4\_32},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/HoenickeMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HeizmannHP10,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Nested interpolants},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {471--482},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706353},
doi = {10.1145/1706299.1706353},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/HeizmannHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HoenickeOP10,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog and
Andreas Podelski},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Fairness for Dynamic Control},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {251--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_20},
doi = {10.1007/978-3-642-12002-2\_20},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HoenickeOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChristH10,
author = {J{\"{u}}rgen Christ and
Jochen Hoenicke},
editor = {Nikolaj S. Bj{\o}rner and
Robert Nieuwenhuis and
Helmut Veith and
Andrei Voronkov},
title = {Instantiation-Based Interpolation for Quantified Formulae},
booktitle = {Decision Procedures in Software, Hardware and Bioware, 18.04. - 23.04.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10161},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2735/},
timestamp = {Sun, 02 Oct 2022 15:58:47 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChristH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoenickeLPSW09,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {It's Doomed; We Can Prove It},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {338--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_22},
doi = {10.1007/978-3-642-05089-3\_22},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/HoenickeLPSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HeizmannHP09,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Jens Palsberg and
Zhendong Su},
title = {Refinement of Trace Abstraction},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {69--85},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_7},
doi = {10.1007/978-3-642-03237-0\_7},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sas/HeizmannHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MeyerFHR08,
author = {Roland Meyer and
Johannes Faber and
Jochen Hoenicke and
Andrey Rybalchenko},
title = {Model checking Duration Calculus: a practical approach},
journal = {Formal Aspects Comput.},
volume = {20},
number = {4-5},
pages = {481--505},
year = {2008},
url = {https://doi.org/10.1007/s00165-008-0082-7},
doi = {10.1007/S00165-008-0082-7},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MeyerFHR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Hoenicke2006,
author = {Jochen Hoenicke},
title = {Combination of processes, data, and time},
school = {Carl von Ossietzky University of Oldenburg},
year = {2006},
url = {https://d-nb.info/981576087},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Hoenicke2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoenickeM05,
author = {Jochen Hoenicke and
Patrick Maier},
editor = {John S. Fitzgerald and
Ian J. Hayes and
Andrzej Tarlecki},
title = {Model-Checking of Specifications Integrating Processes, Data and Time},
booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {465--480},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526841\_31},
doi = {10.1007/11526841\_31},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HoenickeM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/HoenickeO02,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog},
title = {{CSP-OZ-DC:} {A} Combination of Specification Techniques for Processes,
Data and Time},
journal = {Nord. J. Comput.},
volume = {9},
number = {4},
pages = {301--334},
year = {2002},
timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/njc/HoenickeO02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HoenickeO02,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog},
editor = {Michael J. Butler and
Luigia Petre and
Kaisa Sere},
title = {Combining Specification Techniques for Processes, Data and Time},
booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
Turku, Finland, May 15-18, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2335},
pages = {245--266},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47884-1\_14},
doi = {10.1007/3-540-47884-1\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HoenickeO02.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.
last updated on 2024-06-07 19:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
