Thomas Ströder

According to our database, Thomas Ströder authored at least 17 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Symbolic execution and program synthesis: a general methodology for software verification.

Thomas Ströder

PhD thesis, 2019

2018

Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution.

Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder

J. Log. Algebraic Methods Program., 2018

2017

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic.

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp, Cornelius Aschermann

J. Autom. Reason., 2017

Analyzing Program Termination and Complexity Automatically with AProVE.

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann

J. Autom. Reason., 2017

Lower Bounds for Runtime Complexity of Term Rewriting.

Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder

J. Autom. Reason., 2017

AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs - (Competition Contribution).

Jera Hensel, Frank Emrich, Florian Frohn, Thomas Ströder, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.

Jera Hensel, Jürgen Giesl, Florian Frohn, Thomas Ströder

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

AProVE: Termination and Memory Safety of C Programs - (Competition Contribution).

Thomas Ströder, Cornelius Aschermann, Florian Frohn, Jera Hensel, Jürgen Giesl

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Inferring Lower Bounds for Runtime Complexity.

Florian Frohn, Jürgen Giesl, Jera Hensel, Cornelius Aschermann, Thomas Ströder

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2014

Proving Termination and Memory Safety for Programs with Pointer Arithmetic.

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

Proving Termination of Programs Automatically with AProVE.

Jürgen Giesl, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2012

Symbolic Evaluation Graphs and Term Rewriting - A General Methodology for Analyzing Logic Programs.

Jürgen Giesl, Thomas Ströder, Peter Schneider-Kamp, Fabian Emmes, Carsten Fuhs

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog.

Thomas Ströder, Fabian Emmes, Peter Schneider-Kamp, Jürgen Giesl, Carsten Fuhs

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode.

Marc Brockschmidt, Thomas Ströder, Carsten Otto, Jürgen Giesl

Proceedings of the Formal Verification of Object-Oriented Software, 2011

2010

Automated termination analysis for logic programs with cut.

Peter Schneider-Kamp, Jürgen Giesl, Thomas Ströder, Alexander Serebrenik, René Thiemann

Theory Pract. Log. Program., 2010

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut.

Thomas Ströder, Peter Schneider-Kamp, Jürgen Giesl

Proceedings of the Logic-Based Program Synthesis and Transformation, 2010

2009

Realising Deterministic Behavior from Multiple Non-Deterministic Behaviors.

Thomas Ströder, Maurice Pagnucco

Proceedings of the IJCAI 2009, 2009