Marcel Verhoef

Publication Activity (10 Years)

Years Active: 1991-2021
Publications (10 Years): 2

Top Topics

Provably Correct

Mechanical Engineering

Top Venues

Math. Struct. Comput. Sci.

MoDELS (Companion)

Publications

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
Digital Engineering Hub Pathfinder. MoDELS (Companion) (2021)
Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge
Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. FM (2019)
John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef
System Development: The DESTECS/Crescendo Technology. ERCIM News 2014 (97) (2014)
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef
A formal approach to collaborative modelling and co-simulation for embedded systems. Math. Struct. Comput. Sci. 23 (4) (2013)
Peter Gorm Larsen, Nick Battle, Miguel Alexandre Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
The overture initiative integrating tools for VDM. ACM SIGSOFT Softw. Eng. Notes 35 (1) (2010)
Jozef Hooman, Marcel Verhoef
Formal Semantics of a VDM Extension for Distributed Embedded Systems. Concurrency, Compositionality, and Correctness (2010)
Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce
Design support and tooling for dependable embedded control software. SERENE (2010)
John S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef, Sune Wolff
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. IFM (2010)
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink
Co-simulation of Distributed Embedded Real-Time Control Systems. IFM (2007)
John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef
Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE (2007)
Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
Guest editors' introduction: quantitative analysis of real-time embedded systems. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse
System architecture evaluation using modular performance analysis: a case study. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. FM (2006)
Martijn Hendriks, Marcel Verhoef
Timed automata based analysis of embedded system architectures. IPDPS (2006)
Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal
Reusing Real-Time Systems Design Experience. FDL (2006)
Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, Paul Lieverse
System Architecture Evaluation Using Modular Performance Analysis - A Case Study. ISoLA (Preliminary proceedings) (2004)
Nico Plat, Kees Pronk, Marcel Verhoef
The Delft VDM-SL Front-End. VDM Europe (1) (1991)