FWFM 2014 PAPERS: AUTHOR INDEX

Papers Papers with Abstracts Author Index Keyword Index

Shortcuts: B C H K L M R S T W

B
Beillahi, Sidi Mohamed	Towards the Application of Formal Methods in Process Engineering (PDF, talk)
Buchs, Didier	Introducing Formal Verification with Lego (PDF, talk)
C
Colange, Maximilien	Introducing Formal Verification with Lego (PDF, talk)
H
Hostettler, Steve	Introducing Formal Verification with Lego (PDF, talk)
K
Kirchner, Florent	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
Kotek, Tomer	Explaining the decompositionality of MSO using applications to combinatorics (PDF, talk)
L
Lawrence, David	Introducing Formal Verification with Lego (PDF, talk)
Linard, Alban	Introducing Formal Verification with Lego (PDF, talk)
Logas, Heather	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
López Bóbeda, Edmundo	Introducing Formal Verification with Lego (PDF, talk)
M
Marechal, Alexis	Introducing Formal Verification with Lego (PDF, talk)
Murray, John	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
R
Racordon, Dimitri	Introducing Formal Verification with Lego (PDF, talk)
Risoldi, Matteo	Introducing Formal Verification with Lego (PDF, talk)
S
Schäf, Martin	Chekofv: Crowd-sourced Formal Verification (PDF, talk)
Sedlmajer, Nicolas	Introducing Formal Verification with Lego (PDF, talk)
Shah, Pratima K.	An Example Demonstrating the Requirement of Fully Formal Verification Method (PDF, talk)
Shilov, Nikolay	Using Esoteric Language for Teaching Formal Semantics (PDF, talk)
Siddique, Umair	Towards the Application of Formal Methods in Process Engineering (PDF, talk)
T
Tahar, Sofiene	Towards the Application of Formal Methods in Process Engineering (PDF, talk)
W
Whitehead, Jim	Chekofv: Crowd-sourced Formal Verification (PDF, talk)