CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. - Federico Mari; Enrico Tronci (HSCC, 2007)

Model Checking Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (FMCAD, 2008)

On placing skips optimally in expectation. - Flavio Chierichetti; Silvio Lattanzi; Federico Mari; Alessandro Panconesi (WSDM, 2008)

Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. - Andrea Bobbio; Ester Ciancamerla; Saverio Di Blasi; Alessandro Iacomini; Federico Mari; Igor Melatti; Michele Minichino; Alessandro Scarlatti; Enrico Tronci; Roberta Terruggia; Emilio Zendri (CRiSIS, 2009)

Model Checking Coalition Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (SSS, 2009)

Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CAV, 2010)

Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

From Boolean Functional Equations to Control Software - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

Quantized Feedback Control Software Synthesis from System Level Formal Specifications - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CoRR, 2011)

Automatic control software synthesis for quantized discrete time hybrid systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CDC, 2012)

On model based synthesis of embedded control software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (EMSOFT, 2012)

Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ICTAC, 2012)

System Level Formal Verification via Model Checking Driven Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Fabio Merli; Enrico Tronci (CAV, 2013)

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

On-the-Fly Control Software Synthesis. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET. - Federico Mari; Igor Melatti; Enrico Tronci; Alberto Finzi (Mob. Inf. Syst., 2013)

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (DSD, 2014)

Patient-specific models from inter-patient biological models and clinical records. - Enrico Tronci; Toni Mancini; Ivano Salvo; Stefano Sinisi; Federico Mari; Igor Melatti; Annalisa Massini; Francesco Davì; Thomas Dierkes; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners; et al. (FMCAD, 2014)

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (PDP, 2014)

Demand-aware price policy synthesis and verification services for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2014)

Model-based synthesis of control software from system-level formal specifications. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ACM Trans. Softw. Eng. Methodol., 2014)

A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Enrico Tronci; Emad Samuel Malki Ebeid; Søren Aagaard Mikkelsen; Rune Hylsberg Jacobsen; Jorn Klaas Gruber; Barry P. Hayes; Francisco Huerta 001; Milan Prodanovic (DSD, 2015)

User Flexibility Aware Price Policy Synthesis for Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry Patrick Hayes; Milan Prodanovic; Lars Elmegaard (DSD, 2015)

Computing Biological Model Parameters by Parallel Statistical Model Checking. - Toni Mancini; Enrico Tronci; Ivano Salvo; Federico Mari; Annalisa Massini; Igor Melatti (IWBBIO (2), 2015)

Simulator Semantics for System Level Formal Verification. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (GandALF, 2015)

SyLVaaS: System Level Formal Verification as a Service. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Fundam. Informaticae, 2016)

Anytime system level verification via parallel random exhaustive hardware in the loop simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Microprocess. Microsystems, 2016)

On minimising the maximum expected verification time. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Enrico Tronci (Inf. Process. Lett., 2017)

Linearizing Discrete-Time Hybrid Systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (IEEE Trans. Autom. Control., 2017)

An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (ISMIS, 2018)

Computing Personalised Treatments through In Silico Clinical Trials. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Stefano Sinisi; Enrico Tronci; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners (RCRA@FLoC, 2018)

Parallel Statistical Model Checking for Safety Verification in Smart Grids. - Toni Mancini; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Jorn Klaas Gruber; Barry P. Hayes; Milan Prodanovic; Lars Elmegaard (SmartGridComm, 2018)

Control Software Synthesis for Cyber-Physical Systems with QKS. - Vadim Alimguzhin; Federico Mari; Igor Melatti (OVERLAY@AI*IA, 2019)

Electricity Network Constraint Management using Individualised Demand Aware Price Policies. - Igor Melatti; Vadim Alimguzhin; Federico Mari; Milan Prodanovic; Barry P. Hayes (OVERLAY, 2020)

AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. - Stefano Sinisi; Vadim Alimguzhin; Toni Mancini; Enrico Tronci; Federico Mari; Brigitte Leeners (OVERLAY, 2020)

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins. - Stefano Sinisi; Vadim Alimguzhin; Toni Mancini; Enrico Tronci; Federico Mari; Brigitte Leeners (Fundam. Informaticae, 2020)

Classification-Based Screening of Phlebopathic Patients using Smart Socks. - Emanuele D'Angelantonio; Leandro Lucangeli; Valentina Camomilla; Federico Mari; Guido Mascia; Antonio Pallotti (MeMeA, 2021)

A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management. - Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (Appl. Artif. Intell., 2021)

Visualisation of Control Software for Cyber-Physical Systems. - Igor Melatti; Federico Mari; Ivano Salvo; Enrico Tronci (Inf., 2021)

On checking equivalence of simulation scripts. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Enrico Tronci (J. Log. Algebraic Methods Program., 2021)

A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. - Igor Melatti; Federico Mari; Toni Mancini; Milan Prodanovic; Enrico Tronci (IEEE Trans. Ind. Electron., 2022)

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