Dolgozatok listázása

Listázási feltételek

Kar:
Tanszék:
Konzulens:
Konferencia:
Szekció:
Téma:
Szponzor:
Kari különdíj:
Egyetemi különdíj:
Év:	-tól -ig
Helyezés:
Kulcsszó:

dolgozatok

Aszinkron rendszerek konfigurálható sztochasztikus analízisét támogató keretrendszer

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 » Modellezés és szimuláció téma

Telek Miklós Dr. ( HIT) , Vörös András Dr. ( MIT) , Molnár Vince Dr. ( MIT)

Marussy Kristóf , Klenik Attila

I. helyezett

Diszkrét dinamikus rendszerek viselkedésének felderítése ellenpélda-alapú absztrakció finomítás (CEGAR) segítségével

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2012 konferencia » Modellezés és szimuláció szekció, 2012

Villamosmérnöki és Informatikai Kar » Modellezés és szimuláció téma

Bartha Tamás Dr. ( MIT) , Vörös András Dr. ( MIT)

I. helyezett

Időzített automaták verifikációja CEGAR-alapú algoritmusokkal

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2016. évi TDK konferencia » Szimuláció és modellezés szekció, 2016

Villamosmérnöki és Informatikai Kar » Modellezés és szimuláció téma

Vörös András Dr. ( MIT) , Tóth Tamás ( MIT) , Hajdu Ákos Dr.

I. helyezett

Komponens-alapú reaktív rendszerek modellvezérelt tervezése és ellenőrzése

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2016. évi TDK konferencia » Szimuláció és modellezés szekció, 2016

Villamosmérnöki és Informatikai Kar » Modellezés és szimuláció téma

Vörös András Dr. ( MIT) , Molnár Vince Dr. ( MIT)

III. helyezett

Tesztkörnyezetek generálása és monitorozása autonóm robotok teszteléséhez

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2017. évi TDK konferencia » Modellezés és szimuláció szekció, 2017

Villamosmérnöki és Informatikai Kar » Modellezés és szimuláció téma

Majzik István Dr. ( MIT) , Vörös András Dr. ( MIT)

II. helyezett