We are developing precise design and analysis techniques for design-time and run-time assurrance of smart and safe cyber-physical systems.

Check the MoDeS3 demonstrator showcasing various modeling and IoT technologies for safety-critical systems (co-developed with FTSRG@BME, IncQuery Labs and QuanOpt).

We developed scalable incremental graph query and reactive model transformation techniques used in industrial system modeling tools like Capella, Artop, or Papyrus.

Check out the open source VIATRA model transformation framework and related innovative products at IncQuery Labs Ltd.

We have significant experience in integrating design tools into complex, tool-chains aligned with industrial workflows and processes.

Check Massif, which is a Matlab Simuling integration framework for Eclipse initially developed in a research project funded by Embraer.

We developed a graph solver to automatically generate consistent domain-specific graph models satisfying structural constraints.

Check our ICSE 2018 paper, the software tool or related blog posts in English or in Hungarian for further information.

In the MONDO European project, we developed a collaborative modeling framework with fine-grained access control on top of off-the-shelf version control systems and modeling tools.

Check our journal paper and a short video demonstration.

We developed the Train Benchmark ( sources, paper) which is a cross-technology benchmark for comparing the scalability of graph queries in continuous model validation scenarios.

My current/former graduate students contributed to other scalability benchmarks: VIATRA CPS Benchmark, MagicDraw VIATRA Query Benchmark, LDBC Social Network Benchmark.