Hristina Palikareva

According to our database, Hristina Palikareva authored at least 13 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Shadow Symbolic Execution for Testing Software Patches.

Tomasz Kuchta, Hristina Palikareva, Cristian Cadar

ACM Trans. Softw. Eng. Methodol., 2018

2017

A Scalable Dataflow Implementation of Curran's Approximation Algorithm.

Anna Maria Nestorov, Enrico Reggiani, Hristina Palikareva, Pavel Burovskiy, Tobias Becker, Marco D. Santambrogio

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium Workshops, 2017

Cloud Deployment and Management of Dataflow Engines.

Nemanja Trifunovic, Hristina Palikareva, Tobias Becker, Georgi Gaydadjiev

Proceedings of the 1st International Workshop on Next generation of Cloud Architectures, 2017

From exaflop to exaflow.

Tobias Becker, Pavel Burovskiy, Anna Maria Nestorov, Hristina Palikareva, Enrico Reggiani, Georgi Gaydadjiev

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Shadow of a doubt: testing for divergences between software versions.

Hristina Palikareva, Tomasz Kuchta, Cristian Cadar

Proceedings of the 38th International Conference on Software Engineering, 2016

2014

Shadow symbolic execution for better testing of evolving software.

Cristian Cadar, Hristina Palikareva

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

A Static Analysis Framework for Livelock Freedom in CSP

Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Log. Methods Comput. Sci., 2013

Multi-solver Support in Symbolic Execution.

Hristina Palikareva, Cristian Cadar

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Techniques and tools for the verification of concurrent systems.

Hristina Palikareva

PhD thesis, 2012

SAT-solving in CSP trace refinement.

Hristina Palikareva, Joël Ouaknine, A. W. Roscoe

Sci. Comput. Program., 2012

Recent Developments in FDR.

Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Static Livelock Analysis in CSP.

Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2009

Faster FDR Counterexample Generation Using SAT-Solving.

Hristina Palikareva, Joël Ouaknine, Bill Roscoe

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009