|
|
|
|
A Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems |
Authors: Podelski, Andreas; Wagner, Silke | Place of Publication: Saarbrücken | Publisher: Max-Planck-Institut für Informatik | Date of Publication (YYYY-MM-DD): 2007 | Title of (Report) Series: Max-Planck-Institut für Informatik / Research Report | Document Type: Report | ID: 356678.0 |
|
|
|
|
|
ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement |
Authors: Podelski, Andreas; Rybalchenko, Andrey | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Practical aspects of declarative languages : 9th International Symposium, PADL 2007 | Start Page: 245 | End Page: 259 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356707.0 |
|
|
|
|
|
A Sound and Complete Proof Rule for Region Stability of Hybrid Systems |
Authors: Podelski, Andreas; Wagner, Silke | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Hybrid systems: computation and control : 10th International Conference, HSCC 2007 | Start Page: 750 | End Page: 753 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356624.0 |
|
|
|
|
|
Precise Thread-Modular Verification |
Authors: Malkis, Alexander; Podelski, Andreas; Rybalchenko, Andrey | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Static Analysis : 14th International Symposium, SAS 2007 | Start Page: 218 | End Page: 232 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356625.0 |
|
|
|
|
|
Proving that programs eventually do something good |
Authors: Cook, Byron; Gotsman, Alexey; Podelski, Andreas; Rybalchenko, Andrey; Vardi, Moshe | Place of Publication: New York, USA | Publisher: ACM | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Conference Record of POPL® 2007 : The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | Start Page: 265 | End Page: 276 | Document Type: Conference-Paper | ID: 356677.0 |
|
|
|
|
|
Proving Thread Termination |
Authors: Cook, Byron; Podelski, Andreas; Rybalchenko, Andrey | Place of Publication: New York, NY, USA | Publisher: ACM | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: PLDI'07 : Proceedings of the 2007 Conference on Programming Language Design and Implementation | Start Page: 320 | End Page: 330 | Document Type: Conference-Paper | ID: 356640.0 |
|
|
|
|
|
Region Stability Proofs for Hybrid Systems |
Authors: Podelski, Andreas; Wagner, Silke | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2007 | Title of Proceedings: Formal Modeling and Analysis of Timed Systems : 5th International Conference, FORMATS 2007 | Start Page: 320 | End Page: 335 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 356626.0 |
|
|
|
|
|
Transition Predicate Abstraction and Fair Termination |
Authors: Podelski, Andreas; Rybalchenko, Andrey | Date of Publication (YYYY-MM-DD): 2007 | Title of Journal: ACM Transactions on Programming Languages and Systems | Volume: 29 | Issue / Number: 3 | Start Page: 15.1 | End Page: 15.31 | Document Type: Article | ID: 356627.0 |
|
|
|
|
|
Directed Model Checking with Distance-Preserving Abstractions |
Editors: Valmari, Antti | Authors: Dräge, Klaus; Finkbeiner, Bernd; Podelski, Andreas | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2006 | Title of Proceedings: Model checking software : 13th International SPIN Workshop | Start Page: 19 | End Page: 34 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 314399.0 |
|
|
|
|
|
Field Constraint Analysis |
Editors: Emerson, E. Allen; Namjoshi, Kedar S. | Authors: Wies, Thomas; Kuncak, Viktor; Lam, Patrick; Podelski, Andreas; Rinard, Martin C. | Place of Publication: Berlin, Germany | Publisher: Springer | Date of Publication (YYYY-MM-DD): 2006 | Title of Proceedings: Verification, Model Checking, and Abstract Interpretation : 7th International Conference, VMCAI 2006 | Start Page: 157 | End Page: 173 | Title of Series: Lecture Notes in Computer Science | Document Type: Conference-Paper | ID: 314487.0 |
|
|
The scope and number of records on eDoc is subject
to the collection policies defined by each institute
- see "info" button in the collection browse view.
|
|