Dependable Digital Systems Research Group

Principal researcher

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

Principal researcher

Researcher

Lojda Jakub, Ing., Ph.D.

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

Bardonek Petr, Ing.

Ph.D. student

Pánek Richard, Ing.

Ph.D. student
Back to top