`Travelled to:`

2 × Cyprus

`Collaborated with:`

S.Andova N.Trcka

`Talks about:`

probabilist (3) test (2) congruenc (1) reactiv (1) process (1) probabl (1) bisimul (1) theori (1) system (1) retain (1)

## Person: Sonja Georgievska

### DBLP: Georgievska:Sonja

### Contributed to:

### Wrote 3 papers:

- FoSSaCS-2010-GeorgievskaA #probability #testing
- Retaining the Probabilities in Probabilistic Testing Theory (SG, SA), pp. 79–93.
- QAPL-2010-GeorgievskaA #probability #process #testing
- Testing Reactive Probabilistic Processes (SG, SA), pp. 99–113.
- QAPL-2008-TrckaG #bisimulation #branch #congruence #probability
- Branching Bisimulation Congruence for Probabilistic Systems (NT, SG), pp. 129–143.