Marcel Verhoef
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
1991–2021
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | MODELS | Digital Engineering Hub Pathfinder. | Marcel Verhoef, Sam Geren, Alex Vorobiev, Nathanael Smiechowski, Stephan Jahnke, Jan Knippschild, Sven Weikert, Marc Becker, Stphane Paquay, Juan Pablo Hernandez Vogt, Ivan Fontaine |
| 2019 | FM | Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP. | Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge |
| 2010 | IFM | 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 |
| 2007 | IFM | Co-simulation of Distributed Embedded Real-Time Control Systems. | Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink |
| 2006 | FDL | Reusing Real-Time Systems Design Experience. | Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal |
| 2006 | FM | Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. | Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman |
| 2004 | ISoLA | System Architecture Evaluation Using Modular Performance Analysis - A Case Study. | Marcel Verhoef, Ernesto Wandeler, Lothar Thiele, Paul Lieverse |
| 1991 | FM | The Delft VDM-SL Front-End. | Nico Plat, Kees Pronk, Marcel Verhoef |