Travelled to:1 × Cyprus
1 × France
2 × USA
Collaborated with:P.Lammich M.Müller-Olm ∅ H.Seidl T.M.Gawlitza
Talks about:dynam (4) pushdown (3) network (3) lock (2) predecessor (1) constraint (1) reachabl (1) creation (1) contextu (1) regular (1)
Person: Alexander Wenner
DBLP: Wenner:Alexander
Contributed to:
2013
2011
2010
2009Wrote 4 papers:
- SAS-2013-LammichMSW #automaton #network
- Contextual Locking for Dynamic Pushdown Networks (PL, MMO, HS, AW), pp. 477–498.
- 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.
- ESOP-2010-Wenner #automaton #network
- Weighted Dynamic Pushdown Networks (AW), pp. 590–609.
- CAV-2009-LammichMW #automaton #constraints #network #set
- Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints (PL, MMO, AW), pp. 525–539.