BMEVIK2012-11-14I.B.139.SzoftverSzoftverteljesítmény és optimalizáció vizsgálata kernel módú eszközkezelő programmal254falseHajnal Erikpopperik@gmail.comBMEVIK4bscDr. Csurgai-Horváth Lászlóegyetemi docensSzoftverek optimizálása heurisztikus algoritmusokkal343falseKövesdán Gáborgabor.kovesdan@gmail.comBMEVIK4mscBányász GábortanársegédModell alapú kódgenerálás helyességének ellenőrzése422falseJeszenszky Balázsjeszyb@gmail.comBMEVIK8bscDr. Majzik IstvándocensSzaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz452falseMolnár Vincem.vin@hotmail.comBMEVIK7bscVörös Andrástudományos segédmunkatársDr. Bartha TamásDocensNagy szoftverinfrastruktúra feletti inkrementális modell-analízis422falseCsikós Donátcsdonat@gmail.comBMEVIK5mscDr. Ráth IstvánTudományos munkatársHorváth Ákostudományos segédmunkatársValósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja461trueTóth Tamástoth.tamas@mailbox.huBMEVIK2mscVörös Andrástudományos segédmunkatársDr. Majzik IstvándocensMatLab Simulink rendszerek modell-alapú validációja451trueBúr Mártonmarton.bur@gmail.comBMEVIK5bscHorváth Ákostudományos segédmunkatársHegedüs Ábeltudományos segédmunkatárs