Thomas Martin Gawlitza

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Venues

CoRR

SCSS

Formal Methods Syst. Des.

Log. Methods Comput. Sci.

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Helmut Seidl, Thomas Martin Gawlitza, Martin D. Schwarz
Parametric Strategy Iteration. SCSS (2014)
Thomas Martin Gawlitza, Martin D. Schwarz, Helmut Seidl
Parametric Strategy Iteration. CoRR (2014)
Thomas Martin Gawlitza, Helmut Seidl
Numerical invariants through convex relaxation and max-strategy iteration. Formal Methods Syst. Des. 44 (2) (2014)
Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault
Abstract interpretation meets convex optimization. J. Symb. Comput. 47 (12) (2012)
Thomas Martin Gawlitza, David Monniaux
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs Log. Methods Comput. Sci. 8 (3) (2012)
Thomas Martin Gawlitza, Helmut Seidl
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration CoRR (2012)
Thomas Martin Gawlitza, David Monniaux
Improving Strategies via SMT Solving CoRR (2011)
Thao Dang, Thomas Martin Gawlitza
Discretizing Affine Hybrid Automata with Uncertainty. ATVA (2011)
Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation. VMCAI (2011)
Thao Dang, Thomas Martin Gawlitza
Template-Based Unbounded Time Verification of Affine Hybrid Automata. APLAS (2011)
Thomas Martin Gawlitza, Helmut Seidl
Solving systems of rational equations through strategy iteration. ACM Trans. Program. Lang. Syst. 33 (3) (2011)
Thomas Martin Gawlitza, David Monniaux
Improving Strategies via SMT Solving. ESOP (2011)
Thomas Martin Gawlitza, Helmut Seidl
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely. SAS (2010)
Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma
Normalization of Linear Horn Clauses. SBMF (2010)
Thomas Martin Gawlitza, Helmut Seidl
Abstract Interpretation over Zones without Widening. WING@ETAPS/IJCAR (2010)

Thomas Martin Gawlitza.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thomas Martin Gawlitza