Federico Mari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
10
Active years
2008–2018
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISMIS | An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2015 | DSD | A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad Samuel Malki Ebeid, Sren Aagaard Mikkelsen, Rune Hylsberg Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic |
| 2015 | DSD | 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 |
| 2015 | PDP | SyLVaaS: System Level Formal Verification as a Service. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | DSD | Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | FMCAD | 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 Rblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille |
| 2014 | PDP | System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2013 | CAV | System Level Formal Verification via Model Checking Driven Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci |
| 2012 | EMSOFT | On model based synthesis of embedded control software. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2012 | ICTAC | Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2010 | CAV | Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2009 | CRiSIS | 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 |
| 2009 | SSS | Model Checking Coalition Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 2008 | FMCAD | Model Checking Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 2008 | WSDM | On placing skips optimally in expectation. | Flavio Chierichetti, Silvio Lattanzi, Federico Mari, Alessandro Panconesi |