Faculty Scientific Students Associations Conference 2011.
The Scientific Students Associations Conference 2011 of the Faculty of Electrical Engineering and Informatics was held on November 16, 2011. Students from our group presented five papers during the day, recieving three First, one Second and one Third price. We would like to congratulate our students here again!
The students from our group presented the following papers:
-
1. price
-
Gergő Horányi: Automated synthesis of monitors for runtime verification of distributed embedded systems (Embedded systems and controlengineering section)
Supervisor: István Majzik -
István Dávid: Model-driven approach for processing complex events (Software section)
Supervisor: László Gönczy -
Dániel Darvas, Attila Jámbor: Modeling and Verification of Complex Systems (Software section)
Supervisor: Tamás Bartha, András Vörös
-
Gergő Horányi: Automated synthesis of monitors for runtime verification of distributed embedded systems (Embedded systems and controlengineering section)
-
2. price
-
Oszkár Semeráth: Verification of Model Transformation by Shape Analysis (Software section)Supervisor: Dániel Varró
-
-
3. price
-
Katalin Tasi: Interactive support for IT model building (Information and intelligent systems section)
Supervisor: András Pataricza
-