Hristina Palikareva

Hristina Palikareva

Doctoral Student

Leaving date: 14th January 2013

Themes:

• Automated Verification

Completed Projects:

• CSP Model Checking

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 AllManage publications

• A Static Analysis Framework for Livelock Freedom in CSP

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

  In Logical Methods in Computer Science. 2012.

  To appear.

  Details about A Static Analysis Framework for Livelock Freedom in CSP | BibTeX data for A Static Analysis Framework for Livelock Freedom in CSP

• 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. Vol. 77. No. 10−11. Pages 1178−1197. 2012.

  Details about SAT−Solving in CSP Trace Refinement | BibTeX data for SAT−Solving in CSP Trace Refinement | DOI (10.1016/j.scico.2011.07.008) | Link to SAT−Solving in CSP Trace Refinement

• 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.

  Details about Recent Developments in FDR | BibTeX data for Recent Developments in FDR

Activities

• Concurrency

Supervisor