Search the dblp DataBase

Publications of Author

1. Nico Plat, Kees Pronk, Marcel Verhoef
   The Delft VDM-SL Front-End. [Citation Graph (0, 0)][DBLP]
   VDM Europe (1), 1991, pp:677-680 [Conf]
   
2. Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman
   Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:147-162 [Conf]
   
3. Martijn Hendriks, Marcel Verhoef
   Timed automata based analysis of embedded system architectures. [Citation Graph (0, 0)][DBLP]
   IPDPS, 2006, pp:- [Conf]
   
4. Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse
   System architecture evaluation using modular performance analysis: a case study. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:6, pp:649-667 [Journal]
   
5. Peter Buchholz, Joost-Pieter Katoen, Marcel Verhoef
   Guest editors' introduction: quantitative analysis of real-time embedded systems. [Citation Graph (0, 0)][DBLP]
   STTT, 2006, v:8, n:6, pp:605-606 [Journal]
   
6. Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink
   Co-simulation of Distributed Embedded Real-Time Control Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:639-658 [Conf]
   
7. 
   Formal Semantics of a VDM Extension for Distributed Embedded Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Validation Support for Distributed Real-Time Embedded Systems in VDM++. [Citation Graph (, )][DBLP]
   
   
9. 
   System Architecture Evaluation Using Modular Performance Analysis - A Case Study. [Citation Graph (, )][DBLP]
   
   
10. 
    Reusing Real-Time Systems Design Experience. [Citation Graph (, )][DBLP]