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