Definite tree languages. - Maurice Nivat; Andreas Podelski (Bull. EATCS, 1989)

A Geometrical View of the Determinization and Minimization of Finite-State Automata. - Bruno Courcelle; Damian Niwinski; Andreas Podelski (Math. Syst. Theory, 1991)

A monoid approach to tree automata. - Andreas Podelski (Tree Automata and Languages, 1992)

Logic Programming with Functions over Order-Sorted Feature Terms. - Hassan Aït-Kaci; Andreas Podelski (ELP, 1992)

A Feature-Based Constraint System for Logic Programming with Entailment. - Hassan Aït-Kaci; Andreas Podelski; Gert Smolka (FGCS, 1992)

On Reverse and General Definite Tree Languages (Extended Abstract). - Pierre Péladeau; Andreas Podelski (ICALP, 1992)

An Informal Introduction to LIFE. - Hassan Aït-Kaci; Andreas Podelski; Peter Van Roy (ICLP Workshop on Concurrent Constraint Programming, 1993)

The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. - Andreas Podelski; Peter Van Roy (ICLP Workshop on Concurrent Constraint Programming, 1993)

Ultimately Periodic Words of Rational w-Languages. - Hugues Calbrix; Maurice Nivat; Andreas Podelski (MFPS, 1993)

Entailment and Disentailment of Order-Sorted Feature Constraints. - Hassan Aït-Kaci; Andreas Podelski (PPCP, 1993)

Equational and Membership Constraints for Finite Trees. - Joachim Niehren; Andreas Podelski; Ralf Treinen (RTA, 1993)

The Beauty and the Beast Algorithm. - Andreas Podelski; Peter Van Roy (ILPS, 1993)

Feature Automata and Recognizable Sets of Feature Trees. - Joachim Niehren; Andreas Podelski (TAPSOFT, 1993)

Another variation on the common subexpression problem. - Maurice Nivat; Andreas Podelski (Discret. Math., 1993)

Towards a Meaning of LIFE. - Hassan Aït-Kaci; Andreas Podelski (J. Log. Program., 1993)

The Beauty and the Beast Algorithm: Quasi-Linear Incremental Tests of Entailment and Disentailment over Trees. - Andreas Podelski; Peter Van Roy (ILPS, 1994)

A Feature Constraint System for Logic Programming with Entailment. - Hassan Aït-Kaci; Andreas Podelski; Gert Smolka (Theor. Comput. Sci., 1994)

Rabin Tree Automata and Finite Monoids. - Danièle Beauquier; Andreas Podelski (Theor. Comput. Sci., 1994)

Functions as Passive Constraints in LIFE. - Hassan Aït-Kaci; Andreas Podelski (ACM Trans. Program. Lang. Syst., 1994)

A Detailed Algorithm Testing Guards over Feature Trees. - Andreas Podelski; Peter Van Roy (Constraint Processing, Selected Papers, 1995)

Operational Semantics of Constraint Logic Programs with Coroutining. - Andreas Podelski; Gert Smolka (ICLP, 1995)

The Independence Property of a Class of Set Constraints. - Witold Charatonik; Andreas Podelski (CP, 1996)

Set Constraints: A Pearl in Research on Constraints. - Leszek Pacholski; Andreas Podelski (CP, 1997)

LISA: A Specification Language Based on WS2S. - Abdelwaheb Ayari; David A. Basin; Andreas Podelski (CSL, 1997)

Set-Based Analysis of Logic Programs and Reactive Logic Programs (Abstract). - Andreas Podelski (ILPS, 1997)

Inclusion Constraints over Non-empty Sets of Trees. - Martin Müller 001; Joachim Niehren; Andreas Podelski (TAPSOFT, 1997)

Order Sorted Feature Theory Unification. - Hassan Aït-Kaci; Andreas Podelski; Seth Copen Goldstein (J. Log. Program., 1997)

