Travelled to:1 × France
1 × Poland
Collaborated with:P.Pettersson W.Yi L.Mokrushin T.Amnell
Talks about:schedul (2) time (2) implement (1) asynchron (1) automata (1) process (1) analysi (1) system (1) model (1) embed (1)
Person: Elena Fersman
DBLP: Fersman:Elena
Contributed to:
20032002Wrote 3 papers:
- TACAS-2003-FersmanMPY #analysis #scheduling #using
- Schedulability Analysis Using Two Clocks (EF, LM, PP, WY), pp. 224–239.
- TACAS-2002-AmnellFMPY #embedded #implementation #modelling #named
- TIMES — A Tool for Modelling and Implementation of Embedded Systems (TA, EF, LM, PP, WY), pp. 460–464.
- TACAS-2002-FersmanPY #automaton #decidability #process #scheduling
- Timed Automata with Asynchronous Processes: Schedulability and Decidability (EF, PP, WY), pp. 67–82.