Részvételünk a ETAPS 2016 konferencián

Debreceni Csaba és Semeráth Oszkár részt vettek az idén Hollandiában megrendezett ETAPS 2016 nemzetközi konferencián, ahol több cikk is bemutatásra került.

A FASE 2016 konferencián (International Conference on Fundamental Approaches to Software Engineering) bemutatott cikkeink:

• Automated Model Merge by Design Space Exploration. Csaba Debreceni, István Ráth, Dániel Varró, Xabier De Carlos, Xabier Mendialdua és Salvador Trujillo. 
• Iterative and incremental model generation by logic solvers. Oszkár Semeráth, András Vörös és Dániel Varró. 

A BX 2016 workshopon (International Workshop on Bidirectional Transformations) bemutatott cikkünk:

• Change Propagation of View Models by Logic Synthesis using SAT solvers. Oszkár Semeráth, Csaba Debreceni, Ákos Horváth és Dániel Varró.

A cikkek eredményei az alábbi kutatási projektekhez is kapcsolódnak:

• MTA-BME Lendület 2015 Kíberfizikai Rendszerek Kutatócsoport
• MONDO (Scalable Modelling and Model Management on the Cloud, FP7-ICT-2013-10, #611125)
• Artemis R5-COP (Átkonfigurálható ROS-alapú rugalmas és intelligens kooperatív robot rendszerek)
• Artemis CONCERTO (Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core systems, ART-2012-333053)