Using Dynamic Information in the Interprocedural Static Slicing of Binary Executables. Software Quality Journal. 13:227–245.. 2005.
A unifying theory of control dependence and its application to arbitrary program structures. Theoretical Computer Science. 412:6809–6842.. 2011.
A Trajectory-based Strict Semantics for Program Slicing. Theoretical Computer Science. 411:1372–1386.. 2010.
Theoretical Foundations of Dynamic Program Slicing. Theoretical Computer Science. 360:23–41.. 2006.
Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. Journal of Supercomputing. :25.. 2018.
General Flow-Sensitive Pointer Analysis and Call Graph Construction. Proceedings of the Estonian Academy of Sciences – Engineering. 11:286–295.. 2005.
A Formalisation of the Relationship between Forms of Program Slicing. Science of Computer Programming. 62:228–252.. 2006.
Energy simulation of embedded XScale systems with XEEMU. J. Embedded Comput.. 3:209–219.. 2009.
Coarse Hierarchical Delta Debugging. Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017). :194–203.. 2017.
XEEMU: An Improved XScale Power Simulator. Integrated Circuit and System Design – Power and Timing Modeling, Optimization and Simulation – 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, Proceedings. 4644:300–309.. 2007.
Using GPU Acceleration in the GL2D Graphics Engine. Proceedings of the 18th IEEE International Symposium on Consumer Electronics (ISCE 2014). :42–43.. 2014.
Tree Preprocessing and Test Outcome Caching for Efficient Hierarchical Delta Debugging. Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing (AST 2017). :23–29.. 2017.
Static Slicing of Binary Executables. Volume of Extended Abstracts of the 3rd Conference of PhD Students in Computer Science (CSCS 2002). :60.. 2002.
Software Quality Model and Framework with Applications in Industrial Context. Proceedings of the16th European Conference on Software Maintenance and Reengineering (CSMR'12). :453–456.. 2012.
Security Evolution of the Webkit Browser Engine. 14th IEEE International Symposium on Web Systems (WSE). :17–19.. 2012.
Runtime Exception Detection in Java Programs Using Symbolic Execution. Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13. :215–229.. 2013.
Regular Expressions on the Web. Proceedings of the 12th IEEE International Symposium on Web Systems Evolution (WSE 2010). :29–32.. 2010.
Prediction Models for Performance, Power, and Energy Efficiency of Software Executed on Heterogeneous Hardware. Proceedings of the 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2015). :178–183.. 2015.
Practical Improvements to the Minimizing Delta Debugging Algorithm. Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) – Volume 1: ICSOFT-EA. :241–248.. 2016.
Obfuscating C++ Programs via Control Flow Flattening. Proceedings of the 10th Symposium on Programming Languages and Software Tools (SPLST 2007). :15–29.. 2007.