Minimal Ascending and Descending Tree Automata. - Maurice Nivat; Andreas Podelski (SIAM J. Comput., 1997)

Situated Simplification. - Andreas Podelski; Gert Smolka (Theor. Comput. Sci., 1997)

The Horn Mu-calculus. - Witold Charatonik; David A. McAllester; Damian Niwinski; Andreas Podelski; Igor Walukiewicz (LICS, 1998)

Co-definite Set Constraints. - Witold Charatonik; Andreas Podelski (RTA, 1998)

Directional Type Inference for Logic Programs. - Witold Charatonik; Andreas Podelski (SAS, 1998)

Set-Based Analysis of Reactive Infinite-State Systems. - Witold Charatonik; Andreas Podelski (TACAS, 1998)

Constraint-Based Analysis of Broadcast Protocols. - Giorgio Delzanno; Javier Esparza; Andreas Podelski (CSL, 1999)

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs. - Andreas Podelski; Witold Charatonik; Martin Müller 001 (ESOP, 1999)

Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata. - Supratik Mukhopadhyay; Andreas Podelski (FSTTCS, 1999)

Verification of Infinite-State Systems in Constraint Logic Programming. - Giorgio Delzanno; Andreas Podelski (JFPLC, 1999)

Model Checking in CLP. - Giorgio Delzanno; Andreas Podelski (TACAS, 1999)

Model Checking for Timed Logic Processes. - Supratik Mukhopadhyay; Andreas Podelski (Computational Logic, 2000)

Paths vs. Trees in Set-Based Program Analysis. - Witold Charatonik; Andreas Podelski; Jean-Marc Talbot (POPL, 2000)

Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs. - Javier Esparza; Andreas Podelski (POPL, 2000)

Model Checking as Constraint Solving. - Andreas Podelski (SAS, 2000)

Ordering Constraints over Feature Trees. - Martin Müller 001; Joachim Niehren; Andreas Podelski (Constraints An Int. J., 2000)

Accurate Widenings and Boundedness Properties of Timed Systems. - Supratik Mukhopadhyay; Andreas Podelski (Ershov Memorial Conference, 2001)

Constraint Database Models Characterizing Timed Bisimilarity. - Supratik Mukhopadhyay; Andreas Podelski (PADL, 2001)

Model Checking Communication Protocols. - Pablo Argón; Giorgio Delzanno; Supratik Mukhopadhyay; Andreas Podelski (SOFSEM, 2001)

Constraint-based deductive model checking. - Giorgio Delzanno; Andreas Podelski (Int. J. Softw. Tools Technol. Transf., 2001)

Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP. - Witold Charatonik; Supratik Mukhopadhyay; Andreas Podelski (ICLP, 2002)

An Algebraic Framework for Abstract Model Checking. - Supratik Mukhopadhyay; Andreas Podelski (SARA, 2002)

Relative Completeness of Abstraction Refinement for Software Model Checking. - Thomas Ball 001; Andreas Podelski; Sriram K. Rajamani (TACAS, 2002)

Compositional Termination Analysis of Symbolic Forward Analysis. - Witold Charatonik; Supratik Mukhopadhyay; Andreas Podelski (VMCAI, 2002)

Set Constraints with Intersection. - Witold Charatonik; Andreas Podelski (Inf. Comput., 2002)

Software Model Checking with Abstraction Refinement. - Andreas Podelski (VMCAI, 2003)

Boolean and Cartesian abstraction for model checking C programs. - Thomas Ball 001; Andreas Podelski; Sriram K. Rajamani (Int. J. Softw. Tools Technol. Transf., 2003)

Constraints in Program Analysis and Verification. - Andreas Podelski (CP, 2004)

Transition Invariants. - Andreas Podelski; Andrey Rybalchenko (LICS, 2004)

A Complete Method for the Synthesis of Linear Ranking Functions. - Andreas Podelski; Andrey Rybalchenko (VMCAI, 2004)

Introduction to the Special Issue on Verification and Computational Logic. - Michael Leuschel; Andreas Podelski; C. R. Ramakrishnan 001; Ulrich Ultes-Nitsche (Theory Pract. Log. Program., 2004)

Summaries for While Programs with Recursion. - Andreas Podelski; Ina Schaefer; Silke Wagner (ESOP, 2005)

Abstraction Refinement for Termination. - Byron Cook; Andreas Podelski; Andrey Rybalchenko (SAS, 2005)

Boolean Heaps. - Andreas Podelski; Thomas Wies (SAS, 2005)

Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems. - Amir Pnueli; Andreas Podelski; Andrey Rybalchenko (TACAS, 2005)

Verification of cryptographic protocols: tagging enforces termination. - Bruno Blanchet; Andreas Podelski (Theor. Comput. Sci., 2005)

Special issue. - Kurt Jensen; Andreas Podelski (Theor. Comput. Sci., 2005)

Terminator: Beyond Safety. - Byron Cook; Andreas Podelski; Andrey Rybalchenko (CAV, 2006)

Model Checking of Hybrid Systems: From Reachability Towards Stability. - Andreas Podelski; Silke Wagner (HSCC, 2006)

Thread-Modular Verification Is Cartesian Abstract Interpretation. - Alexander Malkis; Andreas Podelski; Andrey Rybalchenko (ICTAC, 2006)

Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. - Jörg Hoffmann 001; Jan-Georg Smaus; Andrey Rybalchenko; Sebastian Kupferschmid; Andreas Podelski (MoChArt, 2006)

Termination proofs for systems code. - Byron Cook; Andreas Podelski; Andrey Rybalchenko (PLDI, 2006)

Field Constraint Analysis. - Thomas Wies; Viktor Kuncak; Patrick Lam 001; Andreas Podelski; Martin C. Rinard (VMCAI, 2006)

On Verifying Complex Properties using Symbolic Shape Analysis - Thomas Wies; Viktor Kuncak; Karen Zee; Andreas Podelski; Martin C. Rinard (CoRR, 2006)

Tools and algorithms for the construction and analysis of systems. - Kurt Jensen; Andreas Podelski (Int. J. Softw. Tools Technol. Transf., 2006)

Region Stability Proofs for Hybrid Systems. - Andreas Podelski; Silke Wagner (FORMATS, 2007)

A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. - Andreas Podelski; Silke Wagner (HSCC, 2007)

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement. - Andreas Podelski; Andrey Rybalchenko (PADL, 2007)

Proving thread termination. - Byron Cook; Andreas Podelski; Andrey Rybalchenko (PLDI, 2007)

Proving that programs eventually do something good. - Byron Cook; Alexey Gotsman; Andreas Podelski; Andrey Rybalchenko; Moshe Y. Vardi (POPL, 2007)

Precise Thread-Modular Verification. - Alexander Malkis; Andreas Podelski; Andrey Rybalchenko (SAS, 2007)

ACSAR: Software Model Checking with Transfinite Refinement. - Mohamed Nassim Seghir; Andreas Podelski (SPIN, 2007)

Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. - Sebastian Kupferschmid; Klaus Dräger; Jörg Hoffmann 001; Bernd Finkbeiner; Henning Dierks; Andreas Podelski; Gerd Behrmann (TACAS, 2007)

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme). - Bernd Becker 001; Andreas Podelski; Werner Damm; Martin Fränzle; Ernst-Rüdiger Olderog; Reinhard Wilhelm (it Inf. Technol., 2007)

Transition predicate abstraction and fair termination. - Andreas Podelski; Andrey Rybalchenko (ACM Trans. Program. Lang. Syst., 2007)

Useless Actions Are Useful. - Martin Wehrle; Sebastian Kupferschmid; Andreas Podelski (ICAPS, 2008)

Faster Than Uppaal? - Sebastian Kupferschmid; Martin Wehrle; Bernhard Nebel; Andreas Podelski (CAV, 2008)

Heap Assumptions on Demand. - Andreas Podelski; Andrey Rybalchenko; Thomas Wies (CAV, 2008)

Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? - Rayna Dimitrova; Andreas Podelski (VMCAI, 2008)

Verification, Least-Fixpoint Checking, Abstraction. - Andreas Podelski (VSTTE, 2008)

It's Doomed; We Can Prove It. - Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies (FM, 2009)

Refinement of Trace Abstraction. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (SAS, 2009)

Abstraction Refinement for Quantified Array Assertions. - Mohamed Nassim Seghir; Andreas Podelski; Thomas Wies (SAS, 2009)

Transition-Based Directed Model Checking. - Martin Wehrle; Sebastian Kupferschmid; Andreas Podelski (TACAS, 2009)

Summarization for termination: no return! - Byron Cook; Andreas Podelski; Andrey Rybalchenko (Formal Methods Syst. Des., 2009)

Directed model checking with distance-preserving abstractions. - Klaus Dräger; Bernd Finkbeiner; Andreas Podelski (Int. J. Softw. Tools Technol. Transf., 2009)

Composing Reachability Analyses of Hybrid Systems for Safety and Stability. - Sergiy Bogomolov; Corina Mitrohin; Andreas Podelski (ATVA, 2010)

Explicit Fair Scheduling for Dynamic Control. - Ernst-Rüdiger Olderog; Andreas Podelski (Concurrency, Compositionality, and Correctness, 2010)

Shape-based Barrier Estimation for RNAs. - Sergiy Bogomolov; Martin Mann; Björn Voß; Andreas Podelski; Rolf Backofen (GCB, 2010)

Nested interpolants. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (POPL, 2010)

Counterexample-guided focus. - Andreas Podelski; Thomas Wies (POPL, 2010)

Size-Change Termination and Transition Invariants. - Matthias Heizmann; Neil D. Jones; Andreas Podelski (SAS, 2010)

Thread-Modular Counterexample-Guided Abstraction Refinement. - Alexander Malkis; Andreas Podelski; Andrey Rybalchenko (SAS, 2010)

Fairness for Dynamic Control. - Jochen Hoenicke; Ernst-Rüdiger Olderog; Andreas Podelski (TACAS, 2010)

Doomed program points. - Jochen Hoenicke; K. Rustan M. Leino; Andreas Podelski; Martin Schäf; Thomas Wies (Formal Methods Syst. Des., 2010)

rt-Inconsistency: A New Property for Real-Time Requirements. - Amalinda Post; Jochen Hoenicke; Andreas Podelski (FASE, 2011)

System Verification through Program Verification. - Daniel Dietsch; Bernd Westphal; Andreas Podelski (FM, 2011)

Composing Stability Proofs for Hybrid Systems. - Corina Mitrohin; Andreas Podelski (FORMATS, 2011)

Disambiguation of industrial standards through formalization and graphical languages. - Daniel Dietsch; Sergio Feo-Arenis; Bernd Westphal; Andreas Podelski (RE, 2011)

Vacuous real-time requirements. - Amalinda Post; Jochen Hoenicke; Andreas Podelski (RE, 2011)

Applying Restricted English Grammar on Automotive Requirements - Does it Work? A Case Study. - Amalinda Post; Igor Menzel; Andreas Podelski (REFSQ, 2011)

Transition Invariants and Transition Predicate Abstraction for Program Termination. - Andreas Podelski; Andrey Rybalchenko (TACAS, 2011)

Proving program termination. - Byron Cook; Andreas Podelski; Andrey Rybalchenko (Commun. ACM, 2011)

Automatische Validierung von Anforderungen. - Amalinda Post; Andreas Podelski (Softwaretechnik-Trends, 2011)

Interpolant Automata - (Invited Talk). - Andreas Podelski (ATVA, 2012)

A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. - Sergiy Bogomolov; Goran Frehse; Radu Grosu; Hamed Ladan; Andreas Podelski; Martin Wehrle (CAV, 2012)

Reducing Quasi-Equal Clocks in Networks of Timed Automata. - Christian Herrera; Bernd Westphal; Sergio Feo-Arenis; Marco Muñiz; Andreas Podelski (FORMATS, 2012)

Timed Automata with Disjoint Activity. - Marco Muñiz; Bernd Westphal; Andreas Podelski (FORMATS, 2012)

Lightweight Static Analysis for GUI Testing. - Stephan Arlt; Andreas Podelski; Cristiano Bertolini; Martin Schäf; Ishan Banerjee; Atif M. Memon (ISSRE, 2012)

Parameterized GUI Tests. - Stephan Arlt; Pedro Borromeo; Martin Schäf; Andreas Podelski (ICTSS, 2012)

Towards successful subcontracting for software in small to medium-sized enterprises. - Bernd Westphal; Daniel Dietsch; Sergio Feo-Arenis; Andreas Podelski; Louis Pahlow; Jochen Morsbach; Barbara Sommer; Anke Fuchs; Christine Meierhöfer (RELAW, 2012)

Splitting via Interpolants. - Evren Ermis; Jochen Hoenicke; Andreas Podelski (VMCAI, 2012)

Black-Box Verification for GUI Applications - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (CoRR, 2012)

Automotive behavioral requirements expressed in a specification pattern system: a case study at BOSCH. - Amalinda Post; Igor Menzel; Jochen Hoenicke; Andreas Podelski (Requir. Eng., 2012)

Linear Ranking for Linear Lasso Programs. - Matthias Heizmann; Jochen Hoenicke; Jan Leike; Andreas Podelski (ATVA, 2013)

Software Model Checking for People Who Love Automata. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (CAV, 2013)

Detecting Quasi-equal Clocks in Timed Automata. - Marco Muñiz; Bernd Westphal; Andreas Podelski (FORMATS, 2013)

Push-Down Automata with Gap-Order Constraints. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Giorgio Delzanno; Andreas Podelski (FSEN, 2013)

Inductive data flow graphs. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (POPL, 2013)

Abstraction-Based Guided Search for Hybrid Systems. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (SPIN, 2013)

Ultimate Automizer with SMTInterpol - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling 001; Andreas Podelski (TACAS, 2013)

Automata as Proofs. - Andreas Podelski (VMCAI, 2013)

Monitoring Student Activity in Collaborative Software Development - Daniel Dietsch; Andreas Podelski; Jaechang Nam; Pantelis M. Papadopoulos; Martin Schäf (CoRR, 2013)

Planning as Model Checking in Hybrid Domains. - Sergiy Bogomolov; Daniele Magazzeni; Andreas Podelski; Martin Wehrle (AAAI, 2014)

Termination Analysis by Learning Terminating Programs. - Matthias Heizmann; Jochen Hoenicke; Andreas Podelski (CAV, 2014)

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. - Sergiy Bogomolov; Goran Frehse; Marius Greitschus; Radu Grosu; Corina S. Pasareanu; Andreas Podelski; Thomas Strump (Haifa Verification Conference, 2014)

Quasi-dependent variables in hybrid automata. - Sergiy Bogomolov; Christian Herrera; Marco Muñiz; Bernd Westphal; Andreas Podelski (HSCC, 2014)

Verification of GUI Applications: A Black-Box Approach. - Stephan Arlt; Evren Ermis; Sergio Feo-Arenis; Andreas Podelski (ISoLA (1), 2014)

Reducing GUI test suites via program slicing. - Stephan Arlt; Andreas Podelski; Martin Wehrle (ISSTA, 2014)

Proofs that count. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (POPL, 2014)

