Marcel Verhoef
Marcel Verhoef
European Space Agency
Dirección de correo verificada de xs4all.nl - Página principal
Título
Citado por
Citado por
Año
Validated designs for object-oriented systems
J Fitzgerald, PG Larsen, P Mukherjee, N Plat, M Verhoef
Springer Science & Business Media, 2005
3642005
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
2292006
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
1702010
Modeling and validating distributed embedded real-time systems with VDM++
M Verhoef, PG Larsen, J Hooman
International Symposium on Formal Methods, 147-162, 2006
1372006
Timed automata based analysis of embedded system architectures
M Hendriks, M Verhoef
Proceedings 20th IEEE International Parallel & Distributed Processing …, 2006
1002006
Vienna development method
JS Fitzgerald, PG Larsen, M Verhoef
Wiley Encyclopedia of Computer Science and Engineering, 1-11, 2007
932007
Collaborative design for embedded systems
J Fitzgerald, PG Larsen, M Verhoef
Springer Berlin Heidelberg, Berlin, Heidelberg. http://link. springer. com …, 2014
852014
Modeling and validating distributed embedded real-time control systems
MHG Verhoef
[Sl: sn], 2009
592009
VDM-10 language manual
PG Larsen, K Lausdahl, N Battle, J Fitzgerald, S Wolff, S Sahara, ...
Tech. Rep. TR-001, The Overture Initiative, 2013
562013
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
492010
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
442010
Conceptual modelling approaches in the COMBINE project
AM Dubois, J Flynn, MHG Verhoef, GLM Augenbroe
COMBINE seminar, Dublin, 1995
411995
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
372013
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
292007
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
272007
Interpreting Distributed System Architectures Using VDM++-A Case Study
M Verhoef, PG Larsen
Hoboken, NY: Stevens Institute of Technology, 2007
172007
A multi-paradigm mapping method survey
M Verhoef, T Liebich, R Amor
Workshop on Modeling of Buildings through their Life-cycle, 233-247, 1995
171995
Formal methods going mainstream: costs, benefits, experiences
T Margaria, B Schätz, M Verhoef
162006
Industrial case studies—final report
M Verhoef, B Bos, P van Eijk, J Remijnse, E Visser, M De Paepe, ...
DESTECS Deliverable D 4, 2012
152012
Formal semantics of a VDM extension for distributed embedded systems
J Hooman, M Verhoef
Concurrency, Compositionality, and Correctness, 142-161, 2010
152010
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20