Federico Mari

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