Alexander Wenner

According to our database, Alexander Wenner authored at least 5 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis.

Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2013

Contextual Locking for Dynamic Pushdown Networks.

Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner

Proceedings of the Static Analysis - 20th International Symposium, 2013

2011

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation.

Thomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2010

Weighted Dynamic Pushdown Networks.

Alexander Wenner

Proceedings of the Programming Languages and Systems, 2010

2009

Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints.

Peter Lammich, Markus Müller-Olm, Alexander Wenner

Proceedings of the Computer Aided Verification, 21st International Conference, 2009