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 a konferenčních příspěvků ohodnocených dle interních pravidel. 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.
prof. RNDr. Jan Strejček, Ph.D. (IS), katedra: KTP, zdroj vazby: seznam
Články v impaktovaných časopisech dle IS MU 2020–2024 (celkem 0.314)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 2024 JCR2023; JCR2024 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.
| hodnota | díl autora | rok | title | započítaní | ostatní |
|---|---|---|---|---|---|
| 0.28 | 0.14 | 2024 | Truncating abstraction of bit-vector operations for BDD-based SMT solvers (DOI) | Jonáš, Strejček | |
| 0.209 | 0.052 | 2021 | Symbiotic 6: generating test cases by slicing and symbolic execution (DOI) | Chalupa, Vitovská, Šimáček, Strejček | Jašek |
| 0.182 | 0.091 | 2020 | LTL to self-loop alternating automata with generic acceptance and back (DOI) | Major, Strejček | Blahoudek |
| 0.093 | 0.031 | 2020 | Joint Forces for Memory Safety Checking Revisited (DOI) | Chalupa, Strejček, Vitovská |
| rank | rok | title | započítaní | ostatní | nakladatel | sborník |
|---|---|---|---|---|---|---|
| A* CAV | 2021 | Fast Computation of Strong Control Dependencies (DOI) | Chalupa, Klaška, Strejček, Tomovič | Springer, Cham | Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II | |
| A* CAV | 2020 | Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization (DOI) | Strejček | Blahoudek, Duret-Lutz | Springer | Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II |
| A FoSSaCS | 2024 | Tighter Construction of Tight Büchi Automata (DOI) | Strejček | Jankola | Springer | Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I |
| A TACAS | 2024 | Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (DOI) | Jonáš, Strejček, Trtík | Urban | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III |
| A SAT | 2023 | Reducing Acceptance Marks in Emerson-Lei Automata by QBF Solving (DOI) | Schwarzová, Strejček, Major | Schloss Dagstuhl - Leibniz-Zentrum für Informatik | 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy | |
| A SAT | 2021 | DQBDD: An Efficient BDD-Based DQBF Solver (DOI) | Strejček | Síč | Springer | Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings |
| A SAT | 2020 | Speeding up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions (DOI) | Strejček | Jonáš | Springer | Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings |
| B FMCAD | 2024 | Combining Symbolic Execution with Predicate Abstraction and CEGAR (DOI) | Jonáš, Strejček | Griggio | TU Wien Academic Press | Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024 |
| B SAS | 2022 | Case Study on Verification-Witness Validators: Where We Are and Where We Go (DOI) | Strejček | Beyer | Springer | Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings |
| B SAS | 2021 | Backward Symbolic Execution with Loop Folding (DOI) | Chalupa, Strejček | Springer | Static Analysis - 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17-19, 2021, Proceedings | |
| C TACAS | 2024 | Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 (DOI) | Ayaziová, Strejček | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III | |
| C TACAS | 2024 | Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution (DOI) | Jonáš, Novák, Trtík, Ayaziová, Strejček | Kumor, Sedláček, Zaoral | Springer | Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III |
| C FASE | 2024 | Fizzer: New Gray-Box Fuzzer (DOI) | Jonáš, Strejček, Trtík | Urban | Springer | Fundamental Approaches to Software Engineering - 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings |
| C TACAS | 2023 | Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation (DOI) | Ayaziová, Strejček | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II | |
| C TACAS | 2022 | Symbiotic-Witch: A Klee-Based Violation Witness Checker (DOI) | Ayaziová, Chalupa, Strejček | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II | |
| C TACAS | 2022 | Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (DOI) | Chalupa, Mihalkovič, Řechtáčková, Strejček | Zaoral | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II |
| C FASE | 2021 | Symbiotic 8: Parallel and Targeted Test Generation (DOI) | Chalupa, Novák, Strejček | Springer | Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings | |
| C TACAS | 2021 | Symbiotic 8: Beyond Symbolic Execution (DOI) | Chalupa, Novák, Řechtáčková, Strejček | Jašek, Šoková | Springer, Cham | Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II |
| C TACAS | 2020 | Symbiotic 7: Integration of Predator and More (Competition Contribution) (DOI) | Chalupa, Tomovič, Ayaziová, Strejček | Jašek, Hruška, Šoková, Vojnar | Springer | Tools and Algorithms for the Construction and Analysis of Systems |