Thomas Martin Gawlitza

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Numerical invariants through convex relaxation and max-strategy iteration Formal Methods in System Design	2014-06-30	Paper
Invariant generation through strategy iteration in succinctly represented control flow graphs Logical Methods in Computer Science	2012-10-22	Paper
Template-based unbounded time verification of affine hybrid automata Programming Languages and Systems	2012-07-20	Paper
Abstract interpretation meets convex optimization Journal of Symbolic Computation	2012-07-13	Paper
Discretizing affine hybrid automata with uncertainty Automated Technology for Verification and Analysis	2011-10-07	Paper
Improving strategies via SMT solving Programming Languages and Systems	2011-05-19	Paper
Normalization of linear Horn clauses Lecture Notes in Computer Science	2011-05-12	Paper
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation Lecture Notes in Computer Science	2011-02-15	Paper
Computing relaxed abstract semantics w.r.t. quadratic zones precisely Static Analysis	2010-10-01	Paper
Polynomial Precise Interval Analysis Revisited Lecture Notes in Computer Science	2009-11-12	Paper
Games through Nested Fixpoints Computer Aided Verification	2009-06-30	Paper
Precise Relational Invariants Through Strategy Iteration Computer Science Logic	2009-03-05	Paper
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations Automata, Languages and Programming	2008-08-28	Paper
Computing Game Values for Crash Games Automated Technology for Verification and Analysis	2008-07-03	Paper
Precise Fixpoint Computation Through Strategy Iteration Programming Languages and Systems	2007-09-04	Paper

Research outcomes over time

This page was built for person: Thomas Martin Gawlitza