Travelled to:1 × France
1 × Germany
1 × Hungary
1 × Portugal
1 × Spain
2 × Denmark
Collaborated with:∅ C.Ferdinand M.Huth M.Langenbach S.Thesing A.Bonenfant K.Hammond
Talks about:transform (3) function (3) languag (3) time (3) complex (2) specif (2) domain (2) tree (2) interpret (1) construct (1)
Person: Reinhold Heckmann
DBLP: Heckmann:Reinhold
Contributed to:
2006
2005
2002
1998
1997
199019911988Wrote 9 papers:
- IFL-2006-BonenfantFHH #execution #functional #worst-case
- Worst-Case Execution Times for a Purely Functional Language (AB, CF, KH, RH), pp. 235–252.
- DATE-2005-HeckmannF #abstract interpretation #embedded #safety
- erifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation (RH, CF), pp. 618–619.
- SAS-2002-LangenbachTH #analysis #modelling #pipes and filters
- Pipeline Modeling for Timing Analysis (ML, ST, RH), pp. 294–309.
- FoSSaCS-1998-Heckmann #integer #linear
- The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations (RH), pp. 172–188.
- CSL-1997-HeckmannH #semantics
- A Duality Theory for Quantitative Semantics (RH, MH), pp. 255–274.
- ESOP-1990-Heckmann #set
- Set Domains (RH), pp. 177–196.
- ESOP-J-1990-Heckmann91
- Power Domain Constructions (RH), pp. 77–117.
- ESOP-1988-Heckmann #functional #program transformation #specification
- A Functional Language for the Specification of Complex Tree Transformations (RH), pp. 175–190.
- ESOP-1988-Heckmann88a #functional #program transformation #specification
- A Functional Language for the Specification of Complex Tree Transformations (RH), p. 380.