Ultimate Kojak - (Competition Contribution). - Evren Ermis; Alexander Nutz; Daniel Dietsch; Jochen Hoenicke; Andreas Podelski (TACAS, 2014)

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling 001; Stefan Wissert; Andreas Podelski (TACAS, 2014)

Quasi-Equal Clock Reduction: More Networks, More Queries. - Christian Herrera; Bernd Westphal; Andreas Podelski (TACAS, 2014)

Fairness for Infinitary Control. - Jochen Hoenicke; Andreas Podelski (Correct System Design, 2015)

Fairness Modulo Theory: A New Approach to LTL Software Model Checking. - Daniel Dietsch; Matthias Heizmann; Vincent Langenfeld; Andreas Podelski (CAV (1), 2015)

Eliminating spurious transitions in reachability with support functions. - Goran Frehse; Sergiy Bogomolov; Marius Greitschus; Thomas Strump; Andreas Podelski (HSCC, 2015)

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing. - Stephan Arlt; Tobias Morciniec; Andreas Podelski; Silke Wagner (ICST, 2015)

Automated Program Verification. - Azadeh Farzan; Matthias Heizmann; Jochen Hoenicke; Zachary Kincaid; Andreas Podelski (LATA, 2015)

Proof Spaces for Unbounded Parallelism. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (POPL, 2015)

Using the requirements specification to infer the implicit test status of requirements. - Tobias Morciniec; Andreas Podelski (RE, 2015)

System Testing and Program Verification. - Stephan Arlt; Sergio Feo-Arenis; Andreas Podelski; Martin Wehrle (Software Engineering & Management, 2015)

Ultimate Automizer with Array Interpolation - (Competition Contribution). - Matthias Heizmann; Daniel Dietsch; Jan Leike; Betim Musa; Andreas Podelski (TACAS, 2015)

ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). - Alexander Nutz; Daniel Dietsch; Mostafa Mahmoud Mohamed; Andreas Podelski (TACAS, 2015)

Proving Liveness of Parameterized Programs. - Azadeh Farzan; Zachary Kincaid; Andreas Podelski (LICS, 2016)

Requirements Defects over a Project Lifetime: An Empirical Analysis of Defect Data from a 5-Year Automotive Project at Bosch. - Vincent Langenfeld; Amalinda Post; Andreas Podelski (REFSQ, 2016)

Ultimate Automizer with Two-track Proofs - (Competition Contribution). - Matthias Heizmann; Daniel Dietsch; Marius Greitschus; Jan Leike; Betim Musa; Claus Schätzle; Andreas Podelski (TACAS, 2016)

Classifying Bugs with Interpolants. - Andreas Podelski; Martin Schäf; Thomas Wies (TAP@STAF, 2016)

Adaptive moment closure for parameter inference of biochemical reaction networks. - Christian Schilling 001; Sergiy Bogomolov; Thomas A. Henzinger; Andreas Podelski; Jakob Ruess (Biosyst., 2016)

A Logical Approach to Generating Test Plans. - Tobias Morciniec; Andreas Podelski (CoRR, 2016)

Ready for testing: ensuring conformance to industrial standards through formal verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha; Andreas Podelski (Formal Aspects Comput., 2016)

Guided search for hybrid systems based on coarse-grained space abstractions. - Sergiy Bogomolov; Alexandre Donzé; Goran Frehse; Radu Grosu; Taylor T. Johnson; Hamed Ladan; Andreas Podelski; Martin Wehrle (Int. J. Softw. Tools Technol. Transf., 2016)

Thread modularity at many levels: a pearl in compositional verification. - Jochen Hoenicke; Rupak Majumdar; Andreas Podelski (POPL, 2017)

Loop Invariants from Counterexamples. - Marius Greitschus; Daniel Dietsch; Andreas Podelski (SAS, 2017)

