Seminari:

* B. Caprile e G. Pascuzzi: "Fidarsi di Internet? Informatica, privacy e sicurezza", Intervento del ciclo: "Cittadini e scienza oggi", Sala Filarmonica, Trento, 19/03/2002 * Z. Emirleroglu Arslan: "An Introduction to the Integer Factorization Problem: Algorithms and Applicationstions", IRST 14/03/2002 * P. Tonella: "An Introduction to Clone Detection", GRASS workshop, ITC-irst, 23/11/2001. * Z. Emirleroglu Arslan: "The Advanced Encryption Standard: a Descriptive Summary", IRST 01/10/2001 * B. Caprile e S. Merler: "Recent Advances in Combining Techniques for Classification Tasks", IRST 2/8/2001 * B. Caprile: TITOLO MANCANTE, Universita` della Terza Eta`, Trento, 15/11/2001 * F. Ricca: "Qualita' nei siti Web", WebValley'2001, Palu' del Fersina 25/7/2001. * B. Caprile: "Macchine (di Turing), intelligenza (artificiale), apprendimento", WebValley'2001, Palu' del Fersina 24/7/2001. * B. Caprile: "Principi di computazione", WebValley'2001, Palu' del Fersina 17/7/2001. * F. Ricca: "Building Web Applications with UML", IRST 12/7/2001. * P. Tonella: "Una introduzione all'Ingegneria del Software", WebValley'2001, Palu' del Fersina 12/7/2001. * P. Tonella: "Analysis and Testing of Web Applications", IRST 3/5/2001 * P. Tonella: "Static, Dynamic and Amorphous Program Slicing", IRST 7/9/2000. * P. Tonella: "Quantum Computing: Elements", IRST 30/6/2000. * P. Tonella: "Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers", CERN 19/6/2000 and 12/7/2000, IRST 14/6/2000; * P. Tonella: "Cjj: a subset of C++ compliant with Java", CERN 16/3/2000, 19/6/2000 and 12/7/2000, IRST 8/6/2000; * F. Ricca: "Introduzione alla semantica formale di un linguaggio di programmazione", IRST 25/4/2000, 5/5/2000, 17/5/2000 and 24/5/2000; * P. Tonella: "Recovering the structure of software systems using tube graphs interconnection clustering", IRST 22/2/2000; * F. Ricca: "Web Site Analysis", IRST 04/3/2000; * P. Tonella: "C++ Code Analysis: an Open Architecture for the Verification of Coding Rules", CERN, 25/11/1999; * F. Calzolari: "Il Progetto RESPECT: le nuove tecnologie software", IRST, 24/11/1999; * A. Potrich: "Automatic Verification Of ALICE Coding Conventions", CERN, 15/11/1999; * B. Caprile: "Nomen Est Omen: Analyzing the Language of Function Identifiers", IRST 1/10/1999; * P. Tonella: "Test Management Automation: Lessons Learned from a Process Improvement Experiment", IRST, 30/9/1999; * P. Tonella: "Object Oriented Design Pattern Inference" IRST, 27/8/1999; * P. Tonella: "Migrating towards Object Oriented Programming" CERN, 23/6/1999; * B. Caprile: "From Bits to Q-Bits, and beyond" IRST, 10/6/1999; * P. Tonella: "Code Analysis" (rivolto a ospiti in visita dal CERN di Ginevra) 17/5/1999; * P. Tonella: "Traceability in the Development of Object Oriented Software". IRST 09/04/1999; * P. Tonella: "Impact of Function Pointers on the Call Graph". IRST 25/02/1999; * P. Tonella: "Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets". IRST: 24/02/1999; * B. Caprile: "Informatica Contro?"; intervento a conferenza pubblica presso l'Istituto Regionale di Studi e Ricerca Sociale; Trento 21/01/99; * B. Caprile: "User Modelling with Bayesian Belief Networks". IWUMP'98 (IRST Workshop User Modelling/Profiling); IRST 12/01/99;

Tesi:

