Hristina Palikareva : 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 | 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 | 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