VIATRA wins offline contest at TTC 2016

This year the 9th Transformation Tool Contest has been organized in Vienna at the STAF 2016 conference, where one must solve a task about model transformation. Read more »

Our participation at CSCS 2016 conference

The Conference of PhD Students in Computer Science was held on 27-29 June 2016 in Szeged. Professor Dániel Varró was invited to give a talk on Models and Queries for Smart and Safe Cyber-physical Systems. Oszkár Semeráth and Márton Búr PhD students were given Best Presentation Award in their section. Read more »

Participation at STAF 2016 konferencia and MODELS 2016 Program Board meeting in Vienna

The STAF 2016 Software Technologies: Applications and Foundations conference was organized by researchers from TU Wien in early July where Dániel Varró participated from our research group as workshop co-chair and presenter of a paper published at ICGT 2016 Int. Conf. on Graph Transformation conference, co-authored by Zoltán Ujhelyi and Gábor Bergmann on Rete network slicing for model queries".

András Vörös is invited to the PC of FTSCS

András Vörös, a research associate of the research group is invited to the program committe of the "5th International Workshop on Formal Techniques for Safety-Critical Systems". The scope of the workshop is the application of formal methods in the development, verification and certification of safety-critical systems.

MONDO project awarded Excellent rating

Among other academic and industrial partners, our research group has participated in the EU FP7  international scientific cooperation MONDO. After research activities were concluded, the final review of the project was held on the 10th of June in Brussels, where participants - among them Dániel Varró and Gábor Bergmann representing BME - presented project results to the reviewers appointed by the EU. According to the final evaluation, MONDO partners have displayed effective cooperation and significant scientific progress, earning an excellent rating for the project.

Succesfull close of the CONCERTO project

The last review meeting of the CONCERTO project was held in Brussels at 30th of June, where two members of our research group - Ákos Horváth and András Szabolcs Nagy - presented the results of the collaboration of BME-MIT, BME-AUT, BME-EMT and AENSys.

SAT/SMT/AR 2016 summer school participation

Ákos Hajdu, a PhD student of our group participated in the SAT/SMT/AR 2016 (Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning) summer school in Lisbon, Portugal, where he presented his own work in the poster session. The title of his poster is "A SAT/SMT-based CEGAR Framework"

Our participation at the FORTE 2016 conference

Ákos Hajdu, a PhD student of our group participated at the FORTE 2016 international conference (36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems) in Heraklion, Greece,  where he presented the paper "A Configurable CEGAR Framework with Interpolation-Based Refinements". Co-authors: Tamás Tóth, András Vörös, István Majzik.

Third price at the Eclipse Open IoT Developer Challenge

The Open IoT Developer Challenge is an annual challenge organized by the Eclipse IoT Working Group of EclipseCon North America and sponsored by bitreactive, Eurotech, MicroEJ, Red Hat, and Zolertia. Participants are given three months to create an innovative IoT solution using open source software and open standards.

Zoltan Micskei in the PC of UCAAT 2016

Zoltan Micskei was invited to the program committee of this year’s User Conference of Advanced Automated Testing (UCAAT) conference. UCAAT is a premier, industrial conference on automated testing including model-based testing. Read more »

Syndicate content