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

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 »

Syndicate content