Thomas Gawlitza

Thomas Martin Gawlitza

	2012
17		Thomas Martin Gawlitza, Helmut Seidl: Numerical Invariants through Convex Relaxation and Max-Strategy Iteration CoRR abs/1204.1147: (2012)
	2011
16		Thao Dang, Thomas Martin Gawlitza: Template-Based Unbounded Time Verification of Affine Hybrid Automata. APLAS 2011: 34-49
15		Thao Dang, Thomas Martin Gawlitza: Discretizing Affine Hybrid Automata with Uncertainty. ATVA 2011: 473-481
14		Thomas Martin Gawlitza, David Monniaux: Improving Strategies via SMT Solving. ESOP 2011: 236-255
13		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: 199-213
12		Thomas Martin Gawlitza, Helmut Seidl: Solving systems of rational equations through strategy iteration. ACM Trans. Program. Lang. Syst. 33(3): 11 (2011)
11		Thomas Martin Gawlitza, David Monniaux: Improving Strategies via SMT Solving CoRR abs/1101.2812: (2011)
	2010
10		Thomas Martin Gawlitza, Helmut Seidl: Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely. SAS 2010: 271-286
9		Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma: Normalization of Linear Horn Clauses. SBMF 2010: 242-257
	2009
8		Thomas Gawlitza, Helmut Seidl: Games through Nested Fixpoints. CAV 2009: 291-305
7		Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm: Polynomial Precise Interval Analysis Revisited. Efficient Algorithms 2009: 422-437
6		Thomas Martin Gawlitza: Strategieverbesserungsalgorithmen für exakte Programmanalysen. Technical University Munich 2009: 1-293
	2008
5		Thomas Gawlitza, Helmut Seidl: Precise Interval Analysis vs. Parity Games. FM 2008: 342-357
4		Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl: Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. ICALP (1) 2008: 698-710
	2007
3		Thomas Gawlitza, Helmut Seidl: Computing Game Values for Crash Games. ATVA 2007: 177-191
2		Thomas Gawlitza, Helmut Seidl: Precise Relational Invariants Through Strategy Iteration. CSL 2007: 23-40
1		Thomas Gawlitza, Helmut Seidl: Precise Fixpoint Computation Through Strategy Iteration. ESOP 2007: 300-315

Coauthor Index

1	Thao Dang	[15] [16]
2	Javier Esparza	[4]
3	Stefan Kiefer	[4]
4	Peter Lammich	[13]
5	Jérôme Leroux	[7]
6	David Monniaux	[11] [14]
7	Markus Müller-Olm	[13]
8	Jan Reineke	[7]
9	Helmut Seidl	[1] [2] [3] [4] [5] [7] [8] [9] [10] [12] [13] [17]
10	Grégoire Sutre	[7]
11	Kumar Neeraj Verma	[9]
12	Alexander Wenner	[13]
13	Reinhard Wilhelm	[7]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page