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 
Constraint Solving for Interpolation
Authors: Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Date of Publication (YYYY-MM-DD): 2010
Title of Journal: Journal of Symbolic Computation
Volume: 45
Issue / Number: 11
Start Page: 1212
End Page: 1233
Document Type: Article
ID: 536334.0
Constraint Solving for Interpolation
Authors: Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Place of Publication: SFB/TR 14 AVACS
Date of Publication (YYYY-MM-DD): 2009
Document Type: Report
ID: 521091.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
Constraint Solving for Interpolation
Authors: Rybalchenko, Andrey; Sofronie-Stokkermans, Viorica
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2007
Title of Proceedings: Verification, Model Checking and Abstract Interpretation : 8th International Conference, VMCAI 2007
Start Page: 346
End Page: 362
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 356421.0
Invariant Synthesis for Combined Theories
Authors: Beyer, Dirk; Henzinger, Thomas; Majumdar, Rupak; Rybalchenko, Andrey
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 2007
Title of Proceedings: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007
Start Page: 378
End Page: 394
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 356708.0
Path Invariants
Authors: Beyer, Dirk; Henzinger, Thomas; Majumdar, Rupak; 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: 300
End Page: 309
Document Type: Conference-Paper
ID: 356629.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
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
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.