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

Részvételünk az FMCAD 2017 konferencián

Kutatócsoportunk munkatársai, Hajdu Ákos, Tóth Tamás és Vörös András részt vettek az idén Bécsben megrendezett FMCAD 2017 konferencián, ahol a "Theta: a Framework for Abstraction Refinement-Based Model Checking" című cikket mutatták be.

Előadásunk a FORMATS konferencián

Kutatócsoportunk munkatársa, Tóth Tamás részt vett az idén Berlinben megrendezett FORMATS 2017 (15th International Conference on Formal Modelling and Analysis of Timed Systems) nemzetközi konferencián, ahol "Lazy Reachability Checking for Timed Automata using Interpolants" című cikkét mutatta be

Részvétel a MoDELS'17 konferencián

Kutatócsoportunk munkatársai, Debreceni Csaba és Varró Dániel prezentálták a kollaboratív modellezés területén végzett kutatásaink eredményét az ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems konferencián, mely idén Austinban, Texas államban került megrendezésre. Tovább »

Eszközdemonstráció az ESEC/FSE 2017 konferencián

A két rangos konferenciasorozat, a European Software Engineering Conference és az ACM SIGSOFT Symposium on the Foundations of Software Engineering immár hagyományos együttes ülésezése, az ESEC/FSE idén a németországi Paderborn városában került megrendezésre. Tovább »

Munkatársunk elnyerte a MTA Bolyai János Kutatási Ösztöndíját

A Magyar Tudományos Akadémia idén húszadik alkalommal hirdette meg a Bolyai János Kutatási Ösztöndíjat posztdoktori kutatások támogatására. Idén 180 fiatal kutatónak ítélték oda a rangos elismerést jelentő ösztöndíjat, köztük kutatócsoportunk tagjának, Dr. Bergmann Gábornak. Tovább »

Tartalom átvétel