Methods for the Development of Distributed Real-Time Embedded Systems Using VDM. - Peter Gorm Larsen; John S. Fitzgerald; Sune Wolff (Int. J. Softw. Informatics, 2009)

Are Formal Methods Ready for Agility? A Reality Check. - Peter Gorm Larsen; John S. Fitzgerald; Sune Wolff (FM+AM, 2010)

Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. - John S. Fitzgerald; Peter Gorm Larsen; Ken G. Pierce; Marcel Verhoef; Sune Wolff (IFM, 2010)

Scrum goes formal: agile methods for safety-critical systems. - Sune Wolff (FormSERA@ICSE, 2012)

Methods for Creating Co-models of Embedded Systems. - Kenneth Pierce; Sune Wolff; Marcel Verhoef (Collaborative Design for Embedded Systems, 2014)

Deploying Co-modelling in Commercial Practice. - Sune Wolff; Peter Gorm Larsen; Marcel Verhoef (Collaborative Design for Embedded Systems, 2014)

An Evaluation of Methods for Manipulating Virtual Objects at Different Scales. - Jesper Gaarsdal; Sune Wolff; Claus B. Madsen (VRST, 2021)

Real-Time Exploded View Animation Authoring in VR Based on Simplified Assembly Sequence Planning. - Jesper Gaarsdal; Sune Wolff; Claus B. Madsen (VR Workshops, 2023)

AssemblyNet: A Point Cloud Dataset and Benchmark for Predicting Part Directions in an Exploded Layout. - Jesper Gaarsdal; Joakim Bruslund Haurum; Sune Wolff; Claus Brøndgaard Madsen (WACV, 2024)