| Author(s) [non member] | Editor(s) [non member] | Year | | Title | Type | |
| [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 | |
| Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare] | | 2006 | | Implementing the Model Evolution Calculus
In: International Journal on Artificial Intelligence Tools [15], 21-52 | Journal Article | |
| Sofronie-Stokkermans, Viorica | [Furbach, Ulrich]
[Shankar, Natarajan] | 2006 | | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | Proceedings Article | |
| Freiheit, Jörn
[Luuk, Marc]
[Münch, Susanne]
[Sijanski, Grozdana]
[Zangl, Fabrice] | | 2006 | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article | |
| Sofronie-Stokkermans, Viorica | [Autexier, Serge]
[Mantel, Heiko] | 2006 | | Local reasoning in verification
In: Proceedings of VERIFY'06: Verification Workshop, 128-145 | Electronic Proceedings Article | |
| Freiheit, Jörn
[Zangl, Fabrice] | [Remenyi, Dan] | 2006 | | Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Proceedings Article | |
| [Meyer, Roland]
[Faber, Johannes]
Rybalchenko, Andrey | [Barkaoui, Kamel]
[Cavalcanti, Ana]
[Cerone, Antonio] | 2006 | | Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Proceedings Article | |
| Podelski, Andreas
Wagner, Silke | [Hespanha, João P.]
[Tiwari, Ashish] | 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 | |
| Dimitrova, Rayna | | 2006 | | Model Checking with Abstraction Refinement for Well-Structured Systems
Universität des Saarlandes | Thesis - Master's thesis | |
| Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | 2006 | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Journal Article | |
| She, Zhikun
Ratschan, Stefan | | 2006 | | Providing a Basin of Attraction to a Target Region by Computation of Lyapunov-like Functions
In: 4th IEEE International Conference on Computational Cybernetics, 245-249 | Proceedings Article | |
| Kazakov, Yevgeny | | 2006 | | Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes | Thesis - Doctoral dissertation | |
| Sofronie-Stokkermans, Viorica | | 2006 | | Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ? | Proceedings Article | |
| [Prevosto, Virgile]
Waldmann, Uwe | [Sutcliffe, Geoff]
[Schmidt, Renate]
[Schulz, Stephan] | 2006 | | SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | Proceedings Article | |
| Hoffmann, Jörg
[Gomes, Carla]
[Selman, Bart] | [Long, Derek]
[Smith, Stephen F.]
[Borrajo, Daniel]
[McCluskey, Lee] | 2006 | | Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning
In: Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS 2006), 284-293 | Proceedings Article | |
| Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | [Ahrendt, Wolfgang]
Baumgartner, Peter
de Nivelle, Hans | 2006 | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article | |
| [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 | |