Hallgatóink sikere a kari TDK konferencián

Hallgatóink idén is jól szerepeltek a TDK konferencián, ahol egy első és négy második helyezést nyert a csoport által konzultált  öt dolgozat.

Graics Bence "Reaktív rendszerek modellvezérelt fejlesztése vegyes szinkron és aszinkron hierarchikus kompozícióval" című dolgozatával első helyezést ért el az Információs rendszerek szekcióban. Konzulese Molnár Vince. Tovább »

Három külföldi professzor látogatása

A múlt hét során három nemzetközileg kiemelkedő külföldi vendégünk is volt.

Hallgatóink sikere a ProProgressio szakdolgozat és diplomaterv pályázatán

Hallgatóink komoly sikereket értek el az idei évi ProProgressio alapítvány által kiírt szakdolgozat és diplomaterv pályázaton. A ProProgressio pályázat célja olyan tehetséges fiatalok díjazása és további kutató munkájuk ösztöndíjjal való segítése, akik az ipar műszaki fejlesztését elősegítő, innovatív, újszerű, saját ötletet is tartalmazó szakdolgozatot/diplomamunkát készítettek. Tovább »

Sikeres "Kritikus infrastruktúrák hibatűrése és optimalizálása" BME-NKE workshop

Az NKE-BME "Okos város-okos kormányzat" műhely munkájának keretében a kutatócsoportunk által megszervezett "Kritikus infrastruktúrák hibatűrése és optimalizálása"  workshop sikeresen lezajlott.

Sikeres előadás az EclipseCon 2017 konferencia Modeling Symposium rendezvényén

Kutatócsoportunk az EclipseCon 2017 konferencia Modeling Symposium rendezvényén bemutatta a Gamma keretrendszert, amely egy tervezőeszköz elosztott alkalmazásokhoz. Az EclipseCon a nyílt forráskódú szoftverekkel foglalkozó közösség egyik nagy ipari konferenciája, ahol a legújabb, modern fejlesztést támogató modellező eszközöket ismertetik. Tovább »

MoDeS3 demó az EclipseCon 2017 konferencián

Kutatócsoportunk munkatársai részt vettek az EclipseCon Europe 2017 rendezvényen, ahol az IoT Playgorundon mutatták be a tanszéken fejlesztett MoDeS3 demonstrátor rendszert.

Kritikus infrastruktúrák workshop

A BME-NKE részvétellel megalapított "Okos város" kutatóműhely keretében csoportunk workshopot rendez "Kritikus infrastruktúrák hibatűrése és optimalizálása / Resilience, dependability and optimization of critical infrastructures" címen.

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

Kutatócsoportunk munkatársai, Hajdu Ákos, Tóth Tamás és Vörös András részt vettek az idén Bécsben megrendezett FMCAD 2017 konferencián, ahol a "Theta: a Framework for Abstraction Refinement-Based Model Checking" című cikket mutatták be.

Előadásunk a FORMATS konferencián

Kutatócsoportunk munkatársa, Tóth Tamás részt vett az idén Berlinben megrendezett FORMATS 2017 (15th International Conference on Formal Modelling and Analysis of Timed Systems) nemzetközi konferencián, ahol "Lazy Reachability Checking for Timed Automata using Interpolants" című cikkét mutatta be

Részvétel a MoDELS'17 konferencián

Kutatócsoportunk munkatársai, Debreceni Csaba és Varró Dániel prezentálták a kollaboratív modellezés területén végzett kutatásaink eredményét az ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems konferencián, mely idén Austinban, Texas államban került megrendezésre. Tovább »

Tartalom átvétel