Ákos Horváth

• Alex Kozma: Model-based design of telecare systems
• Ádám Lengyel: Incremental synchronization of view models

Research areas

• Design Space Exploration / Search Based Software Engineering
  • Constraint satisfaction programming over (graph) models
  • Traversal optimization
• Application of MDE in embedded software development
  • Massif: Integration of Matlab Simulink to Eclipse
  • Avionics
    • HW-SW integration
    • ARINC-653 RTOS
  • Cyber physical systems
• Metamodeling and Domain Specific Modeling
• Optimization of graph pattern matching algorithms
  • Local search based algorithms
  • Hibrid pattern matching algorithms
• Verification of model transformations:
  • Static analysis of transformation programs
  • Design-by-Contract with Hoare-style platform specific code analyzers: JML with KeY and Spec#
• Application of graph mining in MDE

Honors and Awards

• 2020: 10-year Most Influential Paper Award ( Models 2020: The 23th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems)   
• 2018: Best tool Paper Award (Models 2018: The 21th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems)
• 2014: Best Paper Award (IEEE CSMR-WCRE 2014 Software Evolution Week)
• 2013: Springer Best Paper Award: (MODELS 2013: The 16th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems)
• 2012: Supply Chain Technology Award as part of the Progile team (2012 European Supply Chain and Logsitics Summit)
• 2011: ACM Distinguished Paper Award (ASE 2011: 26th International IEEE Conference on Automated Software Engineering)

Project involvements

• Current:
  • VIATRA2: VIsual Automated model TRAnsformations (Official Eclipse Modeling subproject)
• Former:
  • CONCERTO: Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
  • TRANS-IMA: Application of MDE for avionics system design (Cooperative research with Embraer)
  • EMF-IncQuery (Official Eclipse subproject)
  • Progile: Optimization of  the supply Chain and logistics processes at IBM DSS Vác (Cooperative research with IBM Data Storage Servers)
  • CertiMot: Design and Analysis Techniques for Certifiable Model Transformations (Hungraian ERP)
  • DIANA: Distributed, Equipment Independent Environment for Advanced Avionic Applications (FP 6 - European STREP)
  • SENSORIA: Software Engineering for Service Oriented Overlay Computing (FP6 - European IP)

Students

• Undergraduate/graudate students do individual research to prepeare for their Master or Bachelor project. Currently I'm working with the following student(s):
• Former Students:
  • Krisztián Mócsai: Advanced editor support for model transformation environment 
  • Zoltán Béres: Intelligent data visualization in the MONDA-SAM framework (Bsc in 2018)
  • Balázs Bea:  Advanced intergation of requirement management systems (Bsc in 2016)
  • Alex Kozma: Traceability support in the Papyrus UML modeling environment (Bsc in 2016)
  • Ádám Lengyel: Synchronizing models to define graphical languages (MSc in 2016) 
  • Tamás Borbás: Distributed execution of xtUML models (MSc in 2016)
  • Márton Búr:  Local-search based graph pattern matching (MSc in 2016), currently pursuing his PhD at McGill
  • Miklós Földényi: Scalable Design-Space Exploration (MSc in 2016)
  • Péter Lunk: Tool support for the development of model transformations (MSc in 2016)
  • Bálint Vilt: Generation of complex structural test cases using design space exploration (BSc in 2015)
  • Alex Török: Concerto driven generation of telecare architecture models (BSc in 2015)
  • Szabolcs András Nagy: Scalable Design-Space Exploration (Msc in 2015)
  • Benedek Horváth: Model-driven development of safety critical systems (Bsc in 2015)
  • Ákos Menyhért: Model-Driven HW-SW Allocation of Avionics Systems (MSc in 2014)
  • Csaba Debreceni : Automated Model Abstraction based on Derived Objects (MSc in 2014), finished his PhD in 2019
  • Balázs Bogsch: Design Space Exploration for Cloud Infrastructure Management (MSc in 2014)
  • Dóczy Róbert László: Model-based traceability framework (BSc in 2014)
  • Márton Búr:  Application of MDE Techniques for Matlab Simulink (BSc in 2014)
  • Donát Csikós: Incremental dependency analysis of a large software infrastructure (MSc in 2013)
  • Dóra Horváth: Industrial Size Model Transformation over Databases (MSc in 2013)
  • Miklós Vajna: The analysis and integration of open-source office productivity software in an enterprise environment (MSc in 2012)
  • Gergő Tóth: Comparison of Social Networking APIs (Facebook and IWIW) (MSc in 2010)
  • Dénes Monostori: Application of Model Driven Development in Mission Critical Software Development (MSc in 2009)
  • Zoltán Ujhelyi Static Analysis of Model Transformations (MSc in 2009), finished his PhD 2017
  • Béla Szántay: EMF based VTCL Code Generator for the VIATRA2 Framework (MSc in 2007)
  • Attila Jámbor: Parallel Symbolic Model Checking of Asynchronous Systems (BSc in 2011)
  • Tamás Szabó: Heuristic based Symbolic Model Checking of Asynchronous Systems (BSc in 2011)
  • Dóra Horváth: Industrial Size Model Transformation over Relational Databases (BSc in 2010)
  • András Turi: Application of Graph Mining in Model Driven Development (BSc in 2009)

Additional

• Member of ETAPS'08 Organizing Committee
• Member of AGTIVE'11 Organizing Committee
• Local Organisation Chair of STAF'13
• Occasional reviewer for (i) Software and systems modeling, Springer, (ii) Transactions on Software Engineering and Methodology, ACM, (iii) Journal of Systems and Software, Elsevier, (iv) Acta Cybernetica, University of Szeged.
• External reviwer for conferences related to MDE and graph transformation: MODELS('08-'15), ASE('09, '10, '11, '12, '14), ICMT('08, '09, '11), FASE ('10-'15), ECMFA'12
• Slideshare