Research Areas

IT Service Management

  • Cloud Computing
  • Virtualization
  • Visual Exploratory Data Analysis
  • "Big Data" Analysis Methods
  • Configuration Design and Management
  • Fault Propagation Analysis
  • Availability (99,999%)
  • Autonom Computing
  • Automated IT Management

Research Lead

András Pataricza

Software Design

  • Requirement Analysis
  • Model Driven Software Development
  • Metamodel Design
  • Domain-specific Modeling
  • Object-oriented Design
  • Code Generation
  • Automated Testing
  • Continuous Integration

Research Lead

Dániel Varró

Critical Embedded Systems

  • Safety Critical Systems
  • Model based System Design
  • Fault Tolerance
  • Verification and Validation
  • Formal Verification
  • Source Code Generation
  • Hardware-Software Integration
  • Traceability

Research Lead

István Majzik

Big Data Analysis

  • Service-oriented Architecture
  • Complex Event Processing
  • Business Rule Systems
  • e-Business
  • Workflow Modeling
  • Optimization
  • Design of Experiments
  • Fault Analysis

Research Lead

András Pataricza


English courses:

Overview of our Hungarian courses:

BSc programme in Software Engineering:

  • System Modelling
  • Specialization in IT Engineering:
    • Intelligent System Management
    • IT Technology Laboratory

MSc programme in Software Engineering:

  • Formal Methods
  • Specialization in Dependable System Design:
    • Design for Dependability
    • Model Driven Software Development
    • Service Integration
    • Software Verification Techniques
    • Autonomic and Fault Tolerant Computing Systems

PhD programme:

  • Foundations of Model-Driven Systems Engineering
  • Software Verification and Validation


Recent Events

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 »

Syndicate content