 | 2011 |
|---|
| 9 |       | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci:
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
CoRR abs/1105.5640: (2011) |
| 8 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci:
From Boolean Functional Equations to Control Software
CoRR abs/1106.0468: (2011) |
| 7 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci:
Quantized Feedback Control Software Synthesis from System Level Formal Specifications
CoRR abs/1107.5638: (2011) |
| 2010 |
|---|
| 6 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci:
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.
CAV 2010: 180-195 |
| 2009 |
|---|
| 5 | | Andrea Bobbio,
Ester Ciancamerla,
Saverio Di Blasi,
Alessandro Iacomini,
Federico Mari,
Igor Melatti,
Michele Minichino,
Alessandro Scarlatti,
Enrico Tronci,
Roberta Terruggia,
Emilio Zendri:
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.
CRiSIS 2009: 90-97 |
| 4 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci,
Lorenzo Alvisi,
Allen Clement,
Harry C. Li:
Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
SSS 2009: 531-546 |
| 2008 |
|---|
| 3 | | Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci,
Lorenzo Alvisi,
Allen Clement,
Harry C. Li:
Model Checking Nash Equilibria in MAD Distributed Systems.
FMCAD 2008: 1-8 |
| 2 | | Flavio Chierichetti,
Silvio Lattanzi,
Federico Mari,
Alessandro Panconesi:
On placing skips optimally in expectation.
WSDM 2008: 15-24 |
| 2007 |
|---|
| 1 | | Federico Mari,
Enrico Tronci:
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.
HSCC 2007: 399-412 |
Data released under the ODC-BY 1.0 license — See also our legal information page