Project information
AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
(AMASS)
- 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
- Cooperating Organization
-
Fundacion Tecnalia Reserch & Innovation
bude doplněno
Publications
Total number of publications: 3
2018
-
Finding Regressions in Projects under Version Control Systems
13th International Conference on Software Technologies, year: 2018
2017
-
Consistency Checking in Requirements Analysis
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2017, year: 2017
2016
-
Tunable Online MUS/MSS Enumeration
Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, year: 2016