Sonja Georgievska

HG 6.83

Eindhoven University of Technology

The Netherlands

I am a PhD student in

Formal Methods Group
Department of Mathematics and Computer Science
Eindhoven University of Technology

My research interests so far have been in formal methods, more particularly in concurrency and probabilistic systems.

I am supervised by Jos Baeten, Suzana Andova, and Wan Fokkink.

Here is my Curriculum Vitae

Publications

PhD dissertation

Sonja Georgievska, Probability and Hiding in Concurrent Processes (pdf), Eindhoven University of Technology

Journal papers

1. Suzana Andova, Sonja Georgievska, Nikola Trčka, Branching Bisimulation Congruence for Probabilistic Systems (pdf), Theoretical Computer Science (2011), DOI:10.1016/j.tcs.2011.07.020

Peer-reviewed conference and workshop papers

1. Sonja Georgievska, Suzana Andova, Composing Systems while Preserving Probabilities, in proc. EPEW 2010, LNCS 6342, 2010 (pdf). The original publication is available at www.springerlink.com

2. Sonja Georgievska, Suzana Andova, Testing Reactive Probabilistic Processes, in proc. QAPL 2010, EPTCS (pdf), 2010

3. Sonja Georgievska, Suzana Andova, Retaining the Probabilities in Probabilistic Testing Theory, in proc. FoSSaCS 2010, LNCS 6014, 2010 (pdf). The original publication is available at www.springerlink.com

4. Suzana Andova, Sonja Georgievska, On Compositionality, Efficiency and Applicability of Abstraction in Probabilistic Systems, in proc. SOFSEM 2009, LNCS 5405, 2009 (pdf). The original publication is available at www.springerlink.com.

5. Nikola Trčka, Sonja Georgievska, Branching Bisimulation Congruence for Probabilistic Systems, in proc. QAPL’08, ENTCS, 2008 (pdf). The original publication is available at http://www.sciencedirect.com

6. N. Trčka, S. Georgievska, J. Markovski, S. Andova, E.P. de Vink, Performance Analysis of Chi Models using Discrete-Time Probabilistic Reward Graphs, in proc. WODES 2008, IEEE Xplore , 2008 (pdf). The original publication is available at http://ieeexplore.ieee.org

Submissions

1. Sonja Georgievska, Suzana Andova, Probabilistic CSP: Preserving the Laws via Restricted Schedulers (pdf long version) (pdf short version)

Personal

I am married to Zvezdan Protic, and we have one daughter, Kristina, born in 2010. Therefore, my current hobby is Kristina and my usual hobbies are put on hold indefinitely. I still manage to steal some time for a good book about anything.