Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C E H J L M N P R V Ö

A
Adabala, Keerthi	Synthesizing Glue Code for Graphical User Interfaces from Formal Specifications
B
Bowen, Judy	Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets
Béger, Pascal	A Survey on Formal Methods for Interactive Systems
C
Campos, José Creissac	Model-Based Testing of Post-WIMP Interactions Using Petri-nets
Canny, Alexandre	Model-Based Testing of Post-WIMP Interactions Using Petri-nets
Cerone, Antonio	Modelling Reasoning with Real-time Maude in the Context of Human Behaviour
Ciancia, Vincenzo	Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis
Coppers, Sven	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes
E
Ehlers, Rüdiger	Synthesizing Glue Code for Graphical User Interfaces from Formal Specifications
H
Harrison, Michael	Examples of the application of formal methods to interactive systems: abstract
J
Jaidka, Sapna	Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets
L
Leriche, Sébastien	A Survey on Formal Methods for Interactive Systems
Luyten, Kris	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes
M
Massink, Mieke	Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis
N
Navarre, David	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes Model-Based Testing of Post-WIMP Interactions Using Petri-nets
P
Palanque, Philippe	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes Model-Based Testing of Post-WIMP Interactions Using Petri-nets
Prun, Daniel	A Survey on Formal Methods for Interactive Systems
R
Reeves, Steve	Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets
V
Vanacken, Davy	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes
Ö
Ölveczky, Peter Csaba	Modelling Reasoning with Real-time Maude in the Context of Human Behaviour