Siker diplomaterv pályázaton

Vörös András, cs, 2016-11-17 17:37

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.

Tovább »

Díjeső a MODELS 2016 konferencián

Bergmann Gábor, h, 2016-10-10 16:59

Ahogy korábban írtuk, néhány munkatársunk a múlt hetet a franciaországi St. Malo városában töltötte.

Tovább »

SRDS 2016 konferencia

Majzik István, v, 2016-10-02 19:25

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

Varró Dániel, v, 2016-09-18 03:04

Ö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

Varró Dániel, cs, 2016-08-18 14:54

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,

Tovább »

Három cikk a MODELS konferencián

Szárnyas Gábor, h, 2016-07-11 13:10

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

Nagy András Szabolcs, h, 2016-07-11 12:41

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

Varró Dániel, h, 2016-07-11 11:55

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

Vörös András, v, 2016-07-10 20:08

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.

Tovább »

Kiváló minősítéssel zárult a MONDO projekt

Bergmann Gábor, k, 2016-07-05 17:27

Rangos ipari és egyetemi partnerek közt kutatócsoportunk is részt vett az EU FP7 keretében megvalósult MONDO nemzetközi tudományos együttműködésben. A kutatás lezárta után idén június 10-én Brüsszelben került sor a projekt végső szakmai értékelésére, ahol a projekt résztvevői - köztük a BME képviseletében Varró Dániel és Bergmann Gábor - a finanszírozó EU által kijelölt bírálók számára mutatták be az elért eredményeket. A végső kiértékelés szerint a hatékony együttműködésről és jelentős tudományos előrehaladásról tanúbizonyságott tett MONDO projekt kiváló minősítést kapott.

Tovább »
Tartalom átvétel

Nyelvek

  • English
  • Magyar

Belépés

Navigáció