FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

A
Animation	ViennaVM: a Virtual Machine for VDM-SL development (PDF, talk)
C
Co-Simulation	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs (PDF, talk) Multi-modelling of Cooperative Swarms (PDF, talk)
Code Generators	ViennaVM: a Virtual Machine for VDM-SL development (PDF, talk)
code-generation	Enhancing Testing of VDM-SL models (PDF, talk)
Continuous delivery	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software (PDF, talk)
continuous validation	Enhancing Testing of VDM-SL models (PDF, talk)
D
Design Space Exploration	Design Space Exploration for Secure Building Control (PDF, talk)
Discrete-Event	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs (PDF, talk)
E
EMVCo	VDM at large: analysing the EMV Next Generation Kernel (PDF, talk)
F
FMI	Multi-modelling of Cooperative Swarms (PDF, talk)
Functional Mock-up Interface	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs (PDF, talk)
I
Industrial application	Transforming an industrial case study from VDM++ to VDM-SL (PDF, talk)
M
Model transformations	Transforming an industrial case study from VDM++ to VDM-SL (PDF, talk)
multi-modelling	Design Space Exploration for Secure Building Control (PDF, talk) Multi-modelling of Cooperative Swarms (PDF, talk)
O
Optimisation	Design Space Exploration for Secure Building Control (PDF, talk)
Overture	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs (PDF, talk) VDM at large: analysing the EMV Next Generation Kernel (PDF, talk) Integrating VDM-SL into the continuous delivery pipelines of cloud-based software (PDF, talk)
R
real-time	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs (PDF, talk)
S
Security	VDM at large: analysing the EMV Next Generation Kernel (PDF, talk) Design Space Exploration for Secure Building Control (PDF, talk)
Smart Buildings	Design Space Exploration for Secure Building Control (PDF, talk)
Software as a Service	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software (PDF, talk)
swarms	Multi-modelling of Cooperative Swarms (PDF, talk)
U
unit testing	Enhancing Testing of VDM-SL models (PDF, talk)
V
VDM	Enhancing Testing of VDM-SL models (PDF, talk) Transforming an industrial case study from VDM++ to VDM-SL (PDF, talk)
VDM-RT	Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs (PDF, talk)
VDMJ	VDM at large: analysing the EMV Next Generation Kernel (PDF, talk)
Vienna Development Method (VDM)	Integrating VDM-SL into the continuous delivery pipelines of cloud-based software (PDF, talk)
Virtual Machine	ViennaVM: a Virtual Machine for VDM-SL development (PDF, talk)

Disclaimer | Powered by EasyChair Smart Program