Journal

B. Intrigila, G.Macchiarelli, I.Melatti, A.Tofani
Computational Models of Endomysial Collagen Arrangement
Computer Methods and Programs in Biomedicine. Volume 86 , Issue 3 (June 2007). Pages 232-244

Giuseppe Della Penna, Daniele Magazzeni, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli, Ester Ciancamerla, Michele Minichino, Alberto Tofani
Automatic Verication of Hybrid System Controllers with the CMurphi Verifier
International Journal of Discrete Event Control Systems (IJDECS)

Alberto Tofani, Elisa Castorini, Paolo Palazzari, Andrij Usov, Cesaire Beyel, Erich Rome, Paolo Servillo
An Ontological Approach to Simulate Critical Infrastructures
International Journal of Computation Science (JoCS)

Antonio De Nicola, Alberto Tofani, Giordano Vicoli, Maria Luisa Villani
An An MDA-based Approach to Crisis and Emergency Management Modeling
International Journal on Advances in Intelligent Systems 5 (1 & 2), pag. 89-100

Proceedings

B. Intrigila, G. Macchiarelli, I. Melatti, A. Tofani
Computational Models of the Micro Architecture of the Cardiac Endomysial Collagen
(European Medical and Biological Engineering Conference, 2005)

Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci
A Model Checking Technique for the Verification of Fuzzy Control Systems
Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce Vol-1 (CIMCA-IAWTIC'06) - Volume 01. Pages: 536 - 542

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci
Automatic Generation Of Optimal Controllers Through Model Checking Techniques
Proccedings of the International Conference on Informatics in Control, Automation and Robotics, 2006

Benedetto Intrigila, Igor Melatti, Alberto Tofani, Enrico Tronci, Giuseppe Della Penna, Orazio Raparelli, Marcello Pecorari
A Case Study on Automated Generation of Integration Tests
Forum on specification & Design Languages 2006

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci
Automatic Synthesis of Robust Numerical Controllers
IEEE Proceedings of 3rd International Conference on Autonomic and Autonomous Systems, ICAS 2007

Alfredo Navarra, Alberto Tofani
Distributed Localization Strategies for Sensor Networks
IEEE Internatonal Conference on Mobile Adhoc and Sensor System, 2007

Vincenzo Fioriti, Silvia Ruzzante, Elisa Castorini, Antonio Di Pietro, Alberto Tofani
Modelling Critical Infrastructures in presence of lack of data with simulated annealing like algorithms
To appear in the Proceedings of the 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009)

Book chapters

Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Alberto Tofani, Enrico Tronci
Automatic Generation Of Optimal Controllers Through Model Checking Techniques
Informatics in Control Automation and Robotics. Volume 15. Pages 107-119. Springer Berlin Heidelberg

Vincenzo Masucci, Francesco Adinolfi, Paolo Servillo, Giovanni Dipoppa, Alberto Tofani
Ontology-Based Critical Infrastructure Modeling and Simulation
Critical Infrastructure Protection III. Volume 311/2009. Pages 229-242. Springer Boston

Vittorio Rosato, Vincenzo Artale, Giovanna Pisacane, Gianmaria Sannino, Maria Vittoria Struglia, Aberto Tofani and Eddy Pascucci
Risk analysis and crisis scenario evaluation in Critical Infrastructures Protection
Efficient Decision Support Systems: Practice and Challenges From Current to Future / Book 2, ISBN 978-953-307-441-2. (InTech Publicher, 2011)