Ikuti
Hristina Palikareva
Hristina Palikareva
Cisco
Email yang diverifikasi di cisco.com - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Multi-solver support in symbolic execution
H Palikareva, C Cadar
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1112013
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
922016
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
402018
Recent developments in FDR
P Armstrong, M Goldsmith, G Lowe, J Ouaknine, H Palikareva, ...
International Conference on Computer Aided Verification, 699-704, 2012
322012
SAT-solving in CSP trace refinement
H Palikareva, J Ouaknine, AW Roscoe
Science of Computer Programming 77 (10-11), 1178-1197, 2012
242012
Shadow symbolic execution for better testing of evolving software
C Cadar, H Palikareva
Companion Proceedings of the 36th International Conference on Software …, 2014
212014
Faster FDR Counterexample Generation Using SAT− Solving
H Palikareva, J Ouaknine, A Roscoe
Electronic Communications of the EASST 23, 2009
202009
A static analysis framework for livelock freedom in CSP
J Ouaknine, H Palikareva, AW Roscoe, J Worrell
Logical Methods in Computer Science 9, 2013
142013
Static livelock analysis in CSP
J Ouaknine, H Palikareva, AW Roscoe, J Worrell
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
132011
From exaflop to exaflow
T Becker, P Burovskiy, AM Nestorov, H Palikareva, E Reggiani, ...
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
112017
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
102017
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
42017
Techniques and tools for the verification of concurrent systems
H Palikareva
University of Oxford, 2012
22012
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
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–15