Publications of Claudia Picardi

Papers in International Journals

[1] D. Gunetti, C. Picardi.
Keystroke Analysis of Free Text . ACM Transactions on Information and Systems Security (ACM TISSEC), to appear.
[2] L. Console, C. Picardi and D. Theseider Dupré.
Temporal Decision Trees: Bringing Model-based Diagnosis on Board. Journal of Artificial Intelligence Research. 19:469-512, 2003. (Download .PDF)
[3] F. Bergadano, D. Gunetti, C. Picardi.
Identity Verification through Dynamic Keystroke Analysis. Intelligent Data Analysis (IDA), 7(5):469-496,2003. (Download .PS.GZ)
[4]

L. Console, C. Picardi and M. Ribaudo.
Process Algebras for System Diagnosis. Artificial Intelligence, 142(1):19-51, 2002. (Download .PS.GZ)

[5] F. Bergadano, D. Gunetti, C. Picardi.
User Authentication through Keystroke Dynamics. ACM Transactions on Information and Systems Security (ACM TISSEC), 5(4):1-31, 2002. (Download .PS.GZ)

Papers in the Proceedings of International Workshops and Conferences

[6]

L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, D. Theseider Dupré.

Enhancing Web Services with Diagnostic Capabilities. ECOWS 2005 - 3rd IEEE European Conference on Web Services, Vaxjo, Sweden, November 14-16, 2005.

This paper is an enhanced version of the following paper by the same authors:

Towards self-diagnosing Web Services, IFIP/IEEE International Workshop on Self-Managed Systems & Services (SELFMAN 2005), Nice, France, May 2005.

[7] D. Gunetti, C. Picardi, G. Ruffo.
Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text. Ninth Conference of the Italian Association for Artificial Intelligence, Milan, Italy, Sptember 21-23, 2005.
[8] D. Gunetti, C. Picardi, G. Ruffo.
Keystroke Analysis of Different Languages: a Case Study. Sixth International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005.
[9] L. Ardissono, L. Console, A. Goy, G. Petrone, C. Picardi, M. Segnan, D. Theseider Dupré.
Cooperative Model-Based Diagnosis of Web Services. Sixteenth International Workshop on the Principles of Diagnosis, DX05, Pacific Grove, California (USA), June 1-3, 2005.
[10] C. Picardi, L. Console, F. Berger, J. Breeman, T. Kanakis, J. Moelands, S. Collas, E. Arbaretier, N. De Domenico, E. Girardelli, O. Dressler, P. Struss, B. Zilbermann.
AUTAS: a tool for supporting FMECA generation in aeronautic systems. Sixteenth European Conference on Artificial Intelligence, ECAI 2004, Valencia, Spain, August 22-27, 2004.(Download .PDF)
[11] C. Picardi, L. Console, D. Theseider Dupré.
Model Synthesis for model-based fault analysis. Fifteenth International Workshop on the Principles of Diagnosis, DX04, Carcassonne, France, June 23-25, 2004. (Download .PDF)
[12] C. Picardi.
Temporal Decision Trees for Diagnosis: An Extension. Advances in Artificial Intelligence (LNAI series): Eight Conference of the Italian Association for Artificial Intelligence, LNCS-LNAI 2829: 14-26, 2003. (Download .PS.GZ)
[13] L. Console, G. Correndo, C. Picardi, M. Segnan, R. Bray, A. Buffo, F. Cascio, P. Marchesini.
Tools for Integrating Diagnosis in the Design Process. An application to the Common Rail air and fuel delivery systems. 4th International Conference on Control and Diagnostics in Automotive Applications (CDAUTO03), Sestri Levante, Italy, June 18-20, 2003. (Download .PDF)
[14] L. Console, G. Correndo and C. Picardi.
Deriving Qualitative Deviations from Matlab Models. Fourtheenth International Workshop on the Principles of Diagnosis, DX03, Washington DC, USA, June 11-14, 2003. (Download .PS.GZ)
[15] C. Picardi, R. Bray, F. Cascio, L. Console, P. Dague, O. Dressler, D. Millet, B. Rehfus, P. Struss, C. Vallée.
IDD: Integrating Diagnosis in the Design of automotive systems. Fifteenth European Conference on Artificial Intelligence, ECAI 2002, Lyon, France, July 21-26, 2002. (Download .PDF)
[16] L. Console, C. Picardi and D. Theseider Dupré.
Temporal Decision Trees or the Lazy ECU Vindicated. Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, Seattle, Washington, August 4-10, 2001. (Download .PDF)
[17] F. Zhao, X. Koutsoukos, H. Hausseker, J. Reich, P. Cheung, C. Picardi.
Distributed Monitoring of Hybrid Systems: A model-directed approach. Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, Seattle, Washington, August 4-10, 2001. (Download .PDF)
[18] L. Console, C. Picardi and M. Ribaudo.
Diagnosis and Diagnosability Analysis using PEPA. 14th European Conference on Artificial Intelligence, ECAI2000, pages 131-135, Berlin, Germany, August 21-26 2000. (Download .PDF)
[19] L. Console, C. Picardi and M. Ribaudo.
Diagnosis and Diagnosability Analysis using Process Algebras. Eleventh International Workshop on the Principles of Diagnosis, DX00, Morelia, Mexico, June 8-10 2000. (Download .PS.GZ)
[20] L. Console, C. Picardi and D. Theseider Dupré.
Generating Temporal Decision Trees for Diagnosing Dynamic Systems. Eleventh International Workshop on the Principles of Diagnosis, DX00, Morelia, Mexico, June 8-10 2000. (Download .PS.GZ)

Posters in the Proceedings of International Workshops and Conferences

[21]

L. Ardissono, L. Console, A. Goy, G. Petrone, C.Picardi, M. Segnan, D. Theseider Dupré.

Advanced Fault Analysis in Web Service Composition . WWW2005, Fourteenth International World Wide Web Conference , Chiba, Japan, May 10-14, 2005.

Presentations at International Conferences

[22]

C.Picardi, P. Struss.

Qualitative Modeling for FMEA Automation: Open Problems and Research Challenges . MBR-04, International Conference on Model-Based Reasoning in Science and Engineering , Pavia, Italy, December 16-18, 2004.

Papers in Italian Journals

[23]

R. Bray, A. Buffo, F. Cascio, L. Console, C. Picardi, M. Segnan, D. Theseider Dupré.

Salvo: Model-based Systems Applications in Automotive Industry. Intelligenza Artificiale, I(3):13-20, 2004.