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

Education

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

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 »

Syndicate content