Invited talk at EternalS 2013 workshop

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

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 blogRead more »

CECRIS project kick-off meeting

Our research group is participating in the CECRIS project that has started with the kick-off meeting held at Firenze between 14-15 January. The aim of the project is to develop novel methods and techniques for the verification, validation and certification of critical systems with the cooperation of hungarian, italian and portuguese academic and industrial partners. Read more »

Presentation of EMF-IncQuery at EclipseCon Europe 2012

Representing our research group, Dr. István Ráth has presented the new version of our open source incremental model query framework called EMF-IncQuery at EclipseCon Europe 2012, intended for industrial applications. As an acknowledgement of our work, Ed Merks (the creator of the de-facto industry standard Eclipse Modeling Framework) has lauded EMF-IncQuery as one of the most significant innovations of recent times. Read more »

Talk at the Budapest Conference on Cyberspace

Prof. András Pataricza gave an invited talk  entitled "Security challenges to the safety in embedded systems" at the "Cyber Research and Development" workshop of the Budapest Conference on Cyberspace.

The aim of the conference held with the participation of high ranked government officials was the promotion of the development and safe and free use of the cyberspace.

Presentations at the MODELS 2012 conference

Representing our research group, Dániel Varró and Ábel Hegedüs presented at the MODELS 2012 (International Conference on Model Driven Engineering Languages & Systems) conference and the AMT 2012 (Workshop on Analysis of Model Transformations) workshop, held in Innsbruck.

Presentations on ICGT 2012

This year the Sixth International Conference on Graph Transformation - Modeling and Analysis of Dynamic Structures (ICGT 2012), which is the biannual gathering of mathematicians and engineers forming the graph transformation research community, was hosted along with its satellite events between 24 and 29 September in Bremen, Germany. Read more »

DSN 2012

Prof. Dr. András Pataricza attendended the 42th IEEE DSN Dependable Systems and Networks Conference in Boston co-organized by IEEE and IFIP (25-28 June, 2012). The Annual DSN Conference, which is the most prestigious on dependability, will be held next year in Budapest. Prof. Pataricza, as  General Chair of this next year DSN conference  presented the venue and plans of DSN 2013.

Presentation at the ECMFA 2012 conference

Representing our research group, Ábel Hegedüs presented the new use case of the EMF-IncQuery incremental model query engine for integrating queries into efficient derived features in EMF at the ECMFA 2012 (European Conference on Modelling Foundations and Applications) conference, held in Kgs. Lyngby.

Presentation at the AMSTA / TruMAS 2012 conference

At the International Workshop on Trustworthy Multi-Agent Systems held in Dubrovnik, Zoltán Micskei presented the testing concept developed by our research group for checking the safety and robustness of autonomous systems (e.g. robots). Read more »

Syndicate content