Hristina Palikareva : Publications

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 | BibTeX

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

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)

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)