Telbisz Csanád Ferenc

dolgozatok

Absztrakt adatfolyamalapú utasításredukció párhuzamos programok modellellenőrzésének támogatásához

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

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

Bajczi Levente ( MIT) , Szekeres Dániel ( MIT)

Telbisz Csanád Ferenc

II. helyezett

Részleges rendezés redukció többszálú programok absztrakcióalapú formális verifikációjának támogatásához

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

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

Vörös András Dr. ( MIT) , Bajczi Levente ( MIT) , Szekeres Dániel ( MIT)

Telbisz Csanád Ferenc

I. helyezett