A CERN genfi központjában tartott "Specification based test case generation and monitor synthesis" címmel meghívott előadást kutatócsoportunk oktatója, dr. Majzik István.Tovább »
Kutatócsoportunk tagjai két előadást tartottak a "1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS 2014)" konferencián megnyitásaként. Tovább »
A STAF 2013 nemzetközi konferenciához kapcsolódó VOLT 2013 (Verification of Model Transformations) workshopon tartott meghívott előadást csoportunk oktatója, Dr. Varró Dániel "Verification and validation challenges for models, queries and transformations in design tools for avionics" címmel. Tovább »
Április 8-án hétfőn Neumark Péter értkezik hozzánk a Prezitől és 10:15-től az IRF tárgy keretében tart előadást a saját belső, feljesztést támogató rendszereik működéséről.
A Szegeden 2012. március 27. és 30. között megrendezésre került CSMR 2012 nemzetközi tudományos konferencián (16th European Conference on Software Maintenance and Reengineering) Dr. Varró Dániel tartott plenáris előadást "A Bridge Over Troubled Water - Synergies between Model Transformation and Software Maintenance Techniques" címmel a modelltranszformáció és a szoftverkarbantartás kihívásainak és megoldási javaslatainak összefonódásáról. Tovább »