 | 2009 |
| 6 |  | Giuseppe Della Penna,
Benedetto Intrigila,
Daniele Magazzeni:
Evaluating Fuzzy Controller Robustness Using Model Checking.
WILF 2009: 303-311 |
| 2008 |
| 5 |  | Giuseppe Della Penna,
Nadia Lauri,
Daniele Magazzeni,
Benedetto Intrigila:
OBDD Compression of Numerical Controllers.
ICINCO-ICSO 2008: 43-50 |
| 4 |  | Maurizio Talamo,
Franco Arcieri,
Giuseppe Della Penna,
Andrea Dimitri,
Benedetto Intrigila,
Daniele Magazzeni:
Verifying Extended Criteria for the Interoperability of Security Devices.
OTM Conferences (2) 2008: 1131-1139 |
| 2007 |
| 3 |  | Giuseppe Della Penna,
Francesca Fallucchi,
Benedetto Intrigila,
Daniele Magazzeni:
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers.
AI*IA 2007: 230-241 |
| 2006 |
| 2 |  | Giuseppe Della Penna,
Daniele Magazzeni,
Alberto Tofani,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci:
Automatic generation of optimal controllers through model checking techniques.
ICINCO-ICSO 2006: 26-33 |
| 2005 |
| 1 |  | Benedetto Intrigila,
Daniele Magazzeni,
Igor Melatti,
Enrico Tronci:
A Model Checking Technique for the Verification of Fuzzy Control Systems.
CIMCA/IAWTIC 2005: 536-542 |