The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marcel Verhoef: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002