BibTeX cite key | Author/Editor | Year | | Title | Type |
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 |
Ratschan2007 | Ratschan, Stefan
She, Zhikun | 2007 | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Journal Article |
RauRainer97 | Rau, Rainer | 1997 | | Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes | Thesis - Masters thesis |
ReinoldDipl91 | Reinold, Michael | 1991 | | Transformation in dichten Wäldern
Universität des Saarlandes | Thesis - Masters thesis |
rel-ripp-ijcai | Bundy, Alan
Lombart, V. | 1995 | | Relational Rippling: a General Approach
In: Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence (IJCAI-95), 175-181 | Proceedings Article |
Rock95 | Rock, Georg | 1995 | | Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes | Thesis - Masters thesis |
Romina2004 | Goncharov, Sergey
Harizanov, Valentina
Knight, Julia F.
Morozov, Andrey
Romina, Anya | 2005 | | On automorphic tuples of elements in computable models
In: Siberian Mathematical Journal [46], 405-412 | Journal Article |
rp780 | Frank, Ian
Basin, David A. | 1996 | | Search in Games with Incomplete Information: A Case Study Using Bridge Card Play | Report |
Rybalchenko-Sofronie-vmcai07 | Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | 2007 | | Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Proceedings Article |
Rybalchenko2002 | Rybalchenko, Andrey | 2002 | | A Model Checker based on Abstraction Refinement
Universität des Saarlandes | Thesis - Masters thesis |
Rybalchenko2006ICTAC-DC | Meyer, Roland
Faber, Johannes
Rybalchenko, Andrey | 2006 | | Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Proceedings Article |
Rybalchenko2007PADL | Podelski, Andreas
Rybalchenko, Andrey | 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 |
Rybalchenko2007PLDI-Paths | Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey | 2007 | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article |
Rybalchenko2007PLDI-Threads | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | 2007 | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | Proceedings Article |
Rybalchenko2007POPL | Cook, Byron
Gotsman, Alexey
Podelski, Andreas
Rybalchenko, Andrey
Vardi, Moshe | 2007 | | Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276 | Proceedings Article |
Rybalchenko2007VMCAI-InvGen | Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey | 2007 | | Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | Proceedings Article |
Schaef2005 | Schäf, Martin | 2006 | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Thesis - Masters thesis |