Alexander Wenner

Available identifiers

zbMath Open wenner.alexanderMaRDI QIDQ2917314

List of research outcomes

Publication	Date of Publication	Type
Using dynamic pushdown networks to automate a modular information-flow analysis	2016-02-05	Paper
Weighted dynamic pushdown networks	2012-09-28	Paper
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation	2011-02-15	Paper
Weighted dynamic pushdown networks	2010-05-04	Paper
Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints	2009-06-30	Paper

Research outcomes over time

This page was built for person: Alexander Wenner