 | 2008 |
|---|
| 10 |       | John S. Fitzgerald,
Peter Gorm Larsen,
Marcel Verhoef:
Vienna Development Method.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 9 | | John S. Fitzgerald,
Simon Tjell,
Peter Gorm Larsen,
Marcel Verhoef:
Validation Support for Distributed Real-Time Embedded Systems in VDM++.
HASE 2007: 331-340 |
| 8 | | Marcel Verhoef,
Peter Visser,
Jozef Hooman,
Jan F. Broenink:
Co-simulation of Distributed Embedded Real-Time Control Systems.
IFM 2007: 639-658 |
| 2006 |
|---|
| 7 | | Oana Florescu,
Jeroen Voeten,
Marcel Verhoef,
Henk Corporaal:
Reusing Real-Time Systems Design Experience.
FDL 2006: 375-381 |
| 6 | | Marcel Verhoef,
Peter Gorm Larsen,
Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
FM 2006: 147-162 |
| 5 | | Martijn Hendriks,
Marcel Verhoef:
Timed automata based analysis of embedded system architectures.
IPDPS 2006 |
| 4 | | Peter Buchholz,
Joost-Pieter Katoen,
Marcel Verhoef:
Guest editors' introduction: quantitative analysis of real-time embedded systems.
STTT 8(6): 605-606 (2006) |
| 3 | | Ernesto Wandeler,
Lothar Thiele,
Marcel Verhoef,
Paul Lieverse:
System architecture evaluation using modular performance analysis: a case study.
STTT 8(6): 649-667 (2006) |
| 2004 |
|---|
| 2 |  | Marcel Verhoef,
Ernesto Wandeler,
Lothar Thiele,
Paul Lieverse:
System Architecture Evaluation Using Modular Performance Analysis - A Case Study.
ISoLA (Preliminary proceedings) 2004: 209-219 |
| 1991 |
|---|
| 1 | | Nico Plat,
Kees Pronk,
Marcel Verhoef:
The Delft VDM-SL Front-End.
VDM Europe (1) 1991: 677-680 |
