| BibTeX cite key | Author/Editor | Year | | Title | Type |
|---|
| 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 |
| Rao:2000:SCS | Krishna Rao, M. R. K. | 2000 | | Some characteristics of strong innermost normalization
In: Theoretical Computer Science [239], 141-164 | Journal Article |
| Ratschan2002 | Ratschan, Stefan
Vehi, Josep | 2004 | | Robust Pole Clustering of Parametric Uncertain Systems Using Interval Methods
In: Robust control design 2003 : (ROCOND 2003) ; a proceedings volume from the 4th IFAC symposium, 323-328 | Proceedings Article |
| Ratschan2003 | Ratschan, Stefan | 2003 | | Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities
In: Principles and practice on constraint programming - CP 2003 : 9th International Conference, CP 2003, 615-633 | Proceedings Article |
| Ratschan2004a | Jaulin, Luc
Ratschan, Stefan
Hardouin, Laurent | 2004 | | Set Computation for Nonlinear Control
In: Reliable Computing [10], 1-26 | Journal Article |
| Ratschan2004b | Ratschan, Stefan | 2004 | | Convergent Approximate Solving of First-order Constraints by Approximate Quantifiers
In: ACM Transactions on Computational Logic [5], 264-281 | Journal Article |
| Ratschan2005 | Ratschan, Stefan
She, Zhikun | 2005 | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | Proceedings Article |
| Ratschan2005a | Ratschan, Stefan | 2006 | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748 | Journal Article |
| Ratschan2005b | Ratschan, Stefan | 2005 | | Solving Undecidable Problems in the Theory of Real Numbers and Hybrid Systems
In: Algorithmic Algebra and Logic; Conference in Honor of the 60th Birthday of Volker Weispfenning, 213-216 | Proceedings Article |
| Ratschan2006 | Ratschan, Stefan
Smaus, Jan-Georg | 2006 | | Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | Proceedings Article |
