dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Andreas Podelski (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition Invariants and Transition Predicate Abstraction for Program Termination. TACAS 2011: 3-10
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Proving program termination. Commun. ACM 54(5): 88-98 (2011)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Malkis, Andreas Podelski, Andrey Rybalchenko: Thread-Modular Counterexample-Guided Abstraction Refinement. SAS 2010: 356-372
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Summarization for termination: no return! Formal Methods in System Design 35(3): 369-387 (2009)
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko, Thomas Wies: Heap Assumptions on Demand. CAV 2008: 314-327
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. PADL 2007: 245-259
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Proving thread termination. PLDI 2007: 320-330
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi: Proving that programs eventually do something good. POPL 2007: 265-276
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Malkis, Andreas Podelski, Andrey Rybalchenko: Precise Thread-Modular Verification. SAS 2007: 218-232
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition predicate abstraction and fair termination. ACM Trans. Program. Lang. Syst. 29(3): (2007)
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Terminator: Beyond Safety. CAV 2006: 415-418
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Malkis, Andreas Podelski, Andrey Rybalchenko: Thread-Modular Verification Is Cartesian Abstract Interpretation. ICTAC 2006: 183-197
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski: Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. MoChArt 2006: 51-66
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Termination proofs for systems code. PLDI 2006: 415-426
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition predicate abstraction and fair termination. POPL 2005: 132-144
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLByron Cook, Andreas Podelski, Andrey Rybalchenko: Abstraction Refinement for Termination. SAS 2005: 87-101
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Pnueli, Andreas Podelski, Andrey Rybalchenko: Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. TACAS 2005: 124-139
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: Transition Invariants. LICS 2004: 32-41
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Podelski, Andrey Rybalchenko: A Complete Method for the Synthesis of Linear Ranking Functions. VMCAI 2004: 239-251

Selection of 19 from 131 records - Andreas Podelski has 83 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page