Peter Bulychev photo

Who I am


My name is Peter Bulychev (passport name: Petr Bulychev, cyrillic name: Пётр Булычёв).

I received my PhD degree from Lomonosov Moscow State University, Computer Science Department. My Ph.D. scientific advisors were Ruslan L. Smeliansky and Vladimir A. Zakharov.

Then I worked as postdoctoral researcher at CISS in the group of Kim Guldstrand Larsen.

Starting from Novermber 2012 I work as a software developer at Google Zurich.

Publications

  1. Peter Bulychev, Alexandre David, Kim G. Larsen, and Guangyuan Li. Efficient Controller Synthesis for a Fragment of MTL, 2013 (pdf).

  2. Peter Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-Francois Raskin and Pierre-Alain Reynier. Controllers with Minimal Observation Power (Application to Timed Systems). ATVA, 2012 (full version at arXiv).

  3. Peter Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-Francois Raskin and Pierre-Alain Reynier. Controllers with Minimal Observation Power (Application to Timed Systems). ATVA, 2012 (full version at arXiv).

  4. Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis and Danny Bøgsted Poulsen. Checking & Distributing Statistical Model Checking. NFM, 2012 (pdf).

  5. Peter Bulychev, Alexandre David, Kim Larsen, Axel Legay and Marius Mikucionis. Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. iWIGP, 2012 (pdf,presentation).

  6. Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen and Amelie Stainer. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic. LPAR-18, 2012 (pdf,presentation).

  7. Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Axel Legay and Marius Mikucionis. Distributed Parametric and Statistical Model Checking. PDMC 2011, 2011 (pdf).

  8. Peter Bulychev. Algorithms for computing similarity relations in verification and refactoring. Ph.D. thesis, Lomonosov Moscow State University, 2010 (pdf in Russian language)

  9. Peter Bulychev, Vladimir Zakharov. On the verification of finite state parameterized models of distributed algorithms. Nauchnie vedomosti BelGU, 2009 (pdf in Russian language)

  10. Peter Bulychev, Thomas Chatain, Alexandre David and Kim G. Larsen. Efficient on-the-fly algorithm for checking alternating timed simulation. FORMATS, 2009 (pdf)

  11. Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov. Anti-unification algorithms and their applications in program analysis. PSI, 2009 (pdf)

  12. Peter Bulychev, Marius Minea. An evaluation of duplicate code detection using anti-unification. IWSC, 2009 (pdf)

  13. P. E. Bulychev, I. V. Konnov, V. A. Zakharov Computing (bi)simulation relations preserving CTL*_X for ordinary and fair Kripke structures. Mathemathical Methods and Algorithms, ISP RAS, 2007, vol. 12 (pdf)

  14. Peter Bulychev, Marius Minea. Duplicate code detection using anti-unification. SYRCOSE, 2008 (pdf)

  15. Peter Bulychev. Duplicate Code Detection Using Clone Digger. Python Magazine, September 2008

  16. Game-theoretic methods of protocol verification, 2007 (pdf in Russian language)

Tools

Python framework for the quick propotyping of Timed Automata analysis algorithms, Clone Digger tool for the detection of software clones.

Contact Information

Email/Jabber/Google Talk : undefined

Social network accounts: VKontakte, Facebook, Flickr