Dependable Digital Systems Research Group

Principal researcher

Růžička Richard, doc. Ing., Ph.D., MBA

Principal researcher

Researcher

Drábek Vladimír, doc. Ing., CSc.

Researcher

Strnadel Josef, Ing., Ph.D.

Researcher
  • Dependability
  • Embedded, critical and cyber-physical systems
  • Real-time (operating) systems
  • Modeling and analysis of dynamic systems
  • Formal verification and model checking, statistical model checking
  • Application of timed automata

Šimek Václav, Ing.

Researcher

Zachariášová Marcela, Ing., Ph.D.

Researcher

Ph.D. student

Čekan Ondřej, Ing., Ph.D.

Ph.D. student

Lojda Jakub, Ing., Ph.D.

Ph.D. student

Pánek Richard, Ing.

Ph.D. student

Podivínský Jakub, Ing., Ph.D.

Ph.D. student
Back to top