Thomas Martin Gawlitza

Available identifiers

Publication	Date of Publication	Type
Numerical invariants through convex relaxation and max-strategy iteration	2014-06-30	Paper
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs	2012-10-22	Paper
Template-Based Unbounded Time Verification of Affine Hybrid Automata	2012-07-20	Paper
Abstract interpretation meets convex optimization	2012-07-13	Paper
Discretizing Affine Hybrid Automata with Uncertainty	2011-10-07	Paper
Improving Strategies via SMT Solving	2011-05-19	Paper
Normalization of Linear Horn Clauses	2011-05-12	Paper
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation	2011-02-15	Paper
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely	2010-10-01	Paper
Polynomial Precise Interval Analysis Revisited	2009-11-12	Paper
Games through Nested Fixpoints	2009-06-30	Paper
Precise Relational Invariants Through Strategy Iteration	2009-03-05	Paper
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations	2008-08-28	Paper
Computing Game Values for Crash Games	2008-07-03	Paper
Precise Fixpoint Computation Through Strategy Iteration	2007-09-04	Paper

This page was built for person: Thomas Martin Gawlitza