MELATTI, IGOR

MELATTI, IGOR  

DIPARTIMENTO DI INFORMATICA  

Mostra prodotti
Risultati 1 - 20 di 74 (tempo di esecuzione: 0.038 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 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
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 2021 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
CMurphi 2004 Giuseppe Della, Penna; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico; Zilli, Marisa
Collaboration on iss experiment data and knowledge representation 2012 E. A., Kuijpers; L., Carotenuto; J. C., Malapert; D., Markov Vetter; Melatti, Igor; A., Orlandini; R., Pinchuk
Computational models of myocardial endomysial collagen arrangement 2007 Benedetto, Intrigila; Melatti, Igor; Alberto, Tofani; Guido, Macchiarelli
Computational Models of the Micro Architecture of the Cardiac Endomysial Collagen 2005 Intrigila, B; Macchiarelli, G; Melatti, Igor; Tofani, A.
Computing biological model parameters by parallel statistical model checking 2015 Mancini, Toni; Tronci, Enrico; Salvo, Ivano; Mari, Federico; Massini, Annalisa; Melatti, Igor