| # | Y |  | Author/Editor | | Title | |
|---|
| | | Podelski, Andreas
Wagner, Silke |  | A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems | |
| 43 |
| |
| 1 |
|
 | Electronic Proceedings |
| |
| | | Ahrendt, Baumgartner, de Nivelle (ed.) | | IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability | |
| 25 |
|
| Proceedings Article |
| |
| | | 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 | |
| | | Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey | | Terminator: Beyond Safety
In: Computer aided verification : 18th International Conference, CAV 2006, 415-418 | |
| | | 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 | |
| | | 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 | |
| | | 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 | |
| | | Dräge, Klaus
Finkbeiner, Bernd
Podelski, Andreas | | Directed Model Checking with Distance-Preserving Abstractions
In: Model checking software : 13th International SPIN Workshop, 19-34 | |
| | | Freiheit, Jörn
Zangl, Fabrice | | Model-based user-interface management for public services
In: 6th European Conference on e-Government, 141-151 | |
| | | Ganzinger, Harald
Korovin, Konstantin | | Theory Instantiation
In: 13th Conference on Logic for Programming Artificial Intelligence Reasoning (LPAR'06), 497-511 | |
| | | Ganzinger, Harald
Korovin, Konstantin | | Theory Instantiation
In: Logic for Programming, Artificial Intelligence, and Reasoning : 13th International Conference, LPAR 2006, 497-511 | |
| | | 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 | |
| | | 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 | |
| | | 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 | |
| | | 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, ??-?? | |
| | | 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 | |
| | | 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 | |
| | | 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 | |
| | | Prevosto, Virgile
Waldmann, Uwe | | SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | |
| | | 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 | |
| | | Ratschan, Stefan
Smaus, Jan-Georg | | Verification-Integrated Falsification of Non-Deterministic Hybrid Systems
In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ? | |
| | | 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 | |
| | | 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 | |
| | | 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 | |
| | | Sofronie-Stokkermans, Viorica | | Interpolation in local theory extensions
In: Proceedings of IJCAR 2006, 235-250 | |
| | | Sofronie-Stokkermans, Viorica | | Sheaves and geometric logic in concurrency
In: Proceedings of the Eighth Workshop on Geometric and Topological Methods in Concurrency (GETCO 2006), ? | |
| | | Wies, Thomas
Kuncak, Viktor
Lam, Patrick
Podelski, Andreas
Rinard, Martin C. | | Field Constraint Analysis
In: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006, 157-173 | |
