| Author(s) [non member] | Editor(s) [non member] | Year | | Title | Type | |
| 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 | |
| Prevosto, Virgile | [Coquand, Thierry]
[Lombardi, Henri]
[Roy, Marie-Franccoise] | 2006 | | Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Electronic Proceedings Article | |
| de Nivelle, Hans
[Baumgartner, Peter]
[Fuchs, Alexander]
[Tinelli, Cesare] | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | 2006 | | 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 | |
| Hoffmann, Jörg
[Brafman, Ronen I.] | | 2006 | | Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541 | Journal Article | |
| Ratschan, Stefan
She, Zhikun | [Calmet, Jacques]
[Ida, Tetsuo]
[Wang, Dongming] | 2006 | | Constraints for Continuous Reachability in the Verification of Hybrid Systems
In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | Proceedings Article | |
| [Dräge, Klaus]
[Finkbeiner, Bernd]
Podelski, Andreas | [Valmari, Antti] | 2006 | | Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | Proceedings Article | |
| Ratschan, Stefan | | 2006 | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748 | Journal Article | |
| Brahm, Uwe | | 2006 | | Eine integrierte Publikationsverwaltung am Beispiel des Max-Planck-Instituts für Informatik | Miscellaneous | |
| [Domshlak, Carmel]
Hoffmann, Jörg | [Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee] | 2006 | | 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 | |
| Wies, Thomas
[Kuncak, Viktor]
[Lam, Patrick]
Podelski, Andreas
[Rinard, Martin C.] | [Emerson, E. Allen]
[Namjoshi, Kedar S.] | 2006 | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | Proceedings Article | |
| Hoffmann, Jörg
[Sabharwal, Ashish]
[Domshlak, Carmel] | [Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee] | 2006 | | Friends or Foes? An AI Planning Perspective on Abstraction and Search
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 294-303 | Proceedings Article | |
| de Nivelle, Hans
[Meng, Jia] | | 2006 | | Geo 2006j | Miscellaneous | |
| de Nivelle, Hans
[Meng, Jia] | [Furbach, Ulrich]
[Shankar, Natarajan] | 2006 | | Geometric Resolution: A Proof Procedure Based on Finite Model Search
In: Automated reasoning : Third International Joint Conference, IJCAR 2006, 303-317 | Proceedings Article | |
| | [Ahrendt, Wolfgang]
[Baumgartner, Peter]
de Nivelle, Hans | 2006 | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | Electronic Proceedings | |