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 »

Invited talk of Prof. Pataricza at a Visegrad 4 conference

V4S - Visegrad 4 for Secure Data

On the 28th of May 2015 the conference Visegrad 4 for Secure Data was held in the premises of the Permanent Representation of the Slovak Republic to the EU.

ACM-W scholarship award for Ágnes Salánki

Our PhD student, Ágnes Salanki has been awarded an ACM-W Scholarship for attendance at useR! Conference 2015.

ACM (Association for Computing Machinery) is the most prestigious international organization in the field of computer science. Read more »

IBM Watson presentation

On April 24, Mr. Salil Ahuja (senior product manager for Watson at IBM) held a presentation on the capabilities of the Watson Developer Cloud for researchers and lecturers of our department. The Watson Developer Cloud provides access to such artificial intelligence capabilities for cloud applications - e.g. running on IBM Bluemix - that are also present in the Watson computer system famously winning Jeopardy! in 2011.

Two papers at the ICST 2015 conference

Two papers from our research group were accepted for the IEEE International Conference on Software Testing, Verification and Validation (ICST) conference. ICST is the premier conference for research in all areas related to software quality. ICST received this year also high number of submissions (from 132 submissions 32 technical research papers were accepted). New testing tools and results from testing in practice were presented in separate tracks. After and before the conference 7 workshops were co-located.

"Robots on the rise"

The first year of the R5-COP research project has been successfully closed in Brussels on 26th March. From our research group István Majzik presented the results of the work package working on incremental testing and runtime verification. The project has won the ARTEMIS Co-Summit "Exhibition Award" also in this year Read more »

Paper accepted to the 36th International Conference on Application and Theory of Petri Nets and Concurrency

Our paper entitled "New search strategies for the Petri net CEGAR approach" is accepted to the "36th International Conference on Application and Theory of Petri Nets and Concurrency".

This paper introduces our theoretical and algorithmic results regarding the advanced CounterExample Guided Abstraction Refinement algorithm applied to Petri nets.

The annual general assembly of the R5-COP project

The annual general assembly of the R5-COP - Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems project was held on 21-22 January 2015 in Riga. Our research group's task was to develop new testing and verification methods. 

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

Syndicate content