A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management von Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

Volltext

Breathing Monitoring in Soccer: Part I-Validity of Commercial Wearable Sensors von Innocenti, Lorenzo, Romano, Chiara, Greco, Giuseppe, Nuccio, Stefano, Bellini, Alessio, Mari, Federico, Silvestri, Sergio, Schena, Emiliano, Sacchetti, Massimo, Massaroni, Carlo, Nicolò, Andrea

Volltext

Visualisation of Control Software for Cyber-Physical Systems von Melatti, Igor, Mari, Federico, Salvo, Ivano, Tronci, Enrico

Volltext

A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries von Melatti, Igor, Mari, Federico, Mancini, Toni, Prodanovic, Milan, Tronci, Enrico

Volltext

Simulator Semantics for System Level Formal Verification von Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

Volltext

Linearizing Discrete-Time Hybrid Systems von Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Volltext

On minimising the maximum expected verification time von Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Volltext

Anytime system level verification via parallel random exhaustive hardware in the loop simulation von Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

Volltext

On checking equivalence of simulation scripts von Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Tronci, Enrico

Volltext

Model-based synthesis of control software from system-level formal specifications von Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Volltext

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins von Sinisi, Stefano, Alimguzhin, Vadim, Mancini, Toni, Tronci, Enrico, Mari, Federico, Leeners, Brigitte

Volltext

The Preventive Role of Physical Activity in Systemic Sclerosis: A Cross-Sectional Study on the Correlation with Clinical Parameters and Disease Progression von Antinozzi, Cristina, Grazioli, Elisa, De Santis, Maria, Motta, Francesca, Sgrò, Paolo, Mari, Federico, Mauri, Caterina, Parisi, Attilio, Caporossi, Daniela, Duranti, Guglielmo, Ceci, Roberta, Di Luigi, Luigi, Dimauro, Ivan

Volltext

System Level Formal Verification via Model Checking Driven Simulation von Mancini, Toni, Mari, Federico, Massini, Annalisa, Melatti, Igor, Merli, Fabio, Tronci, Enrico

Volltext

Computing Biological Model Parameters by Parallel Statistical Model Checking von Mancini, Toni, Tronci, Enrico, Salvo, Ivano, Mari, Federico, Massini, Annalisa, Melatti, Igor

Volltext

An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks von Mancini, Toni, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Volltext

A Multi-Hop Advertising Discovery and Delivering Protocol for Multi Administrative Domain MANET von Mari, Federico, Melatti, Igor, Tronci, Enrico, Finzi, Alberto

Volltext

Proceedings Second Workshop on Synthesis: Control Software Synthesis from System Level Formal Specifications von Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Volltext

A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries von Melatti, Igor, Mari, Federico, Mancini, Toni, Prodanovic, Milan, Tronci, Enrico

Volltext

On-the-Fly Control Software Synthesis von Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Volltext

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software von Alimguzhin, Vadim, Mari, Federico, Melatti, Igor, Salvo, Ivano, Tronci, Enrico

Volltext