BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × USA
Collaborated with:
H.Seidl D.Monniaux P.Lammich M.Müller-Olm A.Wenner
Talks about:
strategi (1) reachabl (1) creation (1) abstract (1) quadrat (1) program (1) process (1) forward (1) concurr (1) analysi (1)

Person: Thomas Martin Gawlitza

DBLP DBLP: Gawlitza:Thomas_Martin

Contributed to:

ESOP 20112011
VMCAI 20112011
SAS 20102010

Wrote 3 papers:

ESOP-2011-GawlitzaM #smt
Improving Strategies via SMT Solving (TMG, DM), pp. 236–255.
VMCAI-2011-GawlitzaLMSW #analysis #concurrent #process #reachability #source code
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (TMG, PL, MMO, HS, AW), pp. 199–213.
SAS-2010-GawlitzaS #polynomial #semantics
Computing Relaxed Abstract Semantics w.r.t. Quadratic Zones Precisely (TMG, HS), pp. 271–286.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.