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 »

Nyertes magyar-portugál bilaterális pályázat.

A "Felhő rendszerek robosztusságának empirikus kiértékelése fejlett elemzési módszerekkel" című, a Coimbrai Egyetemmel közösen  a "Kétoldalú tudományos és technológiai (TéT) együttműködés támogatása a magyar-portugál relációban" felhívásra benyújtott pályázatunk nyert.  Tovább »

Tartalom átvétel