Travelled to:1 × Portugal
Collaborated with:D.D'Aprile A.Sangnier J.Sproston O.Botti V.D.Florio G.Deconinck R.Lauwereins F.Cassinari A.Bobbio A.Klein H.Kufner E.M.Thurner E.Verhulst
Talks about:approach (2) time (2) implement (1) automata (1) softwar (1) untim (1) toler (1) tiran (1) petri (1) fault (1)
Person: Susanna Donatelli
DBLP: Donatelli:Susanna
Contributed to:
2007
2000Wrote 2 papers:
- TACAS-2007-DAprileDSS #approach #automaton #petri net
- From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.
- PDP-2000-BottiFDLCDBKKTV #approach #fault tolerance #reuse
- The TIRAN approach to reusing software implemented fault tolerance (OB, VDF, GD, RL, FC, SD, AB, AK, HK, EMT, EV), pp. 325–332.