University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Hristina Palikareva

Personal photo - Hristina Palikareva
Hristina Palikareva
Doctoral Student
hristina.palikareva@cs.ox.ac.uk

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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

Selected Publications

View all

Manage publications

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 | Link (pdf) | DOI (10.1007/978-3-642-23217-6_26)

SAT−Solving in CSP Trace Refinement

A. W. Roscoe Hristina Palikareva Joel Ouaknine

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

To appear.

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

Faster FDR Counterexample Generation Using SAT−Solving

J. Ouaknine H. Palikareva and A. W. Roscoe

In Electronic Communications of the EASST. Vol. 23. September, 2009.

Details | BibTeX | Link (pdf)

Info

Themes

Verification

Activities

Concurrency

Completed Projects

CSP Model Checking

Supervisors

Share this page: Facebook Twitter Digg Del.icio.us StumbleUpon