Catalogo dei prodotti della ricerca

MELATTI, IGOR

MELATTI, IGOR  

Mostra prodotti
Risultati 1 - 20 di 74 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
A Case Study on Automated Generation of Integration Tests 2006 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Pecorari, M; Tofani, A; Tronci, Enrico
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management 2021 Mari, F.; Massini, A.; Melatti, I.; Tronci, E.
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 model checking technique for the verification of fuzzy control systems 2005 B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 2013 Mari, Federico; Melatti, Igor; Tronci, Enrico; Alberto, Finzi
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 2022 Melatti, I.; Mari, F.; Mancini, T.; Prodanovic, M. N.; Tronci, E.
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
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 2022 Mancini, T.; Melatti, I.; Tronci, E.
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
Automated Generation of Optimal Controllers through Model Checking Techniques 2008 G., DELLA PENNA; D., Magazzeni; A., Tofani; B., Intrigila; Melatti, Igor; Tronci, Enrico
Automatic Analysis of Hybrid Systems with the Murphi Verifier 2005 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Tronci, Enrico; VENTURINI ZILLI, M.
Automatic control software synthesis for quantized discrete time hybrid systems 2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 2006 G., DELLA PENNA; B., Intrigila; D., Magazzeni; Melatti, Igor; A., Tofani; Tronci, Enrico
Automatic synthesis of robust numerical controllers 2007 G., Della Penna; Daniele, Magazzeni; Alberto, Tofani; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico
Automatic Verification of a Turbogas Control System with the Murphi Verifier 2003 DELLA PENNA, G; Intrigila, B; Melatti, Igor; Minichino, M; Ciancamerla, E; Parisse, A; Tronci, Enrico; VENTURINI ZILLI, M.
Bounded Probabilistic Model Checking with the Murphi Verifier 2004 G., DELLA PENNA; B., Intrigila; Melatti, Igor; Tronci, Enrico; M., VENTURINI ZILLI
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems 2013 Giuseppe Della, Penna; Benedetto, Intrigila; Daniele, Magazzeni; Melatti, Igor; Tronci, Enrico