Hristina Palikareva : Publications
Click here to download all publications in a single bibtex file
@article{DBLP:conf/concur/OuakninePRW11,
title = "Static Livelock Analysis in CSP",
author = "Joel Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell",
year = "2011",
booktitle = "CONCUR",
crossref = "DBLP:conf/concur/2011",
journal = "Proc. 22nd International Conference on Concurrency Theory 2011 (CONCUR 2011)",
month = "September",
note = "Winner of the CONCUR 2011 Best Paper Award.",
pages = "389-403",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
url = "http://www.cs.ox.ac.uk/people/hristina.palikareva/publications/slap11.pdf",
volume = "6901",
doi = "10.1007/978-3-642-23217-6_26",
}
@article{4380,
title = "SAT-Solving in CSP Trace Refinement",
author = "Hristina Palikareva, Joel Ouaknine, A. W. Roscoe",
year = "2011",
booktitle = "Special Issue on Automated Verification of Critical Systems",
copyright = "Elsevier",
editor = "Markus Roggenbach",
journal = "Science of Computer Programming, special issue on Automated Verification of Critical Systems",
note = "To appear.",
publisher = "Elsevier",
url = "http://www.sciencedirect.com/science/article/pii/S0167642311001547",
doi = "10.1016/j.scico.2011.07.008",
}
@article{AVOCS_09_CSP_BMC,
title = "Faster FDR Counterexample Generation Using SAT-Solving",
author = "H. Palikareva, J. Ouaknine and A. W. Roscoe",
year = "2009",
booktitle = "AVoCS'09 -- Proceedings of the Ninth International Workshop on Automated Verification of Critical Systems",
editor = "Markus Roggenbach",
journal = "Electronic Communications of the EASST",
keywords = "CSP, FDR, concurrency, process algebra, Bounded Model Checking, SAT-solving, safety properties",
month = "September",
publisher = "Electronic Communications of the EASST",
url = "http://web.comlab.ox.ac.uk/people/Hristina.Palikareva/publications/avocs_09.pdf",
volume = "23",
}