2013
Verifying global convergence for a digital phase-locked loop.
Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012
A Cellular Automaton based Network Diffusion model: Preparation for more scalable Viral Marketing.
Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012