Project information
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems (AMASS)

Information

This project doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official project website can be found on muni.cz.

Project Identification

692474

Project Period

4/2016 - 3/2019

Investor / Pogramme / Project type

European Union

Horizon 2020
ECSEL

MU Faculty or unit

Faculty of Informatics

prof. RNDr. Jiří Barnat, Ph.D.

Cooperating Organization

Fundacion Tecnalia Reserch & Innovation

bude doplněno

Publications

Total number of publications: 3

2018

Finding Regressions in Projects under Version Control Systems

BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana

Article in Proceedings

13th International Conference on Software Technologies, year: 2018

2017

Consistency Checking in Requirements Analysis

BENDÍK Jaroslav

Article in Proceedings

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, year: 2017

2016

Tunable Online MUS/MSS Enumeration

BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

Article in Proceedings

Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, year: 2016