Impaktované časopisy          Konference          Celkem

Podklady pro hodnocení kateder na základě článků v impaktovaných časopisech ohodnocených podle pozice časopisu v oborovém žebříčku dle JCR, konferenčních příspěvků ohodnocených dle interních pravidel a „RIV“ bodů Hodnocení 2016. Jde o výsledky vykázané za FI nebo s deklarovaným podílem FI (konkrétní výše podílu není nijak zohledněna).

Hodnoty výsledků dělím rovným dílem mezi domácí autory s vazbou k jedné z kateder. Základem pro rozřazení autorů ke katedrám je seznam zaměstnanců kateder. Doktorandi jsou řazeni na katedru svého školitele, ze zbylých domácích autorů jsou ti, kteří mají spoluautory pouze z jedné katedry, zařazeni na tuto katedru, z ostatních jsou ti s významnějším přínosem zařazeni ručně (např. magisterští studenti dle vedoucího DP), podíl těch s marginálním přínosem je rozdělen mezi jejich spoluautory.

Bauch Petr (IS), katedra: KTP, zdroj vazby: školitel Barnat

Články v impaktovaných časopisech dle IS MU 2013–2017 (celkem 0.586)

Hodnota se počítá jako (Nmax - N + 1) / N, kde Nmax je počet časopisů v kategorii a N pořadí časopisu dle IF. Při zařazení časopisu do více kategorií nebo shodě IF se bere průměr. Najetím myší na hodnotu se zobrazí pořadí v oborových žebříčcích daného ročníku JCR (pro 2017 JCR2016; JCR2017 ještě nevyšlo), odkaz vede na stránku časopisu v JCR (oborové žebříčky tam jsou pod odkazem Rank), funguje ale jen z IP adres MU a je potřeba kliknout alespoň dvakrát, první přístup pouze inicializuje session.

hodnotadíl autoraroktitlezapočítaníostatní
0.830.2772016Control Explicit-Data Symbolic Model Checking (DOI)Bauch, Havel, Barnat
0.6790.2262016Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories (DOI)Bauch, Havel, Barnat
0.330.0832016Analysing Sanity of Requirements for Avionics Systems (DOI)Barnat, Bauch, Beneš, BrimBeran, Kratochvíla

Články ve sbornících dle IS MU 2013–2017 (celkem B: 0.667, C: 0.667) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
B2016SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration (DOI)Bauch, Lauko, BarnatMrázekSpringer International PublishingModel Checking Software
B2014Temporal Verification of Simulink Diagrams (DOI)Barnat, Bauch, HavelIEEE Computer SocietyProceedings of HASE 2014
C2014Model Checking Parallel Programs with Inputs (DOI)Barnat, Bauch, HavelIEEE Computer SocietyProceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP)
C2014LTL Model Checking of LLVM Bitcode with Symbolic Data (DOI)Bauch, Havel, BarnatSpringerProceedings of MEMICS'14

Body v RIVu dle Hodnocení 2016 (tedy 2011–2015; celkem 27.426)

Z Hodnocení jsou převzaty body za publikační výsledky z Pilíře I, body za aplikované výsledky (SW, druh R) z roku 2011 z Pilíře III a body za projekty aplikovaného výzkumu z Pilíře III, které jsou vždy přiděleny vedoucím těchto projektů (p.t. Horák, Matyáš, Pala, Přenosil a Zezula, z pohledu dělení na katedry postačující, z individuálního pohledu to pochopitelně čísla trochu zkresluje). Případné procentní podíly pracovišť v IS MU nejsou zohledněny (stran přerozdělení mezi fakultami jde o malé desítky bodů, ale bylo by obtížné to korektně dohledat, stran rozdělení mezi katedry jsou data neúplná a/nebo nespolehlivá).

body FIbody autorarokzařazení :druhtitlezapočítaníostatní
34.4211.4732012D:DChecking Sanity of Software Requirements (DOI)Barnat, Bauch, Brim
23.0895.7722012Jsc:JDesigning Fast LTL Model Checking Algorithms for Many-core GPUs (DOI)Barnat, Bauch, Brim, Češka
21.57.1672014D:DLTL Model Checking of LLVM Bitcode with Symbolic Data (DOI)Bauch, Havel, Barnat
8.0742.0192011D:DComputing Strongly Connected Components in Parallel on CUDABarnat, Bauch, Brim, Češka
2.9840.9952014D:DModel Checking Parallel Programs with InputsBarnat, Bauch, Havel
002014neu:DTemporal Verification of Simulink DiagramsBarnat, Bauch, Havel
002011neu:JComputing Optimal Cycle Mean in Parallel on CUDA (DOI)Barnat, Bauch, Brim, Češka
002011neu:DCUDA Accelerated LTL Model Checking - RevisitedBauch, Češka