Year | Author/Editor | | Title | Type |
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 |
2006 | Dräge, Klaus
Finkbeiner, Bernd
Podelski, Andreas | | Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | Proceedings Article |
2006 | Freiheit, Jörn
Luuk, Marc
Münch, Susanne
Sijanski, Grozdana
Zangl, Fabrice | | Lexecute: Visualisation and representation of legal procedures
In: Digital Evidence Journal [3], 17-27 | Journal Article |
2006 | Freiheit, Jörn
Zangl, Fabrice | | Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | Proceedings Article |
2006 | Ganzinger, Harald
Korovin, Konstantin | | Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | Proceedings Article |
2006 | Ganzinger, Harald
Korovin, Konstantin | | Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | Proceedings Article |
2006 | Ganzinger, Harald
Sofronie-Stokkermans, Viorica
Waldmann, Uwe | | Modular Proof Systems for Partial Functions with Evans Equality
In: Information and Computation [204], 1453-1492 | Journal Article |
2006 | Hillenbrand, Thomas
Topic, Dalibor
Weidenbach, Christoph | | Sudokus as Logical Puzzles
In: Proceedings of the Third Workshop on Disproving, 2-12 | Electronic Proceedings Article |
2006 | Hoffmann, Jörg
Brafman, Ronen I. | | Conformant planning via heuristic forward search: A new approach
In: Artificial Intelligence [170], 507-541 | Journal Article |
2006 | Hoffmann, Jörg
Gomes, Carla
Selman, Bart | | 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 |
2006 | Hoffmann, Jörg
Sabharwal, Ashish
Domshlak, Carmel | | 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 |
2006 | Jacobs, Swen
Sofronie-Stokkermans, Viorica | | 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 |
2006 | Jensen, Kurt
Podelski, Andreas | | Tools and algorithms for the construction and analysis of systems
In: International Journal on Software Tools for Technology Transfer [8], 177-179 | Journal Article |
2006 | Kazakov, Yevgeny | | Saturation-Based Decision Procedures For Extensions Of The Guarded Fragment
Universität des Saarlandes | Thesis - Doctoral dissertation |
2006 | Kupferschmid, Sebastian
Hoffmann, Jörg
Dierks, Henning
Behrmann, Gerd | | Adapting an AI Planning Heuristic for Directed Model Checking
In: Model checking software : 13th International SPIN Workshop, 35-52 | Proceedings Article |
2006 | Lilith, Nimrod
Billington, Jonathan
Freiheit, Jörn | | 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 |
2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | | Thread-Modular Verification and Cartesian Abstraction | Unpublished/Draft |
2006 | Malkis, Alexander
Podelski, Andreas
Rybalchenko, Andrey | | Thread-Modular Verification is Cartesian Abstract Interpretation
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 183-197 | Proceedings Article |
2006 | Meyer, Roland
Faber, Johannes
Rybalchenko, Andrey | | Model checking Duration Calculus: a practical approach
In: Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, 332-346 | Proceedings Article |
2006 | Podelski, Andreas
Wagner, Silke | | Model Checking of Hybrid Systems: From Reachability towards Stability
In: Hybrid Systems: Computation and Control : 9th International Workshop, HSCC 2006
, 507-521 | Proceedings Article |
2006 | Prevosto, Virgile | | Certified mathematical hierarchies: the FoCal system.
In: Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop, | Electronic Proceedings Article |
2006 | Prevosto, Virgile
Waldmann, Uwe | | SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | Proceedings Article |
2006 | Ratschan, Stefan | | Efficient Solving of Quantified Inequality Constraints over the Real Numbers
In: ACM Transactions on Computational Logic [7], 723-748 | Journal Article |
2006 | Ratschan, Stefan
She, Zhikun | | 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 |
2006 | Ratschan, Stefan
Smaus, Jan-Georg | | Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | Proceedings Article |
2006 | Schäf, Martin | | Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes | Thesis - Master's thesis |
2006 | She, Zhikun
Ratschan, Stefan | | 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 |
2006 | She, Zhikun
Xia, Bican
Xiao, Rong | | A Semi-Algebraic Approach for the Computation of Lyapunov Functions
In: 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE, 7-12 | Proceedings Article |
2006 | Simon, Carlo
Freiheit, Jörn
Olbrich, Sebastian | | Using BPEL processes defined by Event-driven Process Chains
In: 5. GI-Workshop "EPK 2006 - Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten", 121-135 | Proceedings Article |
2006 | Sofronie-Stokkermans, Viorica | | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | Proceedings Article |