Theses on a related topic (having the same keywords):
symbolicka exekucia, testovanie programov, hladanie chyb, klee, nahodne testovanie, dartKeywords ordered alphabetically | Keywords ordered by occurrence rate
1.
Trembecký, Richard
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Portování nástroje Symbiotic na LLVM 3.8 | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2016, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Portování nástroje Symbiotic na LLVM 3.8 | Theses on a related topic
2.
Ayaziová, Paulína
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Klee-Based Error Witness Checker | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Artificial Intelligence and Natural Language Processing
Bachelor's thesis defence: Klee-Based Error Witness Checker | Theses on a related topic
3.
Červený, Richard
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Web portal for management and visualization of mHealth application data | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies under way
Programme/field: Programming and development / Programming and development
Bachelor's thesis defence: Web portal for management and visualization of mHealth application data | Theses on a related topic
4.
Kakaš, Richard
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Informatics / Parallel and Distributed Systems
Master's thesis defence: Automatizovaná paralelizace zpracování vstupních dat na základě kauzality | Theses on a related topic
5.
Kaplan, Věroslav
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Geography (4-years) / Cartography, Geoinformatics and Remote Sensing
Doctoral thesis defence: Inverzní postupy modelu radiativního transferu pro odhad biochemických a fyzikálních parametrů vegetace | Theses on a related topic
Faculty: Faculty of Science
Year: 2011, studies completed, degree conferred: Ph.D.
Programme/field: Geography (4-years) / Cartography, Geoinformatics and Remote Sensing
Doctoral thesis defence: Inverzní postupy modelu radiativního transferu pro odhad biochemických a fyzikálních parametrů vegetace | Theses on a related topic
6.
Konicar, Robert
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2022, studies completed, degree conferred: Bc.
Programme/field: Informatics / Mathematical Informatics
Bachelor's thesis defence: A Nondeterministic File System Model for DiOS | Theses on a related topic
7.
Kracina, Jakub
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Porovnanie multiplatformovej technológie Flutter a natívneho prístupu iOS a Android | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2021, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Services development management
Master's thesis defence: Porovnanie multiplatformovej technológie Flutter a natívneho prístupu iOS a Android | Theses on a related topic
8.
Laga, Stanislav
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Anticipace principů moderního umění v díle Friedricha Nietzscheho | Theses on a related topic
Faculty: Faculty of Arts
Year: 2011, studies completed, degree conferred: Mgr.
Programme/field: Philosophy / Philosophy
Master's thesis defence: Anticipace principů moderního umění v díle Friedricha Nietzscheho | Theses on a related topic
9.
Michálek, Matej
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Mobile application for management of accounting documents | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Mobile application for management of accounting documents | Theses on a related topic
10.
Mikolaj, Miroslav
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Využití frameworku Flutter pro implementaci multiplatformních aplikací | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Využití frameworku Flutter pro implementaci multiplatformních aplikací | Theses on a related topic
11.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improvements of Memory Management in KLEE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Informatics / Applied Informatics
Bachelor's thesis defence: Improvements of Memory Management in KLEE | Theses on a related topic
12.
Novák, Jakub
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Lazy object initialization support in KLEE | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2023, studies completed, degree conferred: Mgr.
Programme/field: Software systems and services management / Software Systems Development Management
Master's thesis defence: Lazy object initialization support in KLEE | Theses on a related topic
13.
Psota, Tomáš
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Safety Widget | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Safety Widget | Theses on a related topic
14.
Sabadková, Terézia
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Biochemistry / Applied Biochemistry (combination/specialization: Clinical biochemistry)
Bachelor's thesis defence: Analýza suché krevní kapky pomocí ambientních ionizačních technik v hmotnostní spektrometrii se zaměřením na klinické studie | Theses on a related topic
Faculty: Faculty of Science
Year: 2020, studies completed, degree conferred: Bc.
Programme/field: Applied Biochemistry / Applied Biochemistry (combination/specialization: Clinical biochemistry)
Bachelor's thesis defence: Analýza suché krevní kapky pomocí ambientních ionizačních technik v hmotnostní spektrometrii se zaměřením na klinické studie | Theses on a related topic
15.
Sklenář, Pavel
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Porovnání nástrojů pro multiplatformní mobilní vývoj | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2024, studies completed, degree conferred: Ing.
Programme/field: Software Engineering / Design and development of software systems
Master's thesis defence: Porovnání nástrojů pro multiplatformní mobilní vývoj | Theses on a related topic
16.
Šimáček, Michael
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
Faculty: Faculty of Informatics
Year: 2018, studies completed, degree conferred: Mgr.
Programme/field: Applied Informatics / Applied Informatics
Master's thesis defence: Symbolic-size Memory Allocation Support for Klee | Theses on a related topic
17.
Štefanisko, Denis
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Historical Sciences / Archaeology, Prehistoric Archaeology of Near East
Bachelor's thesis defence: Morphometric analysis of PPNB stone projectile points from Tell Halula in northern Syria during the second half of the 8th millennium cal. BC | Theses on a related topic
Faculty: Faculty of Arts
Year: 2014, studies completed, degree conferred: Bc.
Programme/field: Historical Sciences / Archaeology, Prehistoric Archaeology of Near East
Bachelor's thesis defence: Morphometric analysis of PPNB stone projectile points from Tell Halula in northern Syria during the second half of the 8th millennium cal. BC | Theses on a related topic