Hristina Palikareva

Doctoral Student

hristina.palikareva@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

formal software verification
model checking
concurrency
SAT
CEGAR
partial-order reductions
static analysis

Biography

I am currently a fourth-year DPhil student at the Department of Computer Science, University of Oxford. I am working on the project "CSP Model Checking: New Technology and Techniques" under the supervision of Prof. Bill Roscoe and Dr. Joel Ouaknine. I obtained a B.Sc. (October 2002) and an M.Sc. (June 2006) in Computer Science at the Faculty of Mathematics and Informatics, Sofia University “St. Kliment Ohridski”. I completed the M.Sc. programme Logic and Algorithms at the Department of Mathematical Logic and Applications. Between 2001 and 2007, I also worked as a software engineer at MPS Ltd., Sofia, Bulgaria.

Teaching

Practical demonstrator for Probabilistic Model Checking - Michaelmas Term 2010
Practical demonstrator for Compilers - Hilary Term 2010
Practical demonstrator for Concurrency - Hilary Term 2010
Practical demonstrator for Probabilistic Model Checking - Michaelmas Term 2009
Practical demonstrator for Compilers - Hilary Term 2009

Selected Publications

View all

Manage publications

Recent Developments in FDR

Philip Armstrong‚ Michael Goldsmith‚ Gavin Lowe‚ Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell

In P. Madhusudan and S. A. Seshia, editors, CAV 2012: Proceedings of the 24th International Conference on Computer Aided Verification. Vol. 7358 of Lecture Notes in Computer Science. Pages 699–704. Springer−Verlag Berlin Heidelberg. 2012.

To appear.

Details | BibTeX

Static Livelock Analysis in CSP

Joel Ouaknine‚ Hristina Palikareva‚ A. W. Roscoe and James Worrell

In Proc. 22nd International Conference on Concurrency Theory 2011 (CONCUR 2011). Vol. 6901 of Lecture Notes in Computer Science. Pages 389−403. September, 2011.

Winner of the CONCUR 2011 Best Paper Award.

Details | BibTeX | DOI (10.1007/978-3-642-23217-6_26)

SAT−Solving in CSP Trace Refinement

Hristina Palikareva‚ Joel Ouaknine and A. W. Roscoe

In Science of Computer Programming‚ special issue on Automated Verification of Critical Systems. 2011.

To appear.

Details | BibTeX | DOI (10.1016/j.scico.2011.07.008)