Marcel Verhoef - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2021

Digital Engineering Hub PathfinderMarcel 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 2021: 467-476 [doi]

2019

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSPDaniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge. FM 2019: 727-737 [doi]

2014

From Embedded to Cyber-Physical Systems: Challenges and Future DirectionsJohn S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 293-303, Springer, 2014. [doi]

System Development: The DESTECS/Crescendo TechnologyJohn S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef. ercim, 2014(97), 2014. [doi]

Discrete-Event Modelling in VDMPeter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 61-95, Springer, 2014. [doi]

Methods for Creating Co-models of Embedded SystemsKenneth Pierce, Sune Wolff, Marcel Verhoef. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 153-183, Springer, 2014. [doi]

Case Studies in Co-modelling and Co-simulationMarcel Verhoef, Bert Bos, Kenneth Pierce, Carl Gamble, Job van Amerongen. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 141-152, Springer, 2014. [doi]

Collaborative Development of Embedded SystemsMarcel Verhoef, Kenneth Pierce, Carl Gamble, Jan Broenink. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 3-14, Springer, 2014. [doi]

Industrial Application of Co-modelling and Co-simulation TechnologyMarcel Verhoef, Peter Gorm Larsen. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 223-259, Springer, 2014. [doi]

Deploying Co-modelling in Commercial PracticeSune Wolff, Peter Gorm Larsen, Marcel Verhoef. In John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef, editors, Collaborative Design for Embedded Systems - Co-modelling and Co-simulation. pages 263-271, Springer, 2014. [doi]

2013

A formal approach to collaborative modelling and co-simulation for embedded systemsJohn S. Fitzgerald, Peter Gorm Larsen, Ken G. Pierce, Marcel Verhoef. mscs, 23(4):726-750, 2013. [doi]

2010

2007

Validation Support for Distributed Real-Time Embedded Systems in VDM++John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef. hase 2007: 331-340 [doi]

Co-simulation of Distributed Embedded Real-Time Control SystemsMarcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink. IFM 2007: 639-658 [doi]

2006

2004

System Architecture Evaluation Using Modular Performance Analysis - A Case StudyMarcel Verhoef, Ernesto Wandeler, Lothar Thiele, Paul Lieverse. ISoLA 2004: 209-219

1991

The Delft VDM-SL Front-EndNico Plat, Kees Pronk, Marcel Verhoef. FM 1991: 677-680

Sign in or sign up to see more results.

runs on WebDSL