Powered by
2012 7th Alpine Verification Meeting (AVM),
May 21-22, 2012,
Passau, Germany
Keynotes
New Trends in Program Synthesis (Keynote)
Thomas A. Henzinger
(IST Austria, Austria)
@InProceedings{AVM12p1,
author = {Thomas A. Henzinger},
title = {New Trends in Program Synthesis (Keynote)},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1--0},
doi = {},
year = {2012},
}
Session Zugspitze
Mon, May 21, 10:15 - 11:30
Synthesizing Software Verifiers from Proof Rules
Corneliu Popeea
(TU Munich, Germany)
@InProceedings{AVM12p199,
author = {Corneliu Popeea},
title = {Synthesizing Software Verifiers from Proof Rules},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {199--198},
doi = {},
year = {2012},
}
Refinement Framework for Monadic Programs in Isabelle/HOL
Peter Lammich
(TU Munich, Germany)
@InProceedings{AVM12p298,
author = {Peter Lammich},
title = {Refinement Framework for Monadic Programs in Isabelle/HOL},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {298--297},
doi = {},
year = {2012},
}
A Formalisation of Finite Automata in Isabelle/HOL
Thomas Tuerk
(TU Munich, Germany)
@InProceedings{AVM12p397,
author = {Thomas Tuerk},
title = {A Formalisation of Finite Automata in Isabelle/HOL},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {397--396},
doi = {},
year = {2012},
}
Session Black Forrest
Mon, May 21, 12:50 - 14:30
Engage: A Deployment Management System
Shahram Esmaeilsabzali
(MPI-SWS, Germany)
@InProceedings{AVM12p496,
author = {Shahram Esmaeilsabzali},
title = {Engage: A Deployment Management System},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {496--495},
doi = {},
year = {2012},
}
Nested Interpolants in SMTinterpol
Jochen Hoenicke
(Uni Freiburg, Germany)
@InProceedings{AVM12p595,
author = {Jochen Hoenicke},
title = {Nested Interpolants in SMTinterpol},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {595--594},
doi = {},
year = {2012},
}
The Theory of Arrays with Set and Copy
Florian Merz
(KIT, Germany)
@InProceedings{AVM12p694,
author = {Florian Merz},
title = {The Theory of Arrays with Set and Copy},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {694--693},
doi = {},
year = {2012},
}
Simplification of Verification by Program Transformation
Alexander Schremmer
(Uni Paderborn, Germany)
@InProceedings{AVM12p793,
author = {Alexander Schremmer},
title = {Simplification of Verification by Program Transformation},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {793--792},
doi = {},
year = {2012},
}
Session Schneeberg
Tue, May 22, 10:00 - 11:15
Synthesizing Robust Systems
Bettina Könighofer
(TU Graz, Austria)
@InProceedings{AVM12p892,
author = {Bettina Könighofer},
title = {Synthesizing Robust Systems},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {892--891},
doi = {},
year = {2012},
}
Synthesis from Incompatible Specifications
Arjun Radhakrishna
(IST, Austria)
@InProceedings{AVM12p991,
author = {Arjun Radhakrishna},
title = {Synthesis from Incompatible Specifications},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {991--990},
doi = {},
year = {2012},
}
Parameterized Synthesis
Ayrat Khalimov
(TU Graz, Austria)
@InProceedings{AVM12p1090,
author = {Ayrat Khalimov},
title = {Parameterized Synthesis},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1090--1089},
doi = {},
year = {2012},
}
Session Danube
Tue, May 22, 12:25 - 14:30
Scalable Certificate Extraction for QBF
Mathias Preiner
(JKU Linz, Austria)
@InProceedings{AVM12p1189,
author = {Mathias Preiner},
title = {Scalable Certificate Extraction for QBF},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1189--1188},
doi = {},
year = {2012},
}
CEGAR for an Explicit-Value Analysis
Stefan Löwe
(Uni Passau, Germany)
@InProceedings{AVM12p1288,
author = {Stefan Löwe},
title = {CEGAR for an Explicit-Value Analysis},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1288--1287},
doi = {},
year = {2012},
}
Symbolic Loop Bounds for WCET Analysis
Jakob Zwirchmayr
(TU Vienna, Austria)
@InProceedings{AVM12p1486,
author = {Jakob Zwirchmayr},
title = {Symbolic Loop Bounds for WCET Analysis},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1486--1485},
doi = {},
year = {2012},
}
Counter Attack against Byzantine Generals
Josef Widder
(TU Vienna, Austria)
@InProceedings{AVM12p1585,
author = {Josef Widder},
title = {Counter Attack against Byzantine Generals},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1585--1584},
doi = {},
year = {2012},
}
Session Adamello
Tue, May 22, 15:00 - 16:40
Library-Based Fault Injection for Formal Safety Assessment
Cristian Mattarei
(FBK, Italy)
@InProceedings{AVM12p1783,
author = {Cristian Mattarei},
title = {Library-Based Fault Injection for Formal Safety Assessment},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1783--1782},
doi = {},
year = {2012},
}
Accelerating Interpolants
Hossein Hojjat
(EPFL, Switzerland)
@InProceedings{AVM12p1981,
author = {Hossein Hojjat},
title = {Accelerating Interpolants},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1981--1980},
doi = {},
year = {2012},
}
proc time: 0.23