prof. RNDr. Jiří Barnat, Ph.D.
Address:
Faculty of Informatics
Masaryk University
Botanická 68a
602 00 Brno
Czech Republic
Office Phone:
Office Room:
E-mail:
+420-54949
3507
A409
xbarnat =at= fi.muni.cz
Work placement:
Jiri Barnat @ Masaryk University
Research:
Google Scholar
DBLP
Events:
SEFM 2021
FORTE 2021
SPIN 2021
FMICS 2020
CONCUR 2019
FMICS 2019
FMICS 2018
SEFM 2017
FMICS-AVOCS 2017
Links:
RoFI
- Modular metamorphic robotic platform
DiVinE
- Parallel LTL Model Checker
ParaDiSe
- Paralell and Distributed System Laboratory @ FI MU Brno,
PDMC
- PDMC Workshop Series