Hristina Palikareva
Cited by
Cited by
Multi-solver support in symbolic execution
H Palikareva, C Cadar
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
Shadow of a doubt: testing for divergences between software versions
H Palikareva, T Kuchta, C Cadar
Proceedings of the 38th International Conference on Software Engineering …, 2016
Shadow symbolic execution for testing software patches
T Kuchta, H Palikareva, C Cadar
ACM Transactions on Software Engineering and Methodology (TOSEM) 27 (3), 1-32, 2018
Recent developments in FDR
P Armstrong, M Goldsmith, G Lowe, J Ouaknine, H Palikareva, ...
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
Shadow symbolic execution for better testing of evolving software
C Cadar, H Palikareva
Companion Proceedings of the 36th International Conference on Software …, 2014
SAT-solving in CSP trace refinement
H Palikareva, J Ouaknine, AW Roscoe
Science of Computer Programming 77 (10-11), 1178-1197, 2012
Faster FDR Counterexample Generation Using SAT− Solving
H Palikareva, J Ouaknine, A Roscoe
Electronic Communications of the EASST 23, 2009
A static analysis framework for livelock freedom in CSP
J Ouaknine, H Palikareva, AW Roscoe, J Worrell
Logical Methods in Computer Science 9, 2013
Static livelock analysis in CSP
J Ouaknine, H Palikareva, AW Roscoe, J Worrell
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
From exaflop to exaflow
T Becker, P Burovskiy, AM Nestorov, H Palikareva, E Reggiani, ...
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
A scalable dataflow implementation of curran's approximation algorithm
AM Nestorov, E Reggiani, H Palikareva, P Burovskiy, T Becker, ...
2017 IEEE international parallel and distributed processing symposium …, 2017
Cloud deployment and management of dataflow engines
N Trifunovic, H Palikareva, T Becker, G Gaydadjiev
Proceedings of the 1st International Workshop on Next generation of Cloud …, 2017
Techniques and tools for the verification of concurrent systems
H Palikareva
University of Oxford, 2012
A Static Analysis Framework for Livelock Freedom in CSP
H Palikareva
Logical Methods in Computer Science, 2012
3.13 Constraint Solving in Symbolic Execution
H Palikareva
Symbolic Execution and Constraint Solving, 108, 0
The system can't perform the operation now. Try again later.
Articles 1–15