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

Majzik István, h, 2013-07-01 21:41

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

Majzik István, h, 2013-07-01 20:51

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

Majzik István, h, 2013-07-01 20:48

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

Majzik István, k, 2013-06-25 13:50

A 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

Varró Dániel, p, 2013-06-21 19:13

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.

Egy sikeres STAF 2013 konferencia után

Varró Dániel, p, 2013-06-21 18:50

Június 17. és 20. között került megrendezésre a Hibatűrő kutatócsoport főszervezésében a STAF 2013 konferencia, amely a szoftvertechnológiai alkalmazások és módszerek gyűjtőkonferenciája, és idén első alkalommal került megrendezésre. Tovább »

Meghívott előadás a VOLT 2013 workshopon

Varró Dániel, p, 2013-06-21 18:30

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 »

Iparral közös konferenciaelőadás

Pataricza András, v, 2013-06-02 22:32

Dr Pataricza András egyetemi tanár Matisa Zoltánnak, az IBM Disc Storage Sytem gyára operációs igazgatójának társelőadójaként előadást tartott  a "VII. Elektronikai Ipari Supply Chain Konferencia" című rendezvényen. Az IBM DSS  a tíz legnagyobb termelési értékű hazai vállalat egyike. Tovább »

Dr. Pataricza András a Workshop on Software Certification programbizottságában

Pataricza András, v, 2013-06-02 22:13

Dr. Pataricza András egyetemi tanárt tagként meghívták a szoftver megbízhatóság legrangosabb, az IEEE Computer és Reliability Társaságai által közösen szervezett, ipari dominanciájú  nemzetközi konferenciájának, az ISSRE (24th IEEE International Symposium on Software Reliability Engineering, Pasadena, USA) keretében szervezendő "3rd International Workshop on Software Certification (WoSoCer 2013)" c. workshop programbizottságába. Tovább »

Részvétel Dagstuhl szemináriumon

Varró Dániel, k, 2013-05-28 14:33

Kutatócsoportunk oktatója, Dr. Varró Dániel május 20. és 24. között részt vett egy Dagstuhl szemináriumon a fogalmi sémák feletti következtetések témájában. Tovább »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció