Zur Webseite der Informatik

Programming Languages and Compiler Group

Mikhail Prokharau

External Advisor, ex-Research Assistant


Address: University of Stuttgart
Institute of Software Technology
Universitätsstr. 38
70569 Stuttgart
Room: 1.001
Phone: +49 711 685-88206
Fax: +49 711 685-88380
E-mail: mikhail.prokharau(at)informatik.uni-stuttgart.de



Baden-Wuerttemberg Certificate of University Didactics (HDZ, July 2013)


Project Bauhaus
Temporal properties of parallelism on multi-core systems

Research Interests

  • Safety critical and reliable systems
  • Real-time programming
  • Parallel programming
  • Analysis of concurrent programs
  • Software reengineering
  • Programming languages and paradigms


  • Prokharau, Mikhail: Aspects of Code Pattern Removal. In: 14. Workshop Software-Reengineering (WSR 2012) Softwaretechnik-Trends, Band 32, Heft 2. GI, Mai 2012).
  • Prokharau, Mikhail; Gerlach, Daniel; Keul, Steffen: Static Analysis of Predicate-based Synchronisation. In 13. Workshop Software-Reengineering, Softwaretechnik-Trends, Band 31, Heft 2, S. 16-17, GI, Mai 2011.
  • Keul, Steffen; Prokharau, Mikhail; Gerlach, Daniel; Jenke, Carola; Raza, Aoun: RaceVis: Ein Werkzeug zur Visualisierung von Data Races. In 12. Workshop Software-Reengineering, Softwaretechnik - Trends, Band 30, Heft 2, pages 82 - 83, GI, Mai 2010.

Supervised Theses

  • Munk, Peter: Visualization of Scheduling in Real-Time Embedded Systems, MA 3372
    CR-Klassif.: D.4.1; D.4.8; C.4; I.6.8, [written report]
  • Almheidat, Ahmad N.: Analysis of Cache Usability on Modern Real-Time Systems, MA 3409
    CR-Klassif.: B.3.2, B.3.3, C.1.2.vi, D.4.2.vii
  • Khan, Md. Golam Hafiz: Simulation of Multi-core Scheduling in Real-Time Embedded Systems, MA 3556
    CR-Klassif.: D.4.1, D.4.8, C.4.d, I.6.8.i
  • Alam, Nazmul: Language Independent Modelling of Parallelism, MA 3554
    CR-Klassif.: C(1.1,1.2,4b),D(1.3b,2.5f,3.4f,3.4g,4.1,4.2d,4.7e,4.8)
  • Das, Sanjib: Analysis and Simulation of Scheduling Techniques for Real-Time Embedded Multi-core Architectures, MA 3578
    CR-Klassif.: C.1.4, D.4.7, D.4.8, I.6.6, I.6.7
  • Kayarat, Rekha: Advanced Multi-core Simulation of Real-Time Embedded Systems, MA 199-1
    CR-Klassif.: D.4.1, D.4.8, C.4.d, I.6.8.i, I.6.8.d

Current Theses


SS 2013

WS 2012/2013

SS 2012

WS 2011/2012

SS 2011

WS 2010/2011

SS 2010

WS 2009/2010