Our participation at the FMCAD 2017 conference

Submitted by Ákos Hajdu on Tue, 2017-10-10 12:54

Á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

Submitted by András Vörös on Mon, 2017-10-09 13:38

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

Submitted by Ákos Hajdu on Thu, 2017-06-15 16:11

Á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

Submitted by András Vörös on Sat, 2016-12-10 01:23

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

Submitted by Dániel Varró on Sun, 2016-09-18 04:09

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

Submitted by András Szabolcs Nagy on Mon, 2016-07-11 14:22

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

Submitted by Márton Búr on Mon, 2016-07-11 13:17

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 »

Participation at STAF 2016 konferencia and MODELS 2016 Program Board meeting in Vienna

Submitted by Dániel Varró on Mon, 2016-07-11 13:02

The STAF 2016 Software Technologies: Applications and Foundations conference was organized by researchers from TU Wien in early July where Dániel Varró participated from our research group as workshop co-chair and presenter of a paper published at ICGT 2016 Int. Conf. on Graph Transformation conference, co-authored by Zoltán Ujhelyi and Gábor Bergmann on Rete network slicing for model queries".

Read more »

András Vörös is invited to the PC of FTSCS

Submitted by András Vörös on Sun, 2016-07-10 21:15

András Vörös, a research associate of the research group is invited to the program committe of the "5th International Workshop on Formal Techniques for Safety-Critical Systems". The scope of the workshop is the application of formal methods in the development, verification and certification of safety-critical systems.

MONDO project awarded Excellent rating

Submitted by Gábor Bergmann on Wed, 2016-07-06 15:09

Among other academic and industrial partners, our research group has participated in the EU FP7  international scientific cooperation MONDO. After research activities were concluded, the final review of the project was held on the 10th of June in Brussels, where participants - among them Dániel Varró and Gábor Bergmann representing BME - presented project results to the reviewers appointed by the EU. According to the final evaluation, MONDO partners have displayed effective cooperation and significant scientific progress, earning an excellent rating for the project.

Read more »
Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login