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
Show details for 20132013
2
Show details for 20092009
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
Show details for PosterPoster
5
Show details for Journal ArticleJournal Article
1
Show details for Electronic Journal ArticleElectronic Journal Article
1
Show details for ReportReport
43
Show details for 20062006
41
Show details for 20052005
37
Show details for 20042004
36
Show details for 20032003
39
Show details for 20022002
58
Show details for 20012001
48
Show details for 20002000
61
Show details for 19991999
73
Show details for 19981998
42
Show details for 19971997
64
Show details for 19961996
55
Show details for 19951995
64
Show details for 19941994
47
Show details for 19931993

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