Claudia Picardi - Curriculum Vitae et Studiorum
1 Address
Dipartimento di Informatica Università degli Studi di Torino C.so Svizzera 185
10149, Torino Italy
Phone: +39-0116706818 Fax: +39-011751603
2 Position and Degree
• Currently Computer Science Ph.D. student at the Dipartimento di Informatica of Università degli Studi di Torino, Italy. Advisor: Prof. L. Console.
• March 1999: Won a Computer Science Ph.D. position fully supported by the Italian Government c/o Università degli Studi di Torino, Italy. Ph.D., Nov 1998 - Oct 2002.
• March 1998: Took laurea summa cum laude in Computer Science at Università degli Studi di Milano, Italy.
3 Research Interests
Current research interests concern mainly model based diagnosis; in particular:
• temporal aspects
Time is not a secondary issue in diagnosing dynamic systems. I am mainly interested in the use of temporal information in embedded systems, where data have to be
compressed in order to be stored and used efficiently. Since now, my research work has been focused on the development of algorithms to generate temporal decision trees ([8], [5]).
• modeling issues
Along with my research group I have started an investigation the use of Process Algebras (a formalism widely used in other areas, such as Model Checking or
Performance Evaluation) to model systems for diagnosis ([1], [6], [7]). Future work on this subject will concern mainly the exploitation of Process Algebras extensions (timed, stochastic, etc.) and model checking formalisms (such as m-calculus) for testing diagnosability under different conditions.
• diagnosability
Existing systems often do not provide information suitable for diagnosis, because of a misplacement or lack of sensors. Thus diagnosability tests should be integrated in the design process especially for those systems that require on board diagnosis ([9]). Here my research focuses mainly on modeling systems in order to test them for
diagnosability under different sets of sensors or different models of time (see [7] as a preliminary work), and on integration of such tests in existing design tools ([9], [10]).
Early research interests include many-valued logics as a theoretical foundation for fuzzy systems.
4 Schools and Internships
• September 2002: Second International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking. Bertinoro (FC), Italy.
• July 2001: First International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebras. Bertinoro (FC), Italy.
• September - December 2000: Fully supported three-months internship at Xerox PARC, Palo Alto, California
• July 2000: School of Qualitative Methods for Fault Diagnosis and Isolation. Terrassa (Barcelona), Spain.
• May 2000: MONET Summer School on Qualitative and Model Based Reasoning.
Bertinoro (FC), Italy.
• May 1999: Italian National Summer School for PhD Students. Bertinoro (FC), Italy.
5 Other research-related activities
5.1 Conference organization
• co-organizer of workshop Model Checking and AI at the 15th European Conference on Artificial Intelligence (ECAI 2002), Lyon (France), July 21-26 2002.
• member of organizing committee for DX01, Twelfth International Workshop on Principles of Diagnosis, Sansicario (Torino), Italy, March 7-9, 2001.
5.2 Reviewing
• reviewer for ECAI 2002, Lyon, France, July 21-26, 2002.
• reviewer for ECAI 2000, Berlin, Germany, August 21-26, 2000.
5.3 Tutorials
• C. Picardi and M. Ribaudo. System Diagnosis using Process Algebras. Bridge Workshop, Sansicario (Torino) Italy, March 5-6, 2001.
6 Papers
6.1 Papers in Journals
[1] L. Console, C. Picardi and M. Ribaudo, Process Algebras for System Diagnosis, Artificial Intelligence, to appear.
[2] F. Bergadano, D. Gunetti and C. Picardi, User Authentication through Keystroke
Dynamics, ACM Transactions on Information and System Security (ACM TISSEC), to appear.
6.2 Papers at International Conferences
[3] 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. In Proceedings of the Fifteenth European Conference on Artificial Intelligence, ECAI 2002, Lyon, France, July 21-26, 2002.
[4] L. Console, C. Picardi and D. Theseider Dupré. Temporal Decision Trees or the Lazy ECU Vindicated. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, Seattle, Washington, August 4-10, 2001.
[5] F. Zhao, X. Koutsoukos, H. Hausseker, J. Reich, P. Cheung, C. Picardi. Distributed Monitoring of Hybrid Systems: A model-directed approach. In Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI-01, Seattle, Washington, August 4-10, 2001.
[6] L. Console, C. Picardi and M. Ribaudo. Diagnosis and Diagnosability Analysis using PEPA.
In Proceedings of the 14th European Conference on Artificial Intelligence, ECAI2000, pages 131-135, Berlin, Germany, August 21-26 2000.
6.3 Papers at International Workshops
[7] 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.
[8] 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.
7 Projects
[9] Integrated Diagnosis and Design (IDD) funded by the European Commission, V
Framework under the program Sustainable Growth (G3RD-CT-1999-00058). Partners:
Centro Ricerche FIAT, DaimlerChrysler, PSA (Peugeot Citroën Automobiles), Renault, Magneti Marelli, OCC'M Software, Université de Paris Nord, Techniche Universität
München, Università di Torino (UniTo). The UniTo partnership in IDD concerns mainly the integration of model based techniques in existing design tools, in order to test designed systems for diagnosability under different sensor placements.
[10] AUTAS: Automating FMECA for Aircraft Systems funded by the European
Commission, V Framework under the program Sustainable Growth (GRD1-2001-40133).
Partners: Alenia Aerospazio Aeronautica, Eurocopter, Israel Aircraft Industries, National Aerospace Laboratory of the Netherlands, SOFRETEN, OCC'M Software GmbH, Techniche Universität München, Università di Torino.
