Hallgatóink sikere a kari TDK konferencián

Hallgatóink jól szerepeltek a kari Tudományos Diákköri Konferencián, ahonnan két 1. helyezést, négy 2. helyezést, három 3. helyezést hoztak el.

1. díjat ért el: Tovább »

Siker diplomaterv pályázaton

Kutatócsoportunk doktorandusza, Hajdu Ákos kapta november 3-án a Pro Progressio Alapítvány által odaítélt diplomaterv ösztöndíjat. Az ösztöndíjakat évente, műegyetemi karonként egy-egy BSc-s és MSc-s, végzős hallgató nyerheti el. Hajdu Ákos diplomatervének címe "A Survey on CEGAR-based Model Checking", konzulense Tóth Tamás és Vörös András.

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 »

Most Influential Paper díj a VL/HCC 2016 konferencián

Örömmel számolhatunk be, hogy a múlt héten Cambridge-ben megrendezésre került IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2016) konferencián a 2005-ben írt G. Varró, A. Schürr, D. Varró: Benchmarking for graph transformation cikk Most Influential Paper díjban részesült. Tovább »

Pataricza András professzor Magyar Érdemrend Tisztikeresztje kitüntetése

Nagy örömmel jelentjük, hogy kutatócsoportunk vezetője, Pataricza András professzor a Magyar Érdemrend Tisztikeresztje kitüntetést vehette át a mai napon,

Három cikk a MODELS konferencián

Kutatócsoportunk három cikkét is elfogadták a MODELS 2016 (ACM/IEEE Model Driven Engineering Languages and Systems) tudományos konferencián. A konferencia a modellvezérelt szoftverfejlesztés egyik legrangosabb nemzetközi fóruma, melyre idén a beküldött cikkek 23,7%-át fogadták el. Tovább »

A VIATRA csapata első helyezést ért el a 2016-os TTC-n

Az idén Bécsben rendezett STAF 2016 konferencia keretében került megrendezésre a 9. Transformation Tool Contest, amelyen egy modell transzformációhoz köthető feladatot kellett megoldani. Tovább »

STAF 2016 konferencia és MODELS 2016 Programbizottsági ülés Bécsben

Július elején a Bécsi Műszaki Egyetem szervezésében került megrendezésre a STAF 2016 Software Technologies: Applications and Foundations konferencia. Tovább »

Vörös András az FTSCS programbizottságának tagja

Kutatócsoportunk tudományos segédmunkatársát, Vörös Andrást meghívták a “5th International Workshop on Formal Techniques for Safety-Critical Systems” rendezvény programbizottságába. A workshop témája formális módszerek alkalmazása a biztonságkritikus rendszerek tervezésében, ellenőrzésében és tanúsítványozásának támogatásában.

Tartalom átvétel