research
∙
05/08/2021
SuMo: A Mutation Testing Strategy for Solidity Smart Contracts
Smart Contracts are software programs that are deployed and executed wit...
share
research
∙
03/03/2020
EXPLAIN-IT: Towards Explainable AI for Unsupervised Network Traffic Analysis
The application of unsupervised learning approaches, and in particular o...
research
∙
03/03/2020
A Survey on Big Data for Network Traffic Monitoring and Analysis
Network Traffic Monitoring and Analysis (NTMA) represents a key componen...
research
∙
02/06/2020
Collaboration vs. choreography conformance in BPMN
The BPMN 2.0 standard is a widely used semi-formal notation to model fro...
research
∙
04/26/2019