Invited talk of Prof. Pataricza at a Visegrad 4 conference

Submitted by András Pataricza on Thu, 2015-06-11 22:04

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.

Read more »

ACM-W scholarship award for Ágnes Salánki

Submitted by András Pataricza on Tue, 2015-05-05 09:54

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

Submitted by Imre Kocsis on Sun, 2015-04-26 00:42

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

Submitted by Zoltán Micskei on Mon, 2015-04-20 22:55

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.

Read more »

"Robots on the rise"

Submitted by Zoltán Micskei on Mon, 2015-03-30 16:21

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

Submitted by András Vörös on Wed, 2015-03-25 20:09

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

Submitted by Zoltán Micskei on Mon, 2015-02-02 01:00

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. 

Read more »

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

Submitted by András Vörös on Fri, 2014-12-19 21:10

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

Submitted by András Vörös on Sat, 2014-09-13 14:41

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

Submitted by Dániel Varró on Thu, 2014-08-21 23:24

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 »

Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login