Részvételünk az ETAPS 2017 konferencián

Hajdu Ákos, cs, 2017-06-15 16:04

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Svédországban megrendezett ETAPS 2017 nemzetközi konferencián, ahol két cikk is bemutatásra került. Tovább »

GraphConnect és OCIM előadások

Szárnyas Gábor, cs, 2017-06-15 15:48

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

Vörös András, k, 2017-05-23 19:19

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

Majzik István, sze, 2017-05-17 12:42

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.

Pataricza András, cs, 2017-05-04 10:56

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

Szárnyas Gábor, szo, 2017-03-18 13:37

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

Micskei Zoltán Imre, sze, 2017-03-08 15:52

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

Vörös András, szo, 2016-12-10 01:19

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

Szárnyas Gábor, p, 2016-11-18 02:26

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

Vörös András, cs, 2016-11-17 18:37

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.

Tovább »
Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció