Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andreas Podelski
@article{DBLP:journals/pacmpl/FarzanKP24,
author = {Azadeh Farzan and
Dominik Klumpp and
Andreas Podelski},
title = {Commutativity Simplifies Proofs of Parameterized Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {8},
number = {{POPL}},
pages = {2485--2513},
year = {2024},
url = {https://doi.org/10.1145/3632925},
doi = {10.1145/3632925},
timestamp = {Sat, 10 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FarzanKP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchusseleBDHJKP24,
author = {Frank Sch{\"{u}}ssele and
Manuel Bentele and
Daniel Dietsch and
Matthias Heizmann and
Xinyu Jiang and
Dominik Klumpp and
Andreas Podelski},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {14572},
pages = {418--423},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57256-2\_31},
doi = {10.1007/978-3-031-57256-2\_31},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/tacas/SchusseleBDHJKP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/FarzanKP23,
author = {Azadeh Farzan and
Dominik Klumpp and
Andreas Podelski},
title = {Stratified Commutativity in Verification Algorithms for Concurrent
Programs},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1426--1453},
year = {2023},
url = {https://doi.org/10.1145/3571242},
doi = {10.1145/3571242},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/FarzanKP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/HenkelHELP23,
author = {Elisabeth Henkel and
Nico Hauff and
Lukas Eber and
Vincent Langenfeld and
Andreas Podelski},
editor = {Alessio Ferrari and
Birgit Penzenstadler},
title = {An Empirical Study of the Intuitive Understanding of a Formal Pattern
Language},
booktitle = {Requirements Engineering: Foundation for Software Quality - 29th International
Working Conference, {REFSQ} 2023, Barcelona, Spain, April 17-20, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13975},
pages = {21--38},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-29786-1\_2},
doi = {10.1007/978-3-031-29786-1\_2},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/HenkelHELP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannBDFHKNSSP23,
author = {Matthias Heizmann and
Max Barth and
Daniel Dietsch and
Leonard Fichtner and
Jochen Hoenicke and
Dominik Klumpp and
Mehdi Naouar and
Tanja Schindler and
Frank Sch{\"{u}}ssele and
Andreas Podelski},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {577--581},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_39},
doi = {10.1007/978-3-031-30820-8\_39},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannBDFHKNSSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DietschHKSP23,
author = {Daniel Dietsch and
Matthias Heizmann and
Dominik Klumpp and
Frank Sch{\"{u}}ssele and
Andreas Podelski},
editor = {Sriram Sankaranarayanan and
Natasha Sharygina},
title = {Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 29th International Conference, {TACAS} 2023, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Paris, France, April 22-27, 2023, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13994},
pages = {582--587},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-30820-8\_40},
doi = {10.1007/978-3-031-30820-8\_40},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DietschHKSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-02673,
author = {Azadeh Farzan and
Dominik Klumpp and
Andreas Podelski},
title = {Commutativity Simplifies Proofs of Parameterized Programs},
journal = {CoRR},
volume = {abs/2311.02673},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.02673},
doi = {10.48550/ARXIV.2311.02673},
eprinttype = {arXiv},
eprint = {2311.02673},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-02673.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BogomolovFFPS22,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Andreas Podelski and
Christian Schilling},
title = {Decomposing reach set computations with low-dimensional sets and high-dimensional
matrices (extended version)},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104937},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2022.104937},
doi = {10.1016/J.IC.2022.104937},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BogomolovFFPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001P22a,
author = {Dirk Beyer and
Andreas Podelski},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
Krishnendu Chatterjee and
Laurent Doyen and
Rupak Majumdar},
title = {Software Model Checking: 20 Years and Beyond},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13660},
pages = {554--582},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22337-2\_27},
doi = {10.1007/978-3-031-22337-2\_27},
timestamp = {Sat, 13 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001P22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FarzanKP22,
author = {Azadeh Farzan and
Dominik Klumpp and
Andreas Podelski},
editor = {Ranjit Jhala and
Isil Dillig},
title = {Sound sequentialization for concurrent program verification},
booktitle = {{PLDI} '22: 43rd {ACM} {SIGPLAN} International Conference on Programming
Language Design and Implementation, San Diego, CA, USA, June 13 -
17, 2022},
pages = {506--521},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3519939.3523727},
doi = {10.1145/3519939.3523727},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FarzanKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KlumppDHSEFP22,
author = {Dominik Klumpp and
Daniel Dietsch and
Matthias Heizmann and
Frank Sch{\"{u}}ssele and
Marcel Ebbinghaus and
Azadeh Farzan and
Andreas Podelski},
editor = {Dana Fisman and
Grigore Rosu},
title = {Ultimate GemCutter and the Axes of Generalization - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 28th International Conference, {TACAS} 2022, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2022, Munich, Germany, April 2-7, 2022, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {13244},
pages = {479--483},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99527-0\_35},
doi = {10.1007/978-3-030-99527-0\_35},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KlumppDHSEFP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PadonHMPSS21,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Temporal prophecy for proving temporal properties of infinite-state
systems},
journal = {Formal Methods Syst. Des.},
volume = {57},
number = {2},
pages = {246--269},
year = {2021},
url = {https://doi.org/10.1007/s10703-021-00377-1},
doi = {10.1007/S10703-021-00377-1},
timestamp = {Fri, 12 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/PadonHMPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LangenfeldWP21,
author = {Vincent Langenfeld and
Bernd Westphal and
Andreas Podelski},
editor = {W. Tecumseh Fitch and
Claus Lamm and
Helmut Leder and
Kristin Te{\ss}mar{-}Raible},
title = {A Formal Operational Model of {ACT-R:} Structure and Behaviour},
booktitle = {Proceedings of the 43th Annual Meeting of the Cognitive Science Society,
CogSci 2021, virtual, July 26-29, 2021, 2020},
publisher = {cognitivesciencesociety.org},
year = {2021},
url = {https://escholarship.org/uc/item/5898d1f4},
timestamp = {Thu, 25 Apr 2024 16:55:45 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/LangenfeldWP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DietschHHNP21,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Karima Echihabi and
Roland Meyer},
title = {Separating Map Variables in a Logic-Based Intermediate Verification
Language},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {169--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_12},
doi = {10.1007/978-3-030-91014-3\_12},
timestamp = {Fri, 03 Dec 2021 17:36:17 +0100},
biburl = {https://dblp.org/rec/conf/netys/DietschHHNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/BeckerDHHLPW21,
author = {Samuel Becker and
Daniel Dietsch and
Nico Hauff and
Elisabeth Henkel and
Vincent Langenfeld and
Andreas Podelski and
Bernd Westphal},
editor = {Fatma Basak Aydemir and
Catarina Gralha and
Maya Daneva and
Eduard C. Groen and
Andrea Herrmann and
Patrick Mennig and
Sallam Abualhaija and
Alessio Ferrari and
Jin Guo and
Renata S. S. Guizzardi and
Jennifer Horkoff and
Anna Perini and
Angelo Susi and
Travis D. Breaux and
Xavier Franch and
Neil A. Ernst and
Elda Paja and
Norbert Seyff},
title = {Hanfor: Semantic Requirements Review at Scale},
booktitle = {Joint Proceedings of {REFSQ} 2021 Workshops, OpenRE, Poster and Tools
Track, and Doctoral Symposium co-located with the 27th International
Conference on Requirements Engineering: Foundation for Software Quality
{(REFSQ} 2021), Essen, Germany, April 12, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2857},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2857/pt3.pdf},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/refsq/BeckerDHHLPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DietschHKNPS21,
author = {Daniel Dietsch and
Matthias Heizmann and
Dominik Klumpp and
Mehdi Naouar and
Andreas Podelski and
Claus Sch{\"{a}}tzle},
editor = {Fritz Henglein and
Sharon Shoham and
Yakir Vizel},
title = {Verification of Concurrent Programs Using Petri Net Unfoldings},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International
Conference, {VMCAI} 2021, Copenhagen, Denmark, January 17-19, 2021,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12597},
pages = {174--195},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67067-2\_9},
doi = {10.1007/978-3-030-67067-2\_9},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DietschHKNPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-00966,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State
Systems},
journal = {CoRR},
volume = {abs/2106.00966},
year = {2021},
url = {https://arxiv.org/abs/2106.00966},
eprinttype = {arXiv},
eprint = {2106.00966},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-00966.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/HeinzWBMGP19,
author = {Alexander Heinz and
Martin Wehrle and
Sergiy Bogomolov and
Daniele Magazzeni and
Marius Greitschus and
Andreas Podelski},
editor = {J. Benton and
Nir Lipovetzky and
Eva Onaindia and
David E. Smith and
Siddharth Srivastava},
title = {Temporal Planning as Refinement-Based Model Checking},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated
Planning and Scheduling, {ICAPS} 2019, Berkeley, CA, USA, July 11-15,
2019},
pages = {195--199},
publisher = {{AAAI} Press},
year = {2019},
url = {https://ojs.aaai.org/index.php/ICAPS/article/view/3476},
timestamp = {Thu, 10 Aug 2023 15:31:45 +0200},
biburl = {https://dblp.org/rec/conf/aips/HeinzWBMGP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LangenfeldWP19,
author = {Vincent Langenfeld and
Bernd Westphal and
Andreas Podelski},
editor = {Ashok K. Goel and
Colleen M. Seifert and
Christian Freksa},
title = {On Formal Verification of {ACT-R} Architectures and Models},
booktitle = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society,
CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada,
July 24-27, 2019},
pages = {618--624},
publisher = {cognitivesciencesociety.org},
year = {2019},
url = {https://mindmodeling.org/cogsci2019/papers/0124/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:09 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/LangenfeldWP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-03998,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Emanuele De Angelis and
Grigory Fedyukovich and
Nikos Tzevelekos and
Mattias Ulbrich},
title = {Ultimate TreeAutomizer {(CHC-COMP} Tool Description)},
booktitle = {Proceedings of the Sixth Workshop on Horn Clauses for Verification
and Synthesis and Third Workshop on Program Equivalence and Relational
Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April
2019},
series = {{EPTCS}},
volume = {296},
pages = {42--47},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.296.7},
doi = {10.4204/EPTCS.296.7},
timestamp = {Mon, 26 Jun 2023 20:50:18 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-03998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2018,
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05529-5},
doi = {10.1007/978-3-030-05529-5},
isbn = {978-3-030-05528-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-01915,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
title = {Different Maps for Different Uses. {A} Program Transformation for
Intermediate Verification Languages},
journal = {CoRR},
volume = {abs/1901.01915},
year = {2019},
url = {http://arxiv.org/abs/1901.01915},
eprinttype = {arXiv},
eprint = {1901.01915},
timestamp = {Thu, 31 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-01915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/PadonHLPSS18,
author = {Oded Padon and
Jochen Hoenicke and
Giuliano Losa and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
title = {Reducing liveness to safety in first-order logic},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{POPL}},
pages = {26:1--26:33},
year = {2018},
url = {https://doi.org/10.1145/3158114},
doi = {10.1145/3158114},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/PadonHLPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/LangenfeldWAP18,
author = {Vincent Langenfeld and
Bernd Westphal and
Rebecca Albrecht and
Andreas Podelski},
editor = {Chuck Kalish and
Martina A. Rau and
Xiaojin (Jerry) Zhu and
Timothy T. Rogers},
title = {But does it really do that? Using formal analysis to ensure desirable
{ACT-R} model behaviour},
booktitle = {Proceedings of the 40th Annual Meeting of the Cognitive Science Society,
CogSci 2018, Madison, WI, USA, July 25-28, 2018},
publisher = {cognitivesciencesociety.org},
year = {2018},
url = {https://mindmodeling.org/cogsci2018/papers/0141/index.html},
timestamp = {Wed, 17 Apr 2024 12:43:20 +0200},
biburl = {https://dblp.org/rec/conf/cogsci/LangenfeldWAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/PadonHMPSS18,
author = {Oded Padon and
Jochen Hoenicke and
Kenneth L. McMillan and
Andreas Podelski and
Mooly Sagiv and
Sharon Shoham},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Temporal Prophecy for Proving Temporal Properties of Infinite-State
Systems},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--11},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8603008},
doi = {10.23919/FMCAD.2018.8603008},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/PadonHMPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovFFVPS18,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Fr{\'{e}}d{\'{e}}ric Viry and
Andreas Podelski and
Christian Schilling},
editor = {Maria Prandini and
Jyotirmoy V. Deshmukh},
title = {Reach Set Approximation through Decomposition with Low-dimensional
Sets and High-dimensional Matrices},
booktitle = {Proceedings of the 21st International Conference on Hybrid Systems:
Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
Portugal, April 11-13, 2018},
pages = {41--50},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3178126.3178128},
doi = {10.1145/3178126.3178128},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovFFVPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDGHLNM18,
author = {Matthias Heizmann and
Yu{-}Fang Chen and
Daniel Dietsch and
Marius Greitschus and
Jochen Hoenicke and
Yong Li and
Alexander Nutz and
Betim Musa and
Christian Schilling and
Tanja Schindler and
Andreas Podelski},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Ultimate Automizer and the Search for Perfect Interpolants - (Competition
Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {447--451},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_30},
doi = {10.1007/978-3-319-89963-3\_30},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannCDGHLNM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DietschGHHNPSS18,
author = {Daniel Dietsch and
Marius Greitschus and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski and
Christian Schilling and
Tanja Schindler},
editor = {Dirk Beyer and
Marieke Huisman},
title = {Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 24th International Conference, {TACAS} 2018, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10806},
pages = {452--456},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89963-3\_31},
doi = {10.1007/978-3-319-89963-3\_31},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/DietschGHHNPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HoenickeNP18,
author = {Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {A Tree-Based Approach to Data Flow Proofs},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {1--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_1},
doi = {10.1007/978-3-030-03592-1\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/HoenickeNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DietschHHNP18,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Ruzica Piskac and
Philipp R{\"{u}}mmer},
title = {The Map Equality Domain},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {11294},
pages = {291--308},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03592-1\_17},
doi = {10.1007/978-3-030-03592-1\_17},
timestamp = {Tue, 27 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/DietschHHNP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/JhalaPR18,
author = {Ranjit Jhala and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Predicate Abstraction for Program Verification},
booktitle = {Handbook of Model Checking},
pages = {447--491},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_15},
doi = {10.1007/978-3-319-10575-8\_15},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/JhalaPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2018,
editor = {Andreas Podelski},
title = {Static Analysis - 25th International Symposium, {SAS} 2018, Freiburg,
Germany, August 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11002},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99725-4},
doi = {10.1007/978-3-319-99725-4},
isbn = {978-3-319-99724-7},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-09526,
author = {Sergiy Bogomolov and
Marcelo Forets and
Goran Frehse and
Andreas Podelski and
Christian Schilling and
Fr{\'{e}}d{\'{e}}ric Viry},
title = {Reach Set Approximation through Decomposition with Low-dimensional
Sets and High-dimensional Matrices},
journal = {CoRR},
volume = {abs/1801.09526},
year = {2018},
url = {http://arxiv.org/abs/1801.09526},
eprinttype = {arXiv},
eprint = {1801.09526},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-09526.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoenickeMP17,
author = {Jochen Hoenicke and
Rupak Majumdar and
Andreas Podelski},
editor = {Giuseppe Castagna and
Andrew D. Gordon},
title = {Thread modularity at many levels: a pearl in compositional verification},
booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
Programming Languages, {POPL} 2017, Paris, France, January 18-20,
2017},
pages = {473--485},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3009837.3009893},
doi = {10.1145/3009837.3009893},
timestamp = {Mon, 05 Feb 2024 20:33:37 +0100},
biburl = {https://dblp.org/rec/conf/popl/HoenickeMP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GreitschusDP17,
author = {Marius Greitschus and
Daniel Dietsch and
Andreas Podelski},
editor = {Francesco Ranzato},
title = {Loop Invariants from Counterexamples},
booktitle = {Static Analysis - 24th International Symposium, {SAS} 2017, New York,
NY, USA, August 30 - September 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10422},
pages = {128--147},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66706-5\_7},
doi = {10.1007/978-3-319-66706-5\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GreitschusDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DietschHMNP17,
author = {Daniel Dietsch and
Matthias Heizmann and
Betim Musa and
Alexander Nutz and
Andreas Podelski},
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Craig vs. Newton in software model checking},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
pages = {487--497},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237.3106307},
doi = {10.1145/3106237.3106307},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DietschHMNP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDGNMSS17,
author = {Matthias Heizmann and
Yu{-}Wen Chen and
Daniel Dietsch and
Marius Greitschus and
Alexander Nutz and
Betim Musa and
Claus Sch{\"{a}}tzle and
Christian Schilling and
Frank Sch{\"{u}}ssele and
Andreas Podelski},
editor = {Axel Legay and
Tiziana Margaria},
title = {Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata
- (Competition Contribution)},
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 {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {394--398},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_30},
doi = {10.1007/978-3-662-54580-5\_30},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannCDGNMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GreitschusDHNSS17,
author = {Marius Greitschus and
Daniel Dietsch and
Matthias Heizmann and
Alexander Nutz and
Claus Sch{\"{a}}tzle and
Christian Schilling and
Frank Sch{\"{u}}ssele and
Andreas Podelski},
editor = {Axel Legay and
Tiziana Margaria},
title = {Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition
Contribution)},
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 {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {399--403},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_31},
doi = {10.1007/978-3-662-54580-5\_31},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/GreitschusDHNSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GreitschusDP17,
author = {Marius Greitschus and
Daniel Dietsch and
Andreas Podelski},
title = {Refining Trace Abstraction using Abstract Interpretation},
journal = {CoRR},
volume = {abs/1702.02369},
year = {2017},
url = {http://arxiv.org/abs/1702.02369},
eprinttype = {arXiv},
eprint = {1702.02369},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GreitschusDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/SchillingBHPR16,
author = {Christian Schilling and
Sergiy Bogomolov and
Thomas A. Henzinger and
Andreas Podelski and
Jakob Ruess},
title = {Adaptive moment closure for parameter inference of biochemical reaction
networks},
journal = {Biosyst.},
volume = {149},
pages = {15--25},
year = {2016},
url = {https://doi.org/10.1016/j.biosystems.2016.07.005},
doi = {10.1016/J.BIOSYSTEMS.2016.07.005},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/biosystems/SchillingBHPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/ArenisWDMAP16,
author = {Sergio Feo{-}Arenis and
Bernd Westphal and
Daniel Dietsch and
Marco Mu{\~{n}}iz and
Ahmad Siyar Andisha and
Andreas Podelski},
title = {Ready for testing: ensuring conformance to industrial standards through
formal verification},
journal = {Formal Aspects Comput.},
volume = {28},
number = {3},
pages = {499--527},
year = {2016},
url = {https://doi.org/10.1007/s00165-016-0365-3},
doi = {10.1007/S00165-016-0365-3},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/ArenisWDMAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BogomolovDFGJLP16,
author = {Sergiy Bogomolov and
Alexandre Donz{\'{e}} and
Goran Frehse and
Radu Grosu and
Taylor T. Johnson and
Hamed Ladan and
Andreas Podelski and
Martin Wehrle},
title = {Guided search for hybrid systems based on coarse-grained space abstractions},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {18},
number = {4},
pages = {449--467},
year = {2016},
url = {https://doi.org/10.1007/s10009-015-0393-y},
doi = {10.1007/S10009-015-0393-Y},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BogomolovDFGJLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/FarzanKP16,
author = {Azadeh Farzan and
Zachary Kincaid and
Andreas Podelski},
editor = {Martin Grohe and
Eric Koskinen and
Natarajan Shankar},
title = {Proving Liveness of Parameterized Programs},
booktitle = {Proceedings of the 31st Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} '16, New York, NY, USA, July 5-8, 2016},
pages = {185--196},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933575.2935310},
doi = {10.1145/2933575.2935310},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/FarzanKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/LangenfeldPP16,
author = {Vincent Langenfeld and
Amalinda Post and
Andreas Podelski},
editor = {Maya Daneva and
Oscar Pastor},
title = {Requirements Defects over a Project Lifetime: An Empirical Analysis
of Defect Data from a 5-Year Automotive Project at Bosch},
booktitle = {Requirements Engineering: Foundation for Software Quality - 22nd International
Working Conference, {REFSQ} 2016, Gothenburg, Sweden, March 14-17,
2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9619},
pages = {145--160},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30282-9\_10},
doi = {10.1007/978-3-319-30282-9\_10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/refsq/LangenfeldPP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannDGLMSP16,
author = {Matthias Heizmann and
Daniel Dietsch and
Marius Greitschus and
Jan Leike and
Betim Musa and
Claus Sch{\"{a}}tzle and
Andreas Podelski},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Ultimate Automizer with Two-track Proofs - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {950--953},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_68},
doi = {10.1007/978-3-662-49674-9\_68},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannDGLMSP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PodelskiSW16,
author = {Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Classifying Bugs with Interpolants},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
pages = {151--168},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4\_9},
doi = {10.1007/978-3-319-41135-4\_9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/PodelskiSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FarzanKP16,
author = {Azadeh Farzan and
Zachary Kincaid and
Andreas Podelski},
title = {Proving Liveness of Parameterized Programs},
journal = {CoRR},
volume = {abs/1605.02350},
year = {2016},
url = {http://arxiv.org/abs/1605.02350},
eprinttype = {arXiv},
eprint = {1605.02350},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FarzanKP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MorciniecP16,
author = {Tobias Morciniec and
Andreas Podelski},
title = {A Logical Approach to Generating Test Plans},
journal = {CoRR},
volume = {abs/1612.04351},
year = {2016},
url = {http://arxiv.org/abs/1612.04351},
eprinttype = {arXiv},
eprint = {1612.04351},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MorciniecP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HoenickeP15,
author = {Jochen Hoenicke and
Andreas Podelski},
editor = {Roland Meyer and
Andr{\'{e}} Platzer and
Heike Wehrheim},
title = {Fairness for Infinitary Control},
booktitle = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
September 8-9, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9360},
pages = {33--43},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23506-6\_5},
doi = {10.1007/978-3-319-23506-6\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HoenickeP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DietschHLP15,
author = {Daniel Dietsch and
Matthias Heizmann and
Vincent Langenfeld and
Andreas Podelski},
editor = {Daniel Kroening and
Corina S. Pasareanu},
title = {Fairness Modulo Theory: {A} New Approach to {LTL} Software Model Checking},
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 = {49--66},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21690-4\_4},
doi = {10.1007/978-3-319-21690-4\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DietschHLP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BogomolovHPRS15,
author = {Sergiy Bogomolov and
Thomas A. Henzinger and
Andreas Podelski and
Jakob Ruess and
Christian Schilling},
editor = {Olivier F. Roux and
J{\'{e}}r{\'{e}}mie Bourdon},
title = {Adaptive Moment Closure for Parameter Inference of Biochemical Reaction
Networks},
booktitle = {Computational Methods in Systems Biology - 13th International Conference,
{CMSB} 2015, Nantes, France, September 16-18, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9308},
pages = {77--89},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23401-4\_8},
doi = {10.1007/978-3-319-23401-4\_8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BogomolovHPRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FrehseBGSP15,
author = {Goran Frehse and
Sergiy Bogomolov and
Marius Greitschus and
Thomas Strump and
Andreas Podelski},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Eliminating spurious transitions in reachability with support functions},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {149--158},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728622},
doi = {10.1145/2728606.2728622},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/FrehseBGSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ArltMPW15,
author = {Stephan Arlt and
Tobias Morciniec and
Andreas Podelski and
Silke Wagner},
title = {If {A} Fails, Can {B} Still Succeed? Inferring Dependencies between
Test Results in Automotive System Testing},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102593},
doi = {10.1109/ICST.2015.7102593},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ArltMPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/FarzanHHKP15,
author = {Azadeh Farzan and
Matthias Heizmann and
Jochen Hoenicke and
Zachary Kincaid and
Andreas Podelski},
editor = {Adrian{-}Horia Dediu and
Enrico Formenti and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Automated Program Verification},
booktitle = {Language and Automata Theory and Applications - 9th International
Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8977},
pages = {25--46},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15579-1\_2},
doi = {10.1007/978-3-319-15579-1\_2},
timestamp = {Mon, 16 Sep 2019 15:27:03 +0200},
biburl = {https://dblp.org/rec/conf/lata/FarzanHHKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanKP15,
author = {Azadeh Farzan and
Zachary Kincaid and
Andreas Podelski},
editor = {Sriram K. Rajamani and
David Walker},
title = {Proof Spaces for Unbounded Parallelism},
booktitle = {Proceedings of the 42nd Annual {ACM} {SIGPLAN-SIGACT} Symposium on
Principles of Programming Languages, {POPL} 2015, Mumbai, India, January
15-17, 2015},
pages = {407--420},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676726.2677012},
doi = {10.1145/2676726.2677012},
timestamp = {Mon, 08 Apr 2024 08:19:10 +0200},
biburl = {https://dblp.org/rec/conf/popl/FarzanKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/MorciniecP15,
author = {Tobias Morciniec and
Andreas Podelski},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {Using the requirements specification to infer the implicit test status
of requirements},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {362--371},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320453},
doi = {10.1109/RE.2015.7320453},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/MorciniecP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ArltAPW15,
author = {Stephan Arlt and
Sergio Feo{-}Arenis and
Andreas Podelski and
Martin Wehrle},
editor = {Uwe A{\ss}mann and
Birgit Demuth and
Thorsten Spitta and
Georg P{\"{u}}schel and
Ronny Kaiser},
title = {System Testing and Program 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 = {71--72},
publisher = {{GI}},
year = {2015},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/ArltAPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannDLMP15,
author = {Matthias Heizmann and
Daniel Dietsch and
Jan Leike and
Betim Musa and
Andreas Podelski},
editor = {Christel Baier and
Cesare Tinelli},
title = {Ultimate Automizer with Array Interpolation - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {455--457},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_43},
doi = {10.1007/978-3-662-46681-0\_43},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannDLMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/NutzDMP15,
author = {Alexander Nutz and
Daniel Dietsch and
Mostafa Mahmoud Mohamed and
Andreas Podelski},
editor = {Christel Baier and
Cesare Tinelli},
title = {{ULTIMATE} {KOJAK} with Memory Safety Checks - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {458--460},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_44},
doi = {10.1007/978-3-662-46681-0\_44},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/NutzDMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BogomolovMPW14,
author = {Sergiy Bogomolov and
Daniele Magazzeni and
Andreas Podelski and
Martin Wehrle},
editor = {Carla E. Brodley and
Peter Stone},
title = {Planning as Model Checking in Hybrid Domains},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2228--2234},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9037},
doi = {10.1609/AAAI.V28I1.9037},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BogomolovMPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeizmannHP14,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Armin Biere and
Roderick Bloem},
title = {Termination Analysis by Learning Terminating Programs},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {797--813},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_53},
doi = {10.1007/978-3-319-08867-9\_53},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/HeizmannHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/BogomolovFGGPPS14,
author = {Sergiy Bogomolov and
Goran Frehse and
Marius Greitschus and
Radu Grosu and
Corina S. Pasareanu and
Andreas Podelski and
Thomas Strump},
editor = {Eran Yahav},
title = {Assume-Guarantee Abstraction Refinement Meets Hybrid Systems},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {116--131},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_10},
doi = {10.1007/978-3-319-13338-6\_10},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/BogomolovFGGPPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BogomolovHMWP14,
author = {Sergiy Bogomolov and
Christian Herrera and
Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Quasi-dependent variables in hybrid automata},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {93--102},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562142},
doi = {10.1145/2562059.2562142},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BogomolovHMWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ArltEAP14,
author = {Stephan Arlt and
Evren Ermis and
Sergio Feo{-}Arenis and
Andreas Podelski},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Verification of {GUI} Applications: {A} Black-Box Approach},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 6th International Symposium, ISoLA
2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {8802},
pages = {236--252},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45234-9\_17},
doi = {10.1007/978-3-662-45234-9\_17},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/ArltEAP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ArltPW14,
author = {Stephan Arlt and
Andreas Podelski and
Martin Wehrle},
editor = {Corina S. Pasareanu and
Darko Marinov},
title = {Reducing {GUI} test suites via program slicing},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
'14, San Jose, CA, {USA} - July 21 - 26, 2014},
pages = {270--281},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2610384.2610391},
doi = {10.1145/2610384.2610391},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/ArltPW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanKP14,
author = {Azadeh Farzan and
Zachary Kincaid and
Andreas Podelski},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {Proofs that count},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {151--164},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535885},
doi = {10.1145/2535838.2535885},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FarzanKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HerreraWP14,
author = {Christian Herrera and
Bernd Westphal and
Andreas Podelski},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Quasi-Equal Clock Reduction: More Networks, More Queries},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {295--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_20},
doi = {10.1007/978-3-642-54862-8\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HerreraWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDHLMSWP14,
author = {Matthias Heizmann and
J{\"{u}}rgen Christ and
Daniel Dietsch and
Jochen Hoenicke and
Markus Lindenmann and
Betim Musa and
Christian Schilling and
Stefan Wissert and
Andreas Podelski},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {418--420},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_35},
doi = {10.1007/978-3-642-54862-8\_35},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannCDHLMSWP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ErmisNDHP14,
author = {Evren Ermis and
Alexander Nutz and
Daniel Dietsch and
Jochen Hoenicke and
Andreas Podelski},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {Ultimate Kojak - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {421--423},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_36},
doi = {10.1007/978-3-642-54862-8\_36},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/ErmisNDHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeizmannHLP14,
author = {Matthias Heizmann and
Jochen Hoenicke and
Jan Leike and
Andreas Podelski},
title = {Linear Ranking for Linear Lasso Programs},
journal = {CoRR},
volume = {abs/1401.5347},
year = {2014},
url = {http://arxiv.org/abs/1401.5347},
eprinttype = {arXiv},
eprint = {1401.5347},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeizmannHLP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HeizmannHP14,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
title = {Termination Analysis by Learning Terminating Programs},
journal = {CoRR},
volume = {abs/1405.4189},
year = {2014},
url = {http://arxiv.org/abs/1405.4189},
eprinttype = {arXiv},
eprint = {1405.4189},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HeizmannHP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/HeizmannHLP13,
author = {Matthias Heizmann and
Jochen Hoenicke and
Jan Leike and
Andreas Podelski},
editor = {Dang Van Hung and
Mizuhito Ogawa},
title = {Linear Ranking for Linear Lasso Programs},
booktitle = {Automated Technology for Verification and Analysis - 11th International
Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {365--380},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-02444-8\_26},
doi = {10.1007/978-3-319-02444-8\_26},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/HeizmannHLP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HeizmannHP13,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Natasha Sharygina and
Helmut Veith},
title = {Software Model Checking for People Who Love Automata},
booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8044},
pages = {36--52},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39799-8\_2},
doi = {10.1007/978-3-642-39799-8\_2},
timestamp = {Wed, 07 Dec 2022 23:12:58 +0100},
biburl = {https://dblp.org/rec/conf/cav/HeizmannHP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MunizWP13,
author = {Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {Detecting Quasi-equal Clocks in Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {198--212},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_14},
doi = {10.1007/978-3-642-40229-6\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MunizWP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AbdullaADP13,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Giorgio Delzanno and
Andreas Podelski},
editor = {Farhad Arbab and
Marjan Sirjani},
title = {Push-Down Automata with Gap-Order Constraints},
booktitle = {Fundamentals of Software Engineering - 5th International Conference,
{FSEN} 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8161},
pages = {199--216},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40213-5\_13},
doi = {10.1007/978-3-642-40213-5\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AbdullaADP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FarzanKP13,
author = {Azadeh Farzan and
Zachary Kincaid and
Andreas Podelski},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Inductive data flow graphs},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {129--142},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429086},
doi = {10.1145/2429069.2429086},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/FarzanKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BogomolovDFGJLPW13,
author = {Sergiy Bogomolov and
Alexandre Donz{\'{e}} and
Goran Frehse and
Radu Grosu and
Taylor T. Johnson and
Hamed Ladan and
Andreas Podelski and
Martin Wehrle},
editor = {Ezio Bartocci and
C. R. Ramakrishnan},
title = {Abstraction-Based Guided Search for Hybrid Systems},
booktitle = {Model Checking Software - 20th International Symposium, {SPIN} 2013,
Stony Brook, NY, USA, July 8-9, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7976},
pages = {117--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39176-7\_8},
doi = {10.1007/978-3-642-39176-7\_8},
timestamp = {Mon, 03 Apr 2023 17:23:33 +0200},
biburl = {https://dblp.org/rec/conf/spin/BogomolovDFGJLPW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HeizmannCDEHLNSP13,
author = {Matthias Heizmann and
J{\"{u}}rgen Christ and
Daniel Dietsch and
Evren Ermis and
Jochen Hoenicke and
Markus Lindenmann and
Alexander Nutz and
Christian Schilling and
Andreas Podelski},
editor = {Nir Piterman and
Scott A. Smolka},
title = {Ultimate Automizer with SMTInterpol - (Competition Contribution)},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
pages = {641--643},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7\_53},
doi = {10.1007/978-3-642-36742-7\_53},
timestamp = {Sat, 04 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/HeizmannCDEHLNSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Podelski13,
author = {Andreas Podelski},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {Automata as Proofs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {13--14},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_2},
doi = {10.1007/978-3-642-35873-9\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Podelski13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-0787,
author = {Daniel Dietsch and
Andreas Podelski and
Jaechang Nam and
Pantelis M. Papadopoulos and
Martin Sch{\"{a}}f},
title = {Monitoring Student Activity in Collaborative Software Development},
journal = {CoRR},
volume = {abs/1305.0787},
year = {2013},
url = {http://arxiv.org/abs/1305.0787},
eprinttype = {arXiv},
eprint = {1305.0787},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1305-0787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/PostMHP12,
author = {Amalinda Post and
Igor Menzel and
Jochen Hoenicke and
Andreas Podelski},
title = {Automotive behavioral requirements expressed in a specification pattern
system: a case study at {BOSCH}},
journal = {Requir. Eng.},
volume = {17},
number = {1},
pages = {19--33},
year = {2012},
url = {https://doi.org/10.1007/s00766-011-0145-9},
doi = {10.1007/S00766-011-0145-9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/PostMHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Podelski12,
author = {Andreas Podelski},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {Interpolant Automata - (Invited Talk)},
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 = {26},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_3},
doi = {10.1007/978-3-642-33386-6\_3},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Podelski12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BogomolovFGLPW12,
author = {Sergiy Bogomolov and
Goran Frehse and
Radu Grosu and
Hamed Ladan and
Andreas Podelski and
Martin Wehrle},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {A Box-Based Distance between Regions for Guiding the Reachability
Analysis of SpaceEx},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {479--494},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_35},
doi = {10.1007/978-3-642-31424-7\_35},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/BogomolovFGLPW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/HerreraWAMP12,
author = {Christian Herrera and
Bernd Westphal and
Sergio Feo{-}Arenis and
Marco Mu{\~{n}}iz and
Andreas Podelski},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Reducing Quasi-Equal Clocks in Networks of Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {155--170},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_12},
doi = {10.1007/978-3-642-33365-1\_12},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/HerreraWAMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MunizWP12,
author = {Marco Mu{\~{n}}iz and
Bernd Westphal and
Andreas Podelski},
editor = {Marcin Jurdzinski and
Dejan Nickovic},
title = {Timed Automata with Disjoint Activity},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7595},
pages = {188--203},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33365-1\_14},
doi = {10.1007/978-3-642-33365-1\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/formats/MunizWP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ArltPBSBM12,
author = {Stephan Arlt and
Andreas Podelski and
Cristiano Bertolini and
Martin Sch{\"{a}}f and
Ishan Banerjee and
Atif M. Memon},
title = {Lightweight Static Analysis for {GUI} Testing},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
pages = {301--310},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSRE.2012.25},
doi = {10.1109/ISSRE.2012.25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issre/ArltPBSBM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/ArltBSP12,
author = {Stephan Arlt and
Pedro Borromeo and
Martin Sch{\"{a}}f and
Andreas Podelski},
editor = {Brian Nielsen and
Carsten Weise},
title = {Parameterized {GUI} Tests},
booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7641},
pages = {247--262},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34691-0\_18},
doi = {10.1007/978-3-642-34691-0\_18},
timestamp = {Sat, 30 Sep 2023 09:55:01 +0200},
biburl = {https://dblp.org/rec/conf/pts/ArltBSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/WestphalDAPPMSFM12,
author = {Bernd Westphal and
Daniel Dietsch and
Sergio Feo{-}Arenis and
Andreas Podelski and
Louis Pahlow and
Jochen Morsbach and
Barbara Sommer and
Anke Fuchs and
Christine Meierh{\"{o}}fer},
title = {Towards successful subcontracting for software in small to medium-sized
enterprises},
booktitle = {Fifth {IEEE} International Workshop on Requirements Engineering and
Law, {RELAW} 2012, Chicago, IL, USA, September 25, 2012},
pages = {42--51},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/RELAW.2012.6347807},
doi = {10.1109/RELAW.2012.6347807},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/WestphalDAPPMSFM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/ErmisHP12,
author = {Evren Ermis and
Jochen Hoenicke and
Andreas Podelski},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {Splitting via Interpolants},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {186--201},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_13},
doi = {10.1007/978-3-642-27940-9\_13},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/ErmisHP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2012,
editor = {Rajeev Joshi and
Peter M{\"{u}}ller and
Andreas Podelski},
title = {Verified Software: Theories, Tools, Experiments - 4th International
Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27705-4},
doi = {10.1007/978-3-642-27705-4},
isbn = {978-3-642-27704-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vstte/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-4686,
author = {Stephan Arlt and
Evren Ermis and
Sergio Feo{-}Arenis and
Andreas Podelski},
title = {Black-Box Verification for {GUI} Applications},
journal = {CoRR},
volume = {abs/1210.4686},
year = {2012},
url = {http://arxiv.org/abs/1210.4686},
eprinttype = {arXiv},
eprint = {1210.4686},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-4686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/CookPR11,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
title = {Proving program termination},
journal = {Commun. {ACM}},
volume = {54},
number = {5},
pages = {88--98},
year = {2011},
url = {https://doi.org/10.1145/1941487.1941509},
doi = {10.1145/1941487.1941509},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/CookPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/PostP11,
author = {Amalinda Post and
Andreas Podelski},
title = {Automatische Validierung von Anforderungen},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {1},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31\_1/01\_Fachgruppenberichte/RE/GI2011\_Post.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/PostP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/PostHP11,
author = {Amalinda Post and
Jochen Hoenicke and
Andreas Podelski},
editor = {Dimitra Giannakopoulou and
Fernando Orejas},
title = {rt-Inconsistency: {A} New Property for Real-Time Requirements},
booktitle = {Fundamental Approaches to Software Engineering - 14th International
Conference, {FASE} 2011, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken,
Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6603},
pages = {34--49},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19811-3\_4},
doi = {10.1007/978-3-642-19811-3\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/PostHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DietschWP11,
author = {Daniel Dietsch and
Bernd Westphal and
Andreas Podelski},
editor = {Michael J. Butler and
Wolfram Schulte},
title = {System Verification through Program Verification},
booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6664},
pages = {27--41},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21437-0\_5},
doi = {10.1007/978-3-642-21437-0\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DietschWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/MitrohinP11,
author = {Corina Mitrohin and
Andreas Podelski},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Composing Stability Proofs for Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {286--300},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_20},
doi = {10.1007/978-3-642-24310-3\_20},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/MitrohinP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PostHP11,
author = {Amalinda Post and
Jochen Hoenicke and
Andreas Podelski},
title = {Vacuous real-time requirements},
booktitle = {{RE} 2011, 19th {IEEE} International Requirements Engineering Conference,
Trento, Italy, August 29 2011 - September 2, 2011},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RE.2011.6051657},
doi = {10.1109/RE.2011.6051657},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PostHP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/DietschAWP11,
author = {Daniel Dietsch and
Sergio Feo{-}Arenis and
Bernd Westphal and
Andreas Podelski},
title = {Disambiguation of industrial standards through formalization and graphical
languages},
booktitle = {{RE} 2011, 19th {IEEE} International Requirements Engineering Conference,
Trento, Italy, August 29 2011 - September 2, 2011},
pages = {265--270},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RE.2011.6051634},
doi = {10.1109/RE.2011.6051634},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/DietschAWP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/PostMP11,
author = {Amalinda Post and
Igor Menzel and
Andreas Podelski},
editor = {Daniel M. Berry and
Xavier Franch},
title = {Applying Restricted English Grammar on Automotive Requirements - Does
it Work? {A} Case Study},
booktitle = {Requirements Engineering: Foundation for Software Quality - 17th International
Working Conference, {REFSQ} 2011, Essen, Germany, March 28-30, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6606},
pages = {166--180},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19858-8\_17},
doi = {10.1007/978-3-642-19858-8\_17},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/refsq/PostMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PodelskiR11,
author = {Andreas Podelski and
Andrey Rybalchenko},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Transition Invariants and Transition Predicate Abstraction for Program
Termination},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {3--10},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_2},
doi = {10.1007/978-3-642-19835-9\_2},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PodelskiR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HoenickeLPSW10,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
title = {Doomed program points},
journal = {Formal Methods Syst. Des.},
volume = {37},
number = {2-3},
pages = {171--199},
year = {2010},
url = {https://doi.org/10.1007/s10703-010-0102-0},
doi = {10.1007/S10703-010-0102-0},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/HoenickeLPSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BogomolovMP10,
author = {Sergiy Bogomolov and
Corina Mitrohin and
Andreas Podelski},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {Composing Reachability Analyses of Hybrid Systems for Safety and Stability},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {67--81},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_7},
doi = {10.1007/978-3-642-15643-4\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/BogomolovMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OlderogP10,
author = {Ernst{-}R{\"{u}}diger Olderog and
Andreas Podelski},
editor = {Dennis Dams and
Ulrich Hannemann and
Martin Steffen},
title = {Explicit Fair Scheduling for Dynamic Control},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of
Willem-Paul de Roever},
series = {Lecture Notes in Computer Science},
volume = {5930},
pages = {96--117},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11512-7\_7},
doi = {10.1007/978-3-642-11512-7\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OlderogP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcb/BogomolovMVPB10,
author = {Sergiy Bogomolov and
Martin Mann and
Bj{\"{o}}rn Vo{\ss} and
Andreas Podelski and
Rolf Backofen},
editor = {Dietmar Schomburg and
Andreas Grote},
title = {Shape-based Barrier Estimation for RNAs},
booktitle = {German Conference on Bioinformatics 2010, September 20-22, 2010, Technische
Universit{\"{a}}t Carolo Wilhelmina zu Braunschweig, Germany},
series = {{LNI}},
volume = {{P-173}},
pages = {41--50},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19671},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gcb/BogomolovMVPB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PodelskiW10,
author = {Andreas Podelski and
Thomas Wies},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Counterexample-guided focus},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {249--260},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706330},
doi = {10.1145/1706299.1706330},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/PodelskiW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HeizmannHP10,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Nested interpolants},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {471--482},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706353},
doi = {10.1145/1706299.1706353},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/HeizmannHP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HeizmannJP10,
author = {Matthias Heizmann and
Neil D. Jones and
Andreas Podelski},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Size-Change Termination and Transition Invariants},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {22--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_4},
doi = {10.1007/978-3-642-15769-1\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/HeizmannJP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MalkisPR10,
author = {Alexander Malkis and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Radhia Cousot and
Matthieu Martel},
title = {Thread-Modular Counterexample-Guided Abstraction Refinement},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {356--372},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_22},
doi = {10.1007/978-3-642-15769-1\_22},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/MalkisPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HoenickeOP10,
author = {Jochen Hoenicke and
Ernst{-}R{\"{u}}diger Olderog and
Andreas Podelski},
editor = {Javier Esparza and
Rupak Majumdar},
title = {Fairness for Dynamic Control},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
16th International Conference, {TACAS} 2010, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2010,
Paphos, Cyprus, March 20-28, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6015},
pages = {251--265},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12002-2\_20},
doi = {10.1007/978-3-642-12002-2\_20},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/HoenickeOP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/CookPR09,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
title = {Summarization for termination: no return!},
journal = {Formal Methods Syst. Des.},
volume = {35},
number = {3},
pages = {369--387},
year = {2009},
url = {https://doi.org/10.1007/s10703-009-0087-8},
doi = {10.1007/S10703-009-0087-8},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/CookPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DragerFP09,
author = {Klaus Dr{\"{a}}ger and
Bernd Finkbeiner and
Andreas Podelski},
title = {Directed model checking with distance-preserving abstractions},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {11},
number = {1},
pages = {27--37},
year = {2009},
url = {https://doi.org/10.1007/s10009-008-0092-z},
doi = {10.1007/S10009-008-0092-Z},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DragerFP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HoenickeLPSW09,
author = {Jochen Hoenicke and
K. Rustan M. Leino and
Andreas Podelski and
Martin Sch{\"{a}}f and
Thomas Wies},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {It's Doomed; We Can Prove It},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {338--353},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_22},
doi = {10.1007/978-3-642-05089-3\_22},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/HoenickeLPSW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SeghirPW09,
author = {Mohamed Nassim Seghir and
Andreas Podelski and
Thomas Wies},
editor = {Jens Palsberg and
Zhendong Su},
title = {Abstraction Refinement for Quantified Array Assertions},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {3--18},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_3},
doi = {10.1007/978-3-642-03237-0\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/SeghirPW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HeizmannHP09,
author = {Matthias Heizmann and
Jochen Hoenicke and
Andreas Podelski},
editor = {Jens Palsberg and
Zhendong Su},
title = {Refinement of Trace Abstraction},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {69--85},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_7},
doi = {10.1007/978-3-642-03237-0\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HeizmannHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/WehrleKP09,
author = {Martin Wehrle and
Sebastian Kupferschmid and
Andreas Podelski},
editor = {Stefan Kowalewski and
Anna Philippou},
title = {Transition-Based Directed Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
15th International Conference, {TACAS} 2009, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2009,
York, UK, March 22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5505},
pages = {186--200},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00768-2\_19},
doi = {10.1007/978-3-642-00768-2\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/WehrleKP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/WehrleKP08,
author = {Martin Wehrle and
Sebastian Kupferschmid and
Andreas Podelski},
editor = {Jussi Rintanen and
Bernhard Nebel and
J. Christopher Beck and
Eric A. Hansen},
title = {Useless Actions Are Useful},
booktitle = {Proceedings of the Eighteenth International Conference on Automated
Planning and Scheduling, {ICAPS} 2008, Sydney, Australia, September
14-18, 2008},
pages = {388--395},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/ICAPS/2008/icaps08-048.php},
timestamp = {Fri, 05 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/WehrleKP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PodelskiRW08,
author = {Andreas Podelski and
Andrey Rybalchenko and
Thomas Wies},
editor = {Aarti Gupta and
Sharad Malik},
title = {Heap Assumptions on Demand},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {314--327},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_31},
doi = {10.1007/978-3-540-70545-1\_31},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cav/PodelskiRW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KupferschmidWNP08,
author = {Sebastian Kupferschmid and
Martin Wehrle and
Bernhard Nebel and
Andreas Podelski},
editor = {Aarti Gupta and
Sharad Malik},
title = {Faster Than Uppaal?},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {552--555},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_53},
doi = {10.1007/978-3-540-70545-1\_53},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KupferschmidWNP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/DimitrovaP08,
author = {Rayna Dimitrova and
Andreas Podelski},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {98--111},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_12},
doi = {10.1007/978-3-540-78163-9\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/DimitrovaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/Podelski08,
author = {Andreas Podelski},
editor = {Natarajan Shankar and
Jim Woodcock},
title = {Verification, Least-Fixpoint Checking, Abstraction},
booktitle = {Verified Software: Theories, Tools, Experiments, Second International
Conference, {VSTTE} 2008, Toronto, Canada, October 6-9, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5295},
pages = {3},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87873-5\_3},
doi = {10.1007/978-3-540-87873-5\_3},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/Podelski08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/BeckerPDFOW07,
author = {Bernd Becker and
Andreas Podelski and
Werner Damm and
Martin Fr{\"{a}}nzle and
Ernst{-}R{\"{u}}diger Olderog and
Reinhard Wilhelm},
title = {{SFB/TR} 14 {AVACS} - Automatic Verification and Analysis of Complex
Systems (Der Sonderforschungsbereich/Transregio 14 {AVACS} - Automatische
Verifikation und Analyse komplexer Systeme)},
journal = {it Inf. Technol.},
volume = {49},
number = {2},
pages = {118--126},
year = {2007},
url = {https://doi.org/10.1524/itit.2007.49.2.118},
doi = {10.1524/ITIT.2007.49.2.118},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/BeckerPDFOW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/PodelskiR07,
author = {Andreas Podelski and
Andrey Rybalchenko},
title = {Transition predicate abstraction and fair termination},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {29},
number = {3},
pages = {15},
year = {2007},
url = {https://doi.org/10.1145/1232420.1232422},
doi = {10.1145/1232420.1232422},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/PodelskiR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PodelskiW07,
author = {Andreas Podelski and
Silke Wagner},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {Region Stability Proofs for Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {320--335},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_23},
doi = {10.1007/978-3-540-75454-1\_23},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/PodelskiW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PodelskiW07,
author = {Andreas Podelski and
Silke Wagner},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {A Sound and Complete Proof Rule for Region Stability of Hybrid Systems},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {750--753},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_76},
doi = {10.1007/978-3-540-71493-4\_76},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PodelskiW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/PodelskiR07,
author = {Andreas Podelski and
Andrey Rybalchenko},
editor = {Michael Hanus},
title = {{ARMC:} The Logical Choice for Software Model Checking with Abstraction
Refinement},
booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
pages = {245--259},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7\_16},
doi = {10.1007/978-3-540-69611-7\_16},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/PodelskiR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR07,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Jeanne Ferrante and
Kathryn S. McKinley},
title = {Proving thread termination},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
Language Design and Implementation, San Diego, California, USA, June
10-13, 2007},
pages = {320--330},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1250734.1250771},
doi = {10.1145/1250734.1250771},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CookPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CookGPRV07,
author = {Byron Cook and
Alexey Gotsman and
Andreas Podelski and
Andrey Rybalchenko and
Moshe Y. Vardi},
editor = {Martin Hofmann and
Matthias Felleisen},
title = {Proving that programs eventually do something good},
booktitle = {Proceedings of the 34th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2007, Nice, France, January 17-19,
2007},
pages = {265--276},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1190216.1190257},
doi = {10.1145/1190216.1190257},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/CookGPRV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/MalkisPR07,
author = {Alexander Malkis and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Precise Thread-Modular Verification},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {218--232},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_14},
doi = {10.1007/978-3-540-74061-2\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/MalkisPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/SeghirP07,
author = {Mohamed Nassim Seghir and
Andreas Podelski},
editor = {Dragan Bosnacki and
Stefan Edelkamp},
title = {{ACSAR:} Software Model Checking with Transfinite Refinement},
booktitle = {Model Checking Software, 14th International {SPIN} Workshop, Berlin,
Germany, July 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4595},
pages = {274--278},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73370-6\_19},
doi = {10.1007/978-3-540-73370-6\_19},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/SeghirP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KupferschmidDHFDPB07,
author = {Sebastian Kupferschmid and
Klaus Dr{\"{a}}ger and
J{\"{o}}rg Hoffmann and
Bernd Finkbeiner and
Henning Dierks and
Andreas Podelski and
Gerd Behrmann},
editor = {Orna Grumberg and
Michael Huth},
title = {Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
13th International Conference, {TACAS} 2007, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2007
Braga, Portugal, March 24 - April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4424},
pages = {679--682},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71209-1\_52},
doi = {10.1007/978-3-540-71209-1\_52},
timestamp = {Mon, 11 Sep 2023 15:43:49 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KupferschmidDHFDPB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2007,
editor = {Michael Leuschel and
Andreas Podelski},
title = {Proceedings of the 9th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 14-16, 2007,
Wroclaw, Poland},
publisher = {{ACM}},
year = {2007},
isbn = {978-1-59593-769-8},
timestamp = {Fri, 24 Aug 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2007,
editor = {Byron Cook and
Andreas Podelski},
title = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4349},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1},
doi = {10.1007/978-3-540-69738-1},
isbn = {978-3-540-69735-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/JensenP06,
author = {Kurt Jensen and
Andreas Podelski},
title = {Tools and algorithms for the construction and analysis of systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {177--179},
year = {2006},
url = {https://doi.org/10.1007/s10009-006-0221-5},
doi = {10.1007/S10009-006-0221-5},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/JensenP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CookPR06,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Thomas Ball and
Robert B. Jones},
title = {Terminator: Beyond Safety},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {415--418},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_37},
doi = {10.1007/11817963\_37},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CookPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/PodelskiW06,
author = {Andreas Podelski and
Silke Wagner},
editor = {Jo{\~{a}}o P. Hespanha and
Ashish Tiwari},
title = {Model Checking of Hybrid Systems: From Reachability Towards Stability},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop,
{HSCC} 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3927},
pages = {507--521},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11730637\_38},
doi = {10.1007/11730637\_38},
timestamp = {Wed, 30 Aug 2023 16:03:58 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/PodelskiW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/MalkisPR06,
author = {Alexander Malkis and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Kamel Barkaoui and
Ana Cavalcanti and
Antonio Cerone},
title = {Thread-Modular Verification Is Cartesian Abstract Interpretation},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4281},
pages = {183--197},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11921240\_13},
doi = {10.1007/11921240\_13},
timestamp = {Mon, 21 Feb 2022 14:40:49 +0100},
biburl = {https://dblp.org/rec/conf/ictac/MalkisPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mochart/HoffmannSRKP06,
author = {J{\"{o}}rg Hoffmann and
Jan{-}Georg Smaus and
Andrey Rybalchenko and
Sebastian Kupferschmid and
Andreas Podelski},
editor = {Stefan Edelkamp and
Alessio Lomuscio},
title = {Using Predicate Abstraction to Generate Heuristic Functions in {UPPAAL}},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt
IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4428},
pages = {51--66},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74128-2\_4},
doi = {10.1007/978-3-540-74128-2\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/mochart/HoffmannSRKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CookPR06,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Termination proofs for systems code},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {415--426},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1134029},
doi = {10.1145/1133981.1134029},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CookPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DragerFP06,
author = {Klaus Dr{\"{a}}ger and
Bernd Finkbeiner and
Andreas Podelski},
editor = {Antti Valmari},
title = {Directed Model Checking with Distance-Preserving Abstractions},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {19--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_2},
doi = {10.1007/11691617\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/DragerFP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/WiesKLPR06,
author = {Thomas Wies and
Viktor Kuncak and
Patrick Lam and
Andreas Podelski and
Martin C. Rinard},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Field Constraint Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {157--173},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_11},
doi = {10.1007/11609773\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/WiesKLPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609104,
author = {Thomas Wies and
Viktor Kuncak and
Karen Zee and
Andreas Podelski and
Martin C. Rinard},
title = {On Verifying Complex Properties using Symbolic Shape Analysis},
journal = {CoRR},
volume = {abs/cs/0609104},
year = {2006},
url = {http://arxiv.org/abs/cs/0609104},
eprinttype = {arXiv},
eprint = {cs/0609104},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609104.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BlanchetP05,
author = {Bruno Blanchet and
Andreas Podelski},
title = {Verification of cryptographic protocols: tagging enforces termination},
journal = {Theor. Comput. Sci.},
volume = {333},
number = {1-2},
pages = {67--90},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.018},
doi = {10.1016/J.TCS.2004.10.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BlanchetP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/JensenP05,
author = {Kurt Jensen and
Andreas Podelski},
title = {Special issue},
journal = {Theor. Comput. Sci.},
volume = {345},
number = {1},
pages = {1},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2005.07.034},
doi = {10.1016/J.TCS.2005.07.034},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/JensenP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PodelskiSW05,
author = {Andreas Podelski and
Ina Schaefer and
Silke Wagner},
editor = {Shmuel Sagiv},
title = {Summaries for While Programs with Recursion},
booktitle = {Programming Languages and Systems, 14th European Symposium on Programming,
{ESOP} 2005, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3444},
pages = {94--107},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31987-0\_8},
doi = {10.1007/978-3-540-31987-0\_8},
timestamp = {Fri, 27 Jan 2023 15:04:25 +0100},
biburl = {https://dblp.org/rec/conf/esop/PodelskiSW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/PodelskiR05,
author = {Andreas Podelski and
Andrey Rybalchenko},
editor = {Jens Palsberg and
Mart{\'{\i}}n Abadi},
title = {Transition predicate abstraction and fair termination},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2005, Long Beach, California, USA,
January 12-14, 2005},
pages = {132--144},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1040305.1040317},
doi = {10.1145/1040305.1040317},
timestamp = {Sat, 31 Jul 2021 17:22:14 +0200},
biburl = {https://dblp.org/rec/conf/popl/PodelskiR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CookPR05,
author = {Byron Cook and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Chris Hankin and
Igor Siveroni},
title = {Abstraction Refinement for Termination},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {87--101},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_8},
doi = {10.1007/11547662\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CookPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PodelskiW05,
author = {Andreas Podelski and
Thomas Wies},
editor = {Chris Hankin and
Igor Siveroni},
title = {Boolean Heaps},
booktitle = {Static Analysis, 12th International Symposium, {SAS} 2005, London,
UK, September 7-9, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3672},
pages = {268--283},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11547662\_19},
doi = {10.1007/11547662\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/PodelskiW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/PnueliPR05,
author = {Amir Pnueli and
Andreas Podelski and
Andrey Rybalchenko},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Separating Fairness and Well-Foundedness for the Analysis of Fair
Discrete Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {124--139},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_9},
doi = {10.1007/978-3-540-31980-1\_9},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/PnueliPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeuschelPRU04,
author = {Michael Leuschel and
Andreas Podelski and
C. R. Ramakrishnan and
Ulrich Ultes{-}Nitsche},
title = {Introduction to the Special Issue on Verification and Computational
Logic},
journal = {Theory Pract. Log. Program.},
volume = {4},
number = {5-6},
pages = {543--544},
year = {2004},
url = {https://doi.org/10.1017/S1471068404002078},
doi = {10.1017/S1471068404002078},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/LeuschelPRU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Podelski04,
author = {Andreas Podelski},
editor = {Mark Wallace},
title = {Constraints in Program Analysis and Verification},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {1--4},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_1},
doi = {10.1007/978-3-540-30201-8\_1},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/Podelski04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PodelskiR04,
author = {Andreas Podelski and
Andrey Rybalchenko},
title = {Transition Invariants},
booktitle = {19th {IEEE} Symposium on Logic in Computer Science {(LICS} 2004),
14-17 July 2004, Turku, Finland, Proceedings},
pages = {32--41},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/LICS.2004.1319598},
doi = {10.1109/LICS.2004.1319598},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PodelskiR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/PodelskiR04,
author = {Andreas Podelski and
Andrey Rybalchenko},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {A Complete Method for the Synthesis of Linear Ranking Functions},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {239--251},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_20},
doi = {10.1007/978-3-540-24622-0\_20},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/PodelskiR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2004,
editor = {Kurt Jensen and
Andreas Podelski},
title = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 2004, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2004,
Barcelona, Spain, March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2988},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96393},
doi = {10.1007/B96393},
isbn = {3-540-21299-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BallPR03,
author = {Thomas Ball and
Andreas Podelski and
Sriram K. Rajamani},
title = {Boolean and Cartesian abstraction for model checking {C} programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {5},
number = {1},
pages = {49--58},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0095-0},
doi = {10.1007/S10009-002-0095-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BallPR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/BlanchetP03,
author = {Bruno Blanchet and
Andreas Podelski},
editor = {Andrew D. Gordon},
title = {Verification of Cryptographic Protocols: Tagging Enforces Termination},
booktitle = {Foundations of Software Science and Computational Structures, 6th
International Conference, {FOSSACS} 2003 Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2620},
pages = {136--152},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36576-1\_9},
doi = {10.1007/3-540-36576-1\_9},
timestamp = {Mon, 14 Feb 2022 09:20:26 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/BlanchetP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Podelski03,
author = {Andreas Podelski},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {Software Model Checking with Abstraction Refinement},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {1--3},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_1},
doi = {10.1007/3-540-36384-X\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Podelski03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CharatonikP02,
author = {Witold Charatonik and
Andreas Podelski},
title = {Set Constraints with Intersection},
journal = {Inf. Comput.},
volume = {179},
number = {2},
pages = {213--229},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2952},
doi = {10.1006/INCO.2001.2952},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CharatonikP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CharatonikMP02,
author = {Witold Charatonik and
Supratik Mukhopadhyay and
Andreas Podelski},
editor = {Peter J. Stuckey},
title = {Constraint-Based Infinite Model Checking and Tabulation for Stratified
{CLP}},
booktitle = {Logic Programming, 18th International Conference, {ICLP} 2002, Copenhagen,
Denmark, July 29 - August 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2401},
pages = {115--129},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45619-8\_9},
doi = {10.1007/3-540-45619-8\_9},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CharatonikMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/MukhopadhyayP02,
author = {Supratik Mukhopadhyay and
Andreas Podelski},
editor = {Sven Koenig and
Robert C. Holte},
title = {An Algebraic Framework for Abstract Model Checking},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {152--169},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_12},
doi = {10.1007/3-540-45622-8\_12},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/MukhopadhyayP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallPR02,
author = {Thomas Ball and
Andreas Podelski and
Sriram K. Rajamani},
editor = {Joost{-}Pieter Katoen and
Perdita Stevens},
title = {Relative Completeness of Abstraction Refinement for Software Model
Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
8th International Conference, {TACAS} 2002, Held as Part of the Joint
European Conference on Theory and Practice of Software, {ETAPS} 2002,
Grenoble, France, April 8-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2280},
pages = {158--172},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46002-0\_12},
doi = {10.1007/3-540-46002-0\_12},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/CharatonikMP02,
author = {Witold Charatonik and
Supratik Mukhopadhyay and
Andreas Podelski},
editor = {Agostino Cortesi},
title = {Compositional Termination Analysis of Symbolic Forward Analysis},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International
Workshop, {VMCAI} 2002, Venice, Italy, January 21-22, 2002, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2294},
pages = {109--125},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-47813-2\_8},
doi = {10.1007/3-540-47813-2\_8},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/CharatonikMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DelzannoP01,
author = {Giorgio Delzanno and
Andreas Podelski},
title = {Constraint-based deductive model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {3},
number = {3},
pages = {250--270},
year = {2001},
url = {https://doi.org/10.1007/s100090100049},
doi = {10.1007/S100090100049},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DelzannoP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/MukhopadhyayP01,
author = {Supratik Mukhopadhyay and
Andreas Podelski},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Alexandre V. Zamulin},
title = {Accurate Widenings and Boundedness Properties of Timed Systems},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov
Memorial Conference, {PSI} 2001, Akademgorodok, Novosibirsk, Russia,
July 2-6, 2001, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2244},
pages = {79--94},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45575-2\_10},
doi = {10.1007/3-540-45575-2\_10},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/MukhopadhyayP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MukhopadhyayP01,
author = {Supratik Mukhopadhyay and
Andreas Podelski},
editor = {I. V. Ramakrishnan},
title = {Constraint Database Models Characterizing Timed Bisimilarity},
booktitle = {Practical Aspects of Declarative Languages, Third International Symposium,
{PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1990},
pages = {245--258},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45241-9\_17},
doi = {10.1007/3-540-45241-9\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/MukhopadhyayP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/ArgonDMP01,
author = {Pablo Arg{\'{o}}n and
Giorgio Delzanno and
Supratik Mukhopadhyay and
Andreas Podelski},
editor = {Leszek Pacholski and
Peter Ruzicka},
title = {Model Checking Communication Protocols},
booktitle = {{SOFSEM} 2001: Theory and Practice of Informatics, 28th Conference
on Current Trends in Theory and Practice of Informatics Piestany,
Slovak Republic, November 24 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2234},
pages = {160--170},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45627-9\_13},
doi = {10.1007/3-540-45627-9\_13},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/ArgonDMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BallPR01,
author = {Thomas Ball and
Andreas Podelski and
Sriram K. Rajamani},
editor = {Tiziana Margaria and
Wang Yi},
title = {Boolean and Cartesian Abstraction for Model Checking {C} Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
7th International Conference, {TACAS} 2001 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2001
Genova, Italy, April 2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2031},
pages = {268--283},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45319-9\_19},
doi = {10.1007/3-540-45319-9\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BallPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/MullerNP00,
author = {Martin M{\"{u}}ller and
Joachim Niehren and
Andreas Podelski},
title = {Ordering Constraints over Feature Trees},
journal = {Constraints An Int. J.},
volume = {5},
number = {1/2},
pages = {7--41},
year = {2000},
url = {https://doi.org/10.1023/A:1009866317252},
doi = {10.1023/A:1009866317252},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/MullerNP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/MukhopadhyayP00,
author = {Supratik Mukhopadhyay and
Andreas Podelski},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Model Checking for Timed Logic Processes},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {598--612},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_40},
doi = {10.1007/3-540-44957-4\_40},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/MukhopadhyayP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/EsparzaP00,
author = {Javier Esparza and
Andreas Podelski},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Efficient Algorithms for pre\({}^{\mbox{*}}\) and post\({}^{\mbox{*}}\)
on Interprocedural Parallel Flow Graphs},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {1--11},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325697},
doi = {10.1145/325694.325697},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/EsparzaP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/CharatonikPT00,
author = {Witold Charatonik and
Andreas Podelski and
Jean{-}Marc Talbot},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {Paths vs. Trees in Set-Based Program Analysis},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {330--337},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325730},
doi = {10.1145/325694.325730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/CharatonikPT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Podelski00,
author = {Andreas Podelski},
editor = {Jens Palsberg},
title = {Model Checking as Constraint Solving},
booktitle = {Static Analysis, 7th International Symposium, {SAS} 2000, Santa Barbara,
CA, USA, June 29 - July 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1824},
pages = {22--37},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/978-3-540-45099-3\_2},
doi = {10.1007/978-3-540-45099-3\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Podelski00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DelzannoEP99,
author = {Giorgio Delzanno and
Javier Esparza and
Andreas Podelski},
editor = {J{\"{o}}rg Flum and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Constraint-Based Analysis of Broadcast Protocols},
booktitle = {Computer Science Logic, 13th International Workshop, {CSL} '99, 8th
Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1683},
pages = {50--66},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48168-0\_5},
doi = {10.1007/3-540-48168-0\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DelzannoEP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/PodelskiCM99,
author = {Andreas Podelski and
Witold Charatonik and
Martin M{\"{u}}ller},
editor = {S. Doaitse Swierstra},
title = {Set-Based Failure Analysis for Logic Programs and Concurrent Constraint
Programs},
booktitle = {Programming Languages and Systems, 8th European Symposium on Programming,
ESOP'99, Held as Part of the European Joint Conferences on the Theory
and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, 22-28
March, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1576},
pages = {177--192},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49099-X\_12},
doi = {10.1007/3-540-49099-X\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/PodelskiCM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MukhopadhyayP99,
author = {Supratik Mukhopadhyay and
Andreas Podelski},
editor = {C. Pandu Rangan and
Venkatesh Raman and
Ramaswamy Ramanujam},
title = {Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
19th Conference, Chennai, India, December 13-15, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1738},
pages = {232--244},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46691-6\_18},
doi = {10.1007/3-540-46691-6\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MukhopadhyayP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DelzannoP99,
author = {Giorgio Delzanno and
Andreas Podelski},
editor = {Fran{\c{c}}ois Fages},
title = {Verification of Infinite-State Systems in Constraint Logic Programming},
booktitle = {JFPLC'99, Huiti{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France},
pages = {13--22},
publisher = {Hermes},
year = {1999},
timestamp = {Mon, 19 Apr 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/DelzannoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DelzannoP99,
author = {Giorgio Delzanno and
Andreas Podelski},
editor = {Rance Cleaveland},
title = {Model Checking in {CLP}},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {223--239},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_16},
doi = {10.1007/3-540-49059-0\_16},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DelzannoP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CharatonikMNPW98,
author = {Witold Charatonik and
David A. McAllester and
Damian Niwinski and
Andreas Podelski and
Igor Walukiewicz},
title = {The Horn Mu-calculus},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {58--69},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705643},
doi = {10.1109/LICS.1998.705643},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CharatonikMNPW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CharatonikP98,
author = {Witold Charatonik and
Andreas Podelski},
editor = {Tobias Nipkow},
title = {Co-definite Set Constraints},
booktitle = {Rewriting Techniques and Applications, 9th International Conference,
RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1379},
pages = {211--225},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0052372},
doi = {10.1007/BFB0052372},
timestamp = {Sat, 05 Sep 2020 18:07:52 +0200},
biburl = {https://dblp.org/rec/conf/rta/CharatonikP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CharatonikP98,
author = {Witold Charatonik and
Andreas Podelski},
editor = {Giorgio Levi},
title = {Directional Type Inference for Logic Programs},
booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
September 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1503},
pages = {278--294},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49727-7\_17},
doi = {10.1007/3-540-49727-7\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CharatonikP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CharatonikP98,
author = {Witold Charatonik and
Andreas Podelski},
editor = {Bernhard Steffen},
title = {Set-Based Analysis of Reactive Infinite-State Systems},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {358--375},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054183},
doi = {10.1007/BFB0054183},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CharatonikP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Ait-KaciPG97,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Seth Copen Goldstein},
title = {Order Sorted Feature Theory Unification},
journal = {J. Log. Program.},
volume = {30},
number = {2},
pages = {99--124},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00053-2},
doi = {10.1016/S0743-1066(96)00053-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Ait-KaciPG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/NivatP97,
author = {Maurice Nivat and
Andreas Podelski},
title = {Minimal Ascending and Descending Tree Automata},
journal = {{SIAM} J. Comput.},
volume = {26},
number = {1},
pages = {39--58},
year = {1997},
url = {https://doi.org/10.1137/S0097539789164078},
doi = {10.1137/S0097539789164078},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/NivatP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PodelskiS97,
author = {Andreas Podelski and
Gert Smolka},
title = {Situated Simplification},
journal = {Theor. Comput. Sci.},
volume = {173},
number = {1},
pages = {235--252},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00197-1},
doi = {10.1016/S0304-3975(96)00197-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PodelskiS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/MullerNP97,
author = {Martin M{\"{u}}ller and
Joachim Niehren and
Andreas Podelski},
editor = {Gert Smolka},
title = {Ordering Constraints over Feature Trees},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {297--311},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017447},
doi = {10.1007/BFB0017447},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/MullerNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PacholskiP97,
author = {Leszek Pacholski and
Andreas Podelski},
editor = {Gert Smolka},
title = {Set Constraints: {A} Pearl in Research on Constraints},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1330},
pages = {549--562},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0017466},
doi = {10.1007/BFB0017466},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/PacholskiP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AyariBP97,
author = {Abdelwaheb Ayari and
David A. Basin and
Andreas Podelski},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {{LISA:} {A} Specification Language Based on {WS2S}},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {18--34},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028005},
doi = {10.1007/BFB0028005},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AyariBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CharatonikP97,
author = {Witold Charatonik and
Andreas Podelski},
title = {Set Constraints with Intersection},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {362--372},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614962},
doi = {10.1109/LICS.1997.614962},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CharatonikP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Podelski97,
author = {Andreas Podelski},
editor = {Jan Maluszynski},
title = {Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {35--36},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/Podelski97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MullerNP97,
author = {Martin M{\"{u}}ller and
Joachim Niehren and
Andreas Podelski},
editor = {Michel Bidoit and
Max Dauchet},
title = {Inclusion Constraints over Non-empty Sets of Trees},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {345--356},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030609},
doi = {10.1007/BFB0030609},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/MullerNP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/CharatonikP96,
author = {Witold Charatonik and
Andreas Podelski},
editor = {Eugene C. Freuder},
title = {The Independence Property of a Class of Set Constraints},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {76--90},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_67},
doi = {10.1007/3-540-61551-2\_67},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/CharatonikP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PodelskiR95,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Manfred Meyer},
title = {A Detailed Algorithm Testing Guards over Feature Trees},
booktitle = {Constraint Processing, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {923},
pages = {11--38},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59479-5\_16},
doi = {10.1007/3-540-59479-5\_16},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/PodelskiR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PodelskiS95,
author = {Andreas Podelski and
Gert Smolka},
editor = {Ugo Montanari and
Francesca Rossi},
title = {Situated Simplification},
booktitle = {Principles and Practice of Constraint Programming - CP'95, First International
Conference, CP'95, Cassis, France, September 19-22, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {976},
pages = {328--344},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60299-2\_20},
doi = {10.1007/3-540-60299-2\_20},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/PodelskiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PodelskiS95,
author = {Andreas Podelski and
Gert Smolka},
editor = {Leon Sterling},
title = {Operational Semantics of Constraint Logic Programs with Coroutining},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {449--463},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PodelskiS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PodelskiS95a,
author = {Andreas Podelski and
Gert Smolka},
editor = {Leon Sterling},
title = {Situated Simplification},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {826},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PodelskiS95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/lncs/1994-910,
editor = {Andreas Podelski},
title = {Constraint Programming: Basics and Trends, Ch{\^{a}}tillon Spring
School, Ch{\^{a}}tillon-sur-Seine, France, May 16 - 20, 1994, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {910},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59155-9},
doi = {10.1007/3-540-59155-9},
isbn = {3-540-59155-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lncs/1994-910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Ait-KaciPS94,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Gert Smolka},
title = {A Feature Constraint System for Logic Programming with Entailment},
journal = {Theor. Comput. Sci.},
volume = {122},
number = {1{\&}2},
pages = {263--283},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90209-7},
doi = {10.1016/0304-3975(94)90209-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Ait-KaciPS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BeauquierP94,
author = {Dani{\`{e}}le Beauquier and
Andreas Podelski},
title = {Rabin Tree Automata and Finite Monoids},
journal = {Theor. Comput. Sci.},
volume = {134},
number = {1},
pages = {13--25},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90275-5},
doi = {10.1016/0304-3975(94)90275-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeauquierP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Ait-KaciP94,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
title = {Functions as Passive Constraints in {LIFE}},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {4},
pages = {1279--1318},
year = {1994},
url = {https://doi.org/10.1145/183432.183526},
doi = {10.1145/183432.183526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Ait-KaciP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PodelskiR94,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Maurice Bruynooghe},
title = {The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests
of Entailment and Disentailment over Trees},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {359--374},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/PodelskiR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/NivatP93,
author = {Maurice Nivat and
Andreas Podelski},
title = {Another variation on the common subexpression problem},
journal = {Discret. Math.},
volume = {114},
number = {1-3},
pages = {379--401},
year = {1993},
url = {https://doi.org/10.1016/0012-365X(93)90379-8},
doi = {10.1016/0012-365X(93)90379-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/NivatP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Ait-KaciP93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
title = {Towards a Meaning of {LIFE}},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {195--234},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90043-G},
doi = {10.1016/0743-1066(93)90043-G},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/Ait-KaciP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ait-KaciPG93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Seth Copen Goldstein},
editor = {Christian Schulte and
Gert Smolka},
title = {Order-Sorted Feature Theory Unification},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ait-KaciPG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ait-KaciPR93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Peter Van Roy},
editor = {Christian Schulte and
Gert Smolka},
title = {An Informal Introduction to {LIFE}},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Ait-KaciPR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PodelskiR93,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Christian Schulte and
Gert Smolka},
title = {The Beauty and the Beast Algorithm: Testing Entailment and Disentailment
Incrementally},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PodelskiR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Ait-KaciP93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
editor = {Andrei Voronkov},
title = {Entailment and Disentailment of Order-Sorted Feature Constraints},
booktitle = {Logic Programming and Automated Reasoning,4th International Conference,
LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {698},
pages = {1--18},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56944-8\_37},
doi = {10.1007/3-540-56944-8\_37},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Ait-KaciP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BeauquierP93,
author = {Dani{\`{e}}le Beauquier and
Andreas Podelski},
editor = {Andrzej M. Borzyszkowski and
Stefan Sokolowski},
title = {Rabin Tree Automata and Finite Monoids},
booktitle = {Mathematical Foundations of Computer Science 1993, 18th International
Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {711},
pages = {262--271},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57182-5\_18},
doi = {10.1007/3-540-57182-5\_18},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BeauquierP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/CalbrixNP93,
author = {Hugues Calbrix and
Maurice Nivat and
Andreas Podelski},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Ultimately Periodic Words of Rational \emph{w}-Languages},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {554--566},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_27},
doi = {10.1007/3-540-58027-1\_27},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/CalbrixNP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/Ait-KaciP93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
title = {Entailment and Disentailment of Order-Sorted Feature Constraints},
booktitle = {Principles and Practice of Constraint Programming, {PPCP} 1993, Newport,
Rhode Island},
pages = {1--6},
year = {1993},
timestamp = {Fri, 09 Aug 2019 11:23:42 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/Ait-KaciP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/NiehrenPT93,
author = {Joachim Niehren and
Andreas Podelski and
Ralf Treinen},
editor = {Claude Kirchner},
title = {Equational and Membership Constraints for Finite Trees},
booktitle = {Rewriting Techniques and Applications, 5th International Conference,
RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {690},
pages = {106--120},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-662-21551-7\_9},
doi = {10.1007/978-3-662-21551-7\_9},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/NiehrenPT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Ait-KaciPG93,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Seth Copen Goldstein},
editor = {Dale Miller},
title = {Order-Sorted Feature Theory Unification},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {506--524},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/Ait-KaciPG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PodelskiR93,
author = {Andreas Podelski and
Peter Van Roy},
editor = {Dale Miller},
title = {The Beauty and the Beast Algorithm},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {653},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PodelskiR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NiehrenP93,
author = {Joachim Niehren and
Andreas Podelski},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {Feature Automata and Recognizable Sets of Feature Trees},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {356--375},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_76},
doi = {10.1007/3-540-56610-4\_76},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/NiehrenP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/Ait-KaciP92,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
editor = {Evelina Lamma and
Paola Mello},
title = {Logic Programming with Functions over Order-Sorted Feature Terms},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92,
Bologna, Italy, February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {660},
pages = {100--119},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56454-3\_6},
doi = {10.1007/3-540-56454-3\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/elp/Ait-KaciP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/Ait-KaciPS92,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski and
Gert Smolka},
title = {A Feature-Based Constraint System for Logic Programming with Entailment},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {1012--1021},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/Ait-KaciPS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/PeladeauP92,
author = {Pierre P{\'{e}}ladeau and
Andreas Podelski},
editor = {Werner Kuich},
title = {On Reverse and General Definite Tree Languages (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {150--161},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_71},
doi = {10.1007/3-540-55719-9\_71},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/PeladeauP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/treeauto1992/Podelski92,
author = {Andreas Podelski},
editor = {Maurice Nivat and
Andreas Podelski},
title = {A monoid approach to tree automata},
booktitle = {Tree Automata and Languages},
pages = {41--56},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 05 Aug 2019 12:47:51 +0200},
biburl = {https://dblp.org/rec/books/el/treeauto1992/Podelski92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/Nivat92,
editor = {Maurice Nivat and
Andreas Podelski},
title = {Tree Automata and Languages},
publisher = {North-Holland},
year = {1992},
timestamp = {Mon, 05 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/Nivat92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CourcelleNP91,
author = {Bruno Courcelle and
Damian Niwinski and
Andreas Podelski},
title = {A Geometrical View of the Determinization and Minimization of Finite-State
Automata},
journal = {Math. Syst. Theory},
volume = {24},
number = {2},
pages = {117--146},
year = {1991},
url = {https://doi.org/10.1007/BF02090394},
doi = {10.1007/BF02090394},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CourcelleNP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Ait-KaciP91,
author = {Hassan A{\"{\i}}t{-}Kaci and
Andreas Podelski},
editor = {Jan Maluszynski and
Martin Wirsing},
title = {Towards a Meaning of {LIFE}},
booktitle = {Programming Language Implementation and Logic Programming, 3rd International
Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {528},
pages = {255--274},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54444-5\_104},
doi = {10.1007/3-540-54444-5\_104},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Ait-KaciP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/NivatP89,
author = {Maurice Nivat and
Andreas Podelski},
title = {Definite tree languages},
journal = {Bull. {EATCS}},
volume = {38},
pages = {186--190},
year = {1989},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/NivatP89.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-25 20:59 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:
