2007 | ||
---|---|---|
20 | EE | Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès: Model-Based Diagnosability Analysis for Web Services. AI*IA 2007: 24-35 |
19 | EE | Luca Console, Claudia Picardi, Daniele Theseider Dupré: A Framework for Decentralized Qualitative Model-Based Diagnosis. IJCAI 2007: 286-291 |
18 | Francesco Buccafurri, Luca Console, Pasquale De Meo, Maria Grazia Fugini, Anna Goy, Gianluca Lax, Pasquale Lops, Stefano Modafferi, Barbara Pernici, Claudia Picardi, Domenico Redavid, Giovanni Semeraro, Domenico Ursino: Modellazione della QoS in Ambienti Web-Service con Applicazioni di Video Streaming. SEBD 2007: 298-307 | |
17 | EE | Claudia Picardi, Paulo Salles, Franz Wotawa: An introduction to model-based systems. AI Commun. 20(1): 1-6 (2007) |
2005 | ||
16 | EE | Daniele Gunetti, Claudia Picardi, Giancarlo Ruffo: Dealing with Different Languages and Old Profiles in Keystroke Analysis of Free Text. AI*IA 2005: 347-358 |
15 | EE | Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré: Enhancing Web Services with Diagnostic Capabilities. ECOWS 2005: 182-191 |
14 | EE | Daniele Gunetti, Claudia Picardi, Giancarlo Ruffo: Keystroke Analysis of Different Languages: A Case Study. IDA 2005: 133-144 |
13 | EE | Liliana Ardissono, Luca Console, Anna Goy, Giovanna Petrone, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré: Advanced fault analysis in web service composition. WWW (Special interest tracks and posters) 2005: 1090-1091 |
12 | EE | Daniele Gunetti, Claudia Picardi: Keystroke analysis of free text. ACM Trans. Inf. Syst. Secur. 8(3): 312-347 (2005) |
2004 | ||
11 | Claudia Picardi, Luca Console, Frederic Berger, Jan Breeman, Tony Kanakis, Jeroen Moelands, Stephan Collas, Emmanuel Arbaretier, Nino De Domenico, Ermanno Girardelli, Oskar Dressler, Peter Struss, Benjamin Zilbermann: AUTAS: A Tool for Supporting FMECA Generation in Aeronautic Systems. ECAI 2004: 750-754 | |
10 | Rosanna Bray, Alessandro Buffo, Fulvio Cascio, Luca Console, Claudia Picardi, Marino Segnan, Daniele Theseider Dupré: SALVO: model-based systems applications in automotive industry. Intelligenza Artificiale 1(3): 13-20 (2004) | |
2003 | ||
9 | EE | Claudia Picardi: Temporal Decision Trees for Diagnosis: An Extension. AI*IA 2003: 14-26 |
8 | EE | Francesco Bergadano, Daniele Gunetti, Claudia Picardi: Identity verification through dynamic keystroke analysis. Intell. Data Anal. 7(5): 469-496 (2003) |
7 | EE | Luca Console, Claudia Picardi, Daniele Theseider Dupré: Temporal Decision Trees: Model-based Diagnosis of Dynamic Systems On-Board. J. Artif. Intell. Res. (JAIR) 19: 469-512 (2003) |
2002 | ||
6 | Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée: IDD: Integrating Diagnosis in the Design of automotive systems. ECAI 2002: 628-632 | |
5 | EE | Francesco Bergadano, Daniele Gunetti, Claudia Picardi: User authentication through keystroke dynamics. ACM Trans. Inf. Syst. Secur. 5(4): 367-397 (2002) |
4 | EE | Luca Console, Claudia Picardi, Marina Ribaudo: Process algebras for systems diagnosis. Artif. Intell. 142(1): 19-51 (2002) |
2001 | ||
3 | Luca Console, Claudia Picardi, Daniele Theseider Dupré: Temporal Decision Trees or the lazy ECU vindicated. IJCAI 2001: 545-550 | |
2 | Feng Zhao, Xenofon D. Koutsoukos, Horst W. Haussecker, James Reich, Patrick Cheung, Claudia Picardi: Distributed Monitoring of Hybrid Systems: A model-directed approach. IJCAI 2001: 557-564 | |
2000 | ||
1 | Luca Console, Claudia Picardi, Marina Ribaudo: Diagnosis and Diagnosability Analysis Using PEPA. ECAI 2000: 131-135 |