27 citations · 59 across the 21 of their papers we have counts for
4 papers · 1 filter
Approximate Constrained Lumping of Chemical Reaction Networks
Alexander Leguizamon-Robayo, Antonio Jiménez-Pastor, Micro Tribastone +2
Gaining insights from realistic dynamical models of biochemical systems can be challenging given their large number of state variables. Model reduction techniques can mitigate this…
Efficient Network Embedding by Approximate Equitable Partitions
Giuseppe Squillace, Mirco Tribastone, Max Tschaikowski +1
Structural network embedding is a crucial step in enabling effective downstream tasks for complex systems that aims to project a network into a lower-dimensional space while preser…
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…
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…