| 2008 |
|---|
| 10 | | Jasen Markovski,
Nikola Trcka:
Aggregation Methods for Markov Reward Chains with Fast and Silent Transitions.
MMB 2008: 93-108 |
| 9 | EE | Nikola Trcka,
Wil M. P. van der Aalst,
Carmen Bratosin,
Natalia Sidorova:
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets.
OPODIS 2008: 538-541 |
| 8 | EE | Carmen Bratosin,
Wil M. P. van der Aalst,
Natalia Sidorova,
Nikola Trcka:
A Reference Model for Grid Architectures and Its Analysis.
OTM Conferences (1) 2008: 898-913 |
| 7 | EE | Rob J. van Glabbeek,
Bas Luttik,
Nikola Trcka:
Branching Bisimilarity with Explicit Divergence
CoRR abs/0812.3068: (2008) |
| 6 | EE | Nikola Trcka,
Sonja Georgievska:
Branching Bisimulation Congruence for Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 220(3): 129-143 (2008) |
| 2007 |
|---|
| 5 | EE | Jasen Markovski,
Ana Sokolova,
Nikola Trcka,
Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions.
EPEW 2007: 18-32 |
| 2006 |
|---|
| 4 | EE | Nikola Trcka:
Verifying chi Models of Industrial Systems with Spin.
ICFEM 2006: 132-148 |
| 3 | EE | Jasen Markovski,
Nikola Trcka:
Lumping Markov Chains with Silent Steps.
QEST 2006: 221-232 |
| 2005 |
|---|
| 2 | EE | Bas Luttik,
Nikola Trcka:
Stuttering Congruence for chi.
SPIN 2005: 185-199 |
| 1 | EE | E. M. Bortnik,
Nikola Trcka,
Anton Wijs,
Bas Luttik,
J. M. van de Mortel-Fronczak,
Jos C. M. Baeten,
Wan Fokkink,
J. E. Rooda:
Analyzing a chi model of a turntable system using Spin, CADP and Uppaal.
J. Log. Algebr. Program. 65(2): 51-104 (2005) |
