Mikhail Bernadsky

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

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

• 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

• Snail mail:
  Dept. of Computer and Information Science
  University of Pennsylvania
  613 Levine Hall,
  3330 Walnut Street,
  Philadelphia, PA 19104.
  
• Tel (office): (215) 573-7736
• Email: mbernads cis upenn edu

• DBLP
• Citeseer
• IEEE Xplore
• ACM Digital Library