Please note that eDoc will be permanently shut down in the first quarter of 2021!      Home News About Us Contact Contributors Disclaimer Privacy Policy Help FAQ

Home
Search
Quick Search
Advanced
Fulltext
Browse
Collections
Persons
My eDoc
Session History
Login
Name:
Password:
Documentation
Help
Support Wiki
Direct access to
document ID:


          Display Documents


Institute:
Collection:
Print in Citation style Print version     Display:
Sort by: Display records with Fulltext only
Entries: 1-10  
 Basket 
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
 
Full text / Content available
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
Entries: 1-10  
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.