Follow
Sune Wolff
Sune Wolff
CTO & Co-Founder, SynergyXR
Verified email at synergyxr.com
Title
Cited by
Cited by
Year
Scrum goes formal: Agile methods for safety-critical systems
S Wolff
2012 first international workshop on formal methods in software engineering …, 2012
672012
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
Internet: overturetool. org/documentation/manuals. html [Oct. 5, 2020], 2013
642013
Collaborative modelling and co-simulation in the development of dependable embedded systems
J Fitzgerald, PG Larsen, K Pierce, M Verhoef, S Wolff
International Conference on Integrated Formal Methods, 12-26, 2010
572010
Methods for the Development of Distributed Real-Time Embedded Systems using VDM
PG Larsen, J Fitzgerald, S Wolff
Int J Software Informatics 3 (2-3), 305-341, 2009
32*2009
Overture vdm-10 tool support: User guide
PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle
Technical Report TR-2010–02, the Overture Initiative, 2010
282010
Are formal methods ready for agility? a reality check
PG Larsen, JS Fitzgerald, S Wolff
School of Computing Science Technical Report Series, 2010
272010
Development process of distributed embedded systems using vdm
PG Larsen, S Wolff, N Battle, J Fitzgerald, K Pierce
Overture-Open-source Tools for Formal Modelling TR-2010-02, 2010
262010
Crescendo tool support: user manual
PG Larsen, K Lausdahl, J Coleman, S Wolff, C Kleijn, F Groen
Tech. Rep. TR-001, The Crescendo Initiative, 2013
172013
Facilitating home automation through wireless protocol interoperability
S Wolff, PG Larsen, K Lausdahl, A Ribeiro, TS Toftegaard
WPMC’09: Proceedings of the 12th International Symposium on Wireless …, 2009
16*2009
Overview of VDM-RT constructs and semantic issues
K Lausdahl, M Verhoef, PG Larsen, S Wolff
Proceedings of the 8th Overture Workshop 1224, 57-67, 2010
52010
Methodological Guidelines for Modelling and Design of Embedded Systems
S Wolff
Aarhus University, 2013
42013
Tutorial for Overture
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
VDM-SL-Overture–Open-source Tools for Formal Modelling TR-2010-01 (March 2010), 2010
42010
Tutorial for overture/VDM++
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Overture–Open-source Tools for Formal Modelling TR-2010-03, 2010
42010
Optimizing energy usage in private households
J Rohde, S Wolff, TS Toftegaard, PG Larsen, K Lausdahl, A Ribeiro, ...
Towards Green ICT, 185-209, 2022
32022
Multi-domain Modelling in DESTECS and Ptolemy-a Tool Comparison
S Wolff, K Pierce, P Derler
Technical Report Electronics and Computer Engineering 2 (15), 2013
32013
Using executable VDM++ models in an industrial application-self-defense system for fighter aircraft
S Wolff
Technical Report Electronics and Computer Engineering 1 (1), 2012
32012
Development Process for Multi-Disciplinary Embedded Control Systems
S Wolff
Technical Report Electronics and Computer Engineering 1 (3), 2012
32012
Tutorial for Overture/VDM-RT
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce
Technical Report TR-005, September 2015. http://overturetool. org …, 2010
22010
Tutorial for Overture/VDM-SL
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ...
12015
Methods for creating co-models of embedded systems
K Pierce, S Wolff, M Verhoef
Collaborative Design for Embedded Systems: Co-modelling and Co-simulation …, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20