Author/Editor [Non Institute] | Year | | Title | Type |
Pacholski, Podelski
(Ed: Smolka)
[Pacholski, Smolka] | 1997 | | Set Constraints: a Pearl in Research on Constraints
In: Proceedings of the 3rd International Conference on Principles and Practice of Constraint Programming (CP-97), 549-562 | Proceedings Article |
Piskac
[-] | 2005 | | Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | Thesis - Masters thesis |
Plaisted
(Ed: Bundy)
[-] | 1994 | | The Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71 | Proceedings Article |
Plaisted
(Ed: Gabbay, Hogger, Robinson, Siekmann)
[-] | 1993 | | Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | Proceedings Article |
Pnueli, Podelski, Rybalchenko
(Ed: Halbwachs, Zuck)
[-] | 2005 | | Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
In: 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, 124-139 | Proceedings Article |
Podelski
(Ed: Maluszynski)
[-] | 1997 | | Set-Based Analysis of Logic Programs and Reactive Logic Programs
In: Proceedings of the International Symposium on Logic Programming (ILPS-14), 35-36 | Proceedings Article |
Podelski
(Ed: Palsberg)
[Palsberg] | 2000 | | Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Proceedings Article |
Podelski
(Ed: Zuck, Attie, Cortesi, Mukhopadhyay)
[-] | 2003 | | Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Proceedings Article |
Podelski
[-] | 2004 | | Introduction to the Special Issue on Verification and Computational Logic
In: Theory and Practice of Logic Programming (TPLP) [4], 541-751 | Journal Article |
Podelski
[-] | 1998 | | Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes | Thesis - Habilitation thesis |
Podelski (ed.)
(Ed: Podelski)
[-] | 1995 | | Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328 | Proceedings |
Podelski, Ball, Rajamani
(Ed: Kaoen, Stevens)
[-] | 2002 | | Relative Completeness of Abstraction Refinement for Software Model Checking
In: Tools and algorithms for the construction and analysis of systems : 8th International Conference, TACAS 2002, 158-172 | Proceedings Article |
Podelski, Ball, Rajamani
[Ball, Rajamani] | 2003 | | Boolean and Cartesian Abstraction for Model Checking C Programs
In: International Journal on Software Tools for Technology Transfer (STTT) [5], 1-15 | Journal Article |
Podelski, Charatonik, Müller
(Ed: Swierstra)
[Müller, Swierstra] | 1999 | | Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs
In: Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99), 177-192 | Proceedings Article |
Podelski, Rybalchenko
(Ed: Hanus)
[-] | 2007 | | ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259 | Proceedings Article |
Podelski, Rybalchenko
(Ed: Levi, Steffen)
[-] | 2004 | | A Complete Method for the Synthesis of Linear Ranking Functions
In: Verification, model checking, and abstract interpretation : 5th International Conference, VMCAI 2004, 239-251 | Proceedings Article |
Podelski, Rybalchenko
(Ed: Palsberg, Abadi)
[-] | 2005 | | Transition predicate abstraction and fair termination
In: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2005, 124-139 | Proceedings Article |
Podelski, Rybalchenko
[-] | 2007 | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | Journal Article |
Podelski, Rybalchenko
[-] | 2004 | | Transition Invariants
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41 | Proceedings Article |
Podelski, Rybalchenko, Cook
[-] | 2005 | | Counterexample-Guided Abstraction Refinement for Termination | Unpublished/Draft |
Podelski, Schaefer, Wagner
(Ed: Sagiv)
[-] | 2005 | | Summaries for While Programs with Recursion
In: 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, 94-107 | Proceedings Article |
Podelski, Schaefer, Wagner
[-] | 2004 | | Summaries for While Programs with Recursion | Report |
Podelski, Smolka
(Ed: Montanari, Rossi)
[-] | 1995 | | Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344 | Proceedings Article |
Podelski, Smolka
(Ed: Sterling)
[-] | 1995 | | Operational Semantics of Constraint Logic Programming with Coroutining
In: Proceedings of the 12th International Conference on Logic Programming, 449-463 | Proceedings Article |
Podelski, Smolka
[Smolka] | 1997 | | Situated Simplification
In: Theoretical Computer Science [173], 235-252 | Journal Article |
Podelski, Wagner
(Ed: Bemporad, Bicchi, Buttazzo)
[-] | 2007 | | A Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753 | Poster |
Podelski, Wagner
(Ed: Hespanha, Tiwari)
[-] | 2006 | | Model Checking of Hybrid Systems: From Reachability towards Stability
In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
, 507-521 | Proceedings Article |
Podelski, Wagner
[-] | 2007 | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report |
Podelski, Wies
(Ed: Hankin, Siveroni)
[-] | 2005 | | Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283 | Proceedings Article |
Prevosto
(Ed: Coquand, Lombardi, Roy)
[-] | 2006 | | Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Electronic Proceedings Article |