Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Philipp Rümmer
@inproceedings{DBLP:conf/vmcai/AbdullaLR24,
author = {Parosh Aziz Abdulla and
Chencheng Liang and
Philipp R{\"{u}}mmer},
editor = {Rayna Dimitrova and
Ori Lahav and
Sebastian Wolff},
title = {Boosting Constrained Horn Solving by Unsat Core Learning},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 25th International
Conference, {VMCAI} 2024, London, United Kingdom, January 15-16, 2024,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14499},
pages = {280--302},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-50524-9\_13},
doi = {10.1007/978-3-031-50524-9\_13},
timestamp = {Sun, 14 Jan 2024 19:41:04 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/AbdullaLR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmcsa/YaacoubMVR24,
author = {Ahmed El Yaacoub and
Luca Mottola and
Thiemo Voigt and
Philipp R{\"{u}}mmer},
editor = {Nigel Davies and
Chenren Xu},
title = {Poster: Fault Tolerance with Time Guarantees in Mobile Systems for
Extreme Environments},
booktitle = {Proceedings of the 25th International Workshop on Mobile Computing
Systems and Applications, {HOTMOBILE} 2024, San Diego, CA, USA, February
28-29, 2024},
pages = {138},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3638550.3643616},
doi = {10.1145/3638550.3643616},
timestamp = {Mon, 01 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wmcsa/YaacoubMVR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/YaacoubMVR23,
author = {Ahmed El Yaacoub and
Luca Mottola and
Thiemo Voigt and
Philipp R{\"{u}}mmer},
title = {Scheduling Dynamic Software Updates in Mobile Robots},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {6},
pages = {99:1--99:27},
year = {2023},
url = {https://doi.org/10.1145/3623676},
doi = {10.1145/3623676},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/YaacoubMVR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChenRT23,
author = {Yu{-}Fang Chen and
Philipp R{\"{u}}mmer and
Wei{-}Lun Tsai},
editor = {Brigitte Pientka and
Cesare Tinelli},
title = {A Theory of Cartesian Arrays (with Applications in Quantum Circuit
Verification)},
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 = {170--189},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-38499-8\_10},
doi = {10.1007/978-3-031-38499-8\_10},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChenRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JezLMR23,
author = {Artur Jez and
Anthony W. Lin and
Oliver Markgraf and
Philipp R{\"{u}}mmer},
editor = {Constantin Enea and
Akash Lal},
title = {Decision Procedures for Sequence Theories},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13965},
pages = {18--40},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37703-7\_2},
doi = {10.1007/978-3-031-37703-7\_2},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/JezLMR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AmilonEGLR23,
author = {Jesper Amilon and
Zafer Esen and
Dilian Gurov and
Christian Lidstr{\"{o}}m and
Philipp R{\"{u}}mmer},
editor = {Constantin Enea and
Akash Lal},
title = {Automatic Program Instrumentation for Automatic Verification},
booktitle = {Computer Aided Verification - 35th International Conference, {CAV}
2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13966},
pages = {281--304},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37709-9\_14},
doi = {10.1007/978-3-031-37709-9\_14},
timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},
biburl = {https://dblp.org/rec/conf/cav/AmilonEGLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ErikssonSMRS23,
author = {Benjamin Eriksson and
Amanda Stjerna and
Riccardo De Masellis and
Philipp R{\"{u}}mmer and
Andrei Sabelfeld},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Black Ostrich: Web Application Scanning with String Solvers},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {549--563},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3616582},
doi = {10.1145/3576915.3616582},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/ErikssonSMRS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/YaacoubMVR23,
author = {Ahmed El Yaacoub and
Luca Mottola and
Thiemo Voigt and
Philipp R{\"{u}}mmer},
title = {Timing Analysis of Embedded Software Updates},
booktitle = {29th {IEEE} International Conference on Embedded and Real-Time Computing
Systems and Applications, {RTCSA} 2023, Niigata, Japan, August 30
- Sept. 1, 2023},
pages = {1--11},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/RTCSA58653.2023.00010},
doi = {10.1109/RTCSA58653.2023.00010},
timestamp = {Mon, 13 Nov 2023 16:37:42 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/YaacoubMVR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/GhosalJR23,
author = {Sandip Ghosal and
Bengt Jonsson and
Philipp R{\"{u}}mmer},
editor = {Carla Ferreira and
Tim A. C. Willemse},
title = {An Active Learning Approach to Synthesizing Program Contracts},
booktitle = {Software Engineering and Formal Methods - 21st International Conference,
{SEFM} 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14323},
pages = {126--144},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47115-5\_8},
doi = {10.1007/978-3-031-47115-5\_8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/GhosalJR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14213,
author = {Ahmed El Yaacoub and
Luca Mottola and
Thiemo Voigt and
Philipp R{\"{u}}mmer},
title = {Timing Analysis of Embedded Software Updates},
journal = {CoRR},
volume = {abs/2304.14213},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.14213},
doi = {10.48550/ARXIV.2304.14213},
eprinttype = {arXiv},
eprint = {2304.14213},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-14213.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00004,
author = {Jesper Amilon and
Zafer Esen and
Dilian Gurov and
Christian Lidstr{\"{o}}m and
Philipp R{\"{u}}mmer},
title = {Automatic Program Instrumentation for Automatic Verification (Extended
Technical Report)},
journal = {CoRR},
volume = {abs/2306.00004},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00004},
doi = {10.48550/ARXIV.2306.00004},
eprinttype = {arXiv},
eprint = {2306.00004},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-00175,
author = {Artur Jez and
Anthony W. Lin and
Oliver Markgraf and
Philipp R{\"{u}}mmer},
title = {Decision Procedures for Sequence Theories (Technical Report)},
journal = {CoRR},
volume = {abs/2308.00175},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.00175},
doi = {10.48550/ARXIV.2308.00175},
eprinttype = {arXiv},
eprint = {2308.00175},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-00175.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenFHHHKLRW22,
author = {Taolue Chen and
Alejandro Flores{-}Lamas and
Matthew Hague and
Zhilei Han and
Denghang Hu and
Shuanglong Kan and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
title = {Solving string constraints with Regex-dependent functions through
transducers with priorities and variables},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--31},
year = {2022},
url = {https://doi.org/10.1145/3498707},
doi = {10.1145/3498707},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenFHHHKLRW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GurovLR20,
author = {Dilian Gurov and
Christian Lidstr{\"{o}}m and
Philipp R{\"{u}}mmer},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Einar Broch Johnsen},
title = {Alice in Wineland: {A} Fairy Tale with Contracts},
booktitle = {The Logic of Software. {A} Tasting Menu of Formal Methods - Essays
Dedicated to Reiner H{\"{a}}hnle on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13360},
pages = {229--242},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-08166-8\_11},
doi = {10.1007/978-3-031-08166-8\_11},
timestamp = {Sun, 25 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GurovLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KanLRS22,
author = {Shuanglong Kan and
Anthony Widjaja Lin and
Philipp R{\"{u}}mmer and
Micha Schrader},
editor = {Andrei Popescu and
Steve Zdancewic},
title = {CertiStr: a certified string solver},
booktitle = {{CPP} '22: 11th {ACM} {SIGPLAN} International Conference on Certified
Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022},
pages = {210--224},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3497775.3503691},
doi = {10.1145/3497775.3503691},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/KanLRS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewsn/YaacoubMVR22,
author = {Ahmed El Yaacoub and
Luca Mottola and
Thiemo Voigt and
Philipp R{\"{u}}mmer},
editor = {Alois Ferscha and
Mun Choon Chan and
Salil S. Kanhere and
Ranga Rao Venkatesha Prasad},
title = {NeRTA: Enabling Dynamic Software Updates in Mobile Robotics},
booktitle = {Proceedings of the 2022 International Conference on Embedded Wireless
Systems and Networks, {EWSN} 2022, Linz, Austria, October 3-5, 2022},
pages = {120--125},
publisher = {Junction Publishing / {ACM}},
year = {2022},
url = {https://dl.acm.org/doi/10.5555/3578948.3578959},
doi = {10.5555/3578948.3578959},
timestamp = {Thu, 02 Feb 2023 09:21:39 +0100},
biburl = {https://dblp.org/rec/conf/ewsn/YaacoubMVR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/EsenR22,
author = {Zafer Esen and
Philipp R{\"{u}}mmer},
editor = {Alberto Griggio and
Neha Rungta},
title = {Tricera: Verifying {C} Programs Using the Theory of Heaps},
booktitle = {22nd Formal Methods in Computer-Aided Design, {FMCAD} 2022, Trento,
Italy, October 17-21, 2022},
pages = {380--391},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.34727/2022/isbn.978-3-85448-053-2\_45},
doi = {10.34727/2022/ISBN.978-3-85448-053-2\_45},
timestamp = {Mon, 13 Feb 2023 21:53:10 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/EsenR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/YaacoubMVR22,
author = {Ahmed El Yaacoub and
Luca Mottola and
Thiemo Voigt and
Philipp R{\"{u}}mmer},
title = {Poster Abstract: Scheduling Dynamic Software Updates in Safety-critical
Embedded Systems - the Case of Aerial Drones},
booktitle = {13th {ACM/IEEE} International Conference on Cyber-Physical Systems,
{ICCPS} 2022, Milano, Italy, May 4-6, 2022},
pages = {284--285},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICCPS54341.2022.00033},
doi = {10.1109/ICCPS54341.2022.00033},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/YaacoubMVR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/AhrendtGJR22,
author = {Wolfgang Ahrendt and
Dilian Gurov and
Moa Johansson and
Philipp R{\"{u}}mmer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {TriCo - Triple Co-piloting of Implementation, Specification and Tests},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {174--187},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_11},
doi = {10.1007/978-3-031-19849-6\_11},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/AhrendtGJR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paar/LiangRB22,
author = {Chencheng Liang and
Philipp R{\"{u}}mmer and
Marc Brockschmidt},
editor = {Boris Konev and
Claudia Schon and
Alexander Steen},
title = {Exploring Representation of Horn clauses using GNNs},
booktitle = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
Co-located with the 11th International Joint Conference on Automated
Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3201},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3201/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:34 +0100},
biburl = {https://dblp.org/rec/conf/paar/LiangRB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/EsenR22,
author = {Zafer Esen and
Philipp R{\"{u}}mmer},
editor = {David D{\'{e}}harbe and
Antti E. J. Hyv{\"{a}}rinen},
title = {An {SMT-LIB} Theory of Heaps},
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 = {38--53},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3185/paper1180.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/EsenR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2211-12229,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer},
editor = {Geoffrey William Hamilton and
Temesghen Kahsai and
Maurizio Proietti},
title = {OptiRica: Towards an Efficient Optimizing Horn Solver},
booktitle = {Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis
and 10th International Workshop on Verification and Program Transformation,
HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification
and Program TransformationMunich, Germany, 3rd April 2022},
series = {{EPTCS}},
volume = {373},
pages = {35--43},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.373.4},
doi = {10.4204/EPTCS.373.4},
timestamp = {Mon, 05 Dec 2022 10:58:58 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-12229.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06986,
author = {Chencheng Liang and
Philipp R{\"{u}}mmer and
Marc Brockschmidt},
title = {Exploring Representation of Horn Clauses using GNNs (Extended Technique
Report)},
journal = {CoRR},
volume = {abs/2206.06986},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06986},
doi = {10.48550/ARXIV.2206.06986},
eprinttype = {arXiv},
eprint = {2206.06986},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/BackemanRZ21,
author = {Peter Backeman and
Philipp R{\"{u}}mmer and
Aleksandar Zeljic},
title = {Interpolating bit-vector formulas using uninterpreted predicates and
Presburger arithmetic},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {121--156},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00372-6},
doi = {10.1007/S10703-021-00372-6},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/BackemanRZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LinR21,
author = {Anthony W. Lin and
Philipp R{\"{u}}mmer},
editor = {Ernst{-}R{\"{u}}diger Olderog and
Bernhard Steffen and
Wang Yi},
title = {Regular Model Checking Revisited},
booktitle = {Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt
Jonsson on The Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13030},
pages = {97--114},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91384-7\_6},
doi = {10.1007/978-3-030-91384-7\_6},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/LinR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ShamakhiHR21,
author = {Ali Shamakhi and
Hossein Hojjat and
Philipp R{\"{u}}mmer},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Towards String Support in JayHorn (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {443--447},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_29},
doi = {10.1007/978-3-030-72013-1\_29},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ShamakhiHR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04635,
author = {Grigory Fedyukovich and
Philipp R{\"{u}}mmer},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Competition Report: {CHC-COMP-21}},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {91--108},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.7},
doi = {10.4204/EPTCS.344.7},
timestamp = {Mon, 29 Nov 2021 16:32:05 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04635.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-04224,
author = {Zafer Esen and
Philipp R{\"{u}}mmer},
title = {A Theory of Heap for Constrained Horn Clauses (Extended Technical
Report)},
journal = {CoRR},
volume = {abs/2104.04224},
year = {2021},
url = {https://arxiv.org/abs/2104.04224},
eprinttype = {arXiv},
eprint = {2104.04224},
timestamp = {Tue, 13 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-04224.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-04298,
author = {Taolue Chen and
Alejandro Flores{-}Lamas and
Matthew Hague and
Zhilei Han and
Denghang Hu and
Shuanglong Kan and
Anthony Widjaja Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
title = {Solving String Constraints With Regex-Dependent Functions Through
Transducers With Priorities And Variables},
journal = {CoRR},
volume = {abs/2111.04298},
year = {2021},
url = {https://arxiv.org/abs/2111.04298},
eprinttype = {arXiv},
eprint = {2111.04298},
timestamp = {Fri, 26 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-04298.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-06039,
author = {Shuanglong Kan and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Micha Schrader},
title = {CertiStr: {A} Certified String Solver (technical report)},
journal = {CoRR},
volume = {abs/2112.06039},
year = {2021},
url = {https://arxiv.org/abs/2112.06039},
eprinttype = {arXiv},
eprint = {2112.06039},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-06039.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BonacinaRS21,
author = {Maria Paola Bonacina and
Philipp R{\"{u}}mmer and
Renate A. Schmidt},
title = {Integrated Deduction (Dagstuhl Seminar 21371)},
journal = {Dagstuhl Reports},
volume = {11},
number = {8},
pages = {35--51},
year = {2021},
url = {https://doi.org/10.4230/DagRep.11.8.35},
doi = {10.4230/DAGREP.11.8.35},
timestamp = {Mon, 28 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BonacinaRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChenHHHLRW20,
author = {Taolue Chen and
Matthew Hague and
Jinlong He and
Denghang Hu and
Anthony Widjaja Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
editor = {Dang Van Hung and
Oleg Sokolsky},
title = {A Decision Procedure for Path Feasibility of String Manipulating Programs
with Integer Data Type},
booktitle = {Automated Technology for Verification and Analysis - 18th International
Symposium, {ATVA} 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12302},
pages = {325--342},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59152-6\_18},
doi = {10.1007/978-3-030-59152-6\_18},
timestamp = {Tue, 13 Oct 2020 16:52:35 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChenHHHLRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HagueLRW20,
author = {Matthew Hague and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Monadic Decomposition in Integer Linear Arithmetic},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {122--140},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_8},
doi = {10.1007/978-3-030-51074-9\_8},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/HagueLRW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/EsenR20,
author = {Zafer Esen and
Philipp R{\"{u}}mmer},
editor = {Maribel Fern{\'{a}}ndez},
title = {Reasoning in the Theory of Heap: Satisfiability and Interpolation},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {173--191},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_9},
doi = {10.1007/978-3-030-68446-4\_9},
timestamp = {Mon, 15 Feb 2021 15:03:56 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/EsenR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/Rummer20,
author = {Philipp R{\"{u}}mmer},
editor = {Fran{\c{c}}ois Bobot and
Tjark Weber},
title = {Invited Talk: Solving String Constraints, Starting from the Beginning
and from the End},
booktitle = {Proceedings of the 18th International Workshop on Satisfiability Modulo
Theories co-located with the 10th International Joint Conference on
Automated Reasoning {(IJCAR} 2020), Online (initially located in Paris,
France), July 5-6, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2854},
pages = {1},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2854/abstract1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/Rummer20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/EsenR20,
author = {Zafer Esen and
Philipp R{\"{u}}mmer},
editor = {Fran{\c{c}}ois Bobot and
Tjark Weber},
title = {Abstract: Towards an {SMT-LIB} Theory of Heap},
booktitle = {Proceedings of the 18th International Workshop on Satisfiability Modulo
Theories co-located with the 10th International Joint Conference on
Automated Reasoning {(IJCAR} 2020), Online (initially located in Paris,
France), July 5-6, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2854},
pages = {60},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2854/abstract4.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/EsenR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02939,
author = {Philipp R{\"{u}}mmer},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {Competition Report: {CHC-COMP-20}},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {197--219},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.15},
doi = {10.4204/EPTCS.320.15},
timestamp = {Mon, 26 Apr 2021 11:43:53 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02939.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/AlshnakatGLR20,
author = {Anoud Alshnakat and
Dilian Gurov and
Christian Lidstr{\"{o}}m and
Philipp R{\"{u}}mmer},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Constraint-Based Contract Inference for Deductive Verification},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {149--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_6},
doi = {10.1007/978-3-030-64354-6\_6},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/AlshnakatGLR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2020paar,
editor = {Pascal Fontaine and
Konstantin Korovin and
Ilias S. Kotsireas and
Philipp R{\"{u}}mmer and
Sophie Tourret},
title = {Joint Proceedings of the 7th Workshop on Practical Aspects of Automated
Reasoning {(PAAR)} and the 5th Satisfiability Checking and Symbolic
Computation Workshop (SC-Square) Workshop, 2020 co-located with the
10th International Joint Conference on Automated Reasoning {(IJCAR}
2020), Paris, France, June-July, 2020 (Virtual)},
series = {{CEUR} Workshop Proceedings},
volume = {2752},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2752},
urn = {urn:nbn:de:0074-2752-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2020paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-12371,
author = {Matthew Hague and
Anthony Widjaja Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
title = {Monadic Decomposition in Integer Linear Arithmetic (Technical Report)},
journal = {CoRR},
volume = {abs/2004.12371},
year = {2020},
url = {https://arxiv.org/abs/2004.12371},
eprinttype = {arXiv},
eprint = {2004.12371},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-12371.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-00990,
author = {Anthony W. Lin and
Philipp R{\"{u}}mmer},
title = {Regular Model Checking Revisited (Technical Report)},
journal = {CoRR},
volume = {abs/2005.00990},
year = {2020},
url = {https://arxiv.org/abs/2005.00990},
eprinttype = {arXiv},
eprint = {2005.00990},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-00990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-06913,
author = {Taolue Chen and
Matthew Hague and
Jinlong He and
Denghang Hu and
Anthony Widjaja Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
title = {A Decision Procedure for Path Feasibility of String Manipulating Programs
with Integer Data Type},
journal = {CoRR},
volume = {abs/2007.06913},
year = {2020},
url = {https://arxiv.org/abs/2007.06913},
eprinttype = {arXiv},
eprint = {2007.06913},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-06913.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-15975,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Janku and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Tom{\'{a}}s Vojnar},
title = {String Constraints with Concatenation and Transducers Solved Efficiently
(Technical Report)},
journal = {CoRR},
volume = {abs/2010.15975},
year = {2020},
url = {https://arxiv.org/abs/2010.15975},
eprinttype = {arXiv},
eprint = {2010.15975},
timestamp = {Tue, 03 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-15975.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-02413,
author = {Chih{-}Duo Hong and
Anthony W. Lin and
Rupak Majumdar and
Philipp R{\"{u}}mmer},
title = {Probabilistic Bisimulation for Parameterized Systems (Technical Report)},
journal = {CoRR},
volume = {abs/2011.02413},
year = {2020},
url = {https://arxiv.org/abs/2011.02413},
eprinttype = {arXiv},
eprint = {2011.02413},
timestamp = {Mon, 09 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-02413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ChenHLRW19,
author = {Taolue Chen and
Matthew Hague and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
title = {Decision procedures for path feasibility of string-manipulating programs
with complex operations},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {49:1--49:30},
year = {2019},
url = {https://doi.org/10.1145/3290362},
doi = {10.1145/3290362},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/ChenHLRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HojjatRS19,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer and
Ali Shamakhi},
editor = {Anthony Widjaja Lin},
title = {On Strings in Software Model Checking},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {19--30},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_2},
doi = {10.1007/978-3-030-34175-6\_2},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/HojjatRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HongLMR19,
author = {Chih{-}Duo Hong and
Anthony W. Lin and
Rupak Majumdar and
Philipp R{\"{u}}mmer},
editor = {Isil Dillig and
Serdar Tasiran},
title = {Probabilistic Bisimulation for Parameterized Systems - (with Applications
to Verifying Anonymous Protocols)},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {455--474},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_27},
doi = {10.1007/978-3-030-25540-4\_27},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/HongLMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Rummer19,
author = {Philipp R{\"{u}}mmer},
editor = {Toby Murray and
Gidon Ernst},
title = {JayHorn: a Java model checker},
booktitle = {Proceedings of the 21st Workshop on Formal Techniques for Java-like
Programs, FTfJP@ECOOP 2019, London, United Kingdom, July 15, 2019},
pages = {1:1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3340672.3341113},
doi = {10.1145/3340672.3341113},
timestamp = {Mon, 05 Feb 2024 20:31:47 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/Rummer19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KahsaiRS19,
author = {Temesghen Kahsai and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Dirk Beyer and
Marieke Huisman and
Fabrice Kordon and
Bernhard Steffen},
title = {JayHorn: {A} Java Model Checker - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11429},
pages = {214--218},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17502-3\_16},
doi = {10.1007/978-3-030-17502-3\_16},
timestamp = {Fri, 09 Apr 2021 18:45:37 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KahsaiRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/FuhsRST19,
author = {Carsten Fuhs and
Philipp R{\"{u}}mmer and
Renate A. Schmidt and
Cesare Tinelli},
title = {Deduction Beyond Satisfiability (Dagstuhl Seminar 19371)},
journal = {Dagstuhl Reports},
volume = {9},
number = {9},
pages = {23--44},
year = {2019},
url = {https://doi.org/10.4230/DagRep.9.9.23},
doi = {10.4230/DAGREP.9.9.23},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/FuhsRST19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KlebanovRU18,
author = {Vladimir Klebanov and
Philipp R{\"{u}}mmer and
Mattias Ulbrich},
title = {Automating regression verification of pointer programs by predicate
abstraction},
journal = {Formal Methods Syst. Des.},
volume = {52},
number = {3},
pages = {229--259},
year = {2018},
url = {https://doi.org/10.1007/s10703-017-0293-8},
doi = {10.1007/S10703-017-0293-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KlebanovRU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/HolikJLRV18,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Petr Janku and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Tom{\'{a}}s Vojnar},
title = {String constraints with concatenation and transducers solved efficiently},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {4:1--4:32},
year = {2018},
url = {https://doi.org/10.1145/3158092},
doi = {10.1145/3158092},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/HolikJLRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZeljicBWR18,
author = {Aleksandar Zeljic and
Peter Backeman and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {Exploring Approximations for Floating-Point Arithmetic Using UppSAT},
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 = {246--262},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_17},
doi = {10.1007/978-3-319-94205-6\_17},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZeljicBWR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AbdullaACDHRR18,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Bui Phi Diep and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Trau: {SMT} solver for string constraints},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602997},
doi = {10.23919/FMCAD.2018.8602997},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AbdullaACDHRR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BackemanRZ18,
author = {Peter Backeman and
Philipp R{\"{u}}mmer and
Aleksandar Zeljic},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--10},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603023},
doi = {10.23919/FMCAD.2018.8603023},
timestamp = {Fri, 11 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/BackemanRZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HojjatR18,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {The {ELDARICA} Horn Solver},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--7},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603013},
doi = {10.23919/FMCAD.2018.8603013},
timestamp = {Fri, 11 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/HojjatR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2018paar,
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162},
urn = {urn:nbn:de:0074-2162-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/2018paar.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2018,
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {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},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1},
doi = {10.1007/978-3-030-03592-1},
isbn = {978-3-030-03591-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-02367,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer},
title = {Deciding and Interpolating Algebraic Data Types by Reduction (Technical
Report)},
journal = {CoRR},
volume = {abs/1801.02367},
year = {2018},
url = {http://arxiv.org/abs/1801.02367},
eprinttype = {arXiv},
eprint = {1801.02367},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-02367.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-03167,
author = {Taolue Chen and
Matthew Hague and
Anthony W. Lin and
Philipp R{\"{u}}mmer and
Zhilin Wu},
title = {Decision Procedures for Path Feasibility of String-Manipulating Programs
with Complex Operations},
journal = {CoRR},
volume = {abs/1811.03167},
year = {2018},
url = {http://arxiv.org/abs/1811.03167},
eprinttype = {arXiv},
eprint = {1811.03167},
timestamp = {Thu, 22 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-03167.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GriggioR17,
author = {Alberto Griggio and
Philipp R{\"{u}}mmer},
title = {Preface to special issue on satisfiability modulo theories},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {3},
pages = {431--432},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0308-5},
doi = {10.1007/S10703-017-0308-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/GriggioR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ZeljicWR17,
author = {Aleksandar Zeljic and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
title = {An Approximation Framework for Solvers and Decision Procedures},
journal = {J. Autom. Reason.},
volume = {58},
number = {1},
pages = {127--147},
year = {2017},
url = {https://doi.org/10.1007/s10817-016-9393-1},
doi = {10.1007/S10817-016-9393-1},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ZeljicWR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/ChenHLR17,
author = {Yu{-}Fang Chen and
Chih{-}Duo Hong and
Anthony W. Lin and
Philipp R{\"{u}}mmer},
editor = {Daryl Stewart and
Georg Weissenbacher},
title = {Learning to prove safety over parameterised concurrent systems},
booktitle = {2017 Formal Methods in Computer Aided Design, {FMCAD} 2017, Vienna,
Austria, October 2-6, 2017},
pages = {76--83},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.23919/FMCAD.2017.8102244},
doi = {10.23919/FMCAD.2017.8102244},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmcad/ChenHLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BjornerJLRS17,
author = {Nikolaj S. Bj{\o}rner and
Dejan Jovanovic and
Tancr{\`{e}}de Lepoint and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Thomas Eiter and
David Sands and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Abduction by Non-Experts},
booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
May 7-12, 2017},
series = {Kalpa Publications in Computing},
volume = {1},
pages = {58--72},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/pz3t},
doi = {10.29007/PZ3T},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BjornerJLRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KahsaiKRS17,
author = {Temesghen Kahsai and
Rody Kersten and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Thomas Eiter and
David Sands},
title = {Quantified Heap Invariants for Object-Oriented Programs},
booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
series = {EPiC Series in Computing},
volume = {46},
pages = {368--384},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/zrct},
doi = {10.29007/ZRCT},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/KahsaiKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DemyanovaRZ17,
author = {Yulia Demyanova and
Philipp R{\"{u}}mmer and
Florian Zuleger},
editor = {Clark W. Barrett and
Misty D. Davies and
Temesghen Kahsai},
title = {Systematic Predicate Abstraction Using Variable Roles},
booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
Field, CA, USA, May 16-18, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10227},
pages = {265--281},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-57288-8\_18},
doi = {10.1007/978-3-319-57288-8\_18},
timestamp = {Sat, 19 Aug 2023 09:51:51 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DemyanovaRZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AbdullaACDHRR17,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Bui Phi Diep and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Flatten and conquer: a framework for efficient analysis of string
constraints},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {602--617},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062384},
doi = {10.1145/3062341.3062384},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/AbdullaACDHRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/HojjatR17,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer},
editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
title = {Deciding and Interpolating Algebraic Data Types by Reduction},
booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SYNASC.2017.00033},
doi = {10.1109/SYNASC.2017.00033},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/HojjatR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LengalLMR17,
author = {Ondrej Leng{\'{a}}l and
Anthony Widjaja Lin and
Rupak Majumdar and
Philipp R{\"{u}}mmer},
editor = {Axel Legay and
Tiziana Margaria},
title = {Fair Termination for Parameterized Probabilistic Concurrent Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10205},
pages = {499--517},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54577-5\_29},
doi = {10.1007/978-3-662-54577-5\_29},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LengalLMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-07139,
author = {Yu{-}Fang Chen and
Chih{-}Duo Hong and
Anthony W. Lin and
Philipp R{\"{u}}mmer},
title = {Learning to Prove Safety over Parameterised Concurrent Systems (Full
Version)},
journal = {CoRR},
volume = {abs/1709.07139},
year = {2017},
url = {http://arxiv.org/abs/1709.07139},
eprinttype = {arXiv},
eprint = {1709.07139},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-07139.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-10756,
author = {Ondrej Leng{\'{a}}l and
Anthony W. Lin and
Rupak Majumdar and
Philipp R{\"{u}}mmer},
title = {Fair Termination for Parameterized Probabilistic Concurrent Systems
(Technical Report)},
journal = {CoRR},
volume = {abs/1710.10756},
year = {2017},
url = {http://arxiv.org/abs/1710.10756},
eprinttype = {arXiv},
eprint = {1710.10756},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-10756.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08859,
author = {Aleksandar Zeljic and
Peter Backeman and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
title = {Exploring Approximations for Floating-Point Arithmetic using UppSAT},
journal = {CoRR},
volume = {abs/1711.08859},
year = {2017},
url = {http://arxiv.org/abs/1711.08859},
eprinttype = {arXiv},
eprint = {1711.08859},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08859.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/LerouxRS16,
author = {J{\'{e}}r{\^{o}}me Leroux and
Philipp R{\"{u}}mmer and
Pavle Subotic},
title = {Guiding Craig interpolation with domain-specific abstractions},
journal = {Acta Informatica},
volume = {53},
number = {4},
pages = {387--424},
year = {2016},
url = {https://doi.org/10.1007/s00236-015-0236-z},
doi = {10.1007/S00236-015-0236-Z},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/LerouxRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rummer016,
author = {Philipp R{\"{u}}mmer and
Wang Yi},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marcello M. Bonsangue and
Einar Broch Johnsen},
title = {Characterization of Simulation by Probabilistic Testing},
booktitle = {Theory and Practice of Formal Methods - Essays Dedicated to Frank
de Boer on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9660},
pages = {360--372},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30734-3\_24},
doi = {10.1007/978-3-319-30734-3\_24},
timestamp = {Sat, 19 Oct 2019 20:29:08 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rummer016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LinR16,
author = {Anthony W. Lin and
Philipp R{\"{u}}mmer},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {Liveness of Randomised Parameterised Systems under Arbitrary Schedulers},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9780},
pages = {112--133},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41540-6\_7},
doi = {10.1007/978-3-319-41540-6\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LinR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KahsaiRSS16,
author = {Temesghen Kahsai and
Philipp R{\"{u}}mmer and
Huascar Sanchez and
Martin Sch{\"{a}}f},
editor = {Swarat Chaudhuri and
Azadeh Farzan},
title = {JayHorn: {A} Framework for Verifying Java programs},
booktitle = {Computer Aided Verification - 28th International Conference, {CAV}
2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9779},
pages = {352--358},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41528-4\_19},
doi = {10.1007/978-3-319-41528-4\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KahsaiRSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HojjatRMCF16,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer and
Jedidiah McClurg and
Pavol Cern{\'{y}} and
Nate Foster},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {Optimizing horn solvers for network repair},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {73--80},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886663},
doi = {10.1109/FMCAD.2016.7886663},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HojjatRMCF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ZeljicWR16,
author = {Aleksandar Zeljic and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
editor = {Nadia Creignou and
Daniel Le Berre},
title = {Deciding Bit-Vector Formulas with mcSAT},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2016 - 19th
International Conference, Bordeaux, France, July 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9710},
pages = {249--266},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40970-2\_16},
doi = {10.1007/978-3-319-40970-2\_16},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ZeljicWR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/LinNR016,
author = {Anthony W. Lin and
Truong Khanh Nguyen and
Philipp R{\"{u}}mmer and
Jun Sun},
editor = {Barbara Jobstmann and
K. Rustan M. Leino},
title = {Regular Symmetry Patterns},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 17th International
Conference, {VMCAI} 2016, St. Petersburg, FL, USA, January 17-19,
2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9583},
pages = {455--475},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49122-5\_22},
doi = {10.1007/978-3-662-49122-5\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/LinNR016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/RummerU16,
author = {Philipp R{\"{u}}mmer and
Mattias Ulbrich},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Peter H. Schmitt and
Mattias Ulbrich},
title = {Proof Search with Taclets},
booktitle = {Deductive Software Verification - The KeY Book - From Theory to Practice},
series = {Lecture Notes in Computer Science},
volume = {10001},
pages = {107--147},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49812-6\_4},
doi = {10.1007/978-3-319-49812-6\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/RummerU16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/GallagherR16,
editor = {John P. Gallagher and
Philipp R{\"{u}}mmer},
title = {Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016},
series = {{EPTCS}},
volume = {219},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.219},
doi = {10.4204/EPTCS.219},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GallagherR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LinR16a,
author = {Anthony W. Lin and
Philipp R{\"{u}}mmer},
title = {Liveness of Randomised Parameterised Systems under Arbitrary Schedulers
(Technical Report)},
journal = {CoRR},
volume = {abs/1606.01451},
year = {2016},
url = {http://arxiv.org/abs/1606.01451},
eprinttype = {arXiv},
eprint = {1606.01451},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LinR16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RummerHK15,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
title = {On recursion-free Horn clauses and Craig interpolation},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {1},
pages = {1--25},
year = {2015},
url = {https://doi.org/10.1007/s10703-014-0219-7},
doi = {10.1007/S10703-014-0219-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/RummerHK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arith/BrainTRW15,
author = {Martin Brain and
Cesare Tinelli and
Philipp R{\"{u}}mmer and
Thomas Wahl},
title = {An Automatable Formal Semantics for {IEEE-754} Floating-Point Arithmetic},
booktitle = {22nd {IEEE} Symposium on Computer Arithmetic, {ARITH} 2015, Lyon,
France, June 22-24, 2015},
pages = {160--167},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ARITH.2015.26},
doi = {10.1109/ARITH.2015.26},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/arith/BrainTRW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BackemanR15,
author = {Peter Backeman and
Philipp R{\"{u}}mmer},
editor = {Amy P. Felty and
Aart Middeldorp},
title = {Theorem Proving with Bounded Rigid E-Unification},
booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9195},
pages = {572--587},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21401-6\_39},
doi = {10.1007/978-3-319-21401-6\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BackemanR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaACHRRS15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer and
Jari Stenman},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Norn: An {SMT} Solver for String Constraints},
booktitle = {Computer Aided Verification - 27th International Conference, {CAV}
2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {9206},
pages = {462--469},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_29},
doi = {10.1007/978-3-319-21690-4\_29},
timestamp = {Thu, 23 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbdullaACHRRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BackemanR15,
author = {Peter Backeman and
Philipp R{\"{u}}mmer},
editor = {Carsten Lutz and
Silvio Ranise},
title = {Free Variables and Theories: Revisiting Rigid E-unification},
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 = {3--13},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24246-0\_1},
doi = {10.1007/978-3-319-24246-0\_1},
timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
biburl = {https://dblp.org/rec/conf/frocos/BackemanR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/McCarthyRS15,
author = {Tim McCarthy and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Bixie: Finding and Understanding Inconsistent Code},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {645--648},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.213},
doi = {10.1109/ICSE.2015.213},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/McCarthyRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Schwartz-Narbonne15,
author = {Daniel Schwartz{-}Narbonne and
Martin Sch{\"{a}}f and
Dejan Jovanovic and
Philipp R{\"{u}}mmer and
Thomas Wies},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Conflict-Directed Graph Coverage},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {327--342},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_23},
doi = {10.1007/978-3-319-17524-9\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Schwartz-Narbonne15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/FelsingGKRU15,
author = {Dennis Felsing and
Sarah Grebing and
Vladimir Klebanov and
Philipp R{\"{u}}mmer and
Mattias Ulbrich},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {Automating Regression Verification},
booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der
GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik
(WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015,
Dresden, Germany},
series = {{LNI}},
volume = {{P-239}},
pages = {75--76},
publisher = {{GI}},
year = {2015},
timestamp = {Thu, 14 Nov 2019 16:35:28 +0100},
biburl = {https://dblp.org/rec/conf/se/FelsingGKRU15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/BackemanR15,
author = {Peter Backeman and
Philipp R{\"{u}}mmer},
editor = {Hans de Nivelle},
title = {Efficient Algorithms for Bounded Rigid E-unification},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {70--85},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_6},
doi = {10.1007/978-3-319-24312-2\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/BackemanR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LinNR015,
author = {Anthony W. Lin and
Truong Khanh Nguyen and
Philipp R{\"{u}}mmer and
Jun Sun},
title = {Regular Symmetry Patterns (Technical Report)},
journal = {CoRR},
volume = {abs/1510.08506},
year = {2015},
url = {http://arxiv.org/abs/1510.08506},
eprinttype = {arXiv},
eprint = {1510.08506},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LinNR015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ZeljicWR14,
author = {Aleksandar Zeljic and
Christoph M. Wintersteiger and
Philipp R{\"{u}}mmer},
editor = {St{\'{e}}phane Demri and
Deepak Kapur and
Christoph Weidenbach},
title = {Approximations for Model Construction},
booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 19-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8562},
pages = {344--359},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08587-6\_26},
doi = {10.1007/978-3-319-08587-6\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/ZeljicWR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AbdullaACHRRS14,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Yu{-}Fang Chen and
Luk{\'{a}}s Hol{\'{\i}}k and
Ahmed Rezine and
Philipp R{\"{u}}mmer and
Jari Stenman},
editor = {Armin Biere and
Roderick Bloem},
title = {String Constraints for Verification},
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 = {150--166},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_10},
doi = {10.1007/978-3-319-08867-9\_10},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/AbdullaACHRRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/FelsingGKRU14,
author = {Dennis Felsing and
Sarah Grebing and
Vladimir Klebanov and
Philipp R{\"{u}}mmer and
Mattias Ulbrich},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Automating regression verification},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {349--360},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2642987},
doi = {10.1145/2642937.2642987},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/FelsingGKRU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ArltRRSS14,
author = {Stephan Arlt and
Cindy Rubio{-}Gonz{\'{a}}lez and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f and
Natarajan Shankar},
editor = {Julia M. Badger and
Kristin Yvonne Rozier},
title = {The Gradual Verifier},
booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
TX, USA, April 29 - May 1, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8430},
pages = {313--327},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06200-6\_27},
doi = {10.1007/978-3-319-06200-6\_27},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ArltRRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HojjatRSY14,
author = {Hossein Hojjat and
Philipp R{\"{u}}mmer and
Pavle Subotic and
Wang Yi},
editor = {Nikolaj S. Bj{\o}rner and
Fabio Fioravanti and
Andrey Rybalchenko and
Valerio Senni},
title = {Horn Clauses for Communicating Timed Systems},
booktitle = {Proceedings First Workshop on Horn Clauses for Verification and Synthesis,
{HCVS} 2014, Vienna, Austria, 17 July 2014},
series = {{EPTCS}},
volume = {169},
pages = {39--52},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.169.6},
doi = {10.4204/EPTCS.169.6},
timestamp = {Thu, 14 Apr 2022 20:26:11 +0200},
biburl = {https://dblp.org/rec/journals/corr/HojjatRSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/smt/2014,
editor = {Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {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},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1163},
urn = {urn:nbn:de:0074-1163-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookKRW13,
author = {Byron Cook and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
title = {Ranking function synthesis for bit-vector relations},
journal = {Formal Methods Syst. Des.},
volume = {43},
number = {1},
pages = {93--120},
year = {2013},
url = {https://doi.org/10.1007/s10703-013-0186-4},
doi = {10.1007/S10703-013-0186-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CookKRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ArltRS13,
author = {Stephan Arlt and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {A Theory for Control-Flow Graph Exploration},
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 = {506--515},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_44},
doi = {10.1007/978-3-319-02444-8\_44},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ArltRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RummerHK13,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Disjunctive Interpolants for Horn-Clause Verification},
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 = {347--363},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_24},
doi = {10.1007/978-3-642-39799-8\_24},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/RummerHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RummerS13,
author = {Philipp R{\"{u}}mmer and
Pavle Subotic},
title = {Exploring interpolants},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
USA, October 20-23, 2013},
pages = {69--76},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6679393/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RummerS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArltRS13,
author = {Stephan Arlt and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Patrick Lam and
Elena Sherman},
title = {Joogie: from Java through Jimple to Boogie},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
pages = {3--8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568.2487570},
doi = {10.1145/2487568.2487570},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArltRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RummerHK13,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Classifying and Solving Horn Clauses for Verification},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {1--21},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_1},
doi = {10.1007/978-3-642-54108-7\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/RummerHK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4973,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
title = {Disjunctive Interpolants for Horn-Clause Verification (Extended Technical
Report)},
journal = {CoRR},
volume = {abs/1301.4973},
year = {2013},
url = {http://arxiv.org/abs/1301.4973},
eprinttype = {arXiv},
eprint = {1301.4973},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4973.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4187,
author = {Philipp R{\"{u}}mmer and
Hossein Hojjat and
Viktor Kuncak},
title = {The Relationship between Craig Interpolation and Recursion-Free Horn
Clauses},
journal = {CoRR},
volume = {abs/1302.4187},
year = {2013},
url = {http://arxiv.org/abs/1302.4187},
eprinttype = {arXiv},
eprint = {1302.4187},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-4187.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HojjatIKKR12,
author = {Hossein Hojjat and
Radu Iosif and
Filip Konecn{\'{y}} and
Viktor Kuncak and
Philipp R{\"{u}}mmer},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Accelerating Interpolants},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {187--202},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_16},
doi = {10.1007/978-3-642-33386-6\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/HojjatIKKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HojjatKGIKR12,
author = {Hossein Hojjat and
Filip Konecn{\'{y}} and
Florent Garnier and
Radu Iosif and
Viktor Kuncak and
Philipp R{\"{u}}mmer},
editor = {Dimitra Giannakopoulou and
Dominique M{\'{e}}ry},
title = {A Verification Toolkit for Numerical Transition Systems - Tool Paper},
booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
August 27-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7436},
pages = {247--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32759-9\_21},
doi = {10.1007/978-3-642-32759-9\_21},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/HojjatKGIKR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Rummer12a,
author = {Philipp R{\"{u}}mmer},
editor = {Konstantin Korovin and
Stephan Schulz and
Eugenia Ternovska},
title = {Craig Interpolation for the Integers: Results, Implementation, and
Experiences},
booktitle = {{IWIL} 2012: The 9th International Workshop on the Implementation
of Logics, Merida, Venezuela, March 10, 2012},
series = {EPiC Series in Computing},
volume = {22},
pages = {3},
publisher = {EasyChair},
year = {2012},
url = {https://doi.org/10.29007/9rxz},
doi = {10.29007/9RXZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Rummer12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Rummer12,
author = {Philipp R{\"{u}}mmer},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {E-Matching with Free Variables},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {359--374},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_28},
doi = {10.1007/978-3-642-28717-6\_28},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Rummer12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DonaldsonKR11,
author = {Alastair F. Donaldson and
Daniel Kroening and
Philipp R{\"{u}}mmer},
title = {Automatic analysis of {DMA} races using model checking and \emph{k}-induction},
journal = {Formal Methods Syst. Des.},
volume = {39},
number = {1},
pages = {83--113},
year = {2011},
url = {https://doi.org/10.1007/s10703-011-0124-2},
doi = {10.1007/S10703-011-0124-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DonaldsonKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BrilloutKRW11,
author = {Angelo Brillout and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Thomas Wahl},
title = {An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic},
journal = {J. Autom. Reason.},
volume = {47},
number = {4},
pages = {341--367},
year = {2011},
url = {https://doi.org/10.1007/s10817-011-9237-y},
doi = {10.1007/S10817-011-9237-Y},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BrilloutKRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HeRK11,
author = {Nannan He and
Philipp R{\"{u}}mmer and
Daniel Kroening},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Test-case generation for embedded simulink via formal concept analysis},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {224--229},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024777},
doi = {10.1145/2024724.2024777},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HeRK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/DonaldsonKR11,
author = {Alastair F. Donaldson and
Daniel Kroening and
Philipp R{\"{u}}mmer},
editor = {Calin Cascaval and
Pen{-}Chung Yew},
title = {{SCRATCH:} a tool for automatic analysis of dma races},
booktitle = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
February 12-16, 2011},
pages = {311--312},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1941553.1941604},
doi = {10.1145/1941553.1941604},
timestamp = {Sun, 12 Jun 2022 19:46:08 +0200},
biburl = {https://dblp.org/rec/conf/ppopp/DonaldsonKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DonaldsonHKR11,
author = {Alastair F. Donaldson and
Leopold Haller and
Daniel Kroening and
Philipp R{\"{u}}mmer},
editor = {Eran Yahav},
title = {Software Verification Using k-Induction},
booktitle = {Static Analysis - 18th International Symposium, {SAS} 2011, Venice,
Italy, September 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6887},
pages = {351--368},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23702-7\_26},
doi = {10.1007/978-3-642-23702-7\_26},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/DonaldsonHKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/BrilloutKRW11,
author = {Angelo Brillout and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Thomas Wahl},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {88--102},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_8},
doi = {10.1007/978-3-642-18275-4\_8},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/BrilloutKRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/AhrendtBGR10,
author = {Wolfgang Ahrendt and
Bernhard Beckert and
Martin Giese and
Philipp R{\"{u}}mmer},
title = {Practical Aspects of Automated Deduction for Program Verification},
journal = {K{\"{u}}nstliche Intell.},
volume = {24},
number = {1},
pages = {43--49},
year = {2010},
url = {https://doi.org/10.1007/s13218-010-0001-y},
doi = {10.1007/S13218-010-0001-Y},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/AhrendtBGR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrilloutKRW10a,
author = {Angelo Brillout and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Thomas Wahl},
editor = {Markus Aderhold and
Serge Autexier and
Heiko Mantel},
title = {Program Verification via Craig Interpolation for Presburger Arithmetic
with Arrays},
booktitle = {6th International Verification Workshop, VERIFY-2010, Edinburgh, UK,
July 20-21, 2010},
series = {EPiC Series in Computing},
volume = {3},
pages = {31--46},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/zfkw},
doi = {10.29007/ZFKW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrilloutKRW10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrilloutKRW10,
author = {Angelo Brillout and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Thomas Wahl},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {384--399},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_33},
doi = {10.1007/978-3-642-14203-1\_33},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/BrilloutKRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DonaldsonHKR10,
author = {Alastair F. Donaldson and
Nannan He and
Daniel Kroening and
Philipp R{\"{u}}mmer},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Tightening Test Coverage Metrics: {A} Case Study in Equivalence Checking
Using k-Induction},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
{FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {297--315},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25271-6\_16},
doi = {10.1007/978-3-642-25271-6\_16},
timestamp = {Thu, 14 Oct 2021 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DonaldsonHKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KroeningLR10,
author = {Daniel Kroening and
J{\'{e}}r{\^{o}}me Leroux and
Philipp R{\"{u}}mmer},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Interpolating Quantifier-Free Presburger Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {489--503},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_35},
doi = {10.1007/978-3-642-16242-8\_35},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/KroeningLR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CookKRW10,
author = {Byron Cook and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Christoph M. Wintersteiger},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Ranking Function Synthesis for Bit-Vector Relations},
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 = {236--250},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_19},
doi = {10.1007/978-3-642-12002-2\_19},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CookKRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DonaldsonKR10,
author = {Alastair F. Donaldson and
Daniel Kroening and
Philipp R{\"{u}}mmer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore
Processors},
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 = {280--295},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_24},
doi = {10.1007/978-3-642-12002-2\_24},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/DonaldsonKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LeinoR10,
author = {K. Rustan M. Leino and
Philipp R{\"{u}}mmer},
editor = {Javier Esparza and
Rupak Majumdar},
title = {A Polymorphic Intermediate Verification Language: Design and Logical
Encoding},
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 = {312--327},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_26},
doi = {10.1007/978-3-642-12002-2\_26},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LeinoR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-1036,
author = {Angelo Brillout and
Daniel Kroening and
Philipp R{\"{u}}mmer and
Thomas Wahl},
title = {Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
(Extended Technical Report)},
journal = {CoRR},
volume = {abs/1011.1036},
year = {2010},
url = {http://arxiv.org/abs/1011.1036},
eprinttype = {arXiv},
eprint = {1011.1036},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-1036.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PlatzerQR09,
author = {Andr{\'{e}} Platzer and
Jan{-}David Quesel and
Philipp R{\"{u}}mmer},
editor = {Renate A. Schmidt},
title = {Real World Verification},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5663},
pages = {485--501},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02959-2\_35},
doi = {10.1007/978-3-642-02959-2\_35},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PlatzerQR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/BrilloutHMKPRW09,
author = {Angelo Brillout and
Nannan He and
Michele Mazzucchi and
Daniel Kroening and
Mitra Purandare and
Philipp R{\"{u}}mmer and
Georg Weissenbacher},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Stefan Hallerstede and
Michael Leuschel},
title = {Mutation-Based Test Case Generation for Simulink Models},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
{FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {208--227},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-17071-3\_11},
doi = {10.1007/978-3-642-17071-3\_11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/BrilloutHMKPRW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HahnlePRW08,
author = {Reiner H{\"{a}}hnle and
Jing Pan and
Philipp R{\"{u}}mmer and
Dennis Walter},
title = {Integration of a security type system into a program logic},
journal = {Theor. Comput. Sci.},
volume = {402},
number = {2-3},
pages = {172--189},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.04.033},
doi = {10.1016/J.TCS.2008.04.033},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HahnlePRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Rummer08,
author = {Philipp R{\"{u}}mmer},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {A Constraint Sequent Calculus for First-Order Logic with Linear Integer
Arithmetic},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {274--289},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_20},
doi = {10.1007/978-3-540-89439-1\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Rummer08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/VelroyenR08,
author = {Helga Velroyen and
Philipp R{\"{u}}mmer},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Non-termination Checking for Imperative Programs},
booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {154--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_11},
doi = {10.1007/978-3-540-79124-9\_11},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/VelroyenR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/EngelGKR08,
author = {Christian Engel and
Christoph Gladisch and
Vladimir Klebanov and
Philipp R{\"{u}}mmer},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle},
title = {Integrating Verification and Testing of Object-Oriented Software},
booktitle = {Tests and Proofs - 2nd International Conference, {TAP} 2008, Prato,
Italy, April 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4966},
pages = {182--191},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79124-9\_13},
doi = {10.1007/978-3-540-79124-9\_13},
timestamp = {Tue, 19 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/EngelGKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BeckertGHKRSS07,
author = {Bernhard Beckert and
Martin Giese and
Reiner H{\"{a}}hnle and
Vladimir Klebanov and
Philipp R{\"{u}}mmer and
Steffen Schlager and
Peter H. Schmitt},
editor = {Frank Pfenning},
title = {The KeY system 1.0 (Deduction Component)},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {379--384},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_26},
doi = {10.1007/978-3-540-73595-3\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/BeckertGHKRSS07.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 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/Rummer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/RummerS07,
author = {Philipp R{\"{u}}mmer and
Muhammad Ali Shah},
editor = {Yuri Gurevich and
Bertrand Meyer},
title = {Proving Programs Incorrect Using a Sequent Calculus for Java Dynamic
Logic},
booktitle = {Tests and Proofs - 1st International Conference, {TAP} 2007, Zurich,
Switzerland, February 12-13, 2007. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4454},
pages = {41--60},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73770-4\_3},
doi = {10.1007/978-3-540-73770-4\_3},
timestamp = {Tue, 23 Jun 2020 17:02:04 +0200},
biburl = {https://dblp.org/rec/conf/tap/RummerS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Rummer07,
author = {Philipp R{\"{u}}mmer},
editor = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Peter H. Schmitt},
title = {Construction of Proofs},
booktitle = {Verification of Object-Oriented Software. The KeY Approach - Foreword
by K. Rustan M. Leino},
series = {Lecture Notes in Computer Science},
volume = {4334},
pages = {179--242},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69061-0\_4},
doi = {10.1007/978-3-540-69061-0\_4},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Rummer07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AhrendtBHRS06,
author = {Wolfgang Ahrendt and
Bernhard Beckert and
Reiner H{\"{a}}hnle and
Philipp R{\"{u}}mmer and
Peter H. Schmitt},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Verifying Object-Oriented Programs with KeY: {A} Tutorial},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium,
{FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4709},
pages = {70--101},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74792-5\_4},
doi = {10.1007/978-3-540-74792-5\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AhrendtBHRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Rummer06,
author = {Philipp R{\"{u}}mmer},
editor = {Miki Hermann and
Andrei Voronkov},
title = {Sequential, Parallel, and Quantified Updates of First-Order Structures},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {422--436},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_29},
doi = {10.1007/11916277\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Rummer06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/HahnlePRW06,
author = {Reiner H{\"{a}}hnle and
Jing Pan and
Philipp R{\"{u}}mmer and
Dennis Walter},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {Integration of a Security Type System into a Program Logic},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {116--131},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_8},
doi = {10.1007/978-3-540-75336-0\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/HahnlePRW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wotug/KlebanovRSS05,
author = {Vladimir Klebanov and
Philipp R{\"{u}}mmer and
Steffen Schlager and
Peter H. Schmitt},
editor = {Jan F. Broenink and
Herman W. Roebbers and
Johan P. E. Sunter and
Peter H. Welch and
David C. Wood},
title = {Verification of {JCSP} Programs},
booktitle = {The 28th Communicating Process Architectures Conference, {CPA} 2005,
organised under the auspices of WoTUG, Philips and the Technische
Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September
2005},
series = {Concurrent Systems Engineering Series},
volume = {63},
pages = {203--218},
publisher = {{IOS} Press},
year = {2005},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=696},
timestamp = {Fri, 23 Mar 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wotug/KlebanovRSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BubelRR08,
author = {Richard Bubel and
Andreas Roth and
Philipp R{\"{u}}mmer},
editor = {Carsten Sch{\"{u}}rmann},
title = {Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic
Logic},
booktitle = {Proceedings of the Fourth International Workshop on Logical Frameworks
and Meta-Languages, LFM@IJCAR 2004. Cork, Ireland, July 5, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {199},
pages = {107--128},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2007.11.015},
doi = {10.1016/J.ENTCS.2007.11.015},
timestamp = {Thu, 09 Feb 2023 12:05:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BubelRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-02 20:14 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:
