GraphConnect és OCIM előadások

Kutatócsoportunk munkatársa, Szárnyas Gábor előadást tartott a londoni GraphConnect 2017 konferencián az MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport keretei között fejlesztett ingraph projektről. Az előadás diasora és videófelvétele is elérhető. Tovább »

"Mesterséges intelligencia alapú regressziós tesztelés" című előadás a Simonyi konferencián

BSc hallgatóink, Elekes Márton és Gujgiczer Anna sikeres előadást tartottak a XIV. Simonyi konferencián a kutatási eredményeikből. Előadásuk során bemutatták a mesterséges intelligencia területéről ismert automatatanuló algoritmusokat és ezen algoritmusok alkalmazását szoftverek ellenőrzésére. Kutatásukkal korábban a kari TDK konferencián is sikeresen szerepeltek. Tovább »

"Excellent" minősítéssel zárult az R5-COP projekt

Március 31-én zárult a három éve, több mint 30 ipari és egyetemi partner közreműködésével indult R5-COP - "Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems" ARTEMIS projekt. Az Eindhovenben megtartott értékelésen a szakmai bírálók kiválónak minősítették a projekt eredményeit. Tovább »

Nyertes magyar-portugál bilaterális pályázat.

A "Felhő rendszerek robosztusságának empirikus kiértékelése fejlett elemzési módszerekkel" című, a Coimbrai Egyetemmel közösen  a "Kétoldalú tudományos és technológiai (TéT) együttműködés támogatása a magyar-portugál relációban" felhívásra benyújtott pályázatunk nyert.  Tovább »

Hallgatóink sikere a Kari BME ösztöndíj pályázaton

Kutatócsoportunk több hallgatója is jól szerepelt az e féléves Szakmai Kari BME ösztöndíjpályázaton. Hallgatóink két B kategóriás, két C kategóriás és egy D kategóriás ösztöndíjat nyertek el. Tovább »

A Linux Foundation támogatja a tanszéki kutatómunkát

A BME-MIT Hibatűrő Rendszerek Kutatócsoportja elnyerte a Linux Foundation Hyperledger projektjének támogatását egy meghirdetendő nemzetközi pályázaton keresztül betöltendő hallgatói szakmai gyakorlat szervezéséhez. A Hyperledger projekt célja a rohamosan terjedő Blockchain technológia nyílt forráskódú referencia implementációinak kidolgozása.  Tovább »

Meghívott előadás a LADC2016 nemzetközi konferencián

Kutatócsoportunk vezető oktatója Prof. Pataricza András "Resilience of Resilience Mechanisms in Dynamic Architectures" címmel meghívott előadás tartott a LADC 2016 The 7th Latinoamerican Symposium on Dependable Computing konferencián, amely 2016-ban a kolumbiai Caliban került megrendezésre.

Hallgatóink sikere a kari TDK konferencián

Hallgatóink jól szerepeltek a kari Tudományos Diákköri Konferencián, ahonnan két 1. helyezést, négy 2. helyezést, három 3. helyezést hoztak el.

1. díjat ért el: Tovább »

Siker diplomaterv pályázaton

Kutatócsoportunk doktorandusza, Hajdu Ákos kapta november 3-án a Pro Progressio Alapítvány által odaítélt diplomaterv ösztöndíjat. Az ösztöndíjakat évente, műegyetemi karonként egy-egy BSc-s és MSc-s, végzős hallgató nyerheti el. Hajdu Ákos diplomatervének címe "A Survey on CEGAR-based Model Checking", konzulense Tóth Tamás és Vörös András.

Díjeső a MODELS 2016 konferencián

Ahogy korábban írtuk, néhány munkatársunk a múlt hetet a franciaországi St. Malo városában töltötte.

Tartalom átvétel