Folgen
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
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
912013
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
662016
Recent developments in FDR
P Armstrong, M Goldsmith, G Lowe, J Ouaknine, H Palikareva, ...
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
312012
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
282018
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
232014
Faster FDR Counterexample Generation Using SAT− Solving
H Palikareva, J Ouaknine, AW Roscoe
Electronic Communications of the EASST 23, 2009
182009
Static livelock analysis in CSP
J Ouaknine, H Palikareva, AW Roscoe, J Worrell
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 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
92017
From exaflop to exaflow
T Becker, P Burovskiy, AM Nestorov, H Palikareva, E Reggiani, ...
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
92017
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
22012
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