konferencia

Cikk az ICSE 2018 konferencián

Nagy örömmel adjuk hírül, hogy kutatócsoportunk munkatársai, Semeráth Oszkár, Nagy András Szabolcs és Varró Dániel által írt A Graph Solver for the Automated Generation of Consistent Domain-Specific Models című cikket elfogadták az ICSE 2018 konferenciára.  Tovább »

GraphConnect és OCIM előadások

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 »

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 »

Varró Dániel az SLE 2016 konferencia programbizottsági társelnöke

Dr. Varró Dániel a 2016-ban Amsterdamban megrendezésre kerülő SLE 2016 (9th International Conference on Software Language Engineering) konferencián a programbizottság társelnökeként működik közre Emilie Balland-dal (INRIA) együtt.

Részvételünk a STAF 2015 konferencián

Idén az olaszországi L'Aquila városában került megrendezésre a STAF 2015 (Software Technologies: Applications and Foundations) konferencia, amelyen több szerepben is részt vett kutatócsoportunk: Tovább »

Csoportunk részt vesz a verifikáció és szoftver analízis egyik legrangosabb nemzetközi konferenciáján

Kutatócsoportunk nemzetközi szinten is kiemelkedő eredményt ért el a TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) tudományos konferencián.

Két előadás az "International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems" konferencián

Kutatócsoportunk tagjai két előadást tartottak a  "1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS 2014)" konferencián megnyitásaként. Tovább »

Kutatócsoportunk sikere a STAF konferencián

2014 július 21. és 25. között került megrendezésre a Yorki EgyetemSTAF 2014 (Software Technologies: Applications and Foundations) konferencia. Az esemény több rangos konferenciát fog össze, amelyeken a modellvezérelt fejlesztés mellett a gráf- és modelltranszformáció, valamint a szoftvertesztelés legújabb kutatási eredményei kerülnek publikálásra. Tovább »

Kiemelkedő eredmény a MODELS 2014 konferencián

Kutatócsoportunk nemzetközi szinten is kiemelkedő eredményt ért el a MODELS 2014 (ACM/IEEE Model Driven Engineering Languages and Systems) tudományos konferencián. Három (hallgatóinkkal közösen írt) cikkünket is elfogadták a modellvezérelt szoftverfejlesztés legrangosabb nemzetközi fórumán. Tovább »

Tartalom átvétel