IRIS

Sfoglia per Autore  MARI, FEDERICO

Opzioni
Mostrati risultati da 1 a 20 di 55
Titolo Data di pubblicazione Autore(i) File
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 1-gen-2007 Mari, F; E., Tronci
NashMV 1-gen-2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
On Placing Skips Optimally In Expectation 1-gen-2008 Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro
Model Checking Nash Equilibria in MAD Distributed Systems 1-gen-2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, L; Clement, A; Li, H.
Formal verification at system level 1-gen-2009 S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; Tronci, Enrico
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 1-gen-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 1-gen-2009 Andrea, Bobbio; Ester, Ciancamerla; Saverio Di, Blasi; Alessandro, Iacomini; Mari, Federico; Melatti, Igor; Michele, Minichino; Alessandro, Scarlatti; Tronci, Enrico; Roberta, Terruggia; Emilio, Zendri
QKS 1-gen-2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 1-gen-2010 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model Checking Satellite Operational Procedures 1-gen-2011 F., Cavaliere; G., Minei; G., Verzino; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Y., Yushtein
From Boolean Relations to Control Software 1-gen-2011 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Control Software Visualization 1-gen-2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Synthesizing Control Software from Boolean Relations 1-gen-2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 1-gen-2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model checking driven simulation of sat procedures 1-gen-2012 Giovanni, Verzino; F., Cavaliere; Mari, Federico; Melatti, Igor; G., Minei; Salvo, Ivano; Y., Yushtein; Tronci, Enrico
Undecidability of quantized state feedback control for discrete time linear hybrid systems 1-gen-2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
On model based synthesis of embedded control software 1-gen-2012 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; 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
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 1-gen-2013 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
System level formal verification via model checking driven simulation 1-gen-2013 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico
Mostrati risultati da 1 a 20 di 55
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