Theses and dissertations


  • HDR, “Habilitation à diriger les recherches” in Computer science, a synthesis of research profile necessary in France to have a position of professor.
    Thesis entitled: “Refine to verify properties of finite and infinite-state systems”, Université de Franche-Comté, Besançon (France), November 2004.
  • Ph.D. in Computer science, UJF - Grenoble University (France), entitled “Semantics of recursive-parallel programs and methods for their analysis”, February 1997.
  • MS in Applied Mathematics & Computer science, Yaroslavl State University  (Russia), entitled “Stochastic models for Petri nets analysis”, June 1988.