FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

Disclaimer | Powered by EasyChair Smart Program