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:


          Institute: MPI für Informatik     Collection: Programming Logics Group     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
Automated reasoning in some local extensions of ordered structures
Authors: Sofronie-Stokkermans, Viorica; Ihlemann, Carsten
Place of Publication: Los Alamitos, CA, USA
Publisher: IEEE Computer Society
Date of Publication (YYYY-MM-DD): 2007
Title of Proceedings: Proceedings of the 37th International Symposium on Multiple-Valued Logic (ISMVL'07)
Start Page: p.1.1
End Page: 6
Document Type: Conference-Paper
ID: 356427.0
Automated theorem proving by resolution in non-classical logics
Authors: Sofronie-Stokkermans, Viorica
Date of Publication (YYYY-MM-DD): 2007
Title of Journal: Annals of Mathematics and Artificial Intelligence
Volume: 49
Issue / Number: 1-4
Start Page: 221
End Page: 252
Document Type: Article
ID: 356426.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
Model-based User-interface Management for Public Services
Authors: Freiheit, Jörn; Zangl, Fabrice
Date of Publication (YYYY-MM-DD): 2007
Title of Journal: Electronic Journal of e-Government
Volume: 5
Issue / Number: 1
Start Page: 53
End Page: 62
Document Type: Article
ID: 356418.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
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.