Overture Workshop (Abstracts 08/04; Subs. 15/04)
- ViennaVM: a Virtual Machine for VDM-SL development, Tomohiro Oda, Keijiro Araki and Peter Gorm Larsen
- Adding a FMU export capability to Overture, Casper Thule, Kenneth Lausdahl and Peter Gorm Larsen
- Using VDM-SL for a family of agricultural products, Rene Nilsson, Kenneth Lausdahl, Hugo Macedo and Peter Gorm Larsen
- Enhancing Testing for VDM-SL models, Peter W. V. Tran-Jørgensen and Kenneth Lausdahl
- Toward a Well-Founded Code Generator with a Focus on Object Orientation Semantics, Victor Bandur, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen and Miran Hasanagic
- Transformation of a Formal Model to a Distributed Setting with Code Generation and Validation. Miran Hasanagic, Peter W. V. Tran-Jørgensen, René Nilsson, Luis Diogo Couto and Peter Gorm Larsen, to be submitted for the Software - Practice and Experience journal
- Peter Gorm Larsen, José Antonio Esparza Isasa, John Fitzgerald, Stefan Hallerstede, Ole Green, Modelling and Simulating an Agricultural Robot, rejected at ICCPS at CPS Week in April 2016 in Vienna (new venue to be found)
- Integrating Real System Components in Model-Based Development, Luis Diogo Couto and Peter W. V. Tran-Jørgensen, submitted to ACM SAC 2018
- A Testing Framework for Exploratory Formal Specification with Agility (in Japanese), Tomohiro Oda, Keijiro Araki, Software Symposium 2018
- Formalising and Validating the Interface Description in the FMI standard, Miran Hasanagic, Peter W. V. Tran-Jørgensen, Kenneth Lausdahl and Peter Gorm Larsen, FM’2016
- Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design, Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, René Nilsson, Carl Gamble and Simon Foster, accepted for publication at Isola 2016
- Integrated Tool Chain for Model-based Design of Cyber-Physical Systems: The INTO-CPS Project, (Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis and Andrey Sadovykh, presented at the CPS Data workshop held in connection with the CPSWeek, Vienna, Austria, April 2016.
- Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen.
Distributed Simulation of Formal Models in System of Systems
Engineering. COMETS 2014, June 2014 https://www.computer.org/csdl/proceedings/wetice/2014/4249/00/4249a211.pdf
- José Antonio Esparza Isasa, Peter Gorm Larsen and Finn Overgaard
Hansen. Energy-Aware Model-Driven Development of a Wearable Health
Care Device. In preparation for the 6th FHIES/SEHC. June 2014
- Migrating to an Extensible Architecture for Abstract Syntax Trees
(Luis Diogo Couto, Peter W. V. Jorgensen, Joey W. Coleman, Kenneth
Lausdahl for WICSA 2015)
- The Evolution of VDM Tools from the 1990s to 2015 and the Influence of CAMILA, (Peter Gorm Larsen and John Fitzgerald, published by the Journal of Logical and Algebraic Methods in Programming in connection with the Festscrift for José Nuno Oliveira) See http://www.sciencedirect.com/science/article/pii/S2352220815000954.
- Principles for Reuse in Formal Language Tools, (Luis Diogo Couto, Peter Tran-Jørgensen and Kenneth Lausdahl, presented at SAC by Victor Bandur)
- Model-based Development of a Multi-algorithm Harvest Planning System, Luis Diogo Couto, Peter W. V. Tran-Jørgensen, and Gareth T. C. Edwards, due to appear in Volume 676 of the Advances in Intelligent Systems and Computing series (invited paper).