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.

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

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.

Sikeresen lezárult a CONCERTO projekt

Június 30-án Brüsszelben folyt le a CONCERTO projekt utolsó szakmai értékelése (review meeting), melyen kutatócsoportunkból Horváth Ákos és Nagy András Szabolcs mutatta be a BME-MIT, BME-AUT, BME-EMT és az AENSys együttműködésének eredményeit.

Részvételünk a CSCS 2016 konferencián

2016. június 27-29. között zajlott le Szegeden a Conference of PhD Students in Computer Science (CSCS) 2016 konferencia, ahol kutatócsoportunk professzora, Dr. Varró Dániel meghívott előadást tartott "Models and Queries for Smart and Safe Cyber-physical Systems" címmel, valamint a konferencián előadóként Búr Márton és Semeráth Oszkár PhD hallgatók is részt vettek, akik a szekciójuk legjobb előadói díját nyerték. Tovább »

SAT/SMT/AR 2016 nyári iskola részvétel

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Portugáliában megrendezett SAT/SMT/AR 2016 (Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning) nyári iskolában, ahol a poszter szekcióban saját munkáját is bemutatta. Poszterének címe "A SAT/SMT-based CEGAR Framework"

Részvételünk a FORTE 2016 konferencián

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Görögországban megrendezett FORTE 2016 (36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems) nemzetközi konferencián, ahol az "A Configurable CEGAR Framework with Interpolation-Based Refinements" című cikket mutatta be.

Micskei Zoltán a Kar Kiváló Fiatal Oktatója

A Hallgatói Képviselet által alapított "Kar Kiváló Fiatal Oktatója" kitüntetést 2016-ban a hallgatók szavazatai alapján dr. Micskei Zoltán nyerte el. Gratulálunk! Tovább »

Tartalom átvétel