Andreas Podelski

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 57

Top Venues

Publications

Elisabeth Henkel, Nico Hauff, Vincent Langenfeld, Lukas Eber, Andreas Podelski
Systematic adaptation and investigation of the understandability of a formal pattern language. Requir. Eng. 29 (1) (2024)
Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). TACAS (3) (2024)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Commutativity Simplifies Proofs of Parameterized Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Stratified Commutativity in Verification Algorithms for Concurrent Programs. Proc. ACM Program. Lang. 7 (POPL) (2023)
Elisabeth Henkel, Nico Hauff, Lukas Eber, Vincent Langenfeld, Andreas Podelski
An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. REFSQ (2023)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) (2023)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Commutativity Simplifies Proofs of Parameterized Programs. CoRR (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Azadeh Farzan, Dominik Klumpp, Andreas Podelski
Sound sequentialization for concurrent program verification. PLDI (2022)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). TACAS (2) (2022)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling
Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). Inf. Comput. 289 (Part) (2022)
Dirk Beyer, Andreas Podelski
Software Model Checking: 20 Years and Beyond. Principles of Systems Design (2022)
Vincent Langenfeld, Bernd Westphal, Andreas Podelski
A Formal Operational Model of ACT-R: Structure and Behaviour. CogSci (2021)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Separating Map Variables in a Logic-Based Intermediate Verification Language. NETYS (2021)
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops (2021)
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. CoRR (2021)
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Temporal prophecy for proving temporal properties of infinite-state systems. Formal Methods Syst. Des. 57 (2) (2021)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
Verification of Concurrent Programs Using Petri Net Unfoldings. VMCAI (2021)
Alexander Heinz, Martin Wehrle, Sergiy Bogomolov, Daniele Magazzeni, Marius Greitschus, Andreas Podelski
Temporal Planning as Refinement-Based Model Checking. ICAPS (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Ultimate TreeAutomizer (CHC-COMP Tool Description). HCVS/PERR@ETAPS (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. CoRR (2019)
Vincent Langenfeld, Bernd Westphal, Andreas Podelski
On Formal Verification of ACT-R Architectures and Models. CogSci (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
The Map Equality Domain. VSTTE (2018)
Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Temporal Prophecy for Proving Temporal Properties of Infinite-State Systems. FMCAD (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Vincent Langenfeld, Bernd Westphal, Rebecca Albrecht, Andreas Podelski
But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. CogSci (2018)
Jochen Hoenicke, Alexander Nutz, Andreas Podelski
A Tree-Based Approach to Data Flow Proofs. VSTTE (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. CoRR (2018)
Oded Padon, Jochen Hoenicke, Giuliano Losa, Andreas Podelski, Mooly Sagiv, Sharon Shoham
Reducing liveness to safety in first-order logic. Proc. ACM Program. Lang. 2 (POPL) (2018)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) (2018)
Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling
Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. HSCC (2018)
Marius Greitschus, Daniel Dietsch, Andreas Podelski
Refining Trace Abstraction using Abstract Interpretation. CoRR (2017)
Jochen Hoenicke, Rupak Majumdar, Andreas Podelski
Thread modularity at many levels: a pearl in compositional verification. POPL (2017)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Marius Greitschus, Daniel Dietsch, Andreas Podelski
Loop Invariants from Counterexamples. SAS (2017)
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski
Craig vs. Newton in software model checking. ESEC/SIGSOFT FSE (2017)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proving Liveness of Parameterized Programs. CoRR (2016)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Guided search for hybrid systems based on coarse-grained space abstractions. Int. J. Softw. Tools Technol. Transf. 18 (4) (2016)
Tobias Morciniec, Andreas Podelski
A Logical Approach to Generating Test Plans. CoRR (2016)
Andreas Podelski, Martin Schäf, Thomas Wies
Classifying Bugs with Interpolants. TAP@STAF (2016)
Christian Schilling, Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess
Adaptive moment closure for parameter inference of biochemical reaction networks. Biosyst. 149 (2016)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proving Liveness of Parameterized Programs. LICS (2016)
Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski
Ultimate Automizer with Two-track Proofs - (Competition Contribution). TACAS (2016)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski
Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28 (3) (2016)
Vincent Langenfeld, Amalinda Post, Andreas Podelski
Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. REFSQ (2016)
Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. CAV (1) (2015)
Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski
Ultimate Automizer with Array Interpolation - (Competition Contribution). TACAS (2015)
Stephan Arlt, Tobias Morciniec, Andreas Podelski, Silke Wagner
If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. ICST (2015)
Stephan Arlt, Sergio Feo Arenis, Andreas Podelski, Martin Wehrle
System Testing and Program Verification. Software Engineering & Management (2015)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proof Spaces for Unbounded Parallelism. POPL (2015)
Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski
ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). TACAS (2015)
Jochen Hoenicke, Andreas Podelski
Fairness for Infinitary Control. Correct System Design (2015)
Tobias Morciniec, Andreas Podelski
Using the requirements specification to infer the implicit test status of requirements. RE (2015)
Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski
Eliminating spurious transitions in reachability with support functions. HSCC (2015)
Sergiy Bogomolov, Thomas A. Henzinger, Andreas Podelski, Jakob Ruess, Christian Schilling
Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks. CMSB (2015)
Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski
Automated Program Verification. LATA (2015)
Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle
Planning as Model Checking in Hybrid Domains. AAAI (2014)
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski
Linear Ranking for Linear Lasso Programs. CoRR (2014)
Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal, Andreas Podelski
Quasi-dependent variables in hybrid automata. HSCC (2014)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Proofs that count. POPL (2014)
Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski
Ultimate Kojak - (Competition Contribution). TACAS (2014)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Termination Analysis by Learning Terminating Programs. CAV (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Termination Analysis by Learning Terminating Programs. CoRR (2014)
Stephan Arlt, Andreas Podelski, Martin Wehrle
Reducing GUI test suites via program slicing. ISSTA (2014)
Christian Herrera, Bernd Westphal, Andreas Podelski
Quasi-Equal Clock Reduction: More Networks, More Queries. TACAS (2014)
Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference (2014)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Verification of GUI Applications: A Black-Box Approach. ISoLA (1) (2014)
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T. Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle
Abstraction-Based Guided Search for Hybrid Systems. SPIN (2013)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski
Push-Down Automata with Gap-Order Constraints. FSEN (2013)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Software Model Checking for People Who Love Automata. CAV (2013)
Marco Muñiz, Bernd Westphal, Andreas Podelski
Detecting Quasi-equal Clocks in Timed Automata. FORMATS (2013)
Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf
Monitoring Student Activity in Collaborative Software Development CoRR (2013)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS (2013)
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
Inductive data flow graphs. POPL (2013)
Andreas Podelski
Automata as Proofs. VMCAI (2013)
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski
Linear Ranking for Linear Lasso Programs. ATVA (2013)
Andreas Podelski
Interpolant Automata - (Invited Talk). ATVA (2012)
Christian Herrera, Bernd Westphal, Sergio Feo Arenis, Marco Muñiz, Andreas Podelski
Reducing Quasi-Equal Clocks in Networks of Timed Automata. FORMATS (2012)
Marco Muñiz, Bernd Westphal, Andreas Podelski
Timed Automata with Disjoint Activity. FORMATS (2012)
Stephan Arlt, Evren Ermis, Sergio Feo Arenis, Andreas Podelski
Black-Box Verification for GUI Applications CoRR (2012)
Stephan Arlt, Pedro Borromeo, Martin Schäf, Andreas Podelski
Parameterized GUI Tests. ICTSS (2012)
Stephan Arlt, Andreas Podelski, Cristiano Bertolini, Martin Schäf, Ishan Banerjee, Atif M. Memon
Lightweight Static Analysis for GUI Testing. ISSRE (2012)
Evren Ermis, Jochen Hoenicke, Andreas Podelski
Splitting via Interpolants. VMCAI (2012)
Bernd Westphal, Daniel Dietsch, Sergio Feo Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhöfer
Towards successful subcontracting for software in small to medium-sized enterprises. RELAW (2012)
Amalinda Post, Igor Menzel, Jochen Hoenicke, Andreas Podelski
Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. Requir. Eng. 17 (1) (2012)
Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle
A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. CAV (2012)
Daniel Dietsch, Bernd Westphal, Andreas Podelski
System Verification through Program Verification. FM (2011)
Daniel Dietsch, Sergio Feo Arenis, Bernd Westphal, Andreas Podelski
Disambiguation of industrial standards through formalization and graphical languages. RE (2011)
Amalinda Post, Jochen Hoenicke, Andreas Podelski
rt-Inconsistency: A New Property for Real-Time Requirements. FASE (2011)
Amalinda Post, Jochen Hoenicke, Andreas Podelski
Vacuous real-time requirements. RE (2011)
Amalinda Post, Igor Menzel, Andreas Podelski
Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study. REFSQ (2011)
Corina Mitrohin, Andreas Podelski
Composing Stability Proofs for Hybrid Systems. FORMATS (2011)
Amalinda Post, Andreas Podelski
Automatische Validierung von Anforderungen. Softwaretechnik-Trends 31 (1) (2011)
Andreas Podelski, Andrey Rybalchenko
Transition Invariants and Transition Predicate Abstraction for Program Termination. TACAS (2011)
Byron Cook, Andreas Podelski, Andrey Rybalchenko
Proving program termination. Commun. ACM 54 (5) (2011)
Sergiy Bogomolov, Corina Mitrohin, Andreas Podelski
Composing Reachability Analyses of Hybrid Systems for Safety and Stability. ATVA (2010)
Sergiy Bogomolov, Martin Mann, Björn Voß, Andreas Podelski, Rolf Backofen
Shape-based Barrier Estimation for RNAs. GCB (2010)
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, Martin Schäf, Thomas Wies
Doomed program points. Formal Methods Syst. Des. 37 (2-3) (2010)

Andreas Podelski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Podelski