Raman Sharykin

Publication Activity (10 Years)

Years Active: 2003-2007
Publications (10 Years): 0

Publications

Raman Sharykin, Phillip A. Porras
Applying Formal Evaluation to Worm Defense Design. IPCCC (2007)
José Meseguer, Raman Sharykin
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. HSCC (2006)
Mikhail Bernadsky, Raman Sharykin, Rajeev Alur
Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT (2004)
Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic
Formalizing Java-MaC. Electron. Notes Theor. Comput. Sci. 89 (2) (2003)