Sfoglia per Autore
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
2007 Mari, Federico; Tronci, Enrico
NashMV
2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li
On Placing Skips Optimally In Expectation.
2008 Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro
Model Checking Nash Equilibria in MAD Distributed Systems
2008 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, L; Clement, A; Li, H.
Formal verification at system level
2009 S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; 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
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
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
Synthesizing Control Software from Boolean Relations
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Control Software Visualization
2012 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
Undecidability of quantized state feedback control for discrete time linear hybrid systems
2012 Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Model checking driven simulation of sat procedures
2012 Giovanni, Verzino; F., Cavaliere; Mari, Federico; Melatti, Igor; G., Minei; Salvo, Ivano; Y., Yushtein; Tronci, Enrico
Automatic control software synthesis for quantized discrete time hybrid systems
2012 Alimguzhin, Vadim; 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
System level formal verification via model checking driven simulation
2013 Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
2013 Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems | 2007 | Mari, Federico; Tronci, Enrico | |
NashMV | 2008 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Lorenzo, Alvisi; Allen, Clement; Harry, Li | |
On Placing Skips Optimally In Expectation. | 2008 | Chierichetti, Flavio; Lattanzi, Silvio; Mari, Federico; Panconesi, Alessandro | |
Model Checking Nash Equilibria in MAD Distributed Systems | 2008 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, L; Clement, A; Li, H. | |
Formal verification at system level | 2009 | S., Mazzini; S., Puri; Mari, Federico; Melatti, Igor; 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 | |
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 | |
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 | |
Synthesizing Control Software from Boolean Relations | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Control Software Visualization | 2012 | 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 | |
Undecidability of quantized state feedback control for discrete time linear hybrid systems | 2012 | Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico | |
Model checking driven simulation of sat procedures | 2012 | Giovanni, Verzino; F., Cavaliere; Mari, Federico; Melatti, Igor; G., Minei; Salvo, Ivano; Y., Yushtein; Tronci, Enrico | |
Automatic control software synthesis for quantized discrete time hybrid systems | 2012 | Alimguzhin, Vadim; 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 | |
System level formal verification via model checking driven simulation | 2013 | Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Fabio, Merli; Tronci, Enrico | |
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software | 2013 | Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico |
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