Succesfull close of the CONCERTO project

The last review meeting of the CONCERTO project was held in Brussels at 30th of June, where two members of our research group - Ákos Horváth and András Szabolcs Nagy - presented the results of the collaboration of BME-MIT, BME-AUT, BME-EMT and AENSys.

SAT/SMT/AR 2016 summer school participation

Ákos Hajdu, a PhD student of our group participated in the SAT/SMT/AR 2016 (Satisfiability, Satisfiability Modulo Theories, and Automated Reasoning) summer school in Lisbon, Portugal, where he presented his own work in the poster session. The title of his poster is "A SAT/SMT-based CEGAR Framework"

Our participation at the FORTE 2016 conference

Ákos Hajdu, a PhD student of our group participated at the FORTE 2016 international conference (36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems) in Heraklion, Greece,  where he presented the paper "A Configurable CEGAR Framework with Interpolation-Based Refinements". Co-authors: Tamás Tóth, András Vörös, István Majzik.

Third price at the Eclipse Open IoT Developer Challenge

The Open IoT Developer Challenge is an annual challenge organized by the Eclipse IoT Working Group of EclipseCon North America and sponsored by bitreactive, Eurotech, MicroEJ, Red Hat, and Zolertia. Participants are given three months to create an innovative IoT solution using open source software and open standards.

Zoltan Micskei in the PC of UCAAT 2016

Zoltan Micskei was invited to the program committee of this year’s User Conference of Advanced Automated Testing (UCAAT) conference. UCAAT is a premier, industrial conference on automated testing including model-based testing. Read more »

Keynote talk at SOFSEM 2016 international conference

Prof. Dániel Varró gave a 90-minute keynote talk with the title of "Incremental Queries and Transformations From Concepts to Industrial Applications" at SOFSEM 2016 42nd International Conference on Current Trends in Theory and Practice of Computer Science which was organized in 2016 in Harrachov, Czech Republic.

IoT Challgenge blog is available

Our research group participates in the Eclipse IoT Challenge, the blog introducing our work is available here.

Presentation on the Enterprise Developer Meetup

Dávid Honfi, PhD student of our research group, held a presentation about automated test generation on the 9th Enterprise Developer Meetup.

The Enterprise Developer Meetup series is organized by LogMeIn and Microsoft Hungary. Its target audience consists of developers and architects who are open to cutting-edge technologies. The meetup is currently running its second season and due to its popularity, the number of attendees usually reaches 80 or higher. Read more »

Dániel Varró as PC co-chair of SLE 2016 conference

Dr. Dániel Varró will serve as the program committee co-chair of SLE 2016 (9th International Conference on Software Language Engineering) to be hosted in Amsterdam together with Emilie Balland (INRIA).

Our participation at STAF 2015 conference

Our research group participated at the STAF 2015 (Software Technologies: Applications and Foundations) conference in L'Aquila, Italy, in different roles: Read more »

Syndicate content