Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C D E G H K L M N O P R S T V W X Z

B
Barenbaum, Pablo	Semantics of a Relational Lambda-Calculus
Bartocci, Ezio	Analysis of Bayesian Networks via Prob-Solvable Loops
C
Chairs,	Best Paper Award
Chairs,	Welcome Concluding Remarks
Crespi Reghizzi, Stefano	Star-freeness, First-order Definability and Aperiodicity of Structured Context-free Languages
D
Damiani, Ferruccio	On Two Characterizations of Feature Models
Deng, Yuxin	Qsimulation V2.0: an Optimized Quantum Simulator
Du, Wenjie	Qsimulation V2.0: an Optimized Quantum Simulator
E
Erofeev, Evgeny	The Complexity of Boolean State Separation Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm
G
Gadducci, Fabio	Implementation correctness for Replicated Data Types, categorically
Gengelbach, Arve	Proof-theoretic Conservative Extension of HOL with Ad-hoc Overloading
Genitrini, Antoine	Statistical Analysis of Non-Deterministic Fork-Join Processes
Goncharov, Sergey	Implementing Hybrid Semantics: From Functional to Imperative
H
Havelund, Klaus	A Flight Rule Checker for the LADEE Lunar Spacecraft
Hennicker, Rolf	Compositionality of Safe Communication in Systems of Team Automata
Huisman, Marieke	Teaching Software Verification using Snap! Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms
K
Kleijn, Jetty	Compositionality of Safe Communication in Systems of Team Automata
Kovacs, Laura	Analysis of Bayesian Networks via Prob-Solvable Loops
L
Lienhardt, Michael	On Two Characterizations of Feature Models
Lochbaum, Federico	Semantics of a Relational Lambda-Calculus
M
Mandrioli, Dino	Star-freeness, First-order Definability and Aperiodicity of Structured Context-free Languages
Melgratti, Hernan	Implementation correctness for Replicated Data Types, categorically
Midya, Abhisek	A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages
Milicich, Mariana	Semantics of a Relational Lambda-Calculus
N
Neves, Renato	Implementing Hybrid Semantics: From Functional to Imperative
O
Ogata, Kazuhiro	CiMPG+F: A Proof Generator & Fixer-upper for CafeOBJ Specifications
P
Paolini, Luca	On Two Characterizations of Feature Models
Peschanski, Frederic	Statistical Analysis of Non-Deterministic Fork-Join Processes
Pradella, Matteo	Star-freeness, First-order Definability and Aperiodicity of Structured Context-free Languages
Proenca, Jose	Implementing Hybrid Semantics: From Functional to Imperative
Pépin, Martin	Statistical Analysis of Non-Deterministic Fork-Join Processes
R
Riesco, Adrian	CiMPG+F: A Proof Generator & Fixer-upper for CafeOBJ Specifications
Roldan, Christian	Implementation correctness for Replicated Data Types, categorically
S
Safari, Mohsen	Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms
Sammartino, Matteo	Implementation correctness for Replicated Data Types, categorically
Stankovic, Miroslav	Analysis of Bayesian Networks via Prob-Solvable Loops
T
ter Beek, Maurice H.	Compositionality of Safe Communication in Systems of Team Automata
Tredup, Ronny	The Complexity of Boolean State Separation Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm
V
Vaandrager, Frits	A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages
W
Weber, Tjark	Proof-theoretic Conservative Extension of HOL with Ad-hoc Overloading
Wu, Hua	Qsimulation V2.0: an Optimized Quantum Simulator
X
Xu, Ming	Qsimulation V2.0: an Optimized Quantum Simulator
Z
Zhan, Naijun	Taming delays in cyber-physical systems