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 »

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

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

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

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

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

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

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

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 »

Tartalom átvétel