BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Georgievska:Sonja

Contributed to:

FOSSACS 20102010
QAPL 20102010
QAPL 20082008

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.