Catalogo dei prodotti della ricerca

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 74
Titolo Data di pubblicazione Autore(i) File
Computational models of myocardial endomysial collagen arrangement 2007 Benedetto, Intrigila; Melatti, Igor; Alberto, Tofani; Guido, Macchiarelli
Automatic synthesis of robust numerical controllers 2007 G., Della Penna; Daniele, Magazzeni; Alberto, Tofani; Benedetto, Intrigila; Melatti, Igor; Tronci, Enrico
Disk Based Software Verification via Bounded Model Checking 2007 Fernando, Brizzolari; Melatti, Igor; Tronci, Enrico; GIUSEPPE DELLA, Penna
Automated Generation of Optimal Controllers through Model Checking Techniques 2008 G., DELLA PENNA; D., Magazzeni; A., Tofani; B., Intrigila; Melatti, Igor; Tronci, Enrico
NashMV 2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
Model Checking Nash Equilibria in MAD Distributed Systems 2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, L; Clement, A; Li, H.
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 2009 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 2009 Andrea, Bobbio; Ester, Ciancamerla; Saverio Di, Blasi; Alessandro, Iacomini; Mari, Federico; Melatti, Igor; Michele, Minichino; Alessandro, Scarlatti; Tronci, Enrico; Roberta, Terruggia; Emilio, Zendri
Parallel and distributed model checking in Eddy 2009 Melatti, Igor; R., Palmer; G., Sawaya; Y., Yang; R. M., Kirby; G., Gopalakrishnan
Formal verification at system level 2009 S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; Tronci, Enrico
QKS 2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model Checking Satellite Operational Procedures 2011 F., Cavaliere; G., Minei; G., Verzino; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Y., Yushtein
From Boolean Relations to Control Software 2011 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Control Software Visualization 2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Synthesizing Control Software from Boolean Relations 2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Undecidability of quantized state feedback control for discrete time linear hybrid systems 2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
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
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
On model based synthesis of embedded control software 2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Mostrati risultati da 21 a 40 di 74
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile