Hristina Palikareva : Publications
|
[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. |
|
[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. |
|
[3] |
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. |
|
[4] |
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) | Download (pdf) |
|
[5] |
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. |