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

Absztrakt interpretációt használó keresési stratégiák Petri-háló alapú modellekhez

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2014 konferencia » Szoftver szekció, 2014

Villamosmérnöki és Informatikai Kar » Szoftver téma

Vörös András Dr. ( MIT) , Tóth Tamás ( MIT) , Semeráth Oszkár Dr. ( MIT)

II. helyezett

Fordító optimalizációk szoftver verifikációhoz

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2016. évi TDK konferencia » Szoftver szekció, 2016

Villamosmérnöki és Informatikai Kar » Szoftver téma

Tóth Tamás ( MIT) , Hajdu Ákos Dr.

I. helyezett

Hierarchikus absztrakció alkalmazása állapot alapú rendszerek ellenőrzésére

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

Villamosmérnöki és Informatikai Kar » Információs rendszerek téma

Tóth Tamás ( MIT) , Hajdu Ákos Dr.

II. 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

Inkrementális, induktív algoritmusok szoftver-modellellenőrzéshez

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2018. évi TDK konferencia » Szoftver szekció, 2018

Villamosmérnöki és Informatikai Kar » Szoftver téma

Tóth Tamás ( MIT)

nincs helyezés