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

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

Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2014 konferencia » Beágyazott rendszerek és irányítástechnika szekció, 2014

Villamosmérnöki és Informatikai Kar » Beágyazott rendszerek téma , Irányítástechnika téma

Vörös András Dr. ( MIT) , Horváth Ákos Dr. ( MIT) , Jász Zoltán

Horváth Benedek , Mázló Zsolt , Konnerth Raimund Andreas

I. helyezett

Komplex rendszerek modellezése és verifikációja

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

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

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

Darvas Dániel , Jámbor Attila

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 ( MIT)

III. helyezett

Múlt és jövő: Új algoritmusok lineáris temporális tulajdonságok szaturáció-alapú modellellenőrzésre

Villamosmérnöki és Informatikai Kar » Villamosmérnöki és Informatikai Kar 2013 konferencia » Intelligens és információs rendszerek szekció, 2013

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

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

Molnár Vince , Segesdi Dániel

I. helyezett