Publications
Published Papers:
- Connecting UML and VDM++ with Open Tool Support, Kenneth Lausdahl and Hans Kristian Agerlund Lintrup and Peter Gorm Larsen, Formal Methods 09, November 2009 (bib entry)
- The Overture Initiative - Integrating Tools for VDM, Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John Fitzgerald, Kenneth Lausdahl and Marcel Verhoef, ACM Software Engineering Notes, January 2010, Vol 35 (1) (bib entry)
- Combinatorial Testing for VDM++, Peter Gorm Larsen and Kenneth Lausdahl and Nick Battle, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 (bib entry)
- Optimizing Energy Usage in Private Households, (Towards Green ICT), John Rohde and Sune Wolff and Thomas Skjødeberg Toftegaardand Peter Gorm Larsen and Kenneth Lausdahl and Augusto Ribeiro and Poul Ejnar Rovsing, River Publishers, 2010, Chapter 13 (bib entry)
- Facilitating Home Automation Through Wireless Protocol Interoperability, Sune Wolff and Peter Gorm Larsen and Kenneth Lausdahl and Augusto Ribeiro and Thomas Skjødeberg Toftegaard, WPMC'09: The 12th International Symposium on Wireless Personal Multimedia Communications, September 2009 (bib entry)
- Overview of VDM-RT Constructs and Semantic Issues, Kenneth Lausdahl, Marcel Verhoef, Peter Gorm Larsen and Sune Wolff, 8th Overture Workshop, 13 September 2010 (bib entry)
- Automated Exploration of Alternative System Architectures with VDM-RT, Kenneth Lausdahl and Augusto Ribeiro, 20 June 2011, 9th Overture Workshop at FM2011.
- Run-Time Validation of Timing Constraints for VDM-RT Models, Augusto Ribeiro, Kenneth Lausdahl, Peter Gorm Larsen, 20 June 2011, 9th Overture Workshop at FM2011.
- A Deterministic Interpreter Simulating a Distributed Real Time System using VDM, K.G. Lausdahl, P.G. Larsen and N. Battle, 26 Oct 2011, ICFEM 2011: 13th International Conference on Formal Engineering Methods.
Other Papers:
- Enable Easier Management and Sharing of Glucose Measurements for Diabetes Patients
- CONTEXT-AWARE PATIENT SYSTEM
Other Work:
- Master Thesis: Coupling Overture to MDA and UML
- Bachelor project: Fleet Management System
