research
∙
06/13/2023
NetGAP: A Graph-Grammar approach for concept design of networked platforms with extra-functional requirements
During the concept design of complex networked systems, concept develope...
share
research
∙
05/01/2023
Security-Enhancing Digital Twins: Characteristics, Indicators, and Future Perspectives
The term "digital twin" (DT) has become a key theme of the cyber-physica...
research
∙
03/16/2023
Finding Minimum-Cost Explanations for Predictions made by Tree Ensembles
The ability to explain why a machine learning model arrives at a particu...
research
∙
05/06/2021
Scaling up Memory-Efficient Formal Verification Tools for Tree Ensembles
To guarantee that machine learning models yield outputs that are not onl...
research
∙
05/10/2019
Formal Verification of Input-Output Mappings of Tree Ensembles
Recent advances in machine learning and artificial intelligence are now ...
research
∙
05/01/2019
On generating network traffic datasets with synthetic attacks for intrusion detection
Most research in the area of intrusion detection requires datasets to de...
research
∙
01/17/2018
