Travelled to:1 × Austria
1 × Denmark
1 × The Netherlands
Collaborated with:K.Indermark K.Weihrauch M.Luther M.Strecker A.Dold H.Pfeifer H.Rueß S.Owre J.M.Rushby N.Shankar
Talks about:formal (2) verif (2) architectur (1) wordfunct (1) transform (1) transduct (1) hierarchi (1) automata (1) typelab (1) program (1)
Person: Friedrich W. von Henke
DBLP: Henke:Friedrich_W=_von
Contributed to:
19971993
1972
1997Wrote 4 papers:
- FME-1997-DoldHPR #optimisation #verification
- Formal Verification of Transformations for Peephole Optimization (AD, FWvH, HP, HR), pp. 459–472.
- FME-1993-OwreRSH #architecture #fault tolerance #lessons learnt #verification
- Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned (SO, JMR, NS, FWvH), pp. 482–500.
- ICALP-1972-HenkeIW #automaton #recursion
- Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata (FWvH, KI, KW), pp. 549–561.
- TAPSOFT-1997-HenkeLS #composition #development #named
- Typelab: An Environment for Modular Program Development (FWvH, ML, MS), pp. 851–854.