2009
Detecting code clones in binary executables.
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

2007
Communicating Software Architecture using a Unified Single-View Visualization.
Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006
Improving distributed memory applications testing by message perturbation.
Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

2004
Classification and Utilization of Abstractions for Optimization.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004