Vörös András
Egyetemi docens, PhD
- Cím
- 1117 Budapest, Magyar Tudósok krt. 2. IB. 421.
- vori [at] mit.bme.hu
- Telefon
- +36 1 463 3598
- Honlap
- https://inf.mit.bme.hu/members/vorosa
Kutatási területek:
- Mérnöki modellezés és alkalmazása
- Formális módszerek
- Modellellenőrzés
- Döntési diagramok, gráf algoritmusok
- Kiberfizikai rendszerek, Industrial IoT
- Futásidejű analízis
Eszközök:
- PetriDotNet modellellenőrző keretrendszer (itt olvashatóak az eredmények),
- Theta szoftver analízis keretrendszer,
- Gamma modellező keretrendszer
Elosztott kiberfizikai rendszerek fejlesztése: Model-based Demonstrator for Smart and Safe Systems
Mesterséges intelligencia és deep learning alkalmazása kritikus területeken: áttekintő.
TDK/kutatás iránt érdeklődsz? Keress meg, ha felkeltette az érdeklődésed bármelyik honlapomon található téma! Korábbi, hallgatóim által készített TDK és OTDK dolgozatok listája alább olvasható.
Hallgatóim OTDK eredményei
1. díj
-
OTDK 2019
- Bajczi Levente
- Dolgozat címe: Konkurens programok HW-SW együttes verifikációja
- További konzulens(ek): Molnár Vince
-
OTDK 2013
- Hajdu Ákos, Mártonka Zoltán
- Dolgozat címe: Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével
- További konzulens(ek): dr. Bartha Tamás
2. díj
-
OTDK 2015
- Molnár Vince, Segesdi Dániel
- Dolgozat címe: Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére
- További konzulens(ek): dr. Bartha Tamás
-
OTDK 2013
- Darvas Dániel, Jámbor Attila
- Dolgozat címe: Komplex rendszerek modellezése és verifikációja
- További konzulens(ek): dr. Bartha Tamás
-
OTDK 2013
- Tóth Tamás
- Dolgozat címe: Valósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja
- További konzulens(ek): dr. Majzik István
3. díj
-
OTDK2017
- Farkas Rebeka Krisztina
- Dolgozat címe: Időzített automaták verifikációja CEGAR-alapú algoritmusokkal
- További konzulens(ek): Tóth Tamás, Hajdu Ákos
-
OTDK2017
- Marussy Kristóf, Klenik Attila
- Dolgozat címe: Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer
- További konzulens(ek): Molnár Vince, dr. Telek Miklós
Jutalom
-
OTDK 2015
- Horváth Benedek, Konnerth Raimund Andreas, Mázló Zsolt
- Dolgozat címe: Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése
- További konzulens(ek): dr. Horváth Ákos
Hallgatóim egyetemi TDK eredményei
1. díj - Rektori különdíj
-
TDK 2019 – Rektori különdíj
- Dobos-Kovács Mihály
- Dolgozat címe: Formal verification driven test generation in automotive software development
-
TDK 2018 – Rektori különdíj
- Bajczi Levente
- Dolgozat címe: Konkurens programok HW-SW együttes verifikációja
- További konzulens(ek): Molnár Vince
-
TDK 2015 – Rektori különdíj
- Marussy Kristóf, Klenik Attila
- Dolgozat címe: Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer
- További konzulens(ek): Molnár Vince, dr. Telek Miklós
1. díj
-
TDK 2016
- Farkas Rebeka Krisztina
- Dolgozat címe: Időzített automaták verifikációja CEGAR-alapú algoritmusokkal
- További konzulens(ek): Tóth Tamás, Hajdu Ákos
-
TDK 2015
- Élő Dániel, Soltész Adrián
- Dolgozat címe: Szimbolikus modellellenőrzés és végrehajtási szekvencia generálás vezérelt kereséssel
- További konzulens(ek): Molnár Vince
-
TDK 2014
- Barta Ágnes
- Dolgozat címe: Absztrakt tesztadat generálás autonóm és elosztott rendszerekhez
- További konzulens(ek): Semeráth Oszkár, Szatmári Zoltán
-
TDK 2014
- Konnerth Raimund-Andreas, Horváth Benedek, Mázló Zsolt
- Dolgozat címe: Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése
- További konzulens(ek): dr. Horváth Ákos
-
TDK 2013
- Molnár Vince, Segesdi Dániel
- Dolgozat címe: Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésére
- További konzulens(ek): dr. Bartha Tamás
-
TDK 2012
- Hajdu Ákos, Mártonka Zoltán
- Dolgozat címe: Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével
- További konzulens(ek): dr. Bartha Tamás
-
TDK 2012
- Tóth Tamás
- Dolgozat címe: Valósidejű biztonságkritikus rendszerek k-indukció alapú verifikációja
- További konzulens(ek): dr. Majzik István
-
TDK 2011
- Darvas Dániel, Jámbor Attila
- Dolgozat címe: Komplex rendszerek modellezése és verifikációja
- További konzulens(ek): dr. Bartha Tamás
-
TDK 2010
- Darvas Dániel
- Dolgozat címe: Szaturáció alapú automatikus modellellenőrző fejlesztése aszinkron rendszerekhez
- További konzulens(ek): dr. Bartha Tamás
2. díj
-
TDK 2019
- Mondok Milán
- Dolgozat címe: Kritikus rendszerek absztrakcióval támogatott lineáris idejű modellellenőrzése
- További konzulens(ek): Molnár Vince
-
TDK 2018
- Dobos-Kovács Mihály
- Dolgozat címe: Modellellenőrzés és tesztelés: egy kombinált megközelítés szoftverek verifikálására
- További konzulens(ek): Hajdu Ákos
-
TDK 2017
- Elekes Márton, Gujgiczer Anna
- Dolgozat címe: Modellalapú automatatanulás formális modellek szintéziséhez
- További konzulens(ek): Farkas Rebeka, Tóth Tamás
-
TDK 2017
- Hajdu Csaba
- Dolgozat címe: Tesztkörnyezetek generálása és monitorozása autonóm robotok teszteléséhez
- További konzulens(ek): dr. Majzik István
-
TDK 2016
- Elekes Márton, Gujgiczer Anna
- Dolgozat címe: Absztrakcióval támogatott tanulás regressziós tesztelés támogatására
- További konzulens(ek): Semeráth Oszkár
-
TDK 2016
- Tóth Krisztián Dávid, Szilágyi Gábor
- Dolgozat címe: Kiberfizikai rendszerek gráfmintaillesztés alapú elosztott ellenőrzése futási időben
- További konzulens(ek): Búr Márton, Szárnyas Gábor
-
TDK 2015
- Hegyi Bálint Bence, Balogh László Márk, Deé Flórián
- Dolgozat címe: Hierarchikus futásidejű verifikáció kritikus kiberfizikai rendszerekhez
- További konzulens(ek): Ráth István, dr. Varró Dániel
-
TDK 2014
- Farkas Rebeka Krisztina
- Dolgozat címe: Absztrakt interpretációt használó keresési stratégiák Petri-háló alapú modellekhez
- További konzulens(ek): Semeráth Oszkár, Tóth Tamás
-
TDK 2014
- Honfi Dávid
- Dolgozat címe: Szimbolikus végrehajtás alapú tesztgenerálás támogatása és analízise
- További konzulens(ek): dr. Micskei Zoltán Imre
-
TDK 2014
- Szloboda István
- Dolgozat címe: Vasúti rendszerek környezeti modellen alapuló kockázatelemzése
- További konzulens(ek): dr. Polgár Balázs
-
TDK 2012
- Molnár Vince
- Dolgozat címe: Szaturáció alapú modellellenőrzés lineáris idejű tulajdonságokhoz
- További konzulens(ek): dr. Bartha Tamás
-
TDK 2010
- Jámbor Attila, Szabó Tamás
- Dolgozat címe: Aszinkron rendszerek modellellenőrzése párhuzamos technikákkal
- További konzulens(ek): dr. Horváth Ákos
3. díj
-
TDK 2016
- Graics Bence
- Dolgozat címe: Komponens-alapú reaktív rendszerek modellvezérelt tervezése és ellenőrzése
- További konzulens(ek): Molnár Vince
-
TDK 2016
- Badó Dávid, Somos Gergő, Várallyay Sámuel
- Dolgozat címe: Precíziós óraszinkronizáció és alkalmazása vezeték nélküli szenzorhálózatban
- További konzulens(ek): dr. Kovácsházy Tamás
Olvasnivaló, ajánlott irodalom:
Modellellenőrzés motiváció:
- Turing díjas professzorok a területen: Edmund Clarke; E. Allen Emerson; Joseph Sifakis; Leslie Lamport
- Birth of Model Checking.
Formális módszerek és alkalmazásaik és a modellezés, modell-alapú tervezés területén a - teljesség igénye nélkül - pár kutatási irány/téma javaslat:
- Petri-háló elérhetőségi probléma
- aszinkron rendszerek modellellenőrzése
- szimbolikus technikák, hatékony állapottérreprezentációk
- model alapú tesztelés
- részleges rendezéses algoritmusok és gráf "unfolding"
- új algoritmusok implementálása, fejlesztése
- korlátos modellellenőrzés - különbözö megoldók ("solverek, pl: SAT, SMT" ) használata a modellellenőrzésben
- CEGAR - Counterexample Guided Abstraction Refinement
- Szintézis algoritmusok
- Temporális logikai specifikációk vizsgálata
- Automataelméleti megközelítéseken alapuló futásidejű ellenőrzés
- Szoftverellenőrzés
- Tanuló algoritmusok
- Sztochasztikus analízis
- Modellezési és kompozíciós nyelvek
- Modellek alkotása tanuló algoritmusok segítségével
- Elosztott rendszerek fejlesztése