 | 2012 |
|---|
| 7 |       | Suzana Andova,
Sonja Georgievska,
Nikola Trcka:
Branching bisimulation congruence for probabilistic systems.
Theor. Comput. Sci. 413(1): 58-72 (2012) |
| 2010 |
|---|
| 6 | | Sonja Georgievska,
Suzana Andova:
Composing Systems While Preserving Probabilities.
EPEW 2010: 268-283 |
| 5 | | Sonja Georgievska,
Suzana Andova:
Retaining the Probabilities in Probabilistic Testing Theory.
FOSSACS 2010: 79-93 |
| 4 | | Sonja Georgievska,
Suzana Andova:
Testing Reactive Probabilistic Processes
QAPL 2010: 99-113 |
| 2009 |
|---|
| 3 | | Suzana Andova,
Sonja Georgievska:
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.
SOFSEM 2009: 67-78 |
| 2 | | Sonja Georgievska,
Suzana Andova:
Testing Probabilistic Processes: Can Random Choices Be Unobservable?
CoRR abs/0907.1540: (2009) |
| 2008 |
|---|
| 1 | | Nikola Trcka,
Sonja Georgievska:
Branching Bisimulation Congruence for Probabilistic Systems.
Electr. Notes Theor. Comput. Sci. 220(3): 129-143 (2008) |
Data released under the ODC-BY 1.0 license — See also our legal information page