Andreas Podelski

Andreas Podelski

Universität Freiburg - Freiburg / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1783764
Albert Ludwig University of Freiburg
person_outline Andreas Podelski's MOST POPULAR ARTICLES
1-) A complete method for the synthesis of linear ranking functionsA Podelski, A RybalchenkoInternational Workshop on Verification, Model Checking, and Abstract …, 20045142004
2-) Termination proofs for systems codeB Cook, A Podelski, A RybalchenkoAcm Sigplan Notices 41 (6), 415-426, 20064592006
3-) Boolean and Cartesian abstraction for model checking C programsT Ball, A Podelski, SK RajamaniInternational Conference on Tools and Algorithms for the Construction and …, 20014392001
4-) Towards a meaning of LIFEH Ait-Kaci, A PodelskiThe Journal of Logic Programming 16 (3-4), 195-234, 19933861993
5-) Transition invariantsA Podelski, A RybalchenkoProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science …, 20043852004