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.

Beneš Nikola (IS), katedra: KPSK, zdroj vazby: seznam

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

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.330.0832016Analysing Sanity of Requirements for Avionics Systems (DOI)Barnat, Bauch, Beneš, BrimBeran, Kratochvíla
0.2640.0882015Refinement checking on parametric modal transition systems (DOI)Beneš, Křetínský, SrbaLarsen, Moller, Sickert

Články ve sbornících dle IS MU 2013–2017 (celkem A*: 1.2, A: 0.733, B: 1.876, C: 0.333, D: 0.25) Popis rankingu viz zde.
rankroktitlezapočítaníostatnínakladatelsborník
A*2017Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-Affine Dynamical Systems (DOI)Beneš, Brim, Demko, Pastva, ŠafránekSpringer International PublishingComputer Aided Verification. CAV 2017
A*2015Language Emptiness of Continuous-Time Parametric Timed Automata (DOI)Beneš, BezděkLarsen, SrbaSpringer Berlin HeidelbergAutomata, Languages, and Programming
A*2013Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (DOI)Beneš, KřetínskýDelahaye, Fahrenberg, LegaySpringerCONCUR 2013 - Concurrency Theory - 24th International Conference
A2016Parallel SMT-Based Parameter Synthesis with Application to Piecewise Multi-Affine Systems (DOI)Beneš, Brim, Demko, Pastva, ŠafránekSpringer International PublishingAutomated Technology for Verification and Analysis. ATVA 2016
A2016Tunable Online MUS/MSS Enumeration (DOI)Beneš, Černá, BarnatBendíkSchloss Dagstuhl--Leibniz-Zentrum fuer InformatikFoundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016
A2016A Model Checking Approach to Discrete Bifurcation Analysis (DOI)Beneš, Brim, Demko, Pastva, ŠafránekSpringer International PublishingFormal Methods. FM 2016
B2017Detecting Attractors in Biological Models with Uncertain Parameters (DOI)Brim, Barnat, Šafránek, Beneš, Demko, Pastva, HajnalSpringer International PublishingComputational Methods in Systems Biology. CMSB 2017
B2016Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (DOI)Bendík, Beneš, Barnat, ČernáLecture Notes in Computer Sciences in Computer Science, 9763Software Engineering and Formal Methods - 14th International Conference, SEFM 2016
B2016LTL Parameter Synthesis of Parametric Timed Automata (DOI)Bezděk, Beneš, Barnat, ČernáLecture Notes in Computer Sciences in Computer Science, 9763Software Engineering and Formal Methods - 14th International Conference, SEFM 2016.
B2016High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study (DOI)Demko, Beneš, Brim, Pastva, ŠafránekSpringer International PublishingComputational Methods in Systems Biology. CMSB 2016.
B2015Complete Composition Operators for IOCO-Testing Theory (DOI)Beneš, KřetínskýDaca, Henzinger, NičkovićACMProceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
B2014On Clock-Aware LTL Properties of Timed Automata (DOI)Bezděk, Beneš, Havel, Barnat, ČernáSpringer International PublishingTheoretical Aspects of Computing – ICTAC 2014
B2013DCCL: Verification of Component Systems with Ensembles (DOI)Barnat, Beneš, ČernáPetruchováACMCBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
C2014Towards Verification of Ensemble Based Component Systems (DOI)Barnat, Beneš, ČernáBureš, Keznikl, PlášilSpringer International PublishingFormal Aspects of Component Software
D2014LTL Model Checking of Parametric Timed AutomataBezděk, Beneš, Barnat, ČernáNOVPRESSMEMICS 2014

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

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í
44.79914.9332011D:DModal Transition Systems: Composition and LTL Model CheckingBeneš, Černá, Křetínský
34.4211.4732012D:DFactorization for Component-Interaction Automata (DOI)Beneš, Černá, Štefaňák
34.4217.212012D:DModal Process Rewrite Systems (DOI)Beneš, Křetínský
33.59911.22011D:DParametric Modal Transition SystemsBeneš, Křetínský, Srba
25.8158.6052012D:DDual-Priced Modal Transition Systems with Time Durations (DOI)Beneš, Křetínský, Srba
17.82.9672011Jimp:JPartial Order Reduction for State/Event LTL with Application to Component-Interaction Automata (DOI)Beneš, Brim, Bühnová, Černá, Sochor, Moravcová
16.165.3872012Jimp:JEXPTIME-Completeness of Thorough Refinement on Modal Transition Systems (DOI)Beneš, Křetínský, Srba
13.2236.6112013D:DHennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory (DOI)Beneš, Křetínský
10.753.5832014D:DTowards Verification of Ensemble Based Component Systems (DOI)Barnat, Beneš, Černá
10.4915.2452015D:DLanguage Emptiness of Continuous-Time Parametric Timed Automata (DOI)Beneš, Bezděk
7.2292.412015Jimp:JRefinement checking on parametric modal transition systems (DOI)Beneš, Křetínský, Srba
6.2051.5512012D:DReliability analysis in component-based development via probabilistic model checking (DOI)Beneš, Bühnová, Černá, Ošlejšek
4.0091.3362013D:DDCCL: Verification of Component Systems with Ensembles (DOI)Barnat, Beneš, ČernáPetruchová
1.7430.8722015D:DComplete Composition Operators for IOCO-Testing Theory (DOI)Beneš, Křetínský
002014neu:DLTL Model Checking of Parametric Timed AutomataBezděk, Beneš, Barnat, Černá
002014neu:DOn Clock-Aware LTL Properties of Timed Automata (DOI)Bezděk, Beneš, Havel, Barnat, Černá
002011neu:DCoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems (DOI)Beneš, ČernáKřivánek
002011neu:DProcess Algebra for Modal Transition SystemsesBeneš, Křetínský