Formalizing Java-MaC. - Usa Sammapun; Raman Sharykin; Margaret DeLap; Myong Kim; Steve Zdancewic (RV@CAV, 2003)

Structured Modeling of Concurrent Stochastic Hybrid Systems. - Mikhail Bernadsky; Raman Sharykin; Rajeev Alur (FORMATS/FTRTFT, 2004)

Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. - José Meseguer 001; Raman Sharykin (HSCC, 2006)

Applying Formal Evaluation to Worm Defense Design. - Raman Sharykin; Phillip A. Porras (IPCCC, 2007)