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.