OVT 17: 17TH OVERTURE WORKSHOP
PROGRAM
Monday, October 7th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1

Opening of the 17th Overture Workshop and invited talk by Ana Paiva

09:00
Peter Gorm Larsen
Workshop Opening (abstract)
09:15
Ana Paiva
Teaching VDM (abstract)
10:00-10:30Coffee Break
10:30-12:30 Session 2
10:30
Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Hiroshi Sako, Han-Myung Chang and Peter Larsen
ViennaDoc: An Animatable and Testable Specification Documentation Tool (abstract)
11:00
Peter W. V. Tran-Jørgensen and Tomas Kulik
Migrating Overture to a different IDE (abstract)
11:30
Mikkel Bayard Rasmussen, Peter Gorm Larsen, Casper Thule and Hugo Daniel Macedo
Moving the INTO-CPS Application to the Cloud (abstract)
12:00
Christian Legaard, Casper Thule and Peter Gorm Larsen
Towards Graphical Configuration in the INTO-CPS Application (abstract)
12:30-14:00Lunch Break
14:00-15:00 Session 3
14:00
Nick Battle, Casper Thule, Cláudio Gomes, Hugo Daniel Macedo and Peter Gorm Larsen
Towards Static Check of FMUs in VDM-SL (abstract)
14:30
Ken Pierce, Carl Gamble, David Golightly and Roberto Palacín
Exploring Human Behaviour in Cyber-Physical Systems with Multi-modelling and Co-simulation (abstract)
15:00-15:30Coffee Break
15:30-16:10 Session 4
15:30
Peter Gorm Larsen
Workshop Wrap-up (abstract)
15:50
Ken Pierce
Building System Identified FMUs using VDM-RT (abstract)
16:10-18:00 Session 5: INTO-CPS Association Plenary

http://into-cps.org/currently/events/show/artikel/general-assembly-2019-1/