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: D=ouml=rr:Heiko
Contributed to:
2008
2006
19982001
1995Wrote 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.