Horváth Ákos
Adjunktus, okl. mérnökinformatikus, PhD
- Cím
- H1117 Budapest, Magyar Tudósok krt. 2. BME Informatika Épület Méréstechnika és Információs Rendszerek Tanszék IB417
- ahorvath [at] mit.bme.hu
- Telefon
- +3614633586
- Fax
- +3614632667
- Honlap
- https://inf.mit.bme.hu/members/ahorvath
Kutatási területek
-
"Design Space Exploration"
- Gráf modellek felett kényszer kielégítési problémák specifikációja és megoldása
- Bejárás optimalizációk
-
Modell vezérelt beágyazott rendszerek fejlesztése
- Matlab Simulink integráció Eclipse platformhoz: Massif
-
Repülőgépipar - Simonyi konferencia előadás
- HW-SW integráció
- ARINC-653 RTOS
- Kiber fizikai rendszerek
-
Gráf mintaillesztés optimalizálása
- lokális keresésen alapuló algoritmusok
- hibrid mintaillesztési algoritmusok (lokális keresésen alapú és inkrementális)
- Modelltranszformációk verifikációja:
- A gráfbányászat hasznosítása a modellvezérelt fejlesztés során
Díjak, kitüntetések
- 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)
Diákok
- Jelenlegi
-
Volt
- Mócsai Krisztián: Modelltranszformációs környezet kiegészítése fejlett vizuális szerkesztővel
- Béres Zoltán: Intelligens adatmegjelenítés a MONDO-SAM keretrendszerben (Bsc, 2018)
- Bea Balázs: Követelménykezelő rendszerek egységes inkrementális integrációja (Bsc 2016)
- Kozma Alex: Telecare rendszerek modell alapú tervezése (BSc in 2016)
- Lengyel Ádám: Nézeti modellek inkrementális szinkronizálása (MSc, 2016)
- Borbás Tamás: Futtatható UML modellek megvalósítása elosztott környezetben (MSc, 2016)
- Búr Márton: Általános lokális keresésen alapuló gráfmintaillesztési algoritmusok (MSc, 2016)
- Földényi Miklós: Nagyhatékonyságú tervezési tér bejárás modellvezérelt technikákkal (MSc, 2016)
- Lunk Péter: Modelltranszformációk fejlesztésének támogatása (MSc, 2016)
- Török Alex: Telecare rendszerleíró modellek automatikus szintézise Concerto alapokon (BSc, 2015)
- Vilt Bálint: Komplex struktúrájú tesztesetek generálása tervezési tér felderítési módszerekkel(BSc, 2015)
- Nagy András Szabolcs: Nagyhatékonyságú tervezési tér bejárás modellvezérelt technikákkal (Msc, 2015)
- Horváth Benedek: Biztonságkritikus rendszerek modell alapú fejlesztése (Bsc, 2015)
- Menyhért Ákos: Replőgépfedélzeti beágyazott rendszerek HW-SW allokációjának modell-vezérelt specifikációja (MSc, 2014)
- Debreceni Csaba: Automatikus absztrakció a modellvezérelt fejlesztésben (MSc, 2014)
- Bogsch Balázs: Számítási felhők üzemeltetésének tervezési tér felderítése (MSc, 2014)
- Dóczy Róbert László: Modell-vezérelt nyomonkövethetőség kezelő keretrendszer fejlesztése (BSc 2014)
- Búr Márton: Matlab Simulink rendszerek modell alapú validációja (BSc 2014)
- Csikós Donát: Incremental dependency analysis of a large software infrastructure (MSc 2013)
- Horváth Dóra: Industrial Size Model Transformation over Databases (MSc 2013)
- Vajna Miklós: The analysis and integration of open-source office productivity software in an enterprise environment (MSc 2012)
- Tóth Gergő: Közösségi oldalba épülő alkalmazás tervezése (MSc 2010)
- Monostori Dénes : Repülőgép-fedélzeti beágyazott rendszerek modell alapú tervezése (5 éves képzés 2009)
- Ujhelyi Zoltán: Static Analysis of Model Transformations (5 éves képzés 2009)
- Szántay Béla : EMF alapú kódgenerátor a Viatra2 keretrendszer Modelltranszfomrációs nyelvéhez (5 éves képzés 2007)
- Jámbor Attila: Parallel Symbolic Model Checking of Asynchronous Systems (BSc 2011)
- Szabó Tamás: Heuristic based Symbolic Model Checking of Asynchronous Systems (BSc 2011)
- Horváth Dóra: Nagy méretű modelltranszformációk megvalósítása relációs adatbázisok fölött (BSc 2010)
- Turi András: Gráfbányászat a modellvezérelt fejlesztésben (BSc 2009)
