Faster FDR Counterexample Generation Using SAT-Solving. - Hristina Palikareva; Joël Ouaknine; Bill Roscoe (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Static Livelock Analysis in CSP. - Joël Ouaknine; Hristina Palikareva; A. W. Roscoe 001; James Worrell 001 (CONCUR, 2011)

Recent Developments in FDR. - Philip J. Armstrong; Michael Goldsmith; Gavin Lowe; Joël Ouaknine; Hristina Palikareva; A. W. Roscoe 001; James Worrell 001 (CAV, 2012)

SAT-solving in CSP trace refinement. - Hristina Palikareva; Joël Ouaknine; A. W. Roscoe 001 (Sci. Comput. Program., 2012)

Techniques and tools for the verification of concurrent systems. - Hristina Palikareva (2012)

Multi-solver Support in Symbolic Execution. - Hristina Palikareva; Cristian Cadar (CAV, 2013)

A Static Analysis Framework for Livelock Freedom in CSP - Joël Ouaknine; Hristina Palikareva; A. W. Roscoe 001; James Worrell 001 (Log. Methods Comput. Sci., 2013)

Shadow symbolic execution for better testing of evolving software. - Cristian Cadar; Hristina Palikareva (ICSE Companion, 2014)

Shadow of a doubt: testing for divergences between software versions. - Hristina Palikareva; Tomasz Kuchta; Cristian Cadar (ICSE, 2016)

From exaflop to exaflow. - Tobias Becker; Pavel Burovskiy; Anna Maria Nestorov; Hristina Palikareva; Enrico Reggiani; Georgi Gaydadjiev (DATE, 2017)

Cloud Deployment and Management of Dataflow Engines. - Nemanja Trifunovic; Hristina Palikareva; Tobias Becker; Georgi Gaydadjiev (CloudNG@EuroSys, 2017)

A Scalable Dataflow Implementation of Curran's Approximation Algorithm. - Anna Maria Nestorov; Enrico Reggiani; Hristina Palikareva; Pavel Burovskiy; Tobias Becker; Marco D. Santambrogio (IPDPS Workshops, 2017)

Shadow Symbolic Execution for Testing Software Patches. - Tomasz Kuchta; Hristina Palikareva; Cristian Cadar (ACM Trans. Softw. Eng. Methodol., 2018)