Accepted paper at ICSE 2018 conference

We are glad to inform that the paper A Graph Solver for the Automated Generation of Consistent Domain-Specific Models” co-authored by Oszkár Semeráth, András Szabolcs Nagy and Dániel Varró got accepted at the ICSE 2018 conference.  Read more »

Presentation at the Modeling Symposium of EclipseCon 2017

Our research group has presented the Gamma framework at the Modeling Symposium of EclipseCon 2017. Gamma is a Statechart Composition Framework to model, verify and generate code for component-based reactive systems. The framework builds on Yakindu, an open source statechart modeling tool and provides an additional modeling layer to instatiate a communicating network of statecharts. Compositionality is hierarchical, which facilitates the creation of reusable component libraries.

MoDeS3 demo at EclipseCon 2017

Our research group participated at the EclipseCon Europe 2017, where they presented the MoDeS3 project at the IoT Playgorund. The physical system was set up at the University in Budapest, while the participants in Ludwigsburg could watch the video stream from the camera and also a web-based control software was provided.

Our participation at the FMCAD 2017 conference

Ákos Hajdu, Tamás Tóth and András Vörös from our research group participated at the FMCAD 2017 international conference, held in Vienna, Austria. They presented the paper titled "Theta: a Framework for Abstraction Refinement-Based Model Checking". Additional co-authors are Zoltán Micskei and István Majzik. Read more »

Presentation at the FORMATS conference

Tamás Tóth has presented a paper at the FORMATS 2017 (15th International Conference on Formal Modelling and Analysis of Timed Systems) international confernce. The title of the paper: "Lazy Reachability Checking for Timed Automata using Interpolants".

The co-author of the paper is István Majzik. Read more »

Our participation at the ETAPS 2017 conference

Ákos Hajdu, a PhD student of our group participated at the ETAPS 2017 international conference in Uppsala, Sweden, where he presented two papers. Read more »

Invited talk at the LADC2016 international conference

Prof. András Pataricza gave an invited talk with the title of "Resilience of Resilience Mechanisms in Dynamic Architectures" at LADC 2016 The 7th Latinoamerican Symposium on Dependable Computing conference which was organized in 2016 in Cali, Colombia.

Most Influential Paper Award at VL/HCC 2016 conference

We are glad to announce that the paper co-authored by G. Varró, A. Schürr and D. Varró on Benchmarking for graph transformation published at VL/HCC 2005 received a Most Influential Paper Award last week at the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2016). Read more »

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 »

Syndicate content