Marcel Verhoef

According to our database, Marcel Verhoef authored at least 24 papers between 1991 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2019

Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP.

Daniel Silveira, Andreas Jung, Marcel Verhoef, Tiago Jorge

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2014

System Development: The DESTECS/Crescendo Technology.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

ERCIM News, 2014

Deploying Co-modelling in Commercial Practice.

Sune Wolff, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Collaborative Design for Embedded Systems, 2014

Collaborative Development of Embedded Systems.

Marcel Verhoef, Kenneth Pierce, Carl Gamble, Jan F. Broenink

Proceedings of the Collaborative Design for Embedded Systems, 2014

Industrial Application of Co-modelling and Co-simulation Technology.

Marcel Verhoef, Peter Gorm Larsen

Proceedings of the 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

Proceedings of the Collaborative Design for Embedded Systems, 2014

Methods for Creating Co-models of Embedded Systems.

Kenneth Pierce, Sune Wolff, Marcel Verhoef

Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.

Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce

Proceedings of the Collaborative Design for Embedded Systems, 2014

From Embedded to Cyber-Physical Systems: Challenges and Future Directions.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Collaborative Design for Embedded Systems, 2014

2013

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

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

Design support and tooling for dependable embedded control software.

Jan F. Broenink, Christian Kleijn, Peter Gorm Larsen, Dusko S. Jovanovic, Marcel Verhoef, Kenneth Pierce

Proceedings of the 2nd International Workshop on Software Engineering for Resilient Systems, 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

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Formal Semantics of a VDM Extension for Distributed Embedded Systems.

Jozef Hooman, Marcel Verhoef

Proceedings of the Concurrency, 2010

2008

Vienna Development Method.

John S. Fitzgerald, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007

Co-simulation of Distributed Embedded Real-Time Control Systems.

Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Validation Support for Distributed Real-Time Embedded Systems in VDM++.

John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

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

Guest editors' introduction: quantitative analysis of real-time embedded systems.

Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef

Int. J. Softw. Tools Technol. Transf., 2006

Timed automata based analysis of embedded system architectures.

Martijn Hendriks, Marcel Verhoef

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

Proceedings of the FM 2006: Formal Methods, 2006

Reusing Real-Time Systems Design Experience.

Oana Florescu, Jeroen Voeten, Marcel Verhoef, Henk Corporaal

Proceedings of the Forum on specification and Design Languages, 2006

1991

The Delft VDM-SL Front-End.

Nico Plat, Kees Pronk, Marcel Verhoef

Proceedings of the VDM '91, 1991