Collaboration with the Linked Data Benchmark Council

Our research group recently collaborated with the Linked Data Benchmark Council (LDBC) organisation. The goal of LDBC, a non-profit organisation, is to define standard benchmarks for graph analytical and graph query systems. LDBC positions itself in a similar role for graph processing systems which the Transaction Processing Performance Council (TPC) has been fulfilling for relational databases since the early 1990s.

Successful collaboration with CERN

Our research group successfully collaborated with CERN on the architecture design and integration of an automated tool serving for formal verification of the source code of Programmable Logic Controllers. Read more »

Guest lecture - Frederico Cerveira: Exploratory data analysis of fault injection campaigns

Within the framework of the project "Empirical evaluation of robustness in cloud systems by advanced analytical methods" of "Hungarian-Portuguese cooperation on Science & Technology" Frederico Cerveira, PhD student of Universidade de Coimbra is staying with our department for two weeks.

The project examines the error resilience of cloud computing by following and analysing the propagation of artificially injected faults. Read more »

Blockchain panel discussion at the 2nd Regional Digital Summit

István Lepsényi  State Secretary for Economic Development and Regulation invited Prof. Dr. András Pataricza to participate in a panel discussion at the 2nd Regional Digital Summit.

The summit was a distinguished international event of the Hungarian Visegrad 4 Group presidency organized by the Ministry for National Economy based upon a decision of the Government of Hungary. Read more »

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 »

Syndicate content