Publications ›

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

Vörös András, p, 2017-11-10 02:26

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

Vörös András, cs, 2017-11-09 03:02

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.

Tovább »

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

Vörös András, h, 2017-11-06 01:29

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

Vörös András, p, 2017-11-03 01:07

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.

Tovább »

Kritikus infrastruktúrák workshop

Gönczy László, cs, 2017-11-02 10:46

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.

Tovább »

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

Hajdu Ákos, k, 2017-10-10 12:49

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.

Tovább »

Előadásunk a FORMATS konferencián

Vörös András, h, 2017-10-09 13:32

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

Tovább »

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

Debreceni Csaba, h, 2017-10-09 10:27

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 »

Eszközdemonstráció az ESEC/FSE 2017 konferencián

Bergmann Gábor, v, 2017-09-10 18:15

A két rangos konferenciasorozat, a European Software Engineering Conference és az ACM SIGSOFT Symposium on the Foundations of Software Engineering immár hagyományos együttes ülésezése, az ESEC/FSE idén a németországi Paderborn városában került megrendezésre. Tovább »

Munkatársunk elnyerte a MTA Bolyai János Kutatási Ösztöndíját

Bergmann Gábor, p, 2017-07-07 15:26

A Magyar Tudományos Akadémia idén húszadik alkalommal hirdette meg a Bolyai János Kutatási Ösztöndíjat posztdoktori kutatások támogatására. Idén 180 fiatal kutatónak ítélték oda a rangos elismerést jelentő ösztöndíjat, köztük kutatócsoportunk tagjának, Dr. Bergmann Gábornak. Tovább »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció