Marussy Kristóf Dr.
tudományos segédmunkatársVillamosmérnöki és Informatikai Kar
Mesterséges Intelligencia és Rendszertervezés Tanszék
marussy@mit.bme.hu
konferenciák
- Villamosmérnöki és Informatikai Kar 2018. évi TDK
- Villamosmérnöki és Informatikai Kar 2019. évi TDK
- Villamosmérnöki és Informatikai Kar 2020. évi TDK
- Villamosmérnöki és Informatikai Kar 2021. évi TDK
- Villamosmérnöki és Informatikai Kar 2022. évi TDK
- Villamosmérnöki és Informatikai Kar 2023. évi TDK
témák
kulcsszavak
4-értékű logika (1) · absztrakció (3) · adatbázis (1) · adatszerkezetek (1) · algoritmus (1) · állapottérkép (1) · állapottérképek (1) · állapottérrobbanás (1) · architektúra szintézis (1) · autonomous testing (1) · autonomous vehicles (1) · biztonságkritikus rendszerek (2) · cegar (2) · complex event processing (1) · cps (1) · design-space exploration (1) · elosztott rendszer (1) · elosztott rendszerek (1) · extra-funkcionális követelmény (1) · formális verifikáció (3) · gráf (1) · gráf generálás (1) · gráfgenerálás (1) · gráflekérdezés (1) · gráfok (1) · gráfvizualizálás (1) · időzített automaták (1) · időzített rendszerek (2) · kiberfizikai rendszerek (1) · kritikus rendszerek (1) · logikai következtetés (1) · lusta absztrakció (1) · markov-lánc (1) · megbízhatóság (2) · megbízhatósági modellezés (1) · mesterséges intelligencia (1) · metric temporal logic (1) · model generation (1) · modeling (1) · modell alapú tervezés (1) · modellalapú rendszertervezés (1) · modell-alapú szoftvertervezés (1) · modellellenőrzés (4) · modellgenerálás (1) · neurális hálók (1) · nézeti modellek (1) · optimalizáció (1) · önvezető járművek (1) · parciálális modellezés (1) · parciális modell (1) · Petri-háló (1) · probabilisztikus programozás (1) · relációs érvelés (1) · runtime automata (1) · runtime monitors (1) · runtime verification (1) · skálázódás (1) · strukturált tenzor reprezentáció (1) · szoftver (1) · szoftvertesztelés (1) · szolgáltatásbiztonság (1) · sztochasztikus analízis (1) · sztochasztikus modell (1) · tensor train (1) · tenzor (1) · tervezésitér bejárás (1) · tervezésitér-bejárás (1) · tesztfedettség (1) · tesztgenerálás (1) · transzformáció (1) · tudásbázis (1) · valós idejű rendszerek (2) · vizualizáció (1)Több kulcsszó »
dolgozatok
Összesen 17 dolgozat. Összes dolgozat »
helyezés szerint
különdíj szerint
dolgozatok
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2015. évi TDK konferencia »
Modellezés és szimuláció szekció,
2015
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2014 konferencia »
Intelligens rendszerek szekció,
2014
Villamosmérnöki és Informatikai Kar »
Villamosmérnöki és Informatikai Kar 2012 konferencia »
Jel- és képfeldolgozás szekció,
2012