Hristina Palikareva

14 papers A* 3A 1B 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2018 J jnl
Shadow Symbolic Execution for Testing Software Patches.
ACM Trans. Softw. Eng. Methodol.
Tomasz Kuchta, Hristina Palikareva, Cristian Cadar
2017 — conf
A Scalable Dataflow Implementation of Curran's Approximation Algorithm.
IPDPS Workshops
Anna Maria Nestorov, Enrico Reggiani, Hristina Palikareva, Pavel Burovskiy, Tobias Becker, Marco D. Santambrogio
2017 — conf
Cloud Deployment and Management of Dataflow Engines.
CloudNG@EuroSys
Nemanja Trifunovic, Hristina Palikareva, Tobias Becker, Georgi Gaydadjiev
2017 A conf
From exaflop to exaflow.
DATE
Tobias Becker, Pavel Burovskiy, Anna Maria Nestorov, Hristina Palikareva, Enrico Reggiani, Georgi Gaydadjiev
2016 A* conf
Shadow of a doubt: testing for divergences between software versions.
ICSE
Hristina Palikareva, Tomasz Kuchta, Cristian Cadar
2014 — conf
Multi-solver Support in Symbolic Execution.
SMT
Hristina Palikareva, Cristian Cadar
2014 — conf
Shadow symbolic execution for better testing of evolving software.
ICSE Companion
Cristian Cadar, Hristina Palikareva
2013 J jnl
A Static Analysis Framework for Livelock Freedom in CSP
Log. Methods Comput. Sci.
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2013 A* conf
Multi-solver Support in Symbolic Execution.
CAV
Hristina Palikareva, Cristian Cadar
2012 A* conf
Recent Developments in FDR.
CAV
Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2012 J jnl
SAT-solving in CSP trace refinement.
Sci. Comput. Program.
Hristina Palikareva, Joël Ouaknine, A. W. Roscoe
2012 — —
Techniques and tools for the verification of concurrent systems.
Hristina Palikareva
2011 B conf
Static Livelock Analysis in CSP.
CONCUR
Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell
2009 J jnl
Faster FDR Counterexample Generation Using SAT-Solving.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Hristina Palikareva, Joël Ouaknine, Bill Roscoe