research
∙
03/31/2023
Design by Contract Framework for Quantum Software
To realize reliable quantum software, techniques to automatically ensure...
share
research
∙
10/12/2019
Preliminary Systematic Literature Review of Machine Learning System Development Process
Previous machine learning (ML) system development research suggests that...
research
∙
06/29/2019
Incidents Are Meant for Learning, Not Repeating: Sharing Knowledge About Security Incidents in Cyber-Physical Systems
Cyber-physical systems (CPSs) are part of most critical infrastructures ...
research
∙
02/26/2019