BibTeX cite key | Author/Editor | Year | | Title | Type |
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 |
PrevostoWaldmann2006 | Prevosto, Virgile
Waldmann, Uwe | 2006 | | SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | Proceedings Article |
PSW:05 | Podelski, Andreas
Schaefer, Ina
Wagner, Silke | 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 |
r-cppipd-00 | Krishna Rao, M. R. K. | 2000 | | Some classes of prolog programs inferable from positive data
In: Theoretical Computer Science [241], 211-223 | Journal Article |