| BibTeX cite key | Author/Editor | Year | | Title | Type |
|---|
| P-SAS00 | Podelski, Andreas | 2000 | | Model Checking as Constraint Solving
In: Proceedings of the 7th International Symposium on Static Analysis (SAS-00), 221-237 | Proceedings Article |
| P-VMCAI03 | Podelski, Andreas | 2003 | | Software Model Checking with Abstraction Refinement
In: Verification, model checking, and abstract interpretation : 4th International Conference, VMCAI 2003, 1-13 | Proceedings Article |
| PacholskiPodelski97 | Pacholski, Leszek
Podelski, Andreas | 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 |
| Piskac2005 | Piskac, Ruzica | 2005 | | Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes | Thesis - Masters thesis |
| plaisted.survey | Plaisted, David A. | 1993 | | Equational Reasoning and Term Rewriting Systems
In: Handbook of Logic in Artificial Intelligence and Logic Programming, 273-364 | Proceedings Article |
| plaisted:94b | Plaisted, David A. | 1994 | | The Search Efficiency of Theorem Proving Strategies
In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), 57-71 | Proceedings Article |
| PnueliPodelskiRybalchenkoTACAS2005 | Pnueli, Amir
Podelski, Andreas
Rybalchenko, Andrey | 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 |
| Podelski1998 | Delzanno, Giorgio
Podelski, Andreas | 1999 | | Model Checking in CLP
In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS-99), 223-239 | Proceedings Article |
| Podelski2006d | Dräge, Klaus
Finkbeiner, Bernd
Podelski, Andreas | 2006 | | Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | Proceedings Article |
| Podelski2006e | Jensen, Kurt
Podelski, Andreas | 2006 | | Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | Journal Article |
| Podelski95a | Podelski (ed.) | 1995 | | Constraint Programming: Basics and Trends
In: Constraint Programming: Basics and Trends, 328 | Proceedings |
| Podelski97 | Podelski, Andreas | 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 |
| PodelskiCharatonikMueller-ESOP99 | Podelski, Andreas
Charatonik, Witold
Müller, Martin | 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 |
| PodelskiHabil1998 | Podelski, Andreas | 1998 | | Thema der Antrittsvorlesung: Alte Resultate aus der Automatentheorie
Universität des Saarlandes | Thesis - Habilitation thesis |
| PodelskiRybalchenkoCook2006 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | 2006 | | Termination Proofs for Systems Code
In: PLDI 2006 : Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 415-426
In: ACM SIGPLAN Notices [41], 415-426 | Proceedings Article |
| PodelskiRybalchenkoPOPL2005 | Podelski, Andreas
Rybalchenko, Andrey | 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 |
| PodelskiRybalchenkoTOPLAS2007 | Podelski, Andreas
Rybalchenko, Andrey | 2007 | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | Journal Article |
| PodelskiSchaeferWagner2004 | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | 2004 |  | Summaries for While Programs with Recursion | Report |
| PodelskiSmolka95 | Podelski, Andreas
Smolka, Gert | 1995 | | Operational Semantics of Constraint Logic Programming with Coroutining
In: Proceedings of the 12th International Conference on Logic Programming, 449-463 | Proceedings Article |
| PodelskiSmolka:CP:95 | Podelski, Andreas
Smolka, Gert | 1995 | | Situated Simplification
In: Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95), 328-344 | Proceedings Article |
| PodelskiWagner01_2007 | Podelski, Andreas
Wagner, Silke | 2007 | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report |
| PodelskiWagner02_2007 | Podelski, Andreas
Wagner, Silke | 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 |
| PodelskiWagner03_2007 | Wagner, Silke
Podelski, Andreas | 2007 | | Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | Proceedings Article |
| PodelskiWagner2006 | Podelski, Andreas
Wagner, Silke | 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 |
| PodelskiWiesSAS2005 | Podelski, Andreas
Wies, Thomas | 2005 | | Boolean Heaps
In: Static analysis : 12th International Symposium, SAS 2005, 268-283 | Proceedings Article |
| PR04:LinearRanking | Podelski, Andreas
Rybalchenko, Andrey | 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 |
| PR04:TransInv | Podelski, Andreas
Rybalchenko, Andrey | 2004 | | Transition Invariants
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, LICS 2004, 32-41 | Proceedings Article |
| Prevosto2004 | Dubois, Catherine
Jaume, Mathieu
Pons, Olivier
Prevosto, Virgile | 2004 | | L'atelier FOCAL
In: Actes du 6ème Atelier sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2004), 321-324 | Proceedings Article |
| PrevostoDagstuhl2005 | Prevosto, Virgile | 2006 | | Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Electronic Proceedings Article |
| PrevostoTLCA2005 | Prevosto, Virgile
Boulmé, Sylvain | 2005 | | Proof Contexts with Late Binding
In: Typed Lambda Calculi and Applications: 7th International Conference, TLCA 2005, 325-339 | Proceedings Article |
