| 2007 |
|---|
| 9 | EE | Elena Fersman,
Pavel Krcál,
Paul Pettersson,
Wang Yi:
Task automata: Schedulability, decidability and undecidability.
Inf. Comput. 205(8): 1149-1172 (2007) |
| 2006 |
|---|
| 8 | EE | Elena Fersman,
Leonid Mokrushin,
Paul Pettersson,
Wang Yi:
Schedulability analysis of fixed-priority systems using timed automata.
Theor. Comput. Sci. 354(2): 301-317 (2006) |
| 2004 |
|---|
| 7 | | Elena Fersman,
Wang Yi:
A Generic Approach to Schedulability Analysis of Real-Time Tasks.
Nord. J. Comput. 11(2): 129-147 (2004) |
| 2003 |
|---|
| 6 | EE | Tobias Amnell,
Elena Fersman,
Leonid Mokrushin,
Paul Pettersson,
Wang Yi:
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.
FORMATS 2003: 60-72 |
| 5 | EE | Elena Fersman,
Leonid Mokrushin,
Paul Pettersson,
Wang Yi:
Schedulability Analysis Using Two Clocks.
TACAS 2003: 224-239 |
| 2002 |
|---|
| 4 | EE | Tobias Amnell,
Elena Fersman,
Leonid Mokrushin,
Paul Pettersson,
Wang Yi:
TIMES - A Tool for Modelling and Implementation of Embedded Systems.
TACAS 2002: 460-464 |
| 3 | EE | Elena Fersman,
Paul Pettersson,
Wang Yi:
Timed Automata with Asynchronous Processes: Schedulability and Decidability.
TACAS 2002: 67-82 |
| 2 | | Tobias Amnell,
Elena Fersman,
Paul Pettersson,
Hongyan Sun,
Wang Yi:
Code Synthesis for Timed Automata.
Nord. J. Comput. 9(4): 269-300 (2002) |
| 2000 |
|---|
| 1 | | Elena Fersman,
Bengt Jonsson:
Abstraction of Communication Channels in Promela: A Case Study.
SPIN 2000: 187-204 |
