MARI, FEDERICO
MARI, FEDERICO
Dipartimento di Scienze Motorie Umane e della Salute
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management
2021-01-01 Mari, F; Massini, A; Melatti, I; Tronci, E
A glimpse of SmartHG project test-bed and communication infrastructure
2015-01-01 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
2013-01-01 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET
2013-01-01 Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
2021-01-01 Melatti, I; Mari, F; Mancini, T; Prodanovic, M N; Tronci, E
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials
2020-01-01 Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Mari, F; Leeners, B
An efficient algorithm for network vulnerability analysis under malicious attacks
2018-01-01 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine
2016-01-01 Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
2016-01-01 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation
2014-01-01 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Automatic control software synthesis for quantized discrete time hybrid systems
2012-01-01 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors
2024-01-01 Innocenti, Lorenzo; Romano, Chiara; Greco, Giuseppe; Nuccio, Stefano; Bellini, Alessio; Mari, Federico; Silvestri, Sergio; Schena, Emiliano; Sacchetti, Massimo; Massaroni, Carlo; Nicolo', Andrea
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
2007-01-01 Mari, F; E., Tronci
Classification-based screening of phlebopathic patients using smart socks
2021-01-01 D'Angelantonio, E; Lucangeli, L; Camomilla, V; Mari, F; Mascia, G; Pallotti, A
Computing biological model parameters by parallel statistical model checking
2015-01-01 Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction
2018-01-01 Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Stefano, Sinisi; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B.
Control software synthesis for cyber-physical systems with QKS
2020-01-01 Alimguzhin, V; Mari, F; Melatti, I
Control Software Visualization
2012-01-01 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids
2014-01-01 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard
Electricity network constraint management using individualised demand aware price policies
2020-01-01 Melatti, I; Alimguzhin, V; Mari, F; Prodanovic, M; Hayes, B
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management | 1-gen-2021 | Mari, F; Massini, A; Melatti, I; Tronci, E | |
A glimpse of SmartHG project test-bed and communication infrastructure | 1-gen-2015 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Tronci, Enrico; Ebeid, E.; Mikkelsen, S. A.; Jacobsen, Rune Hylsberg; Gruber, Jorn K.; Hayes, Barry; Huerta, Francisco; Prodanovic, Milan | |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software | 1-gen-2013 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET | 1-gen-2013 | Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi | |
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries | 1-gen-2021 | Melatti, I; Mari, F; Mancini, T; Prodanovic, M N; Tronci, E | |
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials | 1-gen-2020 | Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Mari, F; Leeners, B | |
An efficient algorithm for network vulnerability analysis under malicious attacks | 1-gen-2018 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine | 1-gen-2016 | Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Mancini, T; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Krüger, T H C; Egli, M; Ille, F; Leeners, B | |
Anytime system level verification via parallel random exhaustive hardware in the loop simulation | 1-gen-2016 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation | 1-gen-2014 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Automatic control software synthesis for quantized discrete time hybrid systems | 1-gen-2012 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors | 1-gen-2024 | Innocenti, Lorenzo; Romano, Chiara; Greco, Giuseppe; Nuccio, Stefano; Bellini, Alessio; Mari, Federico; Silvestri, Sergio; Schena, Emiliano; Sacchetti, Massimo; Massaroni, Carlo; Nicolo', Andrea | |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems | 1-gen-2007 | Mari, F; E., Tronci | |
Classification-based screening of phlebopathic patients using smart socks | 1-gen-2021 | D'Angelantonio, E; Lucangeli, L; Camomilla, V; Mari, F; Mascia, G; Pallotti, A | |
Computing biological model parameters by parallel statistical model checking | 1-gen-2015 | Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor | |
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction | 1-gen-2018 | Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Stefano, Sinisi; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B. | |
Control software synthesis for cyber-physical systems with QKS | 1-gen-2020 | Alimguzhin, V; Mari, F; Melatti, I | |
Control Software Visualization | 1-gen-2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids | 1-gen-2014 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard | |
Electricity network constraint management using individualised demand aware price policies | 1-gen-2020 | Melatti, I; Alimguzhin, V; Mari, F; Prodanovic, M; Hayes, B |