Budapesti Műszaki és Gazdaságtudományi Egyetem
| bme.hu
Villamosmérnöki és Informatikai Kar
| vik.bme.hu
Mesterséges Intelligencia és Rendszertervezés Tanszék
| mit.bme.hu
research.heroTitle

Research

Forging technology from science

HomeResearch

R&D projects

In the last 25 years, our research group participated in more than 20 EU cooperative research projects (FP4-H2020) and more than 25 direct industry collaborations. In our R&D projects, we develop new, innovative software-based solutions that help engineers create better systems.

EU collaborative projects
Cooperation with industry
National and bilateral projects
...

SME4DD

Training SMEs for the Digital Decade

The SME4DD project will deliver short-term training programmes in three strategic digital technologies to upskill the workforce of Europe: artificial intelligence, blockchain and cybersecurity. Our research group is responsible for the courses about designing, developing and deploying blockchain technologies.

...

EDGE-Skills

European Dataspace for Growth and Education - Skills

The EDGE-Skills project's objectives are to develop and deploy innovative cloud to edge services for the educations and skills data space, and make accessible the data space to public and private organisations.

Publications

Our research group regularly publishes papers in the leading venues of software engineering (TSE, IST, STTT), model-driven engineering (MODELS, SoSyM), formal verification (TACAS, JAR) and software testing (ICST, STVR).

Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention

IEEE Access 2024

Transaction Conflict Control in Hyperledger Fabric - A Taxonomy, Gaps, and Design for Conflict Prevention

The paper highlights how model-based methods can be used in the performance optimization of cross-organizational blockchains.

Read more

Pragmatic verification and validation of industrial executable SysML models

Systems Engineering 2023

Pragmatic verification and validation of industrial executable SysML models

Together with IncQuery Labs and NASA JPL we developed a workflow for applying formal verification to industrial executable SysML models.

Read more

Assessing the specification of modelling language semantics - a study on UML PSSM

Software Quality J 2023

Assessing the specification of modelling language semantics - a study on UML PSSM

We recommended methods and processes for assessing the semantics of modeling languages for model users, tool and language designers.

Read more

research.tools.title

Tools

Gamma statechart composition framework

Gamma statechart composition framework

The Gamma modeling toolset helps to design and formally verify component-based reactive systems and can generate implementations automatically.

Read more

Theta model checking framework

Theta model checking framework

The Theta model checking framework is a collection of modern, abstraction refinement-based algorithms, which can be tailored to the give problem due to their configurability.

Read more

VIATRA Solver graphgenerator framework

VIATRA Solver is a framework, which can automatically and efficiently generate consistent and diverse graphs from domain-specific models.

Read more

Events and awards

...

Hungarian Young Academy

Zoltan Micskei was elected a member of the HYA

The Hungarian Young Academy aims to support junior scientists and to get their voices heard by decision-makers. The Academy elects 12 members every year under the age of 40 based on scientific excellence and the activity planned.

...

Youth Award of the Hungarian Academy

Academy Youth Award for Oszkár Semeráth

Oszkár Semeráth received the Academy Youth Award from the Hungarian Academy of Sciences (MTA) in 2021 for his work on graph-based reasoning and verification. Every year 22 young researchers receive the award from all fields.

Contact <0>{{firstName}} {{lastName}}</0> with questions related to our research group
Current version: https://github.com/ftsrg/ftsrg.github.io/commit/63602691779abdc6b6d0ba45fc221835f18f80ee