Federico Mari

Citado por

	Total	Desde 2019
Citas	870	486
Índice h	18	15
Índice i10	27	18

220

110

165

20092010201120122013201420152016201720182019202020212022202320244 6 21 30 37 43 48 55 49 80 45 133 211 56 35 6

Acceso público

Ver todo

12 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Enrico TronciSapienza University of RomeDirección de correo verificada de di.uniroma1.it
Igor MelattiDepartment of Computer Science, Sapienza University of RomeDirección de correo verificada de di.uniroma1.it
Ivano SalvoRicercatore, Sapienza University of RomeDirección de correo verificada de di.uniroma1.it
Toni ManciniComputer Science Department, Sapienza University of Rome, ItalyDirección de correo verificada de di.uniroma1.it
Annalisa MassiniAssociate Professor, Computer Science Department Sapienza University of RomeDirección de correo verificada de di.uniroma1.it
Vadim AlimguzhinResearch Fellow, Computer Science Department, Sapienza University of RomeDirección de correo verificada de di.uniroma1.it
Milan ProdanovicIMDEA EnergyDirección de correo verificada de imdea.org
Barry HayesAssociate Professor, University College CorkDirección de correo verificada de ucc.ie
Jorn Klaas GruberElectrical Systems Unit, IMDEA EnergyDirección de correo verificada de imdea.org
Brigitte LeenersDirector, Dept. of Reproductive Endocrinology, University Hospital Zurich,Dirección de correo verificada de usz.ch
Stefano SinisiComputer Science Department Sapienza University of RomeDirección de correo verificada de di.uniroma1.it
Marcel EgliProfessor, Lucerne University of Applied Sciences an ArtsDirección de correo verificada de hslu.ch
Søren Aagaard MikkelsenWise HomeDirección de correo verificada de wisehome.dk
Emad Samuel Malki EbeidFull Professor, University of Southern DenmarkDirección de correo verificada de sdu.dk
Rune Hylsberg JacobsenProfessorDirección de correo verificada de ece.au.dk
Silvio LattanziResearch Scientist at GoogleDirección de correo verificada de google.com
Flavio ChierichettiProfessor at Sapienza University of RomeDirección de correo verificada de chierichetti.name
Alessandro PanconesiComputer Science - Sapienza, University of RomeDirección de correo verificada de di.uniroma1.it
Alberto FinziProf. Computer Science, Università di Napoli "Federico II"Dirección de correo verificada de unina.it
Allen ClementDFINITY (was Google (was MPI-SWS (was UT Austin)))

Seguir

Federico Mari

Assistant Professor (tenure track) in Computer Science—University of Rome Foro Italico

Dirección de correo verificada de uniroma4.it - Página principal

Formal Methods Model checking Hybrid Systems Cyber-Physical Systems Control Synthesis


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
System level formal verification via model checking driven simulation T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	69	2013
SyLVaaS: System level formal verification as a service T Mancini, F Mari, A Massini, I Melatti, E Tronci Fundamenta Informaticae 149 (1-2), 101-132, 2016	57	2016
Computing biological model parameters by parallel statistical model checking T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015	46	2015
Demand-aware price policy synthesis and verification services for smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2014 IEEE International Conference on Smart Grid Communications …, 2014	40	2014
System level formal verification via distributed multi-core hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014	39	2014
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ... Intelligenza Artificiale, 1-16, 2018	36	2018
Patient-specific models from inter-patient biological models and clinical records E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ... 2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014	36	2014
Anytime system level verification via random exhaustive hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci 2014 17th Euromicro Conference on Digital System Design, 236-245, 2014	36	2014
User flexibility aware price policy synthesis for smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2015 Euromicro Conference on Digital System Design, 478-485, 2015	35	2015
Parallel statistical model checking for safety verification in smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2018 IEEE International Conference on Communications, Control, and Computing …, 2018	33	2018
Anytime system level verification via parallel random exhaustive hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci Microprocessors and Microsystems 41, 12-28, 2016	33	2016
Model-based synthesis of control software from system-level formal specifications F Mari, I Melatti, I Salvo, E Tronci ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-42, 2014	32	2014
On minimising the maximum expected verification time T Mancini, F Mari, A Massini, I Melatti, I Salvo, E Tronci Information Processing Letters 122, 8-16, 2017	30	2017
Synthesis of quantized feedback control software for discrete time linear hybrid systems F Mari, I Melatti, I Salvo, E Tronci International Conference on Computer Aided Verification, 180-195, 2010	30	2010
Optimal personalised treatment computation through in silico clinical trials on patient digital twins S Sinisi, V Alimguzhin, T Mancini, E Tronci, F Mari, B Leeners Fundamenta Informaticae 174 (3-4), 283-310, 2020	29	2020
Linearizing discrete-time hybrid systems V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci IEEE Transactions on Automatic Control 62 (10), 5357-5364, 2017	28	2017
On placing skips optimally in expectation F Chierichetti, S Lattanzi, F Mari, A Panconesi Proceedings of the 2008 International Conference on Web Search and Data …, 2008	21	2008
Automatic control software synthesis for quantized discrete time hybrid systems V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6120-6125, 2012	18	2012
A two-layer near-optimal strategy for substation constraint management via home batteries I Melatti, F Mari, T Mancini, M Prodanovic, E Tronci IEEE Transactions on Industrial Electronics 69 (8), 8566-8578, 2021	16	2021
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks A Bobbio, E Ciancamerla, S Di Blasi, A Iacomini, F Mari, I Melatti, ... 2009 Fourth International Conference on Risks and Security of Internet and …, 2009	16	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores