Hristina Palikareva
Hristina Palikareva
Research Associate, Imperial College London, UK
Verifierad e-postadress på imperial.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
Multi-solver support in symbolic execution
H Palikareva, C Cadar
International Conference on Computer Aided Verification, 53-68, 2013
652013
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
302016
Recent developments in FDR
P Armstrong, M Goldsmith, G Lowe, J Ouaknine, H Palikareva, ...
International Conference on Computer Aided Verification, 699-704, 2012
302012
Chopped symbolic execution
D Trabish, A Mattavelli, N Rinetzky, C Cadar
Proceedings of the 40th International Conference on Software Engineering …, 2018
282018
Accelerating array constraints in symbolic execution
DM Perry, A Mattavelli, X Zhang, C Cadar
Proceedings of the 26th ACM SIGSOFT International Symposium on Software …, 2017
222017
SAT-solving in CSP trace refinement
H Palikareva, J Ouaknine, AW Roscoe
Science of Computer Programming 77 (10-11), 1178-1197, 2012
202012
Faster FDR Counterexample Generation Using SAT− Solving
H Palikareva, J Ouaknine, AW Roscoe
Electronic Communications of the EASST 23, 2009
172009
Analysing the program analyser
C Cadar, AF Donaldson
Proceedings of the 38th International Conference on Software Engineering …, 2016
152016
Shadow symbolic execution for better testing of evolving software
C Cadar, H Palikareva
Companion Proceedings of the 36th International Conference on Software …, 2014
152014
Static livelock analysis in CSP
J Ouaknine, H Palikareva, AW Roscoe, J Worrell
International Conference on Concurrency Theory, 389-403, 2011
142011
A {DSL} Approach to Reconcile Equivalent Divergent Program Executions
L Pina, D Grumberg, A Andronidis, C Cadar
2017 {USENIX} Annual Technical Conference ({USENIX}{ATC} 17), 417-429, 2017
72017
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
52018
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
52017
From exaflop to exaflow
T Becker, P Burovskiy, AM Nestorov, H Palikareva, E Reggiani, ...
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
42017
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
32017
A Static Analysis Framework for Livelock Freedom in CSP
J Worrell, AW Roscoe, H Palikareva, J Ouaknine
Logical Methods in Computer Science 9, 2013
2013
Techniques and tools for the verification of concurrent systems
H Palikareva
2012
A Static Analysis Framework for Livelock Freedom in CSP
H Palikareva
Logical Methods in Computer Science, 2012
2012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–18