| 2008 |
|---|
| 7 | EE | Jasen Markovski,
Erik P. de Vink:
Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems.
ACSD 2008: 180-189 |
| 6 | EE | Jasen Markovski,
Erik P. de Vink:
Extending Timed Process Algebra with Discrete Stochastic Time.
AMAST 2008: 268-283 |
| 5 | | Jasen Markovski,
Nikola Trcka:
Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions.
MMB 2008: 93-108 |
| 2007 |
|---|
| 4 | EE | Jasen Markovski,
Erik P. de Vink:
Real-Time Process Algebra with Stochastic Delays.
ACSD 2007: 177-186 |
| 3 | EE | Jasen Markovski,
Ana Sokolova,
Nikola Trcka,
Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions.
EPEW 2007: 18-32 |
| 2006 |
|---|
| 2 | EE | Jasen Markovski,
Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras.
EPEW 2006: 47-62 |
| 1 | EE | Jasen Markovski,
Nikola Trcka:
Lumping Markov Chains with Silent Steps.
QEST 2006: 221-232 |
