Travelled to:1 × Canada
1 × The Netherlands
1 × United Kingdom
Collaborated with:G.Schellhorn W.Reif H.Grandy A.Schierl
Talks about:electron (1) challeng (1) approach (1) abstract (1) verifi (1) system (1) specif (1) mondex (1) memori (1) machin (1)
Person: Dominik Haneberg
DBLP: Haneberg:Dominik
Contributed to:
2009
20072006Wrote 3 papers:
- FM-2009-SchierlSHR #file system #memory management #specification
- Abstract Specification of the UBIFS File System for Flash Memory (AS, GS, DH, WR), pp. 190–206.
- IFM-2007-HanebergGRS #approach #smarttech #verification
- Verifying Smart Card Applications: An ASM Approach (DH, HG, WR, GS), pp. 313–332.
- FM-2006-SchellhornGHR #challenge #proving
- The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (GS, HG, DH, WR), pp. 16–31.