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.

Egy sikeres STAF 2013 konferencia után

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

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

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

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

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 »

Varró Dániel az MTA doktora

Dr. Varró Dániel, a kutatócsoport oktatója március végén sikerrel védte meg a Magyar Tudományos Akadémián disszertációját, és az MTA május 17-i döntése alapján elnyerte az MTA doktora címet a Műszaki tudományok területén. 

Poszter az Ericsson University Exhibition rendezvényen

Csoportunk a "Formal Verification of State Machine Models" poszterrel szerepelt az Ericsson valamint a BME és az ELTE kutatócsoportjainak együttműködését bemutató "Ericsson University Exhibition" rendezvényen. Tovább »

Meghívás rangos konferencia Irányító Testületébe

Dr. Pataricza András egyetemi tanárt meghívták az IEEE SRDS (Symposium of Reliable Distributed Systems) Irányító Testületébe. A rendezvénysorozat szakterülete az elosztott rendszerek tervezése, fejlesztése és értékelése különös tekintettel a megbízhatóság, rendelkezésre állás, biztonságosság, adatbiztonság és a valós idejű alkalmazások aspektusaira. Tovább »

Tartalom átvétel