| |
| 2007 | ||
|---|---|---|
| 4 | EE | Raman Sharykin, Phillip A. Porras: Applying Formal Evaluation to Worm Defense Design. IPCCC 2007: 479-486 |
| 2006 | ||
| 3 | EE | José Meseguer, Raman Sharykin: Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems. HSCC 2006: 460-475 |
| 2004 | ||
| 2 | EE | Mikhail Bernadsky, Raman Sharykin, Rajeev Alur: Structured Modeling of Concurrent Stochastic Hybrid Systems. FORMATS/FTRTFT 2004: 309-324 |
| 2003 | ||
| 1 | EE | Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic: Formalizing Java-MaC. Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 1 | Rajeev Alur | [2] |
| 2 | Mikhail Bernadsky | [2] |
| 3 | Margaret DeLap | [1] |
| 4 | Myong Kim | [1] |
| 5 | José Meseguer | [3] |
| 6 | Phillip A. Porras | [4] |
| 7 | Usa Sammapun | [1] |
| 8 | Steve Zdancewic | [1] |