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 FMCAD 2017 conference

Ákos Hajdu, Tamás Tóth and András Vörös from our research group participated at the FMCAD 2017 international conference, held in Vienna, Austria. They presented the paper titled "Theta: a Framework for Abstraction Refinement-Based Model Checking". Additional co-authors are Zoltán Micskei and István Majzik. Read more »

Presentation at the FORMATS conference

Tamás Tóth has presented a paper at the FORMATS 2017 (15th International Conference on Formal Modelling and Analysis of Timed Systems) international confernce. The title of the paper: "Lazy Reachability Checking for Timed Automata using Interpolants".

The co-author of the paper is István Majzik. Read more »

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 »

Syndicate content