Hristina Palikareva : Publications

Journal papers

• [1]

  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

• [2]

  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

• [3]

  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 about Static Livelock Analysis in CSP | BibTeX data for Static Livelock Analysis in CSP | DOI (10.1007/978-3-642-23217-6_26) | Download (pdf) of Static Livelock Analysis in CSP

• [4]

  Faster FDR Counterexample Generation Using SAT−Solving

  Hristina Palikareva‚ Joel Ouaknine and A. W. Roscoe

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

  Details about Faster FDR Counterexample Generation Using SAT−Solving | BibTeX data for Faster FDR Counterexample Generation Using SAT−Solving | Download (pdf) of Faster FDR Counterexample Generation Using SAT−Solving

Conference papers

• [1]

  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