FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Araki, Keijiro	ViennaVM: a Virtual Machine for VDM-SL development
F
Fitzgerald, John	Design Space Exploration for Secure Building Control
Fraser, Simon	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software
Freitas, Leo	VDM at large: analysing the EMV Next Generation Kernel
G
Gamble, Carl	Multi-modelling of Cooperative Swarms
Gamble, Carl	Design Space Exploration for Secure Building Control
L
Larsen, Peter Gorm	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs ViennaVM: a Virtual Machine for VDM-SL development Transforming an industrial case study from VDM++ to VDM-SL
Lausdahl, Kenneth	Enhancing Testing of VDM-SL models Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs Transforming an industrial case study from VDM++ to VDM-SL
M
Mace, John	Design Space Exploration for Secure Building Control
Macedo, Hugo Daniel	Transforming an industrial case study from VDM++ to VDM-SL
Mansfield, Martin	Design Space Exploration for Secure Building Control
Morisset, Charles	Design Space Exploration for Secure Building Control
N
Nilsson, René	Enhancing Testing of VDM-SL models Transforming an industrial case study from VDM++ to VDM-SL
O
Oda, Tomohiro	ViennaVM: a Virtual Machine for VDM-SL development
P
Pierce, Ken	Welcome to the Overture Workshop Multi-modelling of Cooperative Swarms Design Space Exploration for Secure Building Control
T
Thule, Casper	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs
V
Verhoef, Marcel	The Overture Strategic Research Agenda
W
W. V. Tran-Jørgensen, Peter	Enhancing Testing of VDM-SL models
Z
Zervakis, Georgios	Multi-modelling of Cooperative Swarms

Disclaimer | Powered by EasyChair Smart Program