Sune Wolff
Sune Wolff
Industrial Postdoc at Department of Engineering, Aarhus University and Terma A/S
Verified email at iha.dk
Title
Cited by
Cited by
Year
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
Tech. Rep. TR-001, The Overture Initiative, 2013
562013
Scrum goes formal: Agile methods for safety-critical systems
S Wolff
2012 first international workshop on formal methods in software engineering …, 2012
522012
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
492010
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
31*2009
Overture vdm-10 tool support: User guide
PG Larsen, K Lausdahl, A Ribeiro, S Wolff, N Battle, B RG12
Technical Report TR-2010–02, the Overture Initiative, 2010
282010
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
252010
Are Formal Methods Ready for Agility? A Reality Check.
PG Larsen, JS Fitzgerald, S Wolff
FM+ AM, 13-25, 2010
222010
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
15*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
River Publishers, 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
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
Multi-domain Modelling in DESTECS and Ptolemy-a Tool Comparison
S Wolff, K Pierce, P Derler
Technical Report Electronics and Computer Engineering 2 (15), 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
Development Process for Multi-Disciplinary Embedded Control Systems
S Wolff
Technical Report Electronics and Computer Engineering 1 (3), 2010
22010
Optimizing energy usage in private households
J Rohde, S Wolff, TS Toftegaard, PG Larsen, K Lausdahl, A Ribeiro, ...
Towards Green ICT 9, 185, 2010
22010
Methods for creating co-models of embedded systems
K Pierce, S Wolff, M Verhoef
Collaborative Design for Embedded Systems, 153-183, 2014
12014
Tutorial for Overture/VDM-SL
PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ...
12011
The system can't perform the operation now. Try again later.
Articles 1–20