Marcel Verhoef

According to our database1, Marcel Verhoef authored at least 24 papers between 1991 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Formal Methods Applicability on Space Applications Specification and Implementation Using MORA-TSP.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2014
System Development: The DESTECS/Crescendo Technology.
ERCIM News, 2014

Deploying Co-modelling in Commercial Practice.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Collaborative Development of Embedded Systems.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Industrial Application of Co-modelling and Co-simulation Technology.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Case Studies in Co-modelling and Co-simulation.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Methods for Creating Co-models of Embedded Systems.
Proceedings of the Collaborative Design for Embedded Systems, 2014

Discrete-Event Modelling in VDM.
Proceedings of the Collaborative Design for Embedded Systems, 2014

From Embedded to Cyber-Physical Systems: Challenges and Future Directions.
Proceedings of the Collaborative Design for Embedded Systems, 2014

2013
A formal approach to collaborative modelling and co-simulation for embedded systems.
Mathematical Structures in Computer Science, 2013

2010
The overture initiative integrating tools for VDM.
ACM SIGSOFT Software Engineering Notes, 2010

Design support and tooling for dependable embedded control software.
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.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

Formal Semantics of a VDM Extension for Distributed Embedded Systems.
Proceedings of the Concurrency, 2010

2008
Vienna Development Method.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2007
Co-simulation of Distributed Embedded Real-Time Control Systems.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Validation Support for Distributed Real-Time Embedded Systems in VDM++.
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.
STTT, 2006

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

Timed automata based analysis of embedded system architectures.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
Proceedings of the FM 2006: Formal Methods, 2006

Reusing Real-Time Systems Design Experience.
Proceedings of the Forum on specification and Design Languages, 2006

2004
System Architecture Evaluation Using Modular Performance Analysis - A Case Study.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

1991
The Delft VDM-SL Front-End.
Proceedings of the VDM '91, 1991


  Loading...