Marcel Verhoef

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