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 »

Vendégelőadásra érkezik a NASA JPL munkatársa július 3-án

Bergmann Gábor, sze, 2017-06-21 13:42

Július 3-án hétfőn nyilvános vendégelőadást tart egyetemünkön Sebastian Herzig, a Nasa JPL és a Georgia Tech kutatója. Tovább »

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 »

Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció