MARI, FEDERICO
MARI, FEDERICO
DIPARTIMENTO DI INFORMATICA
A glimpse of SmartHG project test-bed and communication infrastructure
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
2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET
2013 Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi
An efficient algorithm for network vulnerability analysis under malicious attacks
2018 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine
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
2016 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation
2014 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico
Automatic control software synthesis for quantized discrete time hybrid systems
2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
2007 Mari, Federico; Tronci, Enrico
Computing biological model parameters by parallel statistical model checking
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.
2018 Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B.
Control Software Visualization
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids
2014 Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard
Formal verification at system level
2009 S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; Tronci, Enrico
From Boolean Relations to Control Software
2011 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems
2013 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Linearising discrete time hybrid systems
2017 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model Based Synthesis of Control Software from System Level Formal Specifications
2014 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model Checking Coalition Nash Equilibria in MAD Distributed Systems
2009 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A glimpse of SmartHG project test-bed and communication infrastructure | 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 | 2013 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET | 2013 | Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi | |
An efficient algorithm for network vulnerability analysis under malicious attacks | 2018 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine | 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 | 2016 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation | 2014 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico | |
Automatic control software synthesis for quantized discrete time hybrid systems | 2012 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems | 2007 | Mari, Federico; Tronci, Enrico | |
Computing biological model parameters by parallel statistical model checking | 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. | 2018 | Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, and B. | |
Control Software Visualization | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids | 2014 | Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; J., Gruber; B., Hayes; M., Prodanovic; L., Elmegaard | |
Formal verification at system level | 2009 | S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; Tronci, Enrico | |
From Boolean Relations to Control Software | 2011 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems | 2013 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Linearising discrete time hybrid systems | 2017 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Model Based Synthesis of Control Software from System Level Formal Specifications | 2014 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Model Checking Coalition Nash Equilibria in MAD Distributed Systems | 2009 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li |