| 2007 |
|---|
| 7 | EE | John S. Fitzgerald,
Simon Tjell,
Peter Gorm Larsen,
Marcel Verhoef:
Validation Support for Distributed Real-Time Embedded Systems in VDM++.
HASE 2007: 331-340 |
| 6 | EE | Marcel Verhoef,
Peter Visser,
Jozef Hooman,
Jan F. Broenink:
Co-simulation of Distributed Embedded Real-Time Control Systems.
IFM 2007: 639-658 |
| 2006 |
|---|
| 5 | EE | Marcel Verhoef,
Peter Gorm Larsen,
Jozef Hooman:
Modeling and Validating Distributed Embedded Real-Time Systems with VDM++.
FM 2006: 147-162 |
| 4 | EE | Martijn Hendriks,
Marcel Verhoef:
Timed automata based analysis of embedded system architectures.
IPDPS 2006 |
| 3 | EE | Peter Buchholz,
Joost-Pieter Katoen,
Marcel Verhoef:
Guest editors' introduction: quantitative analysis of real-time embedded systems.
STTT 8(6): 605-606 (2006) |
| 2 | EE | Ernesto Wandeler,
Lothar Thiele,
Marcel Verhoef,
Paul Lieverse:
System architecture evaluation using modular performance analysis: a case study.
STTT 8(6): 649-667 (2006) |
| 1991 |
|---|
| 1 | | Nico Plat,
Kees Pronk,
Marcel Verhoef:
The Delft VDM-SL Front-End.
VDM Europe (1) 1991: 677-680 |
