Thomas Martin Gawlitza

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