Hristina Palikareva
Hristina Palikareva
Cisco
Bestätigte E-Mail-Adresse bei cisco.com - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Multi-solver support in symbolic execution
H Palikareva, C Cadar
International Conference on Computer Aided Verification, 53-68, 2013
802013
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
502016
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
222012
Shadow symbolic execution for better testing of evolving software
C Cadar, H Palikareva
Companion Proceedings of the 36th International Conference on Software …, 2014
182014
Faster FDR counterexample generation using SAT-solving
H Palikareva, J Ouaknine, B Roscoe
Electronic Communications of the EASST 23, 2009
172009
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
142018
Static livelock analysis in CSP
J Ouaknine, H Palikareva, AW Roscoe, J Worrell
International Conference on Concurrency Theory, 389-403, 2011
132011
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
72017
From exaflop to exaflow
T Becker, P Burovskiy, AM Nestorov, H Palikareva, E Reggiani, ...
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
72017
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
Techniques and tools for the verification of concurrent systems
H Palikareva
12012
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
A Static Analysis Framework for Livelock Freedom in CSP
H Palikareva
Logical Methods in Computer Science, 2012
2012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14