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

Business Processes and Applications

  • 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 course in the Autumn semester of 2011:

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

Guest researchers in the CECRIS project

Submitted by Ábel Hegedüs on Tue, 2013-05-07 18:10

Our research group welcomes the three guest researchers who will work with us between May 6th and June 28th on the CECRIS project. We have two researchers from the Italian Resiltech s.r.l. and one from Critical Software with headquarter in Portugal. Read more »

e-Freight Partners' Forum találkozó, Brüsszel

Submitted by András Kövi on Thu, 2013-03-28 11:41

The annual e-Freight Partners' Forum meeting was held in Brussels on 2013. May 13-14, in Hotels Sofitel in the neighborhood of the European Parliament. During the two day event the achievements of the project were introduced by the various working groups and the finalization of the project exploitation plan has begun. The research group was represented by Andras Kovi.

Participation at ETAPS 2013 conference

Submitted by Dániel Varró on Tue, 2013-03-26 23:56

ETAPS 2013, the largest European conference on the theory and practice of software science was organized between March 16th and 24th in Rome, Italy. This year, Dániel Varró participated from our group as program co-chair of FASE 2013 (Fundamental Approaches to Software Engineering) conference. 

Some photos taken at the conference with over 600 participants are available here. 

Invited talk at EternalS 2013 workshop

Submitted by Dániel Varró on Mon, 2013-03-04 14:26

Dr. Daniel Varró gave an invited talk on access control issues in collaborative modeling technologies at the EternalS 2013 workshop, which was organized on February 27th in Rocquencourt near Paris as part of the EternalS FP7 Coordinated Action.

This project targets advanced research in the direction of eternal systems such as, software engineering, secure systems, machine learning, natural language processing as well as the increasing impact of social computing. The workshop aims at bringing together experts and stakeholders of the above technologies. 

Jedlik Ányos grant awarded to group member

Submitted by Gábor Bergmann on Tue, 2013-02-12 12:28

Yet another member of our group has received a special research grant.

Among only 35 PhD candidates nationwide, our colleage Gábor Bergmann has been awarded the Jedlik Ányos grant to support his research programme "Supporting standard model queries using incremental graph pattern matching". The research will be conducted during the course of the year 2013; an introduction to the topic and reports on the progress will be continuously published on this English-language blog.  Read more »

Syndicate content
more

Languages

  • English
  • Magyar

User login

Leírások, segédletek