 | 2009 |
| 4 |  | Vincenzo Fioriti,
Silvia Ruzzante,
Elisa Castorini,
A. Di Pietro,
Alberto Tofani:
Modelling Critical Infrastructures in Presence of Lack of Data with Simulated Annealing - Like Algorithms.
SAFECOMP 2009: 81-88 |
| 2007 |
| 3 |  | Benedetto Intrigila,
Igor Melatti,
Alberto Tofani,
Guido Macchiarelli:
Computational models of myocardial endomysial collagen arrangement.
Computer Methods and Programs in Biomedicine 86(3): 232-244 (2007) |
| 2006 |
| 2 |  | Giuseppe Della Penna,
Alberto Tofani,
Marcello Pecorari,
Orazio Raparelli,
Benedetto Intrigila,
Igor Melatti,
Enrico Tronci:
A Case Study on Automated Generation of Integration Tests.
FDL 2006: 278-284 |
| 1 |  | 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 |