Kutatási területek

IT szolgáltatásmenedzsment

  • Cloud computing
  • Virtualizáció
  • Vizuális feltáró adatelemzés
  • "Big Data" elemzési módszerek
  • Konfiguráció tervezés és menedzsment
  • Hibaterjedés analízis
  • Nagy rendelkezésreállás (99,999%)
  • Autonomic computing
  • IT menedzsment automatizáció

Vezető Kutató

Pataricza András

Szoftvertervezés

  • Követelményanalízis
  • Modell alapú szoftverfejlesztés
  • Metamodell tervezés
  • Szakterület-specifikus modellezés
  • Objektum-orientált tervezés
  • Kódgenerálás
  • Automatizált tesztelés
  • Folytonos integráció

Vezető Kutató

Varró Dániel

Kritikus beágyazott rendszerek

  • Biztonságkritikus rendszerek
  • Modell alapú tervezés
  • Hibatűrés
  • Ellenőrzés és tesztelés
  • Formális verifikáció
  • Forráskód generálás
  • Hardver-szoftver integráció
  • Nyomonkövethetőség

Vezető Kutató

Majzik István

Adatelemzés és Big Data

  • Szolgáltatás-orientált architektúra
  • Eseményfeldolgozás
  • Üzleti szabályrendszerek
  • e-Business
  • Folyamatmodellezés
  • Optimalizálás
  • Kísérlet tervezés
  • Hibamodellezés

Vezető Kutató

Pataricza András

Legfrissebb események

Munkatársunk és volt diákunk cikke a programozási nyelvek egyik legrangosabb konferenciáján

Idén Boston adott otthon a SPLASH konferenciaegyüttesnek, amelynek részeként megrendezésre került az OOPSLA 2018 konferencia, a programozási nyelvekkel foglalkozó tudományos közösség egyik legfontosabb (CORE A* rangú) fóruma. Az idei programban tanszékünk is képviseltette magát. Tovább »

Kutatócsoportunk munkája lett a nemzetközi folyóirat legnépszerűbb cikke

Az Elsevier kiadó közzétette a Science of Computer Programming című (ISSN:0167-6423) nemzetközi, lektorált, impakt faktoros tudományos szakfolyóiratában 2015 óta megjelent cikkek rangsorát aszerint, hogy a Scopus indexelő szolgáltatás nyilvántartása szerint hány másik tudományos publikáció hivatkozik rájuk, használja fel az eredményeit. Büszkén jelentjük, hogy a ranglistát jelenleg 54 hivatkozással kutatócsoportunk 2015-ös cikke vezeti: Tovább »

Best Software Science paper díj az European Joint Conferences on Theory and Practice of Software (ETAPS) konferencián

Munkatársaink cikke „Best Software Science paper” díjat nyert az ETAPS, az egyik elismert európai szoftvertechnológiai konferencián (144 cikk közül). A cikk egy újszerű, gráf-alapú megközelítést mutat be elosztott kiberfizikai rendszerek futásidejű monitorozására. Tovább »

Nemzetközi kollaboráció a Linked Data Benchmark Council szervezettel

Kutatócsoportunk részt vett a Linked Data Benchmark Council (LDBC) szervezettel való kollaborációban. Az LDBC non-profit  szervezet célja, hogy gráfanalitika és gráflekérdezések területén szabványos benchmarkokat definiáljon.

Sikeres CERN együttműködés

Kutatócsoportunk sikeresen együttműködött a CERN kutatóival egy olyan automatikus eszköz fejlesztésében, ami PLC programok formális verifikálására szolgál. Tovább »

Tartalom átvétel