@article{6204,
  title = "A Static Analysis Framework for Livelock Freedom in CSP",
  author = "Joel Ouaknine and Hristina Palikareva and A. W. Roscoe and James Worrell",
  year = "2012",
  booktitle = "Special Issue on the 22nd Conference on Concurrency Theory (CONCUR'11)",
  editor = "Joost-Pieter Katoen and Barbara Koenig",
  journal = "Logical Methods in Computer Science",
  note = "To appear.",
}
@inproceedings{AGLOPRW12,
  title = "Recent Developments in FDR",
  author = "Philip Armstrong and Michael Goldsmith and Gavin Lowe and Joel Ouaknine and Hristina Palikareva and A. W. Roscoe and James Worrell",
  year = "2012",
  booktitle = "CAV 2012: Proceedings of the 24th International Conference on Computer Aided Verification",
  editor = "P. Madhusudan and S. A. Seshia",
  pages = "699--704",
  publisher = "Springer-Verlag Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  volume = "7358",
}
@article{4380,
  title = "SAT-Solving in CSP Trace Refinement",
  author = "Hristina Palikareva and Joel Ouaknine and A. W. Roscoe",
  year = "2012",
  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",
  number = "10-11",
  pages = "1178-1197",
  publisher = "Elsevier",
  url = "http://www.sciencedirect.com/science/article/pii/S0167642311001547",
  volume = "77",
  doi = "10.1016/j.scico.2011.07.008",
}
@article{DBLP:conf/concur/OuakninePRW11,
  title = "Static Livelock Analysis in CSP",
  author = "Joel Ouaknine and Hristina Palikareva and 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{AVOCS_09_CSP_BMC,
  title = "Faster FDR Counterexample Generation Using SAT-Solving",
  author = "Hristina Palikareva and Joel 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",
}