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 × Portugal
1 × United Kingdom
2 × Germany
Collaborated with:
W.Grieskamp M.Heisel M.Conrad
Talks about:
softwar (3) system (3) specifi (2) cyclic (2) compon (2) agenda (2) model (2) embed (2) base (2) statechart (1)

Person: Heiko Dörr

DBLP DBLP: D=ouml=rr:Heiko

Contributed to:

ICGT 20082008
DATE 20062006
FASE 19981998
FASE 19982001
DLT 19951995

Wrote 5 papers:

ICGT-2008-Dorr #modelling
The AUTOSAR Way of Model-Based Engineering of Automotive Systems (HD), p. 38.
DATE-2006-ConradD #development #modelling
Model-based development of in-vehicle software (MC, HD), pp. 89–90.
FASE-1998-GrieskampHD #component #embedded #specification
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components (WG, MH, HD), pp. 88–106.
FASE-J-1998-GrieskampHD01 #component #embedded #specification
Specifying embedded systems with statecharts and Z: an agenda for cyclic software components (WG, MH, HD), pp. 31–57.
DLT-1995-Dorr #abstract interpretation #bound
Computing an Upper Bound for SVS(gg) by Abstract Interpretation (HD), pp. 279–288.

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.