3 papers
cs.LG2024
Accurate and fast anomaly detection in industrial processes and IoT environments
Simone Tonini, Andrea Vandin, Francesca Chiaromonte +2
We present a novel, simple and widely applicable semi-supervised procedure for anomaly detection in industrial and IoT environments, SAnD (Simple Anomaly Detection). SAnD comprises…
cs.SE2024
White-box validation of quantitative product lines by statistical model checking and process mining
Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte +2
We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on th…
eess.SY2023
Optimality-preserving Reduction of Chemical Reaction Networks
Kim G. Larsen, Daniele Toller, Mirco Tribastone +2
Across many disciplines, chemical reaction networks (CRNs) are an established population model defined as a system of coupled nonlinear ordinary differential equations. In many app…