|
Search the dblp DataBase
Elena Fersman:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. [Citation Graph (0, 0)][DBLP] FORMATS, 2003, pp:60-72 [Conf]
- Elena Fersman, Bengt Jonsson
Abstraction of Communication Channels in Promela: A Case Study. [Citation Graph (0, 0)][DBLP] SPIN, 2000, pp:187-204 [Conf]
- Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
TIMES - A Tool for Modelling and Implementation of Embedded Systems. [Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:460-464 [Conf]
- Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
Schedulability Analysis Using Two Clocks. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:224-239 [Conf]
- Elena Fersman, Paul Pettersson, Wang Yi
Timed Automata with Asynchronous Processes: Schedulability and Decidability. [Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:67-82 [Conf]
- Elena Fersman, Wang Yi
A Generic Approach to Schedulability Analysis of Real-Time Tasks. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2004, v:11, n:2, pp:129-147 [Journal]
- Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
Code Synthesis for Timed Automata. [Citation Graph (0, 0)][DBLP] Nord. J. Comput., 2002, v:9, n:4, pp:269-300 [Journal]
- Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
Schedulability analysis of fixed-priority systems using timed automata. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:354, n:2, pp:301-317 [Journal]
- Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi
Task automata: Schedulability, decidability and undecidability. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:8, pp:1149-1172 [Journal]
Search in 0.002secs, Finished in 0.003secs
|