| Scrum goes formal: Agile methods for safety-critical systems S Wolff 2012 first international workshop on formal methods in software engineering …, 2012 | 68 | 2012 |
| 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 | 66 | 2013 |
| 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 | 56 | 2010 |
| 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 | 33* | 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 | 29 | 2010 |
| 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 | 26 | 2010 |
| Are formal methods ready for agility? a reality check PG Larsen, JS Fitzgerald, S Wolff School of Computing Science Technical Report Series, 2010 | 26 | 2010 |
| 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 | 17 | 2013 |
| 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 | 5 | 2010 |
| Methodological Guidelines for Modelling and Design of Embedded Systems S Wolff Aarhus University, 2013 | 4 | 2013 |
| 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 | 4 | 2012 |
| 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 | 4 | 2010 |
| 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 | 4 | 2010 |
| Optimizing energy usage in private households J Rohde, S Wolff, TS Toftegaard, PG Larsen, K Lausdahl, A Ribeiro, ... Towards Green ICT, 185-209, 2022 | 3 | 2022 |
| 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 | 3 | 2013 |
| Development Process for Multi-Disciplinary Embedded Control Systems S Wolff Technical Report Electronics and Computer Engineering 1 (3), 2012 | 3 | 2012 |
| 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 | 2 | 2010 |
| Tutorial for Overture/VDM-SL PG Larsen, J Fitzgerald, S Wolff, N Battle, K Lausdahl, A Ribeiro, K Pierce, ... | 1 | 2015 |
| 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 | 1 | 2014 |