Craig vs. Newton in software model checking. - Daniel Dietsch; Matthias Heizmann; Betim Musa; Alexander Nutz; Andreas Podelski (ESEC/SIGSOFT FSE, 2017)

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). - Marius Greitschus; Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). - Matthias Heizmann; Yu-Wen Chen; Daniel Dietsch; Marius Greitschus; Alexander Nutz; Betim Musa; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

Refining Trace Abstraction using Abstract Interpretation. - Marius Greitschus; Daniel Dietsch; Andreas Podelski (CoRR, 2017)

But does it really do that? Using formal analysis to ensure desirable ACT-R model behaviour. - Vincent Langenfeld; Bernd Westphal; Rebecca Albrecht; Andreas Podelski (CogSci, 2018)

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Frédéric Viry; Andreas Podelski; Christian Schilling 001 (HSCC, 2018)

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). - Daniel Dietsch; Marius Greitschus; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski; Christian Schilling 001; Tanja Schindler (TACAS (2), 2018)

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). - Matthias Heizmann; Yu-Fang Chen 001; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li 031; Alexander Nutz; Betim Musa; Christian Schilling 001; Tanja Schindler; Andreas Podelski (TACAS (2), 2018)

The Map Equality Domain. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (VSTTE, 2018)

A Tree-Based Approach to Data Flow Proofs. - Jochen Hoenicke; Alexander Nutz; Andreas Podelski (VSTTE, 2018)

Reducing liveness to safety in first-order logic. - Oded Padon; Jochen Hoenicke; Giuliano Losa; Andreas Podelski; Mooly Sagiv; Sharon Shoham (Proc. ACM Program. Lang., 2018)

Predicate Abstraction for Program Verification. - Ranjit Jhala; Andreas Podelski; Andrey Rybalchenko (Handbook of Model Checking, 2018)

Temporal Planning as Refinement-Based Model Checking. - Alexander Heinz; Martin Wehrle; Sergiy Bogomolov; Daniele Magazzeni; Marius Greitschus; Andreas Podelski (ICAPS, 2019)

On Formal Verification of ACT-R Architectures and Models. - Vincent Langenfeld; Bernd Westphal; Andreas Podelski (CogSci, 2019)

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (CoRR, 2019)

Ultimate TreeAutomizer (CHC-COMP Tool Description). - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (HCVS/PERR@ETAPS, 2019)

Ultimate Automizer SV-COMP 2020 Competition Contribution. - Matthias Heizmann; Max Barth; Daniel Dietsch; Jill Enke; Leonard Fichtner; Dominik Klumpp; Mehdi Naouar; Lars Nitzke; Alexander Nutz; Andreas Podelski; Elisabeth Schanno; Claus Schätzle (Zenodo, 2019)

A Formal Operational Model of ACT-R: Structure and Behaviour. - Vincent Langenfeld; Bernd Westphal; Andreas Podelski (CogSci, 2021)

Separating Map Variables in a Logic-Based Intermediate Verification Language. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (NETYS, 2021)

Hanfor: Semantic Requirements Review at Scale. - Samuel Becker; Daniel Dietsch; Nico Hauff; Elisabeth Henkel; Vincent Langenfeld; Andreas Podelski; Bernd Westphal (REFSQ Workshops, 2021)

Verification of Concurrent Programs Using Petri Net Unfoldings. - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Mehdi Naouar; Andreas Podelski; Claus Schätzle (VMCAI, 2021)

Temporal prophecy for proving temporal properties of infinite-state systems. - Oded Padon; Jochen Hoenicke; Kenneth L. McMillan; Andreas Podelski; Mooly Sagiv; Sharon Shoham (Formal Methods Syst. Des., 2021)

Ultimate GemCutter SV-COMP 2022 Competition Contribution. - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Marcel Ebbinghaus; Azadeh Farzan; Andreas Podelski (Zenodo, 2021)

Software Model Checking: 20 Years and Beyond. - Dirk Beyer 001; Andreas Podelski (Principles of Systems Design, 2022)

