Andreas Podelski

Identifiers

• name variant Andreas Podelski 0.60 · backfill

Papers (8)

1. Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages cs.SE · 2019 · author #5
2. Refining Trace Abstraction using Abstract Interpretation cs.LO · 2017 · author #3
3. A Logical Approach to Generating Test Plans cs.SE · 2016 · author #2
4. Proving Liveness of Parameterized Programs cs.LO · 2016 · author #3
5. Linear Ranking for Linear Lasso Programs cs.LO · 2014 · author #4
6. Monitoring Student Activity in Collaborative Software Development cs.CY · 2013 · author #2
7. Black-Box Verification for GUI Applications cs.SE · 2012 · author #4
8. On Verifying Complex Properties using Symbolic Shape Analysis cs.PL · 2006 · author #4

Mentions

• 1305.0787 #2 · backfill · confidence 0.70 Andreas Podelski
• 1210.4686 #4 · backfill · confidence 0.70 Andreas Podelski

Frequent Coauthors

• Daniel Dietsch 3 shared papers
• Jochen Hoenicke 2 shared papers
• Matthias Heizmann 2 shared papers
• Alexander Nutz 1 shared papers
• Azadeh Farzan 1 shared papers
• Evren Ermis 1 shared papers
• Jaechang Nam 1 shared papers
• Jan Leike 1 shared papers
• Karen Zee 1 shared papers
• Marius Greitschus 1 shared papers
• Martin Rinard 1 shared papers
• Martin Sch\"af 1 shared papers
• Pantelis M. Papadopoulos 1 shared papers
• Sergio Feo-Arenis 1 shared papers
• Stephan Arlt 1 shared papers
• Thomas Wies 1 shared papers
• Tobias Morciniec 1 shared papers
• Viktor Kuncak 1 shared papers
• Zachary Kincaid 1 shared papers