This section collects the software tools developed and reused across AIMet Lab projects. Each page provides purpose, key features, and how to use the tool in real-world settings.
BRIDGE
Business Rules Inference for Decision Guidance Engine
ASP – Digital Twin – Smart Tourism – Explainable AI
RUMOR
Review-based Understanding & Mining of Online Reputation
NLP/LLM – Sentiment Analysis – Tourism – Explainable AI
TASTE
Terroir-Aligned Storytelling & Text Engine
LLM – Knowledge Graph – Food & Wine – Explainable AI
TRACES
TRavel Analytics, Clustering & Economic Segmentation
AI Analytics – NLP – Tourism – Explainable AI
BISTÌRIS
Ontology for cultural heritage
Knowledge Graph – Ontology engineering – Semantic Search – Digital Humanities
SYNTHVAL
Python package for the validation of synthetically generate data
Synthetic data – Data Validation – Medical Imaging – Healthcare
SECURED-Framework-Verification
Framework for system security verification and threat detection
OWL (Web Ontology Language) – Rule-Based Reasoning – Security
PRIN – WOW
Ontology archive of actresses’ writings
Ontology – Knowledge Graph – Performing Arts – Digital Humanities
REQH
Converting natural language into Property Specification Patterns for automated analysis
LLMs – NLP – Software verification
SW-109
Verification tool design to improve reliability of NNs
Neural Networks – Verification – Reliability – AI/ML Systems
SW-107
Training AI models for Anomaly Detection in the domain of Industrial Systems
AI/ML – Anomaly detection – Industrial systems – Predictive maintenance
REQT
Open source tool for automatically tests reactive black-box systems using formal specifications.
Formal methods – Automated testing – Reactive Systems – Software verification
NNVER
Verification tool to enhance the reliability of Neural Networks for safety-critical CPSs.
NNs – Object detection – Cyber-physical systems – Safety-critical systems