Seuraa
Federico Mari
Federico Mari
Associate Professor in Computer Science – University of Rome Foro Italico
Vahvistettu sähköpostiosoite verkkotunnuksessa uniroma4.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
722013
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
582016
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
472015
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
422014
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
402014
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
382014
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
372018
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
362018
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
362015
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
362014
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
352016
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
332020
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
322017
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
322014
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
302010
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
282017
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
202008
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
182021
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
182012
An efficient algorithm for network vulnerability analysis under malicious attacks
T Mancini, F Mari, I Melatti, I Salvo, E Tronci
Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018 …, 2018
162018
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20