* S. Laico: "Test strutturale per architetture procedurali e orientate agli oggetti, sequenziali e concorrenti". UniversitÓ degli studi di Padova. Relatore P. Tonella. 8/2/2000. * M. Quartarone: "Un sistema ad agenti per la minimizzazione di funzioni multivariate" UniversitÓ degli Studi di Messina. In corso. * S. Pradella: "Attacchi all'esponente privato del metodo di crittografia a chiave pubblica RSA". UniversitÓ degli Studi di Trento. In corso. * R. Sartori: "Un metodo multirisoluzione per la segmentazione figura-sfondo in scene dinamiche reali". UniversitÓ degli Studi di Milano. 09/07/1999 * G. Andolfi: "Modelli per inferenza di caratteristiche visive: un approccio basato su Bayesian Belief Networks", UniversitÓ degli Studi di Pisa. Relatore R. Cattoni; 26/02/1999; * Carbone: "Riconoscimento di traiettorie mediante reti bayesiane dinamiche", UniversitÓ degli Studi Studi di Pisa. Relatore R. Cattoni; 26/02/1999;

Stages:

* S. Mittal: "Verifica automatica della aderenza alle regole di codifica che definiscono il linguaggio Cjj", maggio-luglio 2001, IRST. * M. Bansal: "Interfaccia Web per l'accesso alle informazioni estratte dal tool di analisi di codice C++", maggio-luglio 2001, IRST. * P. Tonella, A. Potrich: workshop: "Test di software orientato agli oggetti", Sodalia SpA, Trento, 10/03/1999; * P. Tonella, A. Potrich, F. Ricca: corso database, IRST;

Relazioni Invitate a Convegni Internazionali:

Relazioni Invitate a Convegni Nazionali:

* B. Caprile: "Intelligenza dell'Informazione: Agenti". UNINFO Seminar, Milan, 26/02/99;

Partecipazione a Comitati Editoriali di Riviste:

Partecipazione a Comitati di Programma di Convegni:

* P. Tonella: WSE 2002, Int. Workshop on Web Site Evolution (program co-chair). * P. Tonella: SCAM 2001, Int. Workshop on Source Code Analysis and Manipulation. * P. Tonella: WSE 2001, Int. Workshop on Web Site Evolution. * P. Tonella: WESS 2001, Int. Workshop on Empirical Studies on Software Maintenance.

Organizzazione di Convegni:

Reviews Articoli:

* Marzo 2002. Revisione di un articolo per Journal of Software Maintenance (P. Tonella). * Marzo 2002. Revisione di un articolo per ISSTA, Int. Symposium on Software Testing and Analysis (P. Tonella e F. Ricca). * Marzo 2002. Revisione di un articolo per Computer Journal (P. Tonella). * Marzo 2002. Revisione di un articolo per MCS 2002, 3rd International Workshop on Multiple Classification Systems (B. Caprile). * Revisione di un articolo per Automated Software Engineering (P. Tonella). * Revisione di un articolo per IEEE Transactions on Software Engineering (P. Tonella). * Revisione di 2 capitoli per un libro (P. Tonella). * Revisione di 3 articoli per WESS'2001, Int. Workshop on Empirical Studies on Software Maintenance (P. Tonella). * Revisione di 6 articoli per WSE'2001, Int. Workshop on Web Site Evolution (P. Tonella). * Revisione di 7 lavori per ICSM'2001, Int. Conference on Software Maintenance (P. Tonella) * Revisione di 3 articoli per SCAM'2001, Int. Workshop on Code Analysis and Manipulation (P. Tonella) * Revisione un articolo per IEEE Trans. on Pattern Analysis and Machine Intelligence (B. Caprile) * Revisione di un articolo per IEEE Trans. on Biomedical Engineering. * Revisione di un articolo per Journal of Software Maintenance. * Revisione di un articolo per la conferenza WIRN '99 (Workshop Italiano Reti Neuronali); * Referaggio di un articolo per ICMAS'00 (International Conference on Multi-Agent Systems) (B. Caprile)

Altri incarichi:

* P. Tonella: docente del corso di Analisi e Testing del Software presso la facolta' di Scienze dell'Universita' di Trento (AA 2001/2002). * B. Caprile: titolare del corso di "Teoria dei Codici", presso la FacoltÓ di Scienze dell'UniversitÓ di Trento (AA 2001/2002). * A. Potrich: incaricata delle esercitazioni del corso di "Laboratorio di Ingegneria del Software" presso la FacoltÓ di Scienze dell'UniversitÓ di Trento (AA 2001/2002); * P. Tonella: docente del corso di Ingegneria del Software presso la facolta' di Ingegneria dell'Universita' di Brescia (AA 2000/2001). * B. Caprile: incaricato del corso di "Algebra Superiore I Modulo", presso la FacoltÓ di Scienze dell'UniversitÓ di Trento (AA 2000/2001). * A. Potrich: incaricata delle esercitazioni del corso di "Laboratorio di Ingegneria del Software" presso la FacoltÓ di Scienze dell'UniversitÓ di Trento (AA 2000/2001); * B. Caprile: incaricato delle esercitazioni del corso di "Laboratorio di Architetture degli elaboratori" presso la FacoltÓ di Scienze dell'UniversitÓ di Trento; * P. Tonella: "Traceability in the Development of Object Oriented Software"; Lecture at the Master Program in Software Engineering, UniversitÓ di Padova; 30/03/1999;

Sistemi Hw/Sw Realizzati: :

Strumento per l'analisi di codice C++. Le entita' riconosciute durante il parsing sono salvate su database. ReWeb/TestWeb: ambiente per l'analisi e la visualizzazione della struttura dei siti Web. Strumenti di testing. Strumento per la ristrutturazione dei nomi degli identificatori. "BBNs management with NeticaAPI": Ŕ stata consolidata la tecnologia delle Reti Bayesiane mediante l'acquisizione del pacchetto NeticaAPI. Sono stati realizzati programmi in linguaggio C su diverse architetture (Solaris e WindowsNT) che sfruttano gli algoritmi per arbitrarie reti discrete (Belief Updating, Most Probable Explanation, On-Lline Learning, Dynamic Networks); "User Profile Agent with BBNs": nell'ambito del progetto Europeo FACTS, Ŕ stato realizzato il modulo software UPA (User Profile Agent) per la gestione del profilo di utenti e delle loro preferenze. Il modulo Ŕ FIPA-compliant ed Ŕ costituito da due componenti: la prima gestisce l'interazione col mondo degli agenti ed Ŕ scritta in linguaggio Java, la seconda gestisce le BBNs ed Ŕ scritta in linguaggio C. "Concept Analysis": estensione del modulo per la inferenza di design pattern;

Collaborazioni Esterne:

* Semantic Design, Austin Texas, USA, nell'ambito delle trasformazioni di codice. * CERN, Ginevra, nell'ambito di un progetto congiunto per l'analisi di codice C++. * Department of Electrical Engineering, Imperial College, London: project FACTS, papers; * Nippon Hoso Nippon Hoso Kiokay, Tokyo: progetto FACTS; * Cselt, Torino: progetto FACTS e attivitÓ FIPA; * Istituto per la Elaborazione dell'Informazione del CNR, Pisa: articoli; * UniversitÓ di Pisa, tesi di laurea; * UniversitÓ di Brescia, insegnamento; * UniversitÓ di Trento, insegnamento; * Dipartimento Scienze dell'Informazione UniversitÓ di Milano: tesi di laurea; * UniversitÓ di Messina: tesi di diploma di laurea; * Sodalia SpA, Trento: Progetto ITALO, commessa DEMOS2 e articoli; * Federazione Trentina delle Cooperative: progetto RESPECT; * UniversitÓ di Padova: corso di Master in Ingegneria del Software; tesi di laurea;

Collaborazioni Interne:

* Divisione TCC per progetto WebFAQ: analisi di siti multilingue. * Divisione SRA per progetto FACTS: temi relativi alle tecnologie ad agenti.

Trasferimenti e Brevetti:

Pubblicazioni:

Articoli Pubblicati:

