Searching for authors named "Elena Fersman" – sorted by Relevance.
-
A generic approach to schedulability analysis of real-time tasks
- A Generic Approach to Schedulability Analysis of Real-Time Tasks Elena Fersman and Wang Yi Uppsala
- Cited by 11 (3 self) – Add To MetaCart
-
Abstraction of Communication Channels in Promela: a Case Study
- Abstraction of Communication Channels in Promela: a Case Study ? Elena Fersman and Bengt Jonsson
- Cited by 8 (0 self) – Add To MetaCart
-
Schedulability Analysis Using Two Clocks
- Schedulability Analysis Using Two Clocks Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang
- Cited by 8 (3 self) – Add To MetaCart
-
Schedulability analysis of fixed-priority systems using timed automata.” Theor
- Schedulability Analysis of Fixed-Priority Systems Using Timed Automata Elena Fersman, Leonid
- Cited by 3 (0 self) – Add To MetaCart
-
Timed automata with asynchronous processes: schedulability and decidability
- Timed Automata with Asynchronous Processes: Schedulability and Decidability Elena Fersman, Paul
- Cited by 22 (8 self) – Add To MetaCart
-
TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems
- , Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi ? Department of Information Technology
- Cited by 19 (1 self) – Add To MetaCart
-
Tools for Real-Time UML: Formal Verification and Code Synthesis
- 1 , Elena Fersman 1 , M. Oliver Moller 2 , Paul Petterson 1 and Wang Yi 1 1 Department
- Cited by 2 (1 self) – Add To MetaCart
-
TIMES - A Tool for Modelling and Implementation of
- TIMES - A Tool for Modelling and Implementation of Embedded Systems Tobias Amnell, Elena Fersman
- Add To MetaCart
-
Nordic Journal of Computing
- Nordic Journal of Computing CODE SYNTHESIS FOR TIMED AUTOMATA TOBIAS AMNELL 1 ELENA FERSMAN 1
- Add To MetaCart

