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

Our participation at the ETAPS 2017 conference

Ákos Hajdu, a PhD student of our group participated at the ETAPS 2017 international conference in Uppsala, Sweden, where he presented two papers. Read more »

Invited talk at the LADC2016 international conference

Prof. András Pataricza gave an invited talk with the title of "Resilience of Resilience Mechanisms in Dynamic Architectures" at LADC 2016 The 7th Latinoamerican Symposium on Dependable Computing conference which was organized in 2016 in Cali, Colombia.

Most Influential Paper Award at VL/HCC 2016 conference

We are glad to announce that the paper co-authored by G. Varró, A. Schürr and D. Varró on Benchmarking for graph transformation published at VL/HCC 2005 received a Most Influential Paper Award last week at the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2016). Read more »

VIATRA wins offline contest at TTC 2016

This year the 9th Transformation Tool Contest has been organized in Vienna at the STAF 2016 conference, where one must solve a task about model transformation. Read more »

Our participation at CSCS 2016 conference

The Conference of PhD Students in Computer Science was held on 27-29 June 2016 in Szeged. Professor Dániel Varró was invited to give a talk on Models and Queries for Smart and Safe Cyber-physical Systems. Oszkár Semeráth and Márton Búr PhD students were given Best Presentation Award in their section. Read more »

Syndicate content