Travelled to:1 × Cyprus
1 × Portugal
1 × South Africa
Collaborated with:M.Fränzle T.B.Jensen T.K.Tolstrup
Talks about:durat (2) base (2) calculus (1) approxim (1) generat (1) accumul (1) system (1) specif (1) interv (1) effici (1)
Person: Michael R. Hansen
DBLP: Hansen:Michael_R=
Contributed to:
2008
2007
2004Wrote 3 papers:
- SEFM-2008-FranzleH #approximate #calculus #model checking #performance
- Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations (MF, MRH), pp. 63–72.
- TACAS-2007-FranzleH #logic
- Deciding an Interval Logic with Accumulated Durations (MF, MRH), pp. 201–215.
- SAC-2004-JensenTH #generative #specification
- Generating web-based systems from specifications (TBJ, TKT, MRH), pp. 1647–1653.