|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Numerical Invariants through Convex Relaxation and Max-Strategy Iteration  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Solving systems of rational equations through strategy iteration. |
ACM Trans. Program. Lang. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, David Monniaux |
Improving Strategies via SMT Solving |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thao Dang, Thomas Martin Gawlitza |
Discretizing Affine Hybrid Automata with Uncertainty. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thao Dang, Thomas Martin Gawlitza |
Template-Based Unbounded Time Verification of Affine Hybrid Automata. |
APLAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, David Monniaux |
Improving Strategies via SMT Solving. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl, Kumar Neeraj Verma |
Normalization of Linear Horn Clauses. |
SBMF |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza, Helmut Seidl |
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Jérôme Leroux, Jan Reineke, Helmut Seidl, Grégoire Sutre, Reinhard Wilhelm |
Polynomial Precise Interval Analysis Revisited. |
Efficient Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Games through Nested Fixpoints. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Martin Gawlitza |
Strategieverbesserungsalgorithmen für exakte Programmanalysen. |
|
2009 |
RDF |
|
| 1 | Javier Esparza, Thomas Gawlitza, Stefan Kiefer, Helmut Seidl |
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Precise Interval Analysis vs. Parity Games. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Computing Game Values for Crash Games. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Precise Relational Invariants Through Strategy Iteration. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Gawlitza, Helmut Seidl |
Precise Fixpoint Computation Through Strategy Iteration. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")