Andreas Podelski

Identifiers

• name variant Andreas Podelski 0.60 · backfill

Papers (9)

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

Mentions

• 1801.09526 #4 · arxiv_oai · confidence 0.70 Andreas Podelski
• 1401.5347 #4 · backfill · confidence 0.70 Andreas Podelski
• 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
• Christian Schilling 1 shared papers
• Evren Ermis 1 shared papers
• Fr\'ed\'eric Viry 1 shared papers
• Goran Frehse 1 shared papers
• Jaechang Nam 1 shared papers
• Jan Leike 1 shared papers
• Karen Zee 1 shared papers
• Marcelo Forets 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
• Sergiy Bogomolov 1 shared papers
• Stephan Arlt 1 shared papers