* P. Tonella and G. Antoniol, "Inference of Object Oriented Design Patterns", Journal of Software Maintenance and Evolution, Vol 13, n. 5, pp. 309-330, September-October 2001. * F. Calzolari, P. Tonella and G. Antoniol, "Maintenance and Testing Effort Modelled by Linear and Non Linear Dynamic Systems". Information and Software Technology, vol. 43, n. 8, pp. 477-486, July 2001. * G. Antoniol, B. Caprile, A. Potrich and P. Tonella "Design-Code Traceability Recovery: Selecting the Basic Linkage Properties". Science of Computer Programming, vol. 40, issue 2-3, pp. 213-234, July 2001. * Paolo Tonella, "Concept Analysis for Module Restructuring", IEEE Transactions on Software Engineering, vol. 27, n. 4, pp. 351-363, April 2001. * F. Ricca and P. Tonella, "Understanding and Restructuring Web Sites with ReWeb", IEEE MultiMedia, vol. 8, n. 2, pp. 40-51, April-June 2001. * Paolo Tonella and Alessandra Potrich, "Reverse Engineering of the UML Class Diagram from C++ Code in Presence of Weakly Typed Containers", Proc. of ICSM 2001, International Conference on Software Maintenance, pp. 376-385, Florence, Italy, November 7-9, 2001. * Filippo Ricca and Paolo Tonella, "Web Application Slicing", Proc. of ICSM 2001, International Conference on Software Maintenance, pp. 148-157, Florence, Italy, November 7-9, 2001. * Filippo Ricca, Paolo Tonella and Ira D. Baxter, "Restructuring Web Applications via Transformation Rules", Proc. of SCAM 2001, International Workshop on Source Code Analysis and Manipulation, pp. 150-160, Florence, Italy, November 10, 2001. * Paolo Tonella, Filippo Ricca, Emanuele Pianta and Christian Girardi, "Recovering Traceability Links in Multilingual Web Sites", Proc. of WSE 2001, International Workshop on Web Site Evolution, pp. 14-21, Florence, Italy, November 10, 2001. * P. Tonella, "Geographically Distributed Software Engineering and Maintenance, a Challenge for Code Analysis and Empirical Studies", Proc. of WESS 2001, 7th Workshop on Empirical Studies of Software Maintenance, pp. 35-38, Florence, Italy, November 9, 2001. * F. Ricca and P. Tonella, "Analysis and Testing of Web Applications", Proc. of ICSE'2001, International Conference on Software Engineering, pp. 25-34, Toronto, Canada, May 12-19, 2001. * F. Ricca and P. Tonella, "Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions", Proc. of TACAS'2001, 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'2001. pp. 373-388, Genova, Italy, April 2001. * G. Antoniol, B. Caprile, A. Potrich and P. Tonella, "Design-Code Traceability for Object Oriented Systems", Annals of Software Engineering, vol. 9, pp. 35-58, 2000. * P. Tonella, G. Antoniol, R. Fiutem and F. Calzolari, "Reverse Engineering 4.7 Million Lines of Code", Software Practice and Experience, vol. 30, n. 2, pp. 129-150, February 2000. * Filippo Ricca and Paolo Tonella, "Web Site Analysis: Structure and Evolution", Proc. of ICSM'2000, International Conference on Software Maintenance, pp. 76-86, San Jose, California, USA, October 11-14, 2000. * Bruno Caprile and Paolo Tonella, "Restructuring Program Identifier Names", Proc. of ICSM'2000, International Conference on Software Maintenance, pp. 97-107, San Jose, California, USA, October 11-14, 2000. * B. Caprile, G. Giraudo and Tonella "Process Improvement Experiments in Perspective", Proc. of WESS'2000, International Workshop on Empirical Studies of Software Maintenance, San Jose, California, USA, October 14, 2000. * Filippo Ricca and Paolo Tonella, "Visualization of Web Site History", Proc. of WSE'2000, International Workshop on Web Site Evolution, pp. 30-33, Zurich, Switzerland, March 1, 2000. * G. La Commare, G. Giraudo, P. Tonella, "Test Management Automation: Lessons Learned from a Process Improvement Experiment", Proc. of EWSPT'2000, European Workshop on Software Process Technology, pp. 156-160, Kaprun, Austria, February 21-25, 2000. * B. Caprile: "Uniformly Sampling the d-Simplex", ITC-IRST Technical Report, November 1999. * A. Potrich and P. Tonella, "C++ Code Analysis: an Open Architecture for the Verification of Coding Rules", ITC-IRST Technical Report, November 1999. * B. Caprile and P. Tonella, "Nomen Est Omen: Analyzing the Language of Function Identifiers", Proc. of WCRE'99, Working Conference on Reverse Engineering, pp. 112-122, Atlanta, Georgia, USA, October 6-8, 1999. * S. Lapierre, E. Merlo, G. Savard, G. Antoniol, R. Fiutem and P. Tonella, "Automatic Unit Test Data Generation Using Mixed-Integer Linear Programming and Execution Trees", Proc. of ICSM'99, International Conference on Software Maintenance, pp. 189-198, Oxford, England, 30 August-3 September, 1999. * P. Tonella and G. Antoniol, "Object Oriented Design Pattern Inference", Proc. of ICSM'99, International Conference on Software Maintenance, pp. 230-238, Oxford, England, 30 August-3 September, 1999. * G. Antoniol, G. La Commare, G. Giraudo, P. Tonella, "Effective Feature Analysis for Tool Selection", Proc. of Profes'99, International Conference on Product Focused Software Process Improvement, pp. 103-117, Oulu, Finland, June 22-24, 1999. * G. Antoniol, A. Potrich, P. Tonella and R. Fiutem, "Evolving Object Oriented Design to Improve Code Traceability", Proc. of the International Workshop on Program Comprehension (IWPC), pp. 151-160, Pittsburgh, PA, USA, May 5-7, 1999. Premiato come miglior articolo della conferenza. * R. Fiutem, G. Antoniol, P. Tonella and E. Merlo, "ART: An Architectural Reverse Engineering Environment", Journal of Software Maintenance, vol. 11, n. 6, pp.339-364, 1999. * P. Tonella, G. Antoniol, R. Fiutem & E. Merlo: "Variable Precision Reaching Definitions Analysis", Journal of Software Maintenance, vol. 11, n. 2, pp.117-142, March-April 1999. * P. Tonella: "Effects of Different Flow Insensitive Points-to Analyses on DEF/USE Sets", Proc. of the 3rd European Conference on Software Maintenance and Reengineering (CSMR), pp. 62-69, Amsterdam, The Netherlands, March 3-5, 1999; * G. Antoniol, F. Calzolari & P. Tonella: "Impact of Function Pointers on the Call Graph", Proc. of the 3rd European Conference on Software Maintenance and Reengineering (CSMR), pp. 51-59, Amsterdam, The Netherlands, March 3-5, 1999. * R. Fiutem, P. Tonella, G. Antoniol & E. Merlo: "Points-to analysis for program understanding", Journal of Systems and Software, vol. 44, n. 3, pp. 213-227, January 1999;

Articoli Accettati:

Articoli Sottomessi:

* G. Giraudo and P. Tonella, "Designing and Conducting a Process Improvement Experiment on Test Management Automation", Empirical Software Engineering. * G. Andolfi, B. Caprile, R. Cattoni & O. Salvetti: "Models for BBN-Based Inference of Visual Properties", sottomesso alla conferenza ICIP'99, International Conference on Image Processing; * P. Charlton, R. Cattoni, A. Potrich & E. Mamdani: "Exploiting Protocols in the FIPA Standard to achieve cooperation in Multi-agent Systems"; sottomesso alla conferenza HICSS33 (Hawaii International Conference on System Science); * P. Charlton, R. Cattoni, A. Potrich & E. Mamdani: "From Standard Specifications to a Multi-agent Software System: Audio Video Entertainment Application in Practice"; sottomesso alla conferenza ATAL-99 (Agent Theories, Architectures and Languages);