The Delft VDM-SL Front-End. - Nico Plat; Kees Pronk; Marcel Verhoef (VDM Europe (1), 1991)

Reusing Real-Time Systems Design Experience. - Oana Florescu; Jeroen Voeten; Marcel Verhoef; Henk Corporaal (FDL, 2006)

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. - Marcel Verhoef; Peter Gorm Larsen; Jozef Hooman (FM, 2006)

Timed automata based analysis of embedded system architectures. - Martijn Hendriks; Marcel Verhoef (IPDPS, 2006)

Guest editors' introduction: quantitative analysis of real-time embedded systems. - Peter Buchholz 001; Joost-Pieter Katoen; Marcel Verhoef (Int. J. Softw. Tools Technol. Transf., 2006)

System architecture evaluation using modular performance analysis: a case study. - Ernesto Wandeler; Lothar Thiele; Marcel Verhoef; Paul Lieverse (Int. J. Softw. Tools Technol. Transf., 2006)

Validation Support for Distributed Real-Time Embedded Systems in VDM++. - John S. Fitzgerald; Simon Tjell; Peter Gorm Larsen; Marcel Verhoef (HASE, 2007)

Co-simulation of Distributed Embedded Real-Time Control Systems. - Marcel Verhoef; Peter Visser; Jozef Hooman; Jan F. Broenink (IFM, 2007)

Vienna Development Method. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Formal Semantics of a VDM Extension for Distributed Embedded Systems. - Jozef Hooman; Marcel Verhoef (Concurrency, Compositionality, and Correctness, 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)

Design support and tooling for dependable embedded control software. - Jan F. Broenink; Christian Kleijn; Peter Gorm Larsen; Dusko S. Jovanovic; Marcel Verhoef; Kenneth Pierce (SERENE, 2010)

The overture initiative integrating tools for VDM. - Peter Gorm Larsen; Nick Battle; Miguel Alexandre Ferreira; John S. Fitzgerald; Kenneth Lausdahl; Marcel Verhoef (ACM SIGSOFT Softw. Eng. Notes, 2010)

A formal approach to collaborative modelling and co-simulation for embedded systems. - John S. Fitzgerald; Peter Gorm Larsen; Ken G. Pierce; Marcel Verhoef (Math. Struct. Comput. Sci., 2013)

From Embedded to Cyber-Physical Systems: Challenges and Future Directions. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (Collaborative Design for Embedded Systems, 2014)

Discrete-Event Modelling in VDM. - Peter Gorm Larsen; John S. Fitzgerald; Marcel Verhoef; Kenneth Pierce (Collaborative Design for Embedded Systems, 2014)

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

Case Studies in Co-modelling and Co-simulation. - Marcel Verhoef; Bert Bos; Kenneth Pierce; Carl Gamble; Job van Amerongen (Collaborative Design for Embedded Systems, 2014)

Industrial Application of Co-modelling and Co-simulation Technology. - Marcel Verhoef; Peter Gorm Larsen (Collaborative Design for Embedded Systems, 2014)

Collaborative Development of Embedded Systems. - Marcel Verhoef; Kenneth Pierce; Carl Gamble; Jan F. Broenink (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)

System Development: The DESTECS/Crescendo Technology. - John S. Fitzgerald; Peter Gorm Larsen; Marcel Verhoef (ERCIM News, 2014)

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. - Daniel Silveira; Andreas Jung; Marcel Verhoef; Tiago Jorge (FM, 2019)

Digital Engineering Hub Pathfinder. - Marcel Verhoef; Sam Gerené; Alex Vorobiev; Nathanael Smiechowski; Stephan Jahnke; Jan Knippschild; Sven Weikert; Marc Becker; Stéphane Paquay; Juan Pablo Hernandez Vogt; Ivan Fontaine (MoDELS (Companion), 2021)