MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Publications

Entries sorted by: 5. Year - 8. Counting Publications

Login to this database


 

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)


Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
#YAuthor/EditorTitle
1
Hide details for 20132013
1
Hide details for Thesis - Masters thesisThesis - Masters thesis
Brahm, UweMöglichkeiten des Groupware-Einsatzes im Umfeld des Wissenschaftlerarbeitsplatzes am Beispiel des Max-Planck-Instituts für Informatik
Universität des Saarlandes
2
Hide details for 20092009
1
Hide details for Proceedings ArticleProceedings Article
Meter, PeterJust a test entry
In: Booktitle, 1001-1010
1
Hide details for Journal ArticleJournal Article
Lee, Chin SoonRanking functions for size-change termination
In: ACM Transactions on Programming Languages and Systems [31], 10:1-10:42
16
Hide details for 20072007
8
Hide details for Proceedings ArticleProceedings Article
Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey		Invariant Synthesis for Combined Theories
In: Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, 378-394
Beyer, Dirk
Henzinger, Thomas
Majumdar, Rupak
Rybalchenko, Andrey		Attachment IconPath Invariants
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 300-309
Cook, Byron
Gotsman, Alexey
Podelski, Andreas
Rybalchenko, Andrey
Vardi, Moshe		Proving that programs eventually do something good
In: 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), 265-276
Cook, Byron
Podelski, Andreas
Rybalchenko, Andrey		Attachment IconProving Thread Termination
In: PLDI'07 : Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 320-330
Podelski, Andreas
Rybalchenko, Andrey		Attachment IconARMC: The Logical Choice for Software Model Checking with Abstraction Refinement
In: Practical aspects of declarative languages : 9th International Symposium, PADL 2007, 245-259
Rybalchenko, AndreyPrecise Thread-Modular Verification
In: 14th International Static Analysis Symposium (SAS 2007), ?
Rybalchenko, Andrey
Sofronie-Stokkermans, Viorica		Constraint Solving for Interpolation
In: 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), ?
Wagner, Silke
Podelski, Andreas		Region Stability Proofs for Hybrid Systems
In: Formal Modelling and Analysis of Timed Systems: 5th International Conference, FORMATS 2007, 16
1
Hide details for PosterPoster
Podelski, Andreas
Wagner, Silke		Attachment IconA Sound and Complete Proof Rule for Region Stability of Hybrid Systems
In: Hybrid systems: computation and control : 10th International Conference, HSCC 2007, 750-753
5
Hide details for Journal ArticleJournal Article
Ben-Amram, Amir M.
Lee, Chin Soon		Program termination analysis in polynomial time
In: ACM Transactions on Programming Languages and Systems [29], 5:1-37
Podelski, Andreas
Rybalchenko, Andrey		Transition Predicate Abstraction and Fair Termination
In: ACM Transactions on Programming Languages and Systems [29], 30
Ratschan, Stefan
She, Zhikun		Attachment IconSafety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement
In: ACM Transactions in Embedded Computing Systems [6], 1-23
Sofronie-Stokkermans, VioricaAttachment IconAutomated theorem proving by resolution in non-classic logics
In: Discrete Applied Mathematics [?], ?
Sofronie-Stokkermans, VioricaAttachment IconOn unification for bounded distributive lattices
In: ACM Transactions on Computational Logic [8], ?
1
Hide details for Electronic Journal ArticleElectronic Journal Article
Jacobs, Swen
Sofronie-Stokkermans, Viorica		Applications of hierarchical reasoning in the verification of complex systems
In: Electronic Notes in Theoretical Computer Science [??],
1
Hide details for ReportReport
Podelski, Andreas
Wagner, Silke		Attachment IconA Method and a Tool for Automatic Verification of Region Stability for Hybrid Systems

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)