Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B D F G H K M N O P S U W

A
Aspinall, David	Towards an amortized type system for JavaScript
B
Baumgartner, Alexander	A Library of Anti-Unification Algorithms
Belaazi, Maherzia	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
Ben Youssef, Nihel	Automated detection and resolution of firewall misconfigurations
Bjorner, Nikolaj	νZ - Maximal Satisfaction with Z3
Bouhoula, Adel	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds Automated detection and resolution of firewall misconfigurations
Boussi Rahmouni, Hanene	A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds
D
Diallo, Nafi	Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis
Diallo, Nafi	Merging Termination with Abort Freedom
F
Farmer, William	Meaning Formulas for Syntax-Based Mathematical Algorithms
Franzen, Daniel	Towards an amortized type system for JavaScript
G
Gawlitza, Thomas Martin	Parametric Strategy Iteration
Ghardallou, Wided	Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis Merging Termination with Abort Freedom
H
Hu, Rui	Modelling and Simulation for the Analysis of Securities Markets
K
Kaliszyk, Cezary	Machine Learning of Coq Proof Guidance: First Experiments
Kutsia, Temur	A Library of Anti-Unification Algorithms
M
Mamane, Lionel	Machine Learning of Coq Proof Guidance: First Experiments
Martiny, Karsten	PDT Logic for Stream Reasoning in Multi-agent Systems
Mazalov, Vadim	Modelling and Simulation for the Analysis of Securities Markets
Mili, Ali	Merging Termination with Abort Freedom
Moeller, Ralf	PDT Logic for Stream Reasoning in Multi-agent Systems
N
Navarro, Marisa	A refutation procedure for proving satisfiability of constraint specifications on XML documents
O
Orejas, Fernando	A refutation procedure for proving satisfiability of constraint specifications on XML documents
P
Phan, Anh-Dung	νZ - Maximal Satisfaction with Z3
S
Saâdaoui, Amina	Automated detection and resolution of firewall misconfigurations
Schwarz, Martin	Parametric Strategy Iteration
Seidl, Helmut	Parametric Strategy Iteration
U
Urban, Josef	Machine Learning of Coq Proof Guidance: First Experiments
W
Watt, Stephen M.	Handwriting Recognition (a Tutorial) Modelling and Simulation for the Analysis of Securities Markets