Vörös András

Kutatási területek:

1. Mérnöki modellezés és alkalmazása
2. Formális módszerek
3. Modellellenőrzés
4. Döntési diagramok, gráf algoritmusok
5. Kiberfizikai rendszerek, Industrial IoT
6. 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