Our paper is accepted to the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

A paper by our research group has been accepted at the TACAS 2015 (International Conference on Tools and Algorithms for the Construction and Analysis of Systems) scientific conference, a top international forum for tools and algorithms for the construction and analysis of systems.

We would like to thank our student collaborators and the reviewers for their helpful feedback.

The title of our accepted paper: Saturation-based Incremental LTL Model Checking with Inductive Proofs

Keynote speech of International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems is held by Professor András Pataricza

Prof. András Pataricza was invited to the "1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS 2014)" to give a keynote speech. In his keynote titled “Towards Effort and Quality Estimation of V&V Processes” András had overviewed recent results of the international "CECRIS (CErtification of CRItical Systems) FP7-PEOPLE-2012-IAPP project. Read more »

Most Influential Paper Award at MODELS 2014 conference

A very prestigious Most Influential Paper Award was given to Dr. Dániel Varró and Prof. András Pataricza at MODELS 2014 conference, the IEEE/ACM 17th International Conference on Model Driven Engineering, Languages and Systems, which is the most important scientific forum of model driven systems and software engineering. Read more »

A successful STAF conference

The STAF 2014 (Software Technologies: Applications and Foundations) conference was organised by the University of York from July 21 to July 25, 2014. The event hosted a number of prestigious conferences, presenting state of the art research in model-driven design, software testing, graph and model transformation.

Our research group published numerous papers: Read more »

Three papers accepted at MODELS 2014

Three papers by our research group have been accepted at the MODELS 2014 (ACM/IEEE Model Driven Engineering Languages and Systems) scientific conference, the top international forum for model-driven software engineering. Read more »

TEMPUS STEM call: Apache VCL based labs won prize

Our submission for the "STEM - best practices in the service of science, technology and engineering sciences" call of the TEMPUS Public Foundation has been selected as one of the seven winning applications. (The news piece is available only in Hugarian.)

PhD student participation at ISOTDAQ 2014

Our PhD student Ágnes Salánki won the right to participate in ISOTDAQ 2014 - 5th International School of Trigger and Data Acquisition. The school was held between January 28 and February 5 at the Wigner Data Center (Budapest), the "second heart" of the  LHC Worldwide Computing Grid.

Best paper award at the CSMR-WCRE 2014 conference

The program committee of the CSMR-WCRE 2014 Software Evolution Week conference named the common publication of researchers of our group and the Department of Software Engineering,University of Szeged, titled "Anti-pattern detection with model queries: A comparison of approaches". Read more »

index.hu interview with Prof. András Pataricza and Dr. Andy Rindos

In October, our research group hosted a three day Boot Camp of the Apache Virtual Computing Lab (VCL) project with the support of the IBM Cloud Academy. The Boot Camp was held by the VCL experts of North Carolina State University and attended by the representatives of numerous Hungarian higher education institutions.

In conjunction with the event, index.hu, one of the most popular Hungarian news portals interviewed Prof. András Pataricza and Dr. Andy Rindos, co-leader of the IBM Cloud Academy and head of the RTP Center for Advanced Studies. In the interview, they explained the immense potential of "educational clouds" in shaping the future of higher education.

Presentation at EclipseCon Europe 2013

Representing our research group, Dr. István Ráth presented the newest version of EMF-IncQuery, the open source incremental model query engine tailored for large-scale industrial modeling applications at EclipseCon Europe 2013. The talk ("Xcore meets IncQuery: How the New Generation of DSLs Are Made") presented our newest results in the field of query-based language engineering, i.e. incremental graph search techniques embedded into the specification of domain-specific modeling languages. Read more »

Syndicate content