Témakiírások

Cím	Konzulens
[EDGE-Skills EU projekt] "Verifiable Credential" adatminőség-tanúsítványok felhőközi adatcserében	Kocsis Imre
[MNB-BME együttműködés] Vállalati kötvénytokenizáció szervezetközi blokkláncon	Kocsis Imre
[NAV együttműködés] Adatszolgáltatási nyomtatványok gráfadatbázis alapú kezelése és szemantikus elemzése	Kocsis Imre
Adatmodell-vezérelt okosszerződés fejlesztés vállalati blokkláncokhoz	Klenik Attila
Automatikus szoftvertesztelés és tesztgenerálás	Micskei Zoltán
Autonóm járművek szimulációs tesztelése	Ficsor Attila
Autonóm rendszerekre vonatkozó követelmények leírása és monitorozása	Majzik István
Biztonságkritikus rendszerek modellezése és ellenőrzése	Majzik István
Biztonságkritikus rendszerek valószínűségi elemzése	Szekeres Dániel
Felderítő adatelemzés támogatása LLM-ekkel	Kocsis Imre
Felhasználóbarát modellező eszközök a rendszertervezés támogatására	Szabó Richárd
Felhő alapú gráfgenerátor fejlesztése	Marussy Kristóf
Hibatűrő okosszerződések vállalatközi blokkláncokban	Kocsis Imre
Időzített rendszerek ellenőrző algoritmusainak fejlesztése	Cziborová Dóra
Informatika + Matematika + Nyelvészet = Modellezési nyelvek és szemantika	Molnár Vince
Kémia reakciók vizsgálata gráf alapú következtetéssel	Marussy Kristóf
Követelmények vizsgálata neuro-szimbolikus érveléssel	Marussy Kristóf
LLM alapú kódolási asszisztens fejlesztése modellezési nyelvhez	Marussy Kristóf
LLM-alapú természetes nyelvű magyarázat generálás microservice distributed tracing adatokhoz	Péter Bertalan Zoltán
Modellellenőrzési tanúk minőségének javítása és validációs módszerei	Ádám Zsófia
Modellezési nyelvek és eszközök tesztelése	Elekes Márton
Okosszerződések automatizált programozása LLM-ekkel	Péter Bertalan Zoltán
Oktatást támogató eszközök fejlesztése	Dobos-Kovács Mihály
Önkiértékelésű deklaratív eljárásrendek Zero-Knowledge Proof támogatása	Kocsis Imre
Szemantikus modell alapú V&V eszköztámogatás megvalósítása a K Framework segítségével	Zavada Ármin Zsolt
Szemantikus modellezési nyelv és kapcsolódó keretrendszer fejlesztése	Zavada Ármin Zsolt
Szervezetközi blokkláncok architektúratervezése a Refinery gráfgenerátor eszközzel	Kocsis Imre
Szimbolikus modellellenőrző algoritmusok fejlesztése	Mondok Milán
Szoftver helyességének ellenőrzése formális módszerekkel	Bajczi Levente
Újgenerációs tervezőeszközök komplex informatikai rendszerekhez	Molnár Vince
Újszerű és meglévő modellezési nyelvek statikus és dinamikus ellenőrzése szemantikus könyvtárak segítségével	Zavada Ármin Zsolt