| Author(s) [non member] | Editor(s) [non member] | Year | | Title | Type | |
| D |
| |
| |
| I |
| |
| |
| *No CR Index |
| |
| Brahm, Uwe | | 2013 | | 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 | |
| Meter, Peter | Blubber, Bla
Bla, Blubber | 2009 | | Just a test entry
In: Booktitle, 1001-1010 | Proceedings Article | |
| Lee, Chin Soon | | 2009 | | Ranking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42 | Journal Article | |
| [Podelski, Andreas]
Wagner, Silke | | 2007 | | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | Report | |
| [Podelski, Andreas]
Wagner, Silke | Bemporad, Alberto
Bicchi, Antonio
Buttazzo, Giorgio C. | 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 | |
| Jacobs, Swen
Sofronie-Stokkermans, Viorica | | 2007 | | Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??], | Electronic Journal Article | |
| [Podelski, Andreas]
Rybalchenko, Andrey | Hanus, Michael | 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 | |
| Sofronie-Stokkermans, Viorica | | 2007 | | Automated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ? | Journal Article | |
| Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica | [Cook, Byron]
[Podelski, Andreas] | 2007 | | Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ? | Proceedings Article | |
| [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | [Cook, Byron]
[Podelski, Andreas] | 2007 | | Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394 | Proceedings Article | |
| Sofronie-Stokkermans, Viorica | | 2007 | | On unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ? | Journal Article | |
| [Beyer, Dirk]
[Henzinger, Thomas]
[Majumdar, Rupak]
Rybalchenko, Andrey | [Ferrante, Jeanne]
[McKinley, Kathryn S.] | 2007 | | Path Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309 | Proceedings Article | |
| Rybalchenko, Andrey | | 2007 | | Precise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ? | Proceedings Article | |
| [Ben-Amram, Amir M.]
Lee, Chin Soon | | 2007 | | Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37 | Journal Article | |
| [Cook, Byron]
[Gotsman, Alexey]
[Podelski, Andreas]
Rybalchenko, Andrey
[Vardi, Moshe] | [Hofmann, Martin]
[Felleisen, Matthias] | 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 | |
| [Cook, Byron]
[Podelski, Andreas]
Rybalchenko, Andrey | [Ferrante, Jeanne]
[McKinley, Kathryn S.] | 2007 | | Proving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330 | Proceedings Article | |
| Wagner, Silke
[Podelski, Andreas] | [Raskin, J.-F.]
[Thiagarajan, P.S.] | 2007 | | Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16 | Proceedings Article | |
| 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 | |
| Podelski, Andreas
Rybalchenko, Andrey | | 2007 | | Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30 | Journal Article | |
| She, Zhikun
Xia, Bican
[Xiao, Rong] | [Kovalerchuk, B.] | 2006 | | A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12 | Proceedings Article | |
| Schäf, Martin | | 2006 | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Thesis - Master's thesis | |
| [Kupferschmid, Sebastian]
Hoffmann, Jörg
[Dierks, Henning]
[Behrmann, Gerd] | [Valmari, Antti] | 2006 | | Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52 | Proceedings Article | |
| Jacobs, Swen
Sofronie-Stokkermans, Viorica | [Cook, Byron]
[Sebastiani, Roberto] | 2006 | | Applications of hierarchical reasoning in the verification of complex systems
In: PDPAR'06: Pragmatical Aspects of Decision Procedures in Automated Reasoning, 15-26 | Electronic Proceedings Article | |
| [Lilith, Nimrod]
[Billington, Jonathan]
Freiheit, Jörn | | 2006 | | Approximate Closed-Form Aggregation of a Fork-Join Structure in Generalised Stochastic Petri Nets
In: 1st International Conference on Performance Evaluation Methodologies and Tools, ??-?? | Proceedings Article | |
| [Damm, Werner]
[Disch, Stefan]
[Hungar, Hardi]
[Pang, Jun]
[Pigorsch, Florian]
[Scholl, Christoph]
Waldmann, Uwe
[Wirtz, Boris] | [Graf, Susanne]
[Zhang, Wenhui] | 2006 | | 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 | |