Alexander Wenner

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Object Oriented Database Management Systems

Contextual Information

Top Venues

Publications

Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner
Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. LOPSTR (2015)
Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner
Contextual Locking for Dynamic Pushdown Networks. SAS (2013)
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)
Alexander Wenner
Weighted Dynamic Pushdown Networks. ESOP (2010)
Peter Lammich, Markus Müller-Olm, Alexander Wenner
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints. CAV (2009)
Alexander Wenner
Weighted Dynamic Pushdown Networks. MEMICS (2009)