"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.

SRDS 2016 konferencia

Csoportunk kutatói szervezték 2016. szept. 26. és 29. között a 35th IEEE Int. Symposium on Reliable Distributed Systems (SRDS 2016) konferenciát, ami a kritikus elosztott rendszerek (pl. CPS, felhő) egyik legjelentősebb tudományos konferenciája. Tovább »

Most Influential Paper díj a VL/HCC 2016 konferencián

Örömmel számolhatunk be, hogy a múlt héten Cambridge-ben megrendezésre került IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2016) konferencián a 2005-ben írt G. Varró, A. Schürr, D. Varró: Benchmarking for graph transformation cikk Most Influential Paper díjban részesült. Tovább »

Tartalom átvétel