Federico Mari

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 20

Top Topics

Formal Verification

Top Venues

Fundam. Informaticae

Publications

Lorenzo Innocenti, Chiara Romano, Giuseppe Greco, Stefano Nuccio, Alessio Bellini, Federico Mari, Sergio Silvestri, Emiliano Schena, Massimo Sacchetti, Carlo Massaroni, Andrea Nicolò
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors. Sensors 24 (14) (2024)
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. IEEE Trans. Ind. Electron. 69 (8) (2022)
Emanuele D'Angelantonio, Leandro Lucangeli, Valentina Camomilla, Federico Mari, Guido Mascia, Antonio Pallotti
Classification-Based Screening of Phlebopathic Patients using Smart Socks. MeMeA (2021)
Igor Melatti, Federico Mari, Ivano Salvo, Enrico Tronci
Visualisation of Control Software for Cyber-Physical Systems. Inf. 12 (5) (2021)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. CoRR (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
Optimal personalised treatment computation through in silico clinical trials on patient digital twins. CoRR (2021)
Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management. Appl. Artif. Intell. 35 (5) (2021)
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. CoRR (2021)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
On checking equivalence of simulation scripts. J. Log. Algebraic Methods Program. 120 (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. OVERLAY (2020)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins. Fundam. Informaticae 174 (3-4) (2020)
Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes
Electricity Network Constraint Management using Individualised Demand Aware Price Policies. OVERLAY (2020)
Vadim Alimguzhin, Federico Mari, Igor Melatti
Control Software Synthesis for Cyber-Physical Systems with QKS. OVERLAY@AI*IA (2019)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. ISMIS (2018)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
Computing Personalised Treatments through In Silico Clinical Trials. RCRA@FLoC (2018)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. SmartGridComm (2018)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
On minimising the maximum expected verification time. Inf. Process. Lett. 122 (2017)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Linearizing Discrete-Time Hybrid Systems. IEEE Trans. Autom. Control. 62 (10) (2017)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocess. Microsystems 41 (2016)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
SyLVaaS: System Level Formal Verification as a Service. Fundam. Informaticae 149 (1-2) (2016)
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, Milan Prodanovic
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. DSD (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Simulator Semantics for System Level Formal Verification. GandALF (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
SyLVaaS: System Level Formal Verification as a Service. PDP (2015)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
User Flexibility Aware Price Policy Synthesis for Smart Grids. DSD (2015)
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
Computing Biological Model Parameters by Parallel Statistical Model Checking. IWBBIO (2) (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. PDP (2014)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Demand-aware price policy synthesis and verification services for Smart Grids. SmartGridComm (2014)
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, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille
Patient-specific models from inter-patient biological models and clinical records. FMCAD (2014)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. DSD (2014)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Model-based synthesis of control software from system-level formal specifications. ACM Trans. Softw. Eng. Methodol. 23 (1) (2014)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On-the-Fly Control Software Synthesis. SPIN (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. SPIN (2013)
Federico Mari, Igor Melatti, Enrico Tronci, Alberto Finzi
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET. Mob. Inf. Syst. 9 (3) (2013)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
System Level Formal Verification via Model Checking Driven Simulation. CAV (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On Model Based Synthesis of Embedded Control Software CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic control software synthesis for quantized discrete time hybrid systems. CDC (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software CoRR (2012)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. ICTAC (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On model based synthesis of embedded control software. EMSOFT (2012)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
From Boolean Functional Equations to Control Software CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Quantized Feedback Control Software Synthesis from System Level Formal Specifications CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. CAV (2010)
Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. CRiSIS (2009)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS (2009)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD (2008)
Flavio Chierichetti, Silvio Lattanzi, Federico Mari, Alessandro Panconesi
On placing skips optimally in expectation. WSDM (2008)
Federico Mari, Enrico Tronci
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. HSCC (2007)