AVM 2012
2012 7th Alpine Verification Meeting (AVM)
Powered by
Conference Publishing Consulting

2012 7th Alpine Verification Meeting (AVM), May 21-22, 2012, Passau, Germany

AVM 2012 – Author Index

Contents - Abstracts - Authors
Online Calendar - iCal File

E F H K L M P R S T W Z

Esmaeilsabzali, Shahram AVM '12: "Engage: A Deployment Management ..."
Esparza, Javier AVM '12: "A Perfect Model for Bounded ..."
Fedyukovich, Grigory AVM '12: "FunFrog: Function Summarization-Based ..."
Henzinger, Thomas A. AVM '12: "New Trends in Program Synthesis ..."
Hoenicke, Jochen AVM '12: "Nested Interpolants in SMTinterpol ..."
Hojjat, Hossein AVM '12: "Accelerating Interpolants ..."
Khalimov, Ayrat AVM '12: "Parameterized Synthesis ..."
Könighofer, Bettina AVM '12: "Synthesizing Robust Systems ..."
Lammich, Peter AVM '12: "Refinement Framework for Monadic ..."
Lengal, Ondrej AVM '12: "Efficient Techniques for Manipulation ..."
Löwe, Stefan AVM '12: "CEGAR for an Explicit-Value ..."
Mattarei, Cristian AVM '12: "Library-Based Fault Injection ..."
Merz, Florian AVM '12: "The Theory of Arrays with ..."
Micheli, Andrea AVM '12: "Strong and Weak Controllability ..."
Popeea, Corneliu AVM '12: "Synthesizing Software Verifiers ..."
Preiner, Mathias AVM '12: "Scalable Certificate Extraction ..."
Radhakrishna, Arjun AVM '12: "Synthesis from Incompatible ..."
Schremmer, Alexander AVM '12: "Simplification of Verification ..."
Tuerk, Thomas AVM '12: "A Formalisation of Finite ..."
Widder, Josef AVM '12: "Counter Attack against Byzantine ..."
Zwirchmayr, Jakob AVM '12: "Symbolic Loop Bounds for WCET ..."

21 authors

proc time: 0.18