Talk Author Index

TALK AUTHOR INDEX

Shortcuts: B C G H K L P Q R S T W

B
Ben Ayed, Rahma	Towards a Method for the Decomposition by Refinement in Event-B
Bon, Philippe	Towards a Method for the Decomposition by Refinement in Event-B
C
Chevrou, Florent	A Map of Asynchronous Communication Models
Cleophas, Loek	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
Collart-Dutilleul, Simon	Towards a Method for the Decomposition by Refinement in Event-B
Colvin, Robert	An abstract semantics of speculative execution for reasoning about security vulnerabilities
G
Groves, Lindsay	Weakening correctness and linearizability for concurrent objects on multicore processors
H
Hurault, Aurélie	A Map of Asynchronous Communication Models
K
Kraibi, Kenza	Towards a Method for the Decomposition by Refinement in Event-B
L
Laleau, Régine	Refinement in practice: from an informal description to a formal specification
P
Petit, Dorian	Towards a Method for the Decomposition by Refinement in Event-B
Q
Queinnec, Philippe	A Map of Asynchronous Communication Models
R
Rehm, Joris	Towards a Method for the Decomposition by Refinement in Event-B
Runge, Tobias	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
S
Schaefer, Ina	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
Smith, Douglas	Transformations for Generating Type Refinements
Smith, Graeme	Weakening correctness and linearizability for concurrent objects on multicore processors
T
Thüm, Thomas	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
W
Watson, Bruce	Comparing Correctness-by-Construction with Post-hoc Verification - A Qualitative User Study
Westfold, Stephen	Transformations for Generating Type Refinements
Winter, Kirsten	An abstract semantics of speculative execution for reasoning about security vulnerabilities