Hallgatóink előadásai az SPLST 2011 konferencián

A Tallinnban október 5. és 7. között megrendezett 12th Symposium on Programming Languages and Software Tools (SPLST 2011) konferencián Darvas Dániel és Horányi Gergő, BSc Rendszertervezés ágazatos hallgatóink adták elő azokat a cikkeket, amelyekben bemutatják önálló laboratórum, TDK és nyári projekt munka során elért eredményeiket. Csoportunkból a harmadik cikket dr. Polgár Balázs adta elő, ennek elkészítésében Juhász Gergely és Ágoston István, MSc Szolgáltatásbiztos rendszertervezés szakirányos hallgatóink közreműködtek.

Az előadott cikkek a következők voltak:

• András Vörös, Dániel Darvas and Tamás Bartha: Bounded Saturation Based CTL Model Checking
• István Majzik and Gergő Horányi: Automated Code Synthesis for Run-Time Verification of Distributed Embedded Systems
• Balázs Polgár, István Ágoston, Gergely Juhász and István Majzik: The INTEGRA Tool Integration Framework

A cikkek megjelentek a konferencia kiadványában.