Marcel Verhoef
Marcel Verhoef
European Space Agency
Verified email at - Homepage
Cited by
Cited by
Validated designs for object-oriented systems
J Fitzgerald, PG Larsen, P Mukherjee, N Plat, M Verhoef
Springer Science & Business Media, 2005
System architecture evaluation using modular performance analysis: a case study
E Wandeler, L Thiele, M Verhoef, P Lieverse
International Journal on Software Tools for Technology Transfer 8 (6), 649-667, 2006
The overture initiative integrating tools for VDM
PG Larsen, N Battle, M Ferreira, J Fitzgerald, K Lausdahl, M Verhoef
ACM SIGSOFT Software Engineering Notes 35 (1), 1-6, 2010
Modeling and validating distributed embedded real-time systems with VDM++
M Verhoef, PG Larsen, J Hooman
International Symposium on Formal Methods, 147-162, 2006
Timed automata based analysis of embedded system architectures
M Hendriks, M Verhoef
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
Collaborative design for embedded systems
J Fitzgerald, PG Larsen, M Verhoef
Academic Press 10, 978-3, 2014
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
The Overture Open Source Initiative, Tech. Rep. TR-2010-06, 2010
Modeling and validating distributed embedded real-time control systems
MHG Verhoef
[Sl: sn], 2009
Collaborative modelling and co-simulation in the development of dependable embedded systems
J Fitzgerald, PG Larsen, K Pierce, M Verhoef, S Wolff
International Conference on Integrated Formal Methods, 12-26, 2010
Design support and tooling for dependable embedded control software
JF Broenink, C Kleijn, PG Larsen, D Jovanovic, M Verhoef, K Pierce
Proceedings of the 2nd International Workshop on Software Engineering for …, 2010
Conceptual modelling approaches in the COMBINE project
AM Dubois, J Flynn, MHG Verhoef, GLM Augenbroe
COMBINE seminar, Dublin, 1995
A Formal Approach to Collaborative Modelling and Co-simulation for Embedded Systems
J Fitzgerald, PG Larsen, K Pierce, M Verhoef
Mathematical Structures in Computer Science, September 23, 726-750, 2013
Validation support for distributed real-time embedded systems in VDM++
JS Fitzgerald, S Tjell, PG Larsen, M Verhoef
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 331-340, 2007
Co-simulation of distributed embedded real-time control systems
M Verhoef, P Visser, J Hooman, J Broenink
International Conference on Integrated Formal Methods, 639-658, 2007
From embedded to cyber-physical systems: Challenges and future directions
J Fitzgerald, PG Larsen, M Verhoef
Collaborative design for embedded systems, 293-303, 2014
A multi-paradigm mapping method survey
M Verhoef, T Liebich, R Amor
Workshop on Modeling of Buildings through their Life-cycle, 233-247, 1995
Interpreting Distributed System Architectures Using VDM++-A Case Study
M Verhoef, PG Larsen
Hoboken, NY: Stevens Institute of Technology, 2007
Formal methods going mainstream: costs, benefits, experiences
T Margaria, B Schätz, M Verhoef
Industrial case studies—final report
M Verhoef, B Bos, P van Eijk, J Remijnse, E Visser, M De Paepe, ...
DESTECS Deliverable D 4, 2012
Formal semantics of a VDM extension for distributed embedded systems
J Hooman, M Verhoef
Concurrency, Compositionality, and Correctness, 142-161, 2010
The system can't perform the operation now. Try again later.
Articles 1–20