Áron Sisak: Formal Verification and Implementation of a Distributed Diagnosis Protocol (Tutor: Péter Bokor) - 1st prize in the faculty competition
Zoltán Balogh: Modelltranszformációs szabályok automatikus generálása példák alapján (Tutor: Dániel Varró) - 1st prize in the faculty competition
Ádám Béres-Deák: UML2-Statechart alapú kódgenerálás (Tutor: András Balogh) - 3rd prize in the faculty competition
Máté Kovács: Simulation and Formal Analysis of Workflow Models (Tutors: László Gönczy, Dániel Varró) - 1st prize in the faculty competition
András Kövi: Analysis of Highly Available Services (Tutors: Dániel Varró, Zoltán Németh L.) - 2nd prize in the faculty competition
Attila Németh: Deklaratív modelltranszformációk vizsgálata (Tutor: András Pataricza) - 1st prize in the faculty competition
István Ráth, András Schmidt, Dávid Vágó: Domain-specifikus modellezési nyelvek automatikus transzformációi (Tutors: Dániel Varró, András Balogh) - 1st prize in the faculty competition
Eszter Jósvai, Dániel Tóth: Felhasználói felületek modell-alapú fejlesztése (Tutor: András Balogh) - 1st prize in the faculty competition
Ákos Horváth: Platform specifikus transzformációk automatikus generálása (Tutors: Dániel Varró, Gergely Varró, András Balogh) - 2nd prize in the faculty competition
Andrea Darabos: Gráftranszformációk implementációjának tesztelése (Tutors: András Pataricza, Dániel Varró) - 3rd prize in the faculty competition
Zoltán Micskei: Automatikus tesztgenerálás modell ellenőrző segítségével (Tutor: István Majzik) - 1st prize in the faculty competition
Imre Kocsis, Zoltán Mezei: Alkalmazásfelügyelet és instrumentáció modellalapú fejlesztése (Tutor: András Pataricza) - 3rd prize in the faculty competition
Péter Bokor: Hibamodellezés Absztrakt Állapotgépek (ASM) segítségével (Tutor: András Pataricza) - appraisal in the faculty competition
István Kákonyi: Szoftver alapú hibatűrés támogatása aspektus-orientált programozással (Tutor: István Majzik) - appraisal in the faculty competition
András Balogh: Üzleti alkalmazások modell-alapú fejlesztése (Tutors: András Pataricza, István Szakadát, Tibor Molnár) - 1st prize in the faculty competition
Ákos Schmidt: Grafikus modellezési nyelvek modelljeinek automatikus helyességellenőrzése (Tutor: Dániel Varró) - 1st prize in the faculty competition
Péter Tamás Kovács: Idővezérelt rendszerek UML alapú tervezése (Tutors: István Majzik, Gergely Pintér) - 1st prize in the faculty competition
András Tóth: Automatikus teszteset generálás UML állapottérképekhez (Tutor: Dániel Varró) - 2nd prize in the faculty competition
Ferenc Győr: Nem funkcionális tulajdonságok vizsgálata UML modellekben (Tutor: András Pataricza) - 3rd prize in the faculty competition
Zsolt Terék: Design and applications of a modern model transformation system (Tutor: Dániel Varró) - 1st prize in the faculty competition
Péter Domokos: An open, SVG-based framework for the automated layout generation of metamodel-based models (Tutor: Dániel Varró) - 3rd prize in the faculty competition
Bálint Vinkovits: Model-based performance measurement for system monitoring (Tutors: András Petri, Jr., Béla Varga-Balázs) - appraisal in the faculty competition
Szilvia Gyapay: Automatic generation of the algorithms described by graphic control structures (Tutor: Dániel Varró) - 3rd prize in the nation-wide competition
Gergely Pintér: Validation of high-level fault models by fault injection (Tutor: András Pataricza) - 1st prize in the faculty competition
István Übelhart: Application of semi-decision techniques (Tutor: András Pataricza) - 1st prize in the faculty competition
Ádám Darvas: Verification of distributed object-oriented systems (Tutor: István Majzik) - 1st prize in the faculty competition
András Zalán: Analysis of software fault tolerance by formal equvivalence checking (Tutor: István Majzik) - 1st prize in the faculty competition
Gábor Salamon: Rule-based transformation of mathematical models (Tutors: András Pataricza, Dániel Varró) - 2nd prize in the faculty competition
Péter Domokos: Automated and rule-based instatiation of metamodels (Tutor: Dániel Varró) - 2nd prize in the faculty competition
Zsolt Terék: Effective graph pattern matching for model transformations (Tutor: Dániel Varró) - appraisal in the faculty competition
Péter Domokos: Graphic modeling of grapg transformations (Tutors:András Pataricza, Dániel Varró) - 2nd prize in the faculty competition
Béla Tolvaj: Technical applications of datamining technologies (Tutor:András Pataricza) - 3rd prize in the faculty competition
Csaba Dániel Szász: Application integration by databases (Tutor:András Pataricza) - 1st prize in the nation-wide competition