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

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 »

Presentation at the Modeling Symposium of EclipseCon 2017

Our research group has presented the Gamma framework at the Modeling Symposium of EclipseCon 2017. Gamma is a Statechart Composition Framework to model, verify and generate code for component-based reactive systems. The framework builds on Yakindu, an open source statechart modeling tool and provides an additional modeling layer to instatiate a communicating network of statecharts. Compositionality is hierarchical, which facilitates the creation of reusable component libraries.

MoDeS3 demo at EclipseCon 2017

Our research group participated at the EclipseCon Europe 2017, where they presented the MoDeS3 project at the IoT Playgorund. The physical system was set up at the University in Budapest, while the participants in Ludwigsburg could watch the video stream from the camera and also a web-based control software was provided.

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 »

Syndicate content