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: Gawlitza:Thomas_Martin
Contributed to:
2011
2011
2010Wrote 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.