Raman Sharykin

According to our database, Raman Sharykin authored at least 4 papers between 2003 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Applying Formal Evaluation to Worm Defense Design.

Raman Sharykin, Phillip A. Porras

Proceedings of the 26th IEEE International Performance Computing and Communications Conference, 2007

2006

Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems.

José Meseguer, Raman Sharykin

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2004

Structured Modeling of Concurrent Stochastic Hybrid Systems.

Mikhail Bernadsky, Raman Sharykin, Rajeev Alur

Proceedings of the Formal Techniques, 2004

2003

Formalizing Java-MaC.

Usa Sammapun, Raman Sharykin, Margaret DeLap, Myong Kim, Steve Zdancewic

Proceedings of the Third Workshop on Run-time Verification, 2003