Oktatóink és hallgatónk közös könyvfejezete a Springernél

Oktatóink és hallgatónk közös könyvfejezetet írtak a vizuális feltáró adatanalízis alkalmazásáról a számítógépes infrastruktúrák elemzésében különös tekintettel a hibadiagnosztikára. Tovább »

Best Paper Award az IEEE/ACM MODELS 2013 konferencián

A Miamiban megrendezett IEEE/ACM MODELS 2013 konferencián a "Foundations Track" 34 elfogadott cikke közül a Programbizottság a legjobbjának ítélte és Springer Best Paper Awardban részesítette Semeráth Oszkár, Horváth Ákos és Varró Dániel: Validation of Derived Features and Well-Formedness Constraints in DSLs című cikkét. Tovább »

Előadás a Budapest Users of R Network meetup-on

Szeptember 25-én a második Budapest Users of R Network meetupon kutatócsoportunk tagja, Kocsis Imre tartott előadást az interaktív vizuális adatfelderítésről és az azt megvalósító egyik R csomagról, az iplots-ról. Az előadás elérhető a slideshare-en.

Egykori diákunk interjúja a német Eclipse Magazinban

Egykori diákunk, Csikós Donát, aki most a CERN-ben dolgozik, adott egy interjút a németországi Eclipse Magazinnak, és ebben megemlítette a kutatócsoportunkat, illetve a csoport által fejlesztett EMF-IncQuery technológiát. Az online változat olvasható az alábbi linkeken: német eredetiben, angol fordításban. Tovább »

R3-COP projektértekezlet Budapesten

Szeptember 18-19-én nálunk került sor az R3-COP - Robust & Safe Mobile Co-operative Autonomous Systems (Robusztus és biztonságos mobil kooperatív autonóm rendszerek) ARTEMIS projekt utolsó értekezletére. Nyolc országból 27 projekt partner érkezett és beszélte meg a projekt eredményeit. Tovább »

Meghívott előadás az IFIP WG10.4 munkacsoportjában

Majzik István meghívást kapott az IFIP szolgáltatásbiztonsággal és hibatűréssel foglalkozó munkacsoportjának nyári workshopjára, ahol autonóm rendszerek robusztusságának teszteléséről tartott előadást. Tovább »

Prof. Lionel Briand előadása szoftver verifikáció témában

Június 27-én Prof. Lionel Briand, a Luxemburgi Egyetem Szoftver verifikáció és validáció laboratóriumának vezetője volt vendégünk, aki a modellalapú szoftvertesztelés hatékony technikáiról tartott előadást. Tovább »

Prof. Stefano Russo és kollégáinak látogatása

Június 26-án csoportunkat meglátogatták Prof. Stefano Russo és kollégái, akik a Nápolyi Egyetem IT technológia tanszékének oktatói. Tovább »

Előadás a BME kutatóegyetemi konferencián

BME kutatóegyetemi konferencia tudományos szekciójában Majzik István tartott "Beágyazott rendszerek verifikációja" címmel előadást, ami csoportunk egy fontos kutatási területét mutatta be. Tovább »

Dr. Varró Dániel az ICMT 2014 programbizottsági elnöke

Kutatócsoportunk vezető oktatóját, Dr. Varró Dánielt  az ICMT 2014 (Int. Conf. on Model Transformation) nemzetközi konferencia programbizottsági társelnökének választották, mely konferencia a modelltranszformációk területén legrangosabb nemzetközi fóruma.

Az ICMT konferencia 2014-ben az angliai Yorkban kerül megrendezésre a STAF 2014 rendezvény részeként.

Tartalom átvétel