| Year | Author/Editor | | Title | Type |
|---|
| 2013 | Brahm, Uwe | | Möglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes | Thesis - Master's thesis |
| 2009 | Lee, Chin Soon | | Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42 | Journal Article |
| 2009 | Meter, Peter | | Just a test entry
In: Booktitle, 1001-1010 | Proceedings Article |
| 2007 | Ben-Amram, Amir M.
Lee, Chin Soon | | Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | Journal Article |
| 2007 | Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey | | Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | Proceedings Article |
| 2007 | Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey |  | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article |
| 2007 | Cook, Byron
Gotsman, Alexey
Podelski, Andreas
Rybalchenko, Andrey
Vardi, Moshe | | Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276 | Proceedings Article |
| 2007 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | Proceedings Article |
| 2007 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??], | Electronic Journal Article |
| 2007 | Podelski, Andreas
Rybalchenko, Andrey | | 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 |
| 2007 | Podelski, Andreas
Rybalchenko, Andrey | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | Journal Article |
| 2007 | Podelski, Andreas
Wagner, Silke | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report |
| 2007 | Podelski, Andreas
Wagner, Silke | | 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 |
| 2007 | Ratschan, Stefan
She, Zhikun | | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Journal Article |
| 2007 | Rybalchenko, Andrey | | Precise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ? | Proceedings Article |
| 2007 | Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | | Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Proceedings Article |
| 2007 | Sofronie-Stokkermans, Viorica | | Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | Journal Article |
| 2007 | Sofronie-Stokkermans, Viorica | | On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ? | Journal Article |
| 2007 | Wagner, Silke
Podelski, Andreas | | Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | Proceedings Article |
| 2006 | Ahrendt, Baumgartner, de Nivelle (ed.) | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings |
| 2006 | Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | | Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52 | Journal Article |
| 2006 | Brahm, Uwe | | Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik | Miscellaneous |
| 2006 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | 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 |
| 2006 | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418 | Proceedings Article |
| 2006 | Damm, Werner
Disch, Stefan
Hungar, Hardi
Pang, Jun
Pigorsch, Florian
Scholl, Christoph
Waldmann, Uwe
Wirtz, Boris | | Automatic Verification of Hybrid Systems with Large Discrete State Space
In: Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, 276-291 | Proceedings Article |
| 2006 | de Nivelle, Hans
Baumgartner, Peter
Fuchs, Alexander
Tinelli, Cesare | | Computing Finite Models by Reduction to Function-Free Clause Logic
In: IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability, 82-95 | Electronic Proceedings Article |
| 2006 | de Nivelle, Hans
Meng, Jia | | Geo 2006j | Miscellaneous |
| 2006 | de Nivelle, Hans
Meng, Jia | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article |
| 2006 | Dimitrova, Rayna | | Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes | Thesis - Master's thesis |
| 2006 | Domshlak, Carmel
Hoffmann, Jörg | | Fast Probabilistic Planning Through Weighted Model Counting
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 243-252 | Proceedings Article |
