|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
OVERTURE FULL PAPERS
| Authors | Title | Paper | Talk |
|---|
| Peter W. V. Tran-Jørgensen, René Søndergaard Nilsson and Kenneth Lausdahl | Enhancing Testing of VDM-SL models |  | Jul 14 10:10 | | Casper Thule, Kenneth Lausdahl and Peter Gorm Larsen | Overture FMU: Export VDM-RT Models as Tool-Wrapper FMUs | | Jul 14 11:00 | | Tomohiro Oda, Keijiro Araki and Peter Gorm Larsen | ViennaVM: a Virtual Machine for VDM-SL development | | Jul 14 11:20 | | René Søndergaard Nilsson, Kenneth Lausdahl, Hugo Daniel Macedo and Peter Gorm Larsen | Transforming an industrial case study from VDM++ to VDM-SL | | Jul 14 14:50 | | Leo Freitas | VDM at large: analysing the EMV Next Generation Kernel | | Jul 14 14:00 | | Martin Mansfield, Charles Morisset, Carl Gamble, John Mace, Ken Pierce and John Fitzgerald | Design Space Exploration for Secure Building Control | | Jul 14 12:00 | | Simon Fraser | Integrating VDM-SL into the continuous delivery pipelines of cloud-based software | | Jul 14 15:10 | | Georgios Zervakis, Ken Pierce and Carl Gamble | Multi-modelling of Cooperative Swarms | | Jul 14 11:40 |
|
|