|
Esmaeilsabzali, Shahram
|
AVM '12: "Engage: A Deployment Management ..."
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},
}
|
|
Esparza, Javier |
AVM '12: "A Perfect Model for Bounded ..."
A Perfect Model for Bounded Verification (Keynote)
Javier Esparza
(TU Munich, Germany)
@InProceedings{AVM12p100,
author = {Javier Esparza},
title = {A Perfect Model for Bounded Verification (Keynote)},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {100--99},
doi = {},
year = {2012},
}
|
|
Fedyukovich, Grigory
|
AVM '12: "FunFrog: Function Summarization-Based ..."
FunFrog: Function Summarization-Based Model Checking
Grigory Fedyukovich
(Uni Lugano, Switzerland)
@InProceedings{AVM12p1882,
author = {Grigory Fedyukovich},
title = {FunFrog: Function Summarization-Based Model Checking},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1882--1881},
doi = {},
year = {2012},
}
|
|
Henzinger, Thomas A.
|
AVM '12: "New Trends in Program Synthesis ..."
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},
}
|
|
Hoenicke, Jochen |
AVM '12: "Nested Interpolants in SMTinterpol ..."
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},
}
|
|
Hojjat, Hossein |
AVM '12: "Accelerating Interpolants ..."
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},
}
|
|
Khalimov, Ayrat
|
AVM '12: "Parameterized Synthesis ..."
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},
}
|
|
Könighofer, Bettina |
AVM '12: "Synthesizing Robust Systems ..."
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},
}
|
|
Lammich, Peter
|
AVM '12: "Refinement Framework for Monadic ..."
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},
}
|
|
Lengal, Ondrej |
AVM '12: "Efficient Techniques for Manipulation ..."
Efficient Techniques for Manipulation of Non-deterministic Tree Automata
Ondrej Lengal
(TU Brno, Czech Republic)
@InProceedings{AVM12p1387,
author = {Ondrej Lengal},
title = {Efficient Techniques for Manipulation of Non-deterministic Tree Automata},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1387--1386},
doi = {},
year = {2012},
}
|
|
Löwe, Stefan |
AVM '12: "CEGAR for an Explicit-Value ..."
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},
}
|
|
Mattarei, Cristian
|
AVM '12: "Library-Based Fault Injection ..."
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},
}
|
|
Merz, Florian |
AVM '12: "The Theory of Arrays with ..."
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},
}
|
|
Micheli, Andrea |
AVM '12: "Strong and Weak Controllability ..."
Strong and Weak Controllability of Temporal Problems with Uncertainty Using SMT
Andrea Micheli
(FBK, Italy)
@InProceedings{AVM12p1684,
author = {Andrea Micheli},
title = {Strong and Weak Controllability of Temporal Problems with Uncertainty Using SMT},
booktitle = {Proc.\ AVM},
publisher = {IEEE},
pages = {1684--1683},
doi = {},
year = {2012},
}
|
|
Popeea, Corneliu
|
AVM '12: "Synthesizing Software Verifiers ..."
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},
}
|
|
Preiner, Mathias |
AVM '12: "Scalable Certificate Extraction ..."
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},
}
|
|
Radhakrishna, Arjun
|
AVM '12: "Synthesis from Incompatible ..."
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},
}
|
|
Schremmer, Alexander
|
AVM '12: "Simplification of Verification ..."
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},
}
|
|
Tuerk, Thomas
|
AVM '12: "A Formalisation of Finite ..."
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},
}
|
|
Widder, Josef
|
AVM '12: "Counter Attack against Byzantine ..."
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},
}
|
|
Zwirchmayr, Jakob
|
AVM '12: "Symbolic Loop Bounds for WCET ..."
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},
}
|