DISC 2019 conference organized by our research group

Our research group organized the International Symposium on Distributed Computing (DISC) conference held in Budapest between the 14th and 18th of October 2019. DISC is a prestigious international forum on the theory, design, analysis, implementation, and application of distributed systems and networks.

The organizing committee included András Pataricza (general chair), Zoltán Micskei (general co-chair), Gábor Huszerl (local organization chair) and Ákos Hajdu (web chair). Read more »

The H2020 ADVANCE project has started

The “Addressing Verification and Validation Challenges in Future Cyber-Physical Systems” (ADVANCE) H2020 RISE research project has started this year with the participation of researchers from our research group working on the challenges of future cyber-physical systems.

Gamma/DDS demo at EclipseCon Europe

Our research group presented a demo at the IoT Playground @ EclipseCon Europe 2018 to showcase our latest developments in designing distributed, critical cyber-physical systems.

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.

Syndicate content