Forging technology from science
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.
SME4DDTraining 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.
Competence CenterSafety Science and Technology Competence Center
BME together with four large enterprises established a Safety Science and Technology Competence Center. Our research group worked with thyssenkrupp to design new methods and tools to make safety critical system development more efficient using model-based engineering and new safety analysis algorithms.
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).
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.
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.
Gamma statechart composition framework
The Gamma modeling toolset helps to design and formally verify component-based reactive systems and can generate implementations automatically.
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.
VIATRA Solver graphgenerator framework
VIATRA Solver is a framework, which can automatically and efficiently generate consistent and diverse graphs from domain-specific models.
Events and awards
Hungarian Young AcademyZoltan 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 AcademyAcademy 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.