Travelled to:1 × France
Collaborated with:F.Lemmen U.Hilgers R.Münzenberger M.Dörfel F.Slomka K.Dussa-Zieger M.Ettl O.Preissler
Talks about:system (3) time (3) distribut (2) monitor (2) specif (2) model (2) synthesi (1) parallel (1) theori (1) global (1)
Person: Richard Hofmann
DBLP: Hofmann:Richard
Contributed to:
2002
200019981995Wrote 4 papers:
- DATE-2002-MunzenbergerDSH #design #embedded #realtime #specification #synthesis #validation
- A New Time Model for the Specification, Design, Validation and Synthesis of Embedded Real-Time Systems (RM, MD, FS, RH), p. 1095.
- PDP-2000-HofmannL #monitoring
- Specification-driven monitoring of TCP/IP (RH, FL), pp. 10–17.
- PDP-1998-HofmanH #distributed #parallel
- Theory and tool for estimating global time in parallel and distributed systems (RH, UH), pp. 173–179.
- PDP-1995-Dussa-ZiegerEHP #distributed #modelling #monitoring
- Monitoring and modelling of a distributed ISDN test system (KDZ, ME, RH, OP), pp. 201–209.