% csauthors.net - beta - BibTeX bibliography of Andreas Podelski
@article{journals/eatcs/NivatP89,
title = {Definite tree languages.},
year = {1989},
journal = {Bull. EATCS},
author = {{Maurice Nivat} and {Andreas Podelski}}
}
@article{journals/mst/CourcelleNP91,
title = {A Geometrical View of the Determinization and Minimization of Finite-State Automata.},
year = {1991},
journal = {Math. Syst. Theory},
author = {{Bruno Courcelle} and {Damian Niwinski} and {Andreas Podelski}}
}
@incollection{books/el/treeauto1992/Podelski92,
title = {A monoid approach to tree automata.},
year = {1992},
booktitle = {Tree Automata and Languages},
author = {{Andreas Podelski}},
publisher = {North-Holland},
booktitle = {Tree Automata and Languages.}
}
@inproceedings{conf/elp/Ait-KaciP92,
title = {Logic Programming with Functions over Order-Sorted Feature Terms.},
year = {1992},
booktitle = {ELP},
author = {{Hassan Aït-Kaci} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings}
}
@inproceedings{conf/fgcs/Ait-KaciPS92,
title = {A Feature-Based Constraint System for Logic Programming with Entailment.},
year = {1992},
booktitle = {FGCS},
author = {{Hassan Aït-Kaci} and {Andreas Podelski} and {Gert Smolka}},
publisher = {IOS Press},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan.}
}
@inproceedings{conf/icalp/PeladeauP92,
title = {On Reverse and General Definite Tree Languages (Extended Abstract).},
year = {1992},
booktitle = {ICALP},
author = {{Pierre Péladeau} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings}
}
@inproceedings{conf/iclp/Ait-KaciPR93,
title = {An Informal Introduction to LIFE.},
year = {1993},
booktitle = {ICLP Workshop on Concurrent Constraint Programming},
author = {{Hassan Aït-Kaci} and {Andreas Podelski} and {Peter Van Roy}},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993}
}
@inproceedings{conf/iclp/PodelskiR93,
title = {The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally.},
year = {1993},
booktitle = {ICLP Workshop on Concurrent Constraint Programming},
author = {{Andreas Podelski} and {Peter Van Roy}},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993}
}
@inproceedings{conf/lpar/Ait-KaciP93,
title = {Entailment and Disentailment of Order-Sorted Feature Constraints.},
year = {1993},
booktitle = {LPAR},
author = {{Hassan Aït-Kaci} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings}
}
@inproceedings{conf/mfps/CalbrixNP93,
title = {Ultimately Periodic Words of Rational w-Languages.},
year = {1993},
booktitle = {MFPS},
author = {{Hugues Calbrix} and {Maurice Nivat} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings}
}
@inproceedings{conf/rta/NiehrenPT93,
title = {Equational and Membership Constraints for Finite Trees.},
year = {1993},
booktitle = {RTA},
author = {{Joachim Niehren} and {Andreas Podelski} and {Ralf Treinen}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings}
}
@inproceedings{conf/slp/PodelskiR93,
title = {The Beauty and the Beast Algorithm.},
year = {1993},
booktitle = {ILPS},
author = {{Andreas Podelski} and {Peter Van Roy}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993}
}
@inproceedings{conf/tapsoft/NiehrenP93,
title = {Feature Automata and Recognizable Sets of Feature Trees.},
year = {1993},
booktitle = {TAPSOFT},
author = {{Joachim Niehren} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}
}
@article{journals/dm/NivatP93,
title = {Another variation on the common subexpression problem.},
year = {1993},
journal = {Discret. Math.},
author = {{Maurice Nivat} and {Andreas Podelski}}
}
@article{journals/jlp/Ait-KaciP93,
title = {Towards a Meaning of LIFE.},
year = {1993},
journal = {J. Log. Program.},
author = {{Hassan Aït-Kaci} and {Andreas Podelski}}
}
@inproceedings{conf/slp/PodelskiR94,
title = {The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees.},
year = {1994},
booktitle = {ILPS},
author = {{Andreas Podelski} and {Peter Van Roy}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}
}
@article{journals/tcs/Ait-KaciPS94,
title = {A Feature Constraint System for Logic Programming with Entailment.},
year = {1994},
journal = {Theor. Comput. Sci.},
author = {{Hassan Aït-Kaci} and {Andreas Podelski} and {Gert Smolka}}
}
@article{journals/tcs/BeauquierP94,
title = {Rabin Tree Automata and Finite Monoids.},
year = {1994},
journal = {Theor. Comput. Sci.},
author = {{Danièle Beauquier} and {Andreas Podelski}}
}
@article{journals/toplas/Ait-KaciP94,
title = {Functions as Passive Constraints in LIFE.},
year = {1994},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Hassan Aït-Kaci} and {Andreas Podelski}}
}
@inproceedings{conf/cp/PodelskiR95,
title = {A Detailed Algorithm Testing Guards over Feature Trees.},
year = {1995},
booktitle = {Constraint Processing, Selected Papers},
author = {{Andreas Podelski} and {Peter Van Roy}},
publisher = {Springer},
booktitle = {Constraint Processing, Selected Papers}
}
@inproceedings{conf/iclp/PodelskiS95,
title = {Operational Semantics of Constraint Logic Programs with Coroutining.},
year = {1995},
booktitle = {ICLP},
author = {{Andreas Podelski} and {Gert Smolka}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995}
}
@inproceedings{conf/cp/CharatonikP96,
title = {The Independence Property of a Class of Set Constraints.},
year = {1996},
booktitle = {CP},
author = {{Witold Charatonik} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, Cambridge, Massachusetts, USA, August 19-22, 1996}
}
@inproceedings{conf/cp/PacholskiP97,
title = {Set Constraints: A Pearl in Research on Constraints.},
year = {1997},
booktitle = {CP},
author = {{Leszek Pacholski} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings}
}
@inproceedings{conf/csl/AyariBP97,
title = {LISA: A Specification Language Based on WS2S.},
year = {1997},
booktitle = {CSL},
author = {{Abdelwaheb Ayari} and {David A. Basin} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers}
}
@inproceedings{conf/slp/Podelski97,
title = {Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract).},
year = {1997},
booktitle = {ILPS},
author = {{Andreas Podelski}},
publisher = {MIT Press},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997}
}
@inproceedings{conf/tapsoft/MullerNP97,
title = {Inclusion Constraints over Non-empty Sets of Trees.},
year = {1997},
booktitle = {TAPSOFT},
author = {{Martin Müller 001} and {Joachim Niehren} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings}
}
@article{journals/jlp/Ait-KaciPG97,
title = {Order Sorted Feature Theory Unification.},
year = {1997},
journal = {J. Log. Program.},
author = {{Hassan Aït-Kaci} and {Andreas Podelski} and {Seth Copen Goldstein}}
}
@article{journals/siamcomp/NivatP97,
title = {Minimal Ascending and Descending Tree Automata.},
year = {1997},
journal = {SIAM J. Comput.},
author = {{Maurice Nivat} and {Andreas Podelski}}
}
@article{journals/tcs/PodelskiS97,
title = {Situated Simplification.},
year = {1997},
journal = {Theor. Comput. Sci.},
author = {{Andreas Podelski} and {Gert Smolka}}
}
@inproceedings{conf/lics/CharatonikMNPW98,
title = {The Horn Mu-calculus.},
year = {1998},
booktitle = {LICS},
author = {{Witold Charatonik} and {David A. McAllester} and {Damian Niwinski} and {Andreas Podelski} and {Igor Walukiewicz}},
publisher = {IEEE Computer Society},
booktitle = {Thirteenth Annual IEEE Symposium on Logic in Computer Science, Indianapolis, Indiana, USA, June 21-24, 1998}
}
@inproceedings{conf/rta/CharatonikP98,
title = {Co-definite Set Constraints.},
year = {1998},
booktitle = {RTA},
author = {{Witold Charatonik} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings}
}
@inproceedings{conf/sas/CharatonikP98,
title = {Directional Type Inference for Logic Programs.},
year = {1998},
booktitle = {SAS},
author = {{Witold Charatonik} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings}
}
@inproceedings{conf/tacas/CharatonikP98,
title = {Set-Based Analysis of Reactive Infinite-State Systems.},
year = {1998},
booktitle = {TACAS},
author = {{Witold Charatonik} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/csl/DelzannoEP99,
title = {Constraint-Based Analysis of Broadcast Protocols.},
year = {1999},
booktitle = {CSL},
author = {{Giorgio Delzanno} and {Javier Esparza} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings}
}
@inproceedings{conf/esop/PodelskiCM99,
title = {Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs.},
year = {1999},
booktitle = {ESOP},
author = {{Andreas Podelski} and {Witold Charatonik} and {Martin Müller 001}},
publisher = {Springer},
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}
}
@inproceedings{conf/fsttcs/MukhopadhyayP99,
title = {Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata.},
year = {1999},
booktitle = {FSTTCS},
author = {{Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings}
}
@inproceedings{conf/jfplc/DelzannoP99,
title = {Verification of Infinite-State Systems in Constraint Logic Programming.},
year = {1999},
booktitle = {JFPLC},
author = {{Giorgio Delzanno} and {Andreas Podelski}},
publisher = {Hermes},
booktitle = {JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France}
}
@inproceedings{conf/tacas/DelzannoP99,
title = {Model Checking in CLP.},
year = {1999},
booktitle = {TACAS},
author = {{Giorgio Delzanno} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/cl/MukhopadhyayP00,
title = {Model Checking for Timed Logic Processes.},
year = {2000},
booktitle = {Computational Logic},
author = {{Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}
}
@inproceedings{conf/popl/CharatonikPT00,
title = {Paths vs. Trees in Set-Based Program Analysis.},
year = {2000},
booktitle = {POPL},
author = {{Witold Charatonik} and {Andreas Podelski} and {Jean-Marc Talbot}},
publisher = {ACM},
booktitle = {POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000}
}
@inproceedings{conf/popl/EsparzaP00,
title = {Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs.},
year = {2000},
booktitle = {POPL},
author = {{Javier Esparza} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000}
}
@inproceedings{conf/sas/Podelski00,
title = {Model Checking as Constraint Solving.},
year = {2000},
booktitle = {SAS},
author = {{Andreas Podelski}},
publisher = {Springer},
booktitle = {Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings}
}
@article{journals/constraints/MullerNP00,
title = {Ordering Constraints over Feature Trees.},
year = {2000},
journal = {Constraints An Int. J.},
author = {{Martin Müller 001} and {Joachim Niehren} and {Andreas Podelski}}
}
@inproceedings{conf/ershov/MukhopadhyayP01,
title = {Accurate Widenings and Boundedness Properties of Timed Systems.},
year = {2001},
booktitle = {Ershov Memorial Conference},
author = {{Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers}
}
@inproceedings{conf/padl/MukhopadhyayP01,
title = {Constraint Database Models Characterizing Timed Bisimilarity.},
year = {2001},
booktitle = {PADL},
author = {{Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings}
}
@inproceedings{conf/sofsem/ArgonDMP01,
title = {Model Checking Communication Protocols.},
year = {2001},
booktitle = {SOFSEM},
author = {{Pablo Argón} and {Giorgio Delzanno} and {Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@article{journals/sttt/DelzannoP01,
title = {Constraint-based deductive model checking.},
year = {2001},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Giorgio Delzanno} and {Andreas Podelski}}
}
@inproceedings{conf/iclp/CharatonikMP02,
title = {Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP.},
year = {2002},
booktitle = {ICLP},
author = {{Witold Charatonik} and {Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings}
}
@inproceedings{conf/sara/MukhopadhyayP02,
title = {An Algebraic Framework for Abstract Model Checking.},
year = {2002},
booktitle = {SARA},
author = {{Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings}
}
@inproceedings{conf/tacas/BallPR02,
title = {Relative Completeness of Abstraction Refinement for Software Model Checking.},
year = {2002},
booktitle = {TACAS},
author = {{Thomas Ball} and {Andreas Podelski} and {Sriram K. Rajamani}},
publisher = {Springer},
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}
}
@inproceedings{conf/vmcai/CharatonikMP02,
title = {Compositional Termination Analysis of Symbolic Forward Analysis.},
year = {2002},
booktitle = {VMCAI},
author = {{Witold Charatonik} and {Supratik Mukhopadhyay} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers}
}
@article{journals/iandc/CharatonikP02,
title = {Set Constraints with Intersection.},
year = {2002},
journal = {Inf. Comput.},
author = {{Witold Charatonik} and {Andreas Podelski}}
}
@inproceedings{conf/vmcai/Podelski03,
title = {Software Model Checking with Abstraction Refinement.},
year = {2003},
booktitle = {VMCAI},
author = {{Andreas Podelski}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings}
}
@article{journals/sttt/BallPR03,
title = {Boolean and Cartesian abstraction for model checking C programs.},
year = {2003},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Thomas Ball} and {Andreas Podelski} and {Sriram K. Rajamani}}
}
@inproceedings{conf/cp/Podelski04,
title = {Constraints in Program Analysis and Verification.},
year = {2004},
booktitle = {CP},
author = {{Andreas Podelski}},
publisher = {Springer},
booktitle = {Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings}
}
@inproceedings{conf/lics/PodelskiR04,
title = {Transition Invariants.},
year = {2004},
booktitle = {LICS},
author = {{Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {IEEE Computer Society},
booktitle = {19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings}
}
@inproceedings{conf/vmcai/PodelskiR04,
title = {A Complete Method for the Synthesis of Linear Ranking Functions.},
year = {2004},
booktitle = {VMCAI},
author = {{Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, Italy, January 11-13, 2004, Proceedings}
}
@article{journals/tplp/LeuschelPRU04,
title = {Introduction to the Special Issue on Verification and Computational Logic.},
year = {2004},
journal = {Theory Pract. Log. Program.},
author = {{Michael Leuschel} and {Andreas Podelski} and {C. R. Ramakrishnan 001} and {Ulrich Ultes-Nitsche}}
}
@inproceedings{conf/esop/PodelskiSW05,
title = {Summaries for While Programs with Recursion.},
year = {2005},
booktitle = {ESOP},
author = {{Andreas Podelski} and {Ina Schaefer} and {Silke Wagner}},
publisher = {Springer},
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}
}
@inproceedings{conf/sas/CookPR05,
title = {Abstraction Refinement for Termination.},
year = {2005},
booktitle = {SAS},
author = {{Byron Cook} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings}
}
@inproceedings{conf/sas/PodelskiW05,
title = {Boolean Heaps.},
year = {2005},
booktitle = {SAS},
author = {{Andreas Podelski} and {Thomas Wies}},
publisher = {Springer},
booktitle = {Static Analysis, 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings}
}
@inproceedings{conf/tacas/PnueliPR05,
title = {Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems.},
year = {2005},
booktitle = {TACAS},
author = {{Amir Pnueli} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
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}
}
@article{journals/tcs/BlanchetP05,
title = {Verification of cryptographic protocols: tagging enforces termination.},
year = {2005},
journal = {Theor. Comput. Sci.},
author = {{Bruno Blanchet} and {Andreas Podelski}}
}
@article{journals/tcs/JensenP05,
title = {Special issue.},
year = {2005},
journal = {Theor. Comput. Sci.},
author = {{Kurt Jensen} and {Andreas Podelski}}
}
@inproceedings{conf/cav/CookPR06,
title = {Terminator: Beyond Safety.},
year = {2006},
booktitle = {CAV},
author = {{Byron Cook} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}
}
@inproceedings{conf/hybrid/PodelskiW06,
title = {Model Checking of Hybrid Systems: From Reachability Towards Stability.},
year = {2006},
booktitle = {HSCC},
author = {{Andreas Podelski} and {Silke Wagner}},
publisher = {Springer},
booktitle = {Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings}
}
@inproceedings{conf/ictac/MalkisPR06,
title = {Thread-Modular Verification Is Cartesian Abstract Interpretation.},
year = {2006},
booktitle = {ICTAC},
author = {{Alexander Malkis} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Theoretical Aspects of Computing - ICTAC 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings}
}
@inproceedings{conf/mochart/HoffmannSRKP06,
title = {Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL.},
year = {2006},
booktitle = {MoChArt},
author = {{Jörg Hoffmann 001} and {Jan-Georg Smaus} and {Andrey Rybalchenko} and {Sebastian Kupferschmid} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers}
}
@inproceedings{conf/pldi/CookPR06,
title = {Termination proofs for systems code.},
year = {2006},
booktitle = {PLDI},
author = {{Byron Cook} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006}
}
@inproceedings{conf/vmcai/WiesKLPR06,
title = {Field Constraint Analysis.},
year = {2006},
booktitle = {VMCAI},
author = {{Thomas Wies} and {Viktor Kuncak} and {Patrick Lam 001} and {Andreas Podelski} and {Martin C. Rinard}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings}
}
@article{journals/corr/abs-cs-0609104,
title = {On Verifying Complex Properties using Symbolic Shape Analysis},
year = {2006},
journal = {CoRR},
author = {{Thomas Wies} and {Viktor Kuncak} and {Karen Zee} and {Andreas Podelski} and {Martin C. Rinard}}
}
@article{journals/sttt/JensenP06,
title = {Tools and algorithms for the construction and analysis of systems.},
year = {2006},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Kurt Jensen} and {Andreas Podelski}}
}
@inproceedings{conf/formats/PodelskiW07,
title = {Region Stability Proofs for Hybrid Systems.},
year = {2007},
booktitle = {FORMATS},
author = {{Andreas Podelski} and {Silke Wagner}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings}
}
@inproceedings{conf/hybrid/PodelskiW07,
title = {A Sound and Complete Proof Rule for Region Stability of Hybrid Systems.},
year = {2007},
booktitle = {HSCC},
author = {{Andreas Podelski} and {Silke Wagner}},
publisher = {Springer},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings}
}
@inproceedings{conf/padl/PodelskiR07,
title = {ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement.},
year = {2007},
booktitle = {PADL},
author = {{Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007.}
}
@inproceedings{conf/pldi/CookPR07,
title = {Proving thread termination.},
year = {2007},
booktitle = {PLDI},
author = {{Byron Cook} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {ACM},
booktitle = {Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007}
}
@inproceedings{conf/popl/CookGPRV07,
title = {Proving that programs eventually do something good.},
year = {2007},
booktitle = {POPL},
author = {{Byron Cook} and {Alexey Gotsman} and {Andreas Podelski} and {Andrey Rybalchenko} and {Moshe Y. Vardi}},
publisher = {ACM},
booktitle = {Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007}
}
@inproceedings{conf/sas/MalkisPR07,
title = {Precise Thread-Modular Verification.},
year = {2007},
booktitle = {SAS},
author = {{Alexander Malkis} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings}
}
@inproceedings{conf/spin/SeghirP07,
title = {ACSAR: Software Model Checking with Transfinite Refinement.},
year = {2007},
booktitle = {SPIN},
author = {{Mohamed Nassim Seghir} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings}
}
@inproceedings{conf/tacas/KupferschmidDHFDPB07,
title = {Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking.},
year = {2007},
booktitle = {TACAS},
author = {{Sebastian Kupferschmid} and {Klaus Dräger} and {Jörg Hoffmann 001} and {Bernd Finkbeiner} and {Henning Dierks} and {Andreas Podelski} and {Gerd Behrmann}},
publisher = {Springer},
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}
}
@article{journals/it/BeckerPDFOW07,
title = {SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).},
year = {2007},
journal = {it Inf. Technol.},
author = {{Bernd Becker 001} and {Andreas Podelski} and {Werner Damm} and {Martin Fränzle} and {Ernst-Rüdiger Olderog} and {Reinhard Wilhelm}}
}
@article{journals/toplas/PodelskiR07,
title = {Transition predicate abstraction and fair termination.},
year = {2007},
journal = {ACM Trans. Program. Lang. Syst.},
author = {{Andreas Podelski} and {Andrey Rybalchenko}}
}
@inproceedings{conf/aips/WehrleKP08,
title = {Useless Actions Are Useful.},
year = {2008},
booktitle = {ICAPS},
author = {{Martin Wehrle} and {Sebastian Kupferschmid} and {Andreas Podelski}},
publisher = {AAAI},
booktitle = {Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, ICAPS 2008, Sydney, Australia, September 14-18, 2008}
}
@inproceedings{conf/cav/KupferschmidWNP08,
title = {Faster Than Uppaal?},
year = {2008},
booktitle = {CAV},
author = {{Sebastian Kupferschmid} and {Martin Wehrle} and {Bernhard Nebel} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}
}
@inproceedings{conf/cav/PodelskiRW08,
title = {Heap Assumptions on Demand.},
year = {2008},
booktitle = {CAV},
author = {{Andreas Podelski} and {Andrey Rybalchenko} and {Thomas Wies}},
publisher = {Springer},
booktitle = {Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings}
}
@inproceedings{conf/vmcai/DimitrovaP08,
title = {Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?},
year = {2008},
booktitle = {VMCAI},
author = {{Rayna Dimitrova} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings}
}
@inproceedings{conf/vstte/Podelski08,
title = {Verification, Least-Fixpoint Checking, Abstraction.},
year = {2008},
booktitle = {VSTTE},
author = {{Andreas Podelski}},
publisher = {Springer},
booktitle = {Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings}
}
@inproceedings{conf/fm/HoenickeLPSW09,
title = {It's Doomed; We Can Prove It.},
year = {2009},
booktitle = {FM},
author = {{Jochen Hoenicke} and {K. Rustan M. Leino} and {Andreas Podelski} and {Martin Schäf} and {Thomas Wies}},
publisher = {Springer},
booktitle = {FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings}
}
@inproceedings{conf/sas/HeizmannHP09,
title = {Refinement of Trace Abstraction.},
year = {2009},
booktitle = {SAS},
author = {{Matthias Heizmann} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings}
}
@inproceedings{conf/sas/SeghirPW09,
title = {Abstraction Refinement for Quantified Array Assertions.},
year = {2009},
booktitle = {SAS},
author = {{Mohamed Nassim Seghir} and {Andreas Podelski} and {Thomas Wies}},
publisher = {Springer},
booktitle = {Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings}
}
@inproceedings{conf/tacas/WehrleKP09,
title = {Transition-Based Directed Model Checking.},
year = {2009},
booktitle = {TACAS},
author = {{Martin Wehrle} and {Sebastian Kupferschmid} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@article{journals/fmsd/CookPR09,
title = {Summarization for termination: no return!},
year = {2009},
journal = {Formal Methods Syst. Des.},
author = {{Byron Cook} and {Andreas Podelski} and {Andrey Rybalchenko}}
}
@article{journals/sttt/DragerFP09,
title = {Directed model checking with distance-preserving abstractions.},
year = {2009},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Klaus Dräger} and {Bernd Finkbeiner} and {Andreas Podelski}}
}
@inproceedings{conf/atva/BogomolovMP10,
title = {Composing Reachability Analyses of Hybrid Systems for Safety and Stability.},
year = {2010},
booktitle = {ATVA},
author = {{Sergiy Bogomolov} and {Corina Mitrohin} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings}
}
@inproceedings{conf/birthday/OlderogP10,
title = {Explicit Fair Scheduling for Dynamic Control.},
year = {2010},
booktitle = {Concurrency, Compositionality, and Correctness},
author = {{Ernst-Rüdiger Olderog} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever}
}
@inproceedings{conf/gcb/BogomolovMVPB10,
title = {Shape-based Barrier Estimation for RNAs.},
year = {2010},
booktitle = {GCB},
author = {{Sergiy Bogomolov} and {Martin Mann} and {Björn Voß} and {Andreas Podelski} and {Rolf Backofen}},
publisher = {GI},
booktitle = {German Conference on Bioinformatics 2010, September 20-22, 2010, Technische Universität Carolo Wilhelmina zu Braunschweig, Germany}
}
@inproceedings{conf/popl/HeizmannHP10,
title = {Nested interpolants.},
year = {2010},
booktitle = {POPL},
author = {{Matthias Heizmann} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010}
}
@inproceedings{conf/popl/PodelskiW10,
title = {Counterexample-guided focus.},
year = {2010},
booktitle = {POPL},
author = {{Andreas Podelski} and {Thomas Wies}},
publisher = {ACM},
booktitle = {Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010}
}
@inproceedings{conf/sas/HeizmannJP10,
title = {Size-Change Termination and Transition Invariants.},
year = {2010},
booktitle = {SAS},
author = {{Matthias Heizmann} and {Neil D. Jones} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings}
}
@inproceedings{conf/sas/MalkisPR10,
title = {Thread-Modular Counterexample-Guided Abstraction Refinement.},
year = {2010},
booktitle = {SAS},
author = {{Alexander Malkis} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Static Analysis - 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings}
}
@inproceedings{conf/tacas/HoenickeOP10,
title = {Fairness for Dynamic Control.},
year = {2010},
booktitle = {TACAS},
author = {{Jochen Hoenicke} and {Ernst-Rüdiger Olderog} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@article{journals/fmsd/HoenickeLPSW10,
title = {Doomed program points.},
year = {2010},
journal = {Formal Methods Syst. Des.},
author = {{Jochen Hoenicke} and {K. Rustan M. Leino} and {Andreas Podelski} and {Martin Schäf} and {Thomas Wies}}
}
@inproceedings{conf/fase/PostHP11,
title = {rt-Inconsistency: A New Property for Real-Time Requirements.},
year = {2011},
booktitle = {FASE},
author = {{Amalinda Post} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {Springer},
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ücken, Germany, March 26-April 3, 2011. Proceedings}
}
@inproceedings{conf/fm/DietschWP11,
title = {System Verification through Program Verification.},
year = {2011},
booktitle = {FM},
author = {{Daniel Dietsch} and {Bernd Westphal} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}
}
@inproceedings{conf/formats/MitrohinP11,
title = {Composing Stability Proofs for Hybrid Systems.},
year = {2011},
booktitle = {FORMATS},
author = {{Corina Mitrohin} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings}
}
@inproceedings{conf/re/DietschAWP11,
title = {Disambiguation of industrial standards through formalization and graphical languages.},
year = {2011},
booktitle = {RE},
author = {{Daniel Dietsch} and {Sergio Feo-Arenis} and {Bernd Westphal} and {Andreas Podelski}},
publisher = {IEEE Computer Society},
booktitle = {RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011 - September 2, 2011}
}
@inproceedings{conf/re/PostHP11,
title = {Vacuous real-time requirements.},
year = {2011},
booktitle = {RE},
author = {{Amalinda Post} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {IEEE Computer Society},
booktitle = {RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011 - September 2, 2011}
}
@inproceedings{conf/refsq/PostMP11,
title = {Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study.},
year = {2011},
booktitle = {REFSQ},
author = {{Amalinda Post} and {Igor Menzel} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Requirements Engineering: Foundation for Software Quality - 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings}
}
@inproceedings{conf/tacas/PodelskiR11,
title = {Transition Invariants and Transition Predicate Abstraction for Program Termination.},
year = {2011},
booktitle = {TACAS},
author = {{Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
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ücken, Germany, March 26-April 3, 2011. Proceedings}
}
@article{journals/cacm/CookPR11,
title = {Proving program termination.},
year = {2011},
journal = {Commun. ACM},
author = {{Byron Cook} and {Andreas Podelski} and {Andrey Rybalchenko}}
}
@article{journals/stt/PostP11,
title = {Automatische Validierung von Anforderungen.},
year = {2011},
journal = {Softwaretechnik-Trends},
author = {{Amalinda Post} and {Andreas Podelski}}
}
@inproceedings{conf/atva/Podelski12,
title = {Interpolant Automata - (Invited Talk).},
year = {2012},
booktitle = {ATVA},
author = {{Andreas Podelski}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings}
}
@inproceedings{conf/cav/BogomolovFGLPW12,
title = {A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx.},
year = {2012},
booktitle = {CAV},
author = {{Sergiy Bogomolov} and {Goran Frehse} and {Radu Grosu} and {Hamed Ladan} and {Andreas Podelski} and {Martin Wehrle}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}
}
@inproceedings{conf/formats/HerreraWAMP12,
title = {Reducing Quasi-Equal Clocks in Networks of Timed Automata.},
year = {2012},
booktitle = {FORMATS},
author = {{Christian Herrera} and {Bernd Westphal} and {Sergio Feo-Arenis} and {Marco Muñiz} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings}
}
@inproceedings{conf/formats/MunizWP12,
title = {Timed Automata with Disjoint Activity.},
year = {2012},
booktitle = {FORMATS},
author = {{Marco Muñiz} and {Bernd Westphal} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings}
}
@inproceedings{conf/issre/ArltPBSBM12,
title = {Lightweight Static Analysis for GUI Testing.},
year = {2012},
booktitle = {ISSRE},
author = {{Stephan Arlt} and {Andreas Podelski} and {Cristiano Bertolini} and {Martin Schäf} and {Ishan Banerjee} and {Atif M. Memon}},
publisher = {IEEE Computer Society},
booktitle = {23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012}
}
@inproceedings{conf/pts/ArltBSP12,
title = {Parameterized GUI Tests.},
year = {2012},
booktitle = {ICTSS},
author = {{Stephan Arlt} and {Pedro Borromeo} and {Martin Schäf} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Testing Software and Systems - 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings}
}
@inproceedings{conf/re/WestphalDAPPMSFM12,
title = {Towards successful subcontracting for software in small to medium-sized enterprises.},
year = {2012},
booktitle = {RELAW},
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öfer}},
publisher = {IEEE Computer Society},
booktitle = {Fifth IEEE International Workshop on Requirements Engineering and Law, RELAW 2012, Chicago, IL, USA, September 25, 2012}
}
@inproceedings{conf/vmcai/ErmisHP12,
title = {Splitting via Interpolants.},
year = {2012},
booktitle = {VMCAI},
author = {{Evren Ermis} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings}
}
@article{journals/corr/abs-1210-4686,
title = {Black-Box Verification for GUI Applications},
year = {2012},
journal = {CoRR},
author = {{Stephan Arlt} and {Evren Ermis} and {Sergio Feo-Arenis} and {Andreas Podelski}}
}
@article{journals/re/PostMHP12,
title = {Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH.},
year = {2012},
journal = {Requir. Eng.},
author = {{Amalinda Post} and {Igor Menzel} and {Jochen Hoenicke} and {Andreas Podelski}}
}
@inproceedings{conf/atva/HeizmannHLP13,
title = {Linear Ranking for Linear Lasso Programs.},
year = {2013},
booktitle = {ATVA},
author = {{Matthias Heizmann} and {Jochen Hoenicke} and {Jan Leike} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings}
}
@inproceedings{conf/cav/HeizmannHP13,
title = {Software Model Checking for People Who Love Automata.},
year = {2013},
booktitle = {CAV},
author = {{Matthias Heizmann} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings}
}
@inproceedings{conf/formats/MunizWP13,
title = {Detecting Quasi-equal Clocks in Timed Automata.},
year = {2013},
booktitle = {FORMATS},
author = {{Marco Muñiz} and {Bernd Westphal} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings}
}
@inproceedings{conf/fsen/AbdullaADP13,
title = {Push-Down Automata with Gap-Order Constraints.},
year = {2013},
booktitle = {FSEN},
author = {{Parosh Aziz Abdulla} and {Mohamed Faouzi Atig} and {Giorgio Delzanno} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Fundamentals of Software Engineering - 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers}
}
@inproceedings{conf/popl/FarzanKP13,
title = {Inductive data flow graphs.},
year = {2013},
booktitle = {POPL},
author = {{Azadeh Farzan} and {Zachary Kincaid} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013}
}
@inproceedings{conf/spin/BogomolovDFGJLPW13,
title = {Abstraction-Based Guided Search for Hybrid Systems.},
year = {2013},
booktitle = {SPIN},
author = {{Sergiy Bogomolov} and {Alexandre Donzé} and {Goran Frehse} and {Radu Grosu} and {Taylor T. Johnson} and {Hamed Ladan} and {Andreas Podelski} and {Martin Wehrle}},
publisher = {Springer},
booktitle = {Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings}
}
@inproceedings{conf/tacas/HeizmannCDEHLNSP13,
title = {Ultimate Automizer with SMTInterpol - (Competition Contribution).},
year = {2013},
booktitle = {TACAS},
author = {{Matthias Heizmann} and {Jürgen Christ} and {Daniel Dietsch} and {Evren Ermis} and {Jochen Hoenicke} and {Markus Lindenmann} and {Alexander Nutz} and {Christian Schilling 001} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/vmcai/Podelski13,
title = {Automata as Proofs.},
year = {2013},
booktitle = {VMCAI},
author = {{Andreas Podelski}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings}
}
@article{journals/corr/abs-1305-0787,
title = {Monitoring Student Activity in Collaborative Software Development},
year = {2013},
journal = {CoRR},
author = {{Daniel Dietsch} and {Andreas Podelski} and {Jaechang Nam} and {Pantelis M. Papadopoulos} and {Martin Schäf}}
}
@inproceedings{conf/aaai/BogomolovMPW14,
title = {Planning as Model Checking in Hybrid Domains.},
year = {2014},
booktitle = {AAAI},
author = {{Sergiy Bogomolov} and {Daniele Magazzeni} and {Andreas Podelski} and {Martin Wehrle}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada.}
}
@inproceedings{conf/cav/HeizmannHP14,
title = {Termination Analysis by Learning Terminating Programs.},
year = {2014},
booktitle = {CAV},
author = {{Matthias Heizmann} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/hvc/BogomolovFGGPPS14,
title = {Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.},
year = {2014},
booktitle = {Haifa Verification Conference},
author = {{Sergiy Bogomolov} and {Goran Frehse} and {Marius Greitschus} and {Radu Grosu} and {Corina S. Pasareanu} and {Andreas Podelski} and {Thomas Strump}},
publisher = {Springer},
booktitle = {Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings}
}
@inproceedings{conf/hybrid/BogomolovHMWP14,
title = {Quasi-dependent variables in hybrid automata.},
year = {2014},
booktitle = {HSCC},
author = {{Sergiy Bogomolov} and {Christian Herrera} and {Marco Muñiz} and {Bernd Westphal} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014}
}
@inproceedings{conf/isola/ArltEAP14,
title = {Verification of GUI Applications: A Black-Box Approach.},
year = {2014},
booktitle = {ISoLA (1)},
author = {{Stephan Arlt} and {Evren Ermis} and {Sergio Feo-Arenis} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/issta/ArltPW14,
title = {Reducing GUI test suites via program slicing.},
year = {2014},
booktitle = {ISSTA},
author = {{Stephan Arlt} and {Andreas Podelski} and {Martin Wehrle}},
publisher = {ACM},
booktitle = {International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014}
}
@inproceedings{conf/popl/FarzanKP14,
title = {Proofs that count.},
year = {2014},
booktitle = {POPL},
author = {{Azadeh Farzan} and {Zachary Kincaid} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014}
}
@inproceedings{conf/tacas/ErmisNDHP14,
title = {Ultimate Kojak - (Competition Contribution).},
year = {2014},
booktitle = {TACAS},
author = {{Evren Ermis} and {Alexander Nutz} and {Daniel Dietsch} and {Jochen Hoenicke} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/tacas/HeizmannCDHLMSWP14,
title = {Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).},
year = {2014},
booktitle = {TACAS},
author = {{Matthias Heizmann} and {Jürgen Christ} and {Daniel Dietsch} and {Jochen Hoenicke} and {Markus Lindenmann} and {Betim Musa} and {Christian Schilling 001} and {Stefan Wissert} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/tacas/HerreraWP14,
title = {Quasi-Equal Clock Reduction: More Networks, More Queries.},
year = {2014},
booktitle = {TACAS},
author = {{Christian Herrera} and {Bernd Westphal} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/birthday/HoenickeP15,
title = {Fairness for Infinitary Control.},
year = {2015},
booktitle = {Correct System Design},
author = {{Jochen Hoenicke} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings}
}
@inproceedings{conf/cav/DietschHLP15,
title = {Fairness Modulo Theory: A New Approach to LTL Software Model Checking.},
year = {2015},
booktitle = {CAV (1)},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Vincent Langenfeld} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I}
}
@inproceedings{conf/hybrid/FrehseBGSP15,
title = {Eliminating spurious transitions in reachability with support functions.},
year = {2015},
booktitle = {HSCC},
author = {{Goran Frehse} and {Sergiy Bogomolov} and {Marius Greitschus} and {Thomas Strump} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015}
}
@inproceedings{conf/icst/ArltMPW15,
title = {If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing.},
year = {2015},
booktitle = {ICST},
author = {{Stephan Arlt} and {Tobias Morciniec} and {Andreas Podelski} and {Silke Wagner}},
publisher = {IEEE Computer Society},
booktitle = {8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015}
}
@inproceedings{conf/lata/FarzanHHKP15,
title = {Automated Program Verification.},
year = {2015},
booktitle = {LATA},
author = {{Azadeh Farzan} and {Matthias Heizmann} and {Jochen Hoenicke} and {Zachary Kincaid} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings}
}
@inproceedings{conf/popl/FarzanKP15,
title = {Proof Spaces for Unbounded Parallelism.},
year = {2015},
booktitle = {POPL},
author = {{Azadeh Farzan} and {Zachary Kincaid} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015}
}
@inproceedings{conf/re/MorciniecP15,
title = {Using the requirements specification to infer the implicit test status of requirements.},
year = {2015},
booktitle = {RE},
author = {{Tobias Morciniec} and {Andreas Podelski}},
publisher = {IEEE Computer Society},
booktitle = {23rd IEEE International Requirements Engineering Conference, RE 2015, Ottawa, ON, Canada, August 24-28, 2015}
}
@inproceedings{conf/se/ArltAPW15,
title = {System Testing and Program Verification.},
year = {2015},
booktitle = {Software Engineering & Management},
author = {{Stephan Arlt} and {Sergio Feo-Arenis} and {Andreas Podelski} and {Martin Wehrle}},
publisher = {GI},
booktitle = {Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany}
}
@inproceedings{conf/tacas/HeizmannDLMP15,
title = {Ultimate Automizer with Array Interpolation - (Competition Contribution).},
year = {2015},
booktitle = {TACAS},
author = {{Matthias Heizmann} and {Daniel Dietsch} and {Jan Leike} and {Betim Musa} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/tacas/NutzDMP15,
title = {ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution).},
year = {2015},
booktitle = {TACAS},
author = {{Alexander Nutz} and {Daniel Dietsch} and {Mostafa Mahmoud Mohamed} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/lics/FarzanKP16,
title = {Proving Liveness of Parameterized Programs.},
year = {2016},
booktitle = {LICS},
author = {{Azadeh Farzan} and {Zachary Kincaid} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016}
}
@inproceedings{conf/refsq/LangenfeldPP16,
title = {Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch.},
year = {2016},
booktitle = {REFSQ},
author = {{Vincent Langenfeld} and {Amalinda Post} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Requirements Engineering: Foundation for Software Quality - 22nd International Working Conference, REFSQ 2016, Gothenburg, Sweden, March 14-17, 2016, Proceedings}
}
@inproceedings{conf/tacas/HeizmannDGLMSP16,
title = {Ultimate Automizer with Two-track Proofs - (Competition Contribution).},
year = {2016},
booktitle = {TACAS},
author = {{Matthias Heizmann} and {Daniel Dietsch} and {Marius Greitschus} and {Jan Leike} and {Betim Musa} and {Claus Schätzle} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/tap/PodelskiSW16,
title = {Classifying Bugs with Interpolants.},
year = {2016},
booktitle = {TAP@STAF},
author = {{Andreas Podelski} and {Martin Schäf} and {Thomas Wies}},
publisher = {Springer},
booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings}
}
@article{journals/biosystems/SchillingBHPR16,
title = {Adaptive moment closure for parameter inference of biochemical reaction networks.},
year = {2016},
journal = {Biosyst.},
author = {{Christian Schilling 001} and {Sergiy Bogomolov} and {Thomas A. Henzinger} and {Andreas Podelski} and {Jakob Ruess}}
}
@article{journals/corr/MorciniecP16,
title = {A Logical Approach to Generating Test Plans.},
year = {2016},
journal = {CoRR},
author = {{Tobias Morciniec} and {Andreas Podelski}}
}
@article{journals/fac/ArenisWDMAP16,
title = {Ready for testing: ensuring conformance to industrial standards through formal verification.},
year = {2016},
journal = {Formal Aspects Comput.},
author = {{Sergio Feo-Arenis} and {Bernd Westphal} and {Daniel Dietsch} and {Marco Muñiz} and {Ahmad Siyar Andisha} and {Andreas Podelski}}
}
@article{journals/sttt/BogomolovDFGJLP16,
title = {Guided search for hybrid systems based on coarse-grained space abstractions.},
year = {2016},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{Sergiy Bogomolov} and {Alexandre Donzé} and {Goran Frehse} and {Radu Grosu} and {Taylor T. Johnson} and {Hamed Ladan} and {Andreas Podelski} and {Martin Wehrle}}
}
@inproceedings{conf/popl/HoenickeMP17,
title = {Thread modularity at many levels: a pearl in compositional verification.},
year = {2017},
booktitle = {POPL},
author = {{Jochen Hoenicke} and {Rupak Majumdar} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017}
}
@inproceedings{conf/sas/GreitschusDP17,
title = {Loop Invariants from Counterexamples.},
year = {2017},
booktitle = {SAS},
author = {{Marius Greitschus} and {Daniel Dietsch} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings}
}
@inproceedings{conf/sigsoft/DietschHMNP17,
title = {Craig vs. Newton in software model checking.},
year = {2017},
booktitle = {ESEC/SIGSOFT FSE},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Betim Musa} and {Alexander Nutz} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017}
}
@inproceedings{conf/tacas/GreitschusDHNSS17,
title = {Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).},
year = {2017},
booktitle = {TACAS (2)},
author = {{Marius Greitschus} and {Daniel Dietsch} and {Matthias Heizmann} and {Alexander Nutz} and {Claus Schätzle} and {Christian Schilling 001} and {Frank Schüssele} and {Andreas Podelski}},
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}
}
@inproceedings{conf/tacas/HeizmannCDGNMSS17,
title = {Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).},
year = {2017},
booktitle = {TACAS (2)},
author = {{Matthias Heizmann} and {Yu-Wen Chen} and {Daniel Dietsch} and {Marius Greitschus} and {Alexander Nutz} and {Betim Musa} and {Claus Schätzle} and {Christian Schilling 001} and {Frank Schüssele} and {Andreas Podelski}},
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}
}
@article{journals/corr/GreitschusDP17,
title = {Refining Trace Abstraction using Abstract Interpretation.},
year = {2017},
journal = {CoRR},
author = {{Marius Greitschus} and {Daniel Dietsch} and {Andreas Podelski}}
}
@inproceedings{conf/cogsci/LangenfeldWAP18,
title = {But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour.},
year = {2018},
booktitle = {CogSci},
author = {{Vincent Langenfeld} and {Bernd Westphal} and {Rebecca Albrecht} and {Andreas Podelski}},
publisher = {cognitivesciencesociety.org},
booktitle = {Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018, Madison, WI, USA, July 25-28, 2018}
}
@inproceedings{conf/hybrid/BogomolovFFVPS18,
title = {Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.},
year = {2018},
booktitle = {HSCC},
author = {{Sergiy Bogomolov} and {Marcelo Forets} and {Goran Frehse} and {Frédéric Viry} and {Andreas Podelski} and {Christian Schilling 001}},
publisher = {ACM},
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}
}
@inproceedings{conf/tacas/DietschGHHNPSS18,
title = {Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).},
year = {2018},
booktitle = {TACAS (2)},
author = {{Daniel Dietsch} and {Marius Greitschus} and {Matthias Heizmann} and {Jochen Hoenicke} and {Alexander Nutz} and {Andreas Podelski} and {Christian Schilling 001} and {Tanja Schindler}},
publisher = {Springer},
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}
}
@inproceedings{conf/tacas/HeizmannCDGHLNM18,
title = {Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).},
year = {2018},
booktitle = {TACAS (2)},
author = {{Matthias Heizmann} and {Yu-Fang Chen 001} and {Daniel Dietsch} and {Marius Greitschus} and {Jochen Hoenicke} and {Yong Li 031} and {Alexander Nutz} and {Betim Musa} and {Christian Schilling 001} and {Tanja Schindler} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/vstte/DietschHHNP18,
title = {The Map Equality Domain.},
year = {2018},
booktitle = {VSTTE},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Jochen Hoenicke} and {Alexander Nutz} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers}
}
@inproceedings{conf/vstte/HoenickeNP18,
title = {A Tree-Based Approach to Data Flow Proofs.},
year = {2018},
booktitle = {VSTTE},
author = {{Jochen Hoenicke} and {Alexander Nutz} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers}
}
@article{journals/pacmpl/PadonHLPSS18,
title = {Reducing liveness to safety in first-order logic.},
year = {2018},
journal = {Proc. ACM Program. Lang.},
author = {{Oded Padon} and {Jochen Hoenicke} and {Giuliano Losa} and {Andreas Podelski} and {Mooly Sagiv} and {Sharon Shoham}}
}
@incollection{reference/mc/JhalaPR18,
title = {Predicate Abstraction for Program Verification.},
year = {2018},
booktitle = {Handbook of Model Checking},
author = {{Ranjit Jhala} and {Andreas Podelski} and {Andrey Rybalchenko}},
publisher = {Springer},
booktitle = {Handbook of Model Checking.}
}
@inproceedings{conf/aips/HeinzWBMGP19,
title = {Temporal Planning as Refinement-Based Model Checking.},
year = {2019},
booktitle = {ICAPS},
author = {{Alexander Heinz} and {Martin Wehrle} and {Sergiy Bogomolov} and {Daniele Magazzeni} and {Marius Greitschus} and {Andreas Podelski}},
publisher = {AAAI Press},
booktitle = {Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, ICAPS 2019, Berkeley, CA, USA, July 11-15, 2019.}
}
@inproceedings{conf/cogsci/LangenfeldWP19,
title = {On Formal Verification of ACT-R Architectures and Models.},
year = {2019},
booktitle = {CogSci},
author = {{Vincent Langenfeld} and {Bernd Westphal} and {Andreas Podelski}},
publisher = {cognitivesciencesociety.org},
booktitle = {Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019}
}
@article{journals/corr/abs-1901-01915,
title = {Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages.},
year = {2019},
journal = {CoRR},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Jochen Hoenicke} and {Alexander Nutz} and {Andreas Podelski}}
}
@inproceedings{journals/corr/abs-1907-03998,
title = {Ultimate TreeAutomizer (CHC-COMP Tool Description).},
year = {2019},
booktitle = {HCVS/PERR@ETAPS},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Jochen Hoenicke} and {Alexander Nutz} and {Andreas Podelski}},
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.}
}
@inproceedings{conf/netys/DietschHHNP21,
title = {Separating Map Variables in a Logic-Based Intermediate Verification Language.},
year = {2021},
booktitle = {NETYS},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Jochen Hoenicke} and {Alexander Nutz} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings}
}
@inproceedings{conf/refsq/BeckerDHHLPW21,
title = {Hanfor: Semantic Requirements Review at Scale.},
year = {2021},
booktitle = {REFSQ Workshops},
author = {{Samuel Becker} and {Daniel Dietsch} and {Nico Hauff} and {Elisabeth Henkel} and {Vincent Langenfeld} and {Andreas Podelski} and {Bernd Westphal}},
publisher = {CEUR-WS.org},
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.}
}
@inproceedings{conf/vmcai/DietschHKNPS21,
title = {Verification of Concurrent Programs Using Petri Net Unfoldings.},
year = {2021},
booktitle = {VMCAI},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Dominik Klumpp} and {Mehdi Naouar} and {Andreas Podelski} and {Claus Schätzle}},
publisher = {Springer},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings}
}
@article{journals/fmsd/PadonHMPSS21,
title = {Temporal prophecy for proving temporal properties of infinite-state systems.},
year = {2021},
journal = {Formal Methods Syst. Des.},
author = {{Oded Padon} and {Jochen Hoenicke} and {Kenneth L. McMillan} and {Andreas Podelski} and {Mooly Sagiv} and {Sharon Shoham}}
}
@inproceedings{conf/birthday/0001P22a,
title = {Software Model Checking: 20 Years and Beyond.},
year = {2022},
booktitle = {Principles of Systems Design},
author = {{Dirk Beyer 001} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday}
}
@inproceedings{conf/pldi/FarzanKP22,
title = {Sound sequentialization for concurrent program verification.},
year = {2022},
booktitle = {PLDI},
author = {{Azadeh Farzan} and {Dominik Klumpp} and {Andreas Podelski}},
publisher = {ACM},
booktitle = {PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022}
}
@inproceedings{conf/tacas/KlumppDHSEFP22,
title = {Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).},
year = {2022},
booktitle = {TACAS (2)},
author = {{Dominik Klumpp} and {Daniel Dietsch} and {Matthias Heizmann} and {Frank Schüssele} and {Marcel Ebbinghaus} and {Azadeh Farzan} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@article{journals/iandc/BogomolovFFPS22,
title = {Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).},
year = {2022},
journal = {Inf. Comput.},
author = {{Sergiy Bogomolov} and {Marcelo Forets} and {Goran Frehse} and {Andreas Podelski} and {Christian Schilling 001}}
}
@inproceedings{conf/refsq/HenkelHELP23,
title = {An Empirical Study of the Intuitive Understanding of a Formal Pattern Language.},
year = {2023},
booktitle = {REFSQ},
author = {{Elisabeth Henkel} and {Nico Hauff} and {Lukas Eber} and {Vincent Langenfeld} and {Andreas Podelski}},
publisher = {Springer},
booktitle = {Requirements Engineering: Foundation for Software Quality - 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings}
}
@inproceedings{conf/tacas/DietschHKSP23,
title = {Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).},
year = {2023},
booktitle = {TACAS (2)},
author = {{Daniel Dietsch} and {Matthias Heizmann} and {Dominik Klumpp} and {Frank Schüssele} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@inproceedings{conf/tacas/HeizmannBDFHKNSSP23,
title = {Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).},
year = {2023},
booktitle = {TACAS (2)},
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üssele} and {Andreas Podelski}},
publisher = {Springer},
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}
}
@article{journals/pacmpl/FarzanKP23,
title = {Stratified Commutativity in Verification Algorithms for Concurrent Programs.},
year = {2023},
month = {January},
journal = {Proc. ACM Program. Lang.},
author = {{Azadeh Farzan} and {Dominik Klumpp} and {Andreas Podelski}}
}
@article{journals/pacmpl/FarzanKP24,
title = {Commutativity Simplifies Proofs of Parameterized Programs.},
year = {2024},
month = {January},
journal = {Proc. ACM Program. Lang.},
author = {{Azadeh Farzan} and {Dominik Klumpp} and {Andreas Podelski}}
}