| 2006 |
|---|
| 7 | 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 |
|---|
| 6 | EE | Pavel Krcál,
Leonid Mokrushin,
P. S. Thiagarajan,
Wang Yi:
Timed vs. Time-Triggered Automata.
CONCUR 2004: 340-354 |
| 2003 |
|---|
| 5 | 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 |
| 4 | EE | Elena Fersman,
Leonid Mokrushin,
Paul Pettersson,
Wang Yi:
Schedulability Analysis Using Two Clocks.
TACAS 2003: 224-239 |
| 2002 |
|---|
| 3 | 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 |
| 2001 |
|---|
| 2 | EE | Giacomo Piccinelli,
Leonid Mokrushin:
Dynamic e-Service Composition in DySCo.
ICDCS Workshops 2001: 88-96 |
| 1 | EE | Giacomo Piccinelli,
Giuliano Di Vitantonio,
Leonid Mokrushin:
Dynamic service aggregation in electronic marketplaces.
Computer Networks 37(2): 95-109 (2001) |
