| Multi-solver support in symbolic execution H Palikareva, C Cadar Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 111 | 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 | 92 | 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 | 40 | 2018 |
| Recent developments in FDR P Armstrong, M Goldsmith, G Lowe, J Ouaknine, H Palikareva, ... International Conference on Computer Aided Verification, 699-704, 2012 | 32 | 2012 |
| SAT-solving in CSP trace refinement H Palikareva, J Ouaknine, AW Roscoe Science of Computer Programming 77 (10-11), 1178-1197, 2012 | 24 | 2012 |
| Shadow symbolic execution for better testing of evolving software C Cadar, H Palikareva Companion Proceedings of the 36th International Conference on Software …, 2014 | 21 | 2014 |
| Faster FDR Counterexample Generation Using SAT− Solving H Palikareva, J Ouaknine, A Roscoe Electronic Communications of the EASST 23, 2009 | 20 | 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 | 14 | 2013 |
| Static livelock analysis in CSP J Ouaknine, H Palikareva, AW Roscoe, J Worrell CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011 | 13 | 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 | 11 | 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 | 10 | 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 | 4 | 2017 |
| Techniques and tools for the verification of concurrent systems H Palikareva University of Oxford, 2012 | 2 | 2012 |
| A Static Analysis Framework for Livelock Freedom in CSP H Palikareva Logical Methods in Computer Science, 2012 | | 2012 |
| 3.13 Constraint Solving in Symbolic Execution H Palikareva Symbolic Execution and Constraint Solving, 108, 0 | | |
Cristian CadarImperial College LondonEmail được xác minh tại imperial.ac.uk
