BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hofmann:Richard

Contributed to:

DATE 20022002
PDP 20002000
PDP 19981998
PDP 19951995

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.