Sound sequentialization for concurrent program verification. - Azadeh Farzan; Dominik Klumpp; Andreas Podelski (PLDI, 2022)

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Marcel Ebbinghaus; Azadeh Farzan; Andreas Podelski (TACAS (2), 2022)

Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version). - Sergiy Bogomolov; Marcelo Forets; Goran Frehse; Andreas Podelski; Christian Schilling 001 (Inf. Comput., 2022)

Ultimate Automizer (SV-COMP 2022 - Modified). - Matthias Heizmann; Max Barth; Daniel Dietsch; Leonard Fichtner; Jochen Hoenicke; Dominik Klumpp; Mehdi Naouar; Tanja Schindler; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Artifact for PLDI'22 paper "What Is Your Preference Order?". - Azadeh Farzan; Dominik Klumpp; Andreas Podelski (Zenodo, 2022)

Artifact for PLDI'22 paper "What Is Your Preference Order?". - Azadeh Farzan; Dominik Klumpp; Andreas Podelski (Zenodo, 2022)

Artifact for PLDI'22 paper "Sound Sequentialization for Concurrent Program Verification". - Azadeh Farzan; Dominik Klumpp; Andreas Podelski (Zenodo, 2022)

Ultimate Taipan SV-COMP 2023 Competition Contribution. - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate Automizer SV-COMP 2023 Competition Contribution. - Matthias Heizmann; Daniel Dietsch; Dominik Klumpp; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate GemCutter SV-COMP 2023 Competition Contribution. - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Azadeh Farzan; Andreas Podelski (Zenodo, 2022)

Ultimate Kojak SV-COMP 2023 Competition Contribution. - Frank Schüssele; Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Andreas Podelski (Zenodo, 2022)

An Empirical Study of the Intuitive Understanding of a Formal Pattern Language. - Elisabeth Henkel; Nico Hauff; Lukas Eber; Vincent Langenfeld; Andreas Podelski (REFSQ, 2023)

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Frank Schüssele; Andreas Podelski (TACAS (2), 2023)

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). - Matthias Heizmann; Max Barth; Daniel Dietsch; Leonard Fichtner; Jochen Hoenicke; Dominik Klumpp; Mehdi Naouar; Tanja Schindler; Frank Schüssele; Andreas Podelski (TACAS (2), 2023)

Stratified Commutativity in Verification Algorithms for Concurrent Programs. - Azadeh Farzan; Dominik Klumpp; Andreas Podelski (Proc. ACM Program. Lang., 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Benchmarks for POPL'24 Paper "Commutativity Simplifies Proofs of Parameterized Programs". - Azadeh Farzan; Dominik Klumpp; Andreas Podelski (Zenodo, 2023)

Scalable Redundancy Detection for Real-Time Requirements. - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (RE, 2024)

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). - Frank Schüssele; Manuel Bentele; Daniel Dietsch; Matthias Heizmann; Xinyu Jiang; Dominik Klumpp; Andreas Podelski (TACAS (3), 2024)

Commutativity Simplifies Proofs of Parameterized Programs. - Azadeh Farzan; Dominik Klumpp; Andreas Podelski (Proc. ACM Program. Lang., 2024)

Systematic adaptation and investigation of the understandability of a formal pattern language. - Elisabeth Henkel; Nico Hauff; Vincent Langenfeld; Lukas Eber; Andreas Podelski (Requir. Eng., 2024)

Scalable Redundancy Detection for Real-Time Requirements (artefact). - Elisabeth Henkel; Nico Hauff; Lena Funk; Vincent Langenfeld; Andreas Podelski (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Counterexample-Guided Commutativity. - Marcel Ebbinghaus; Dominik Klumpp; Andreas Podelski (CAV (3), 2025)

Hanfor: Requirements Formalisation and Beyond. - Nico Hauff; Elisabeth Henkel; Tobias Kolzer; Vincent Langenfeld; Andreas Podelski (REFSQ Workshops, 2025)