BME-MIT

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 fejlesztés
  
  
  
  • 
    beágyazott rendszerek fejlesztése: repülőgépipar
  
  
  
  


• 
  Gráf mintaillesztés optimalizálása
  
  
  
  • 
    lokális kereséssen alapuló algoritmusok
  
  
  • 
    hibrid mintaillesztési algoritmusok (lokális keresésen alapú és inkrementális)
  
  
  
  


• 
  Modelltranszformációk verifikációja:
  
  
  
  • 
    Statikus analízis alapú ellenőrzések
  
  
  • 
    "Design-by-Contract" paradiga használata Hoare logikán alapuló tételbizonyítókkal: JML a KeY  rendszerrel és Spec#
  
  
  
  


• 
  A gráfbányászat hasznosítása a modellvezérelt fejlesztés során