Computing Game Values for Crash Games. - Thomas Gawlitza; Helmut Seidl (ATVA, 2007)

Precise Relational Invariants Through Strategy Iteration. - Thomas Gawlitza; Helmut Seidl (CSL, 2007)

Precise Fixpoint Computation Through Strategy Iteration. - Thomas Gawlitza; Helmut Seidl (ESOP, 2007)

Precise Interval Analysis vs. Parity Games. - Thomas Gawlitza; Helmut Seidl (FM, 2008)

Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. - Javier Esparza; Thomas Gawlitza; Stefan Kiefer; Helmut Seidl (ICALP (1), 2008)

Polynomial Precise Interval Analysis Revisited. - Thomas Gawlitza; Jérôme Leroux; Jan Reineke 001; Helmut Seidl; Grégoire Sutre; Reinhard Wilhelm (Efficient Algorithms, 2009)

Games through Nested Fixpoints. - Thomas Gawlitza; Helmut Seidl (CAV, 2009)

Strategieverbesserungsalgorithmen für exakte Programmanalysen. - Thomas Martin Gawlitza (Verlag Dr. Hut, 2009)

Abstract Interpretation over Zones without Widening. - Thomas Martin Gawlitza; Helmut Seidl (WING@ETAPS/IJCAR, 2010)

Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely. - Thomas Martin Gawlitza; Helmut Seidl (SAS, 2010)

Normalization of Linear Horn Clauses. - Thomas Martin Gawlitza; Helmut Seidl; Kumar Neeraj Verma (SBMF, 2010)

Template-Based Unbounded Time Verification of Affine Hybrid Automata. - Thao Dang 001; Thomas Martin Gawlitza (APLAS, 2011)

Discretizing Affine Hybrid Automata with Uncertainty. - Thao Dang 001; Thomas Martin Gawlitza (ATVA, 2011)

Improving Strategies via SMT Solving. - Thomas Martin Gawlitza; David Monniaux (ESOP, 2011)

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. - Thomas Martin Gawlitza; Peter Lammich; Markus Müller-Olm; Helmut Seidl; Alexander Wenner (VMCAI, 2011)

Solving systems of rational equations through strategy iteration. - Thomas Martin Gawlitza; Helmut Seidl (ACM Trans. Program. Lang. Syst., 2011)

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs - Thomas Martin Gawlitza; David Monniaux (Log. Methods Comput. Sci., 2012)

Abstract interpretation meets convex optimization. - Thomas Martin Gawlitza; Helmut Seidl; Assalé Adjé; Stéphane Gaubert; Eric Goubault (J. Symb. Comput., 2012)

Precise Program Analysis through Strategy Iteration and Optimization. - Thomas Martin Gawlitza; Helmut Seidl (Software Safety and Security, 2012)

Parametric Strategy Iteration. - Helmut Seidl; Thomas Martin Gawlitza; Martin D. Schwarz (SCSS, 2014)

Numerical invariants through convex relaxation and max-strategy iteration. - Thomas Martin Gawlitza; Helmut Seidl (Formal Methods Syst. Des., 2014)