Welcome

I am a Ph.D. student at the University of Pennsylvania. My advisor is Prof. Rajeev Alur.

Research

I am interested in analysis and verification of stochastic hybrid systes and stochastic discrete event systems.

Papers

  • M. Bernadsky and R. Alur. Symbolic Analysis for GSMP Models with One Stateful Clock, Tenth International Workshop on Hybrid Systems: Computation and Control, 2007.pdf

  • R. Alur and M. Bernadsky. Bounded model checking of GSMP models of stochastic real-time systems, Ninth International Workshop on Hybrid Systems: Computation and Control, 2006. pdf

  • M. Bernadsky, R Sharykin, and R. Alur. Structured modeling of concurrent stochastic hybrid systems, Joint Conference on Formal Modeling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems, 2004. ps

  • R. Alur, M. Bernadsky, and P. Madhusudan. Optimal reachability for weighted timed games, 31st International Colloquium on Automata, Languages, and Programming, 2004.Extended and revised version

Contact

Links