2008 |
4 | EE | 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 | EE | 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 |