Gianluca Trentanni
Contact Information
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Consiglio Nazionale delle Ricerche
Area della Ricerca di Pisa
Via G. Moruzzi 1, 56124 Pisa - Italy
Office phone: +39-050-3152922
Office fax: +39-050-3153113
Short Bio
In 2000 I received my M.Sc degree in Computer Science at the University of Pisa.
From 2000 I am a researcher at ISTI - Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo" - of the CNR (the Italian National Research Council) in Pisa.
During all these years I have collaborated with several research groups inside the CNR as well as in the Computer Science Department of the University of Pisa.
I have been involved in several European and Italian research projects as a member of the Formal Methods and Tools (FMT) Laboratory of ISTI-CNR.
I have actively participated in the organization of several conferences, both as a member of the FMT Laboratory and as a member of the Systems and Software Evaluation Centre (SSEC) of ISTI-CNR.
Research Interests
Projects I have been envolved in
Organizational Activities
Other Recent Activities
Requirements Engineering The devolopment of the tool QuARS and its application in real sets of requirements, both during the activities of european research projects and within direct collaborations with several industrial partners, is still ongoing with new challenging ideas and research goals.
Electronic Ticketing Systems certification and Electronic cash registers and points-of-sale certification Since 2004, I have been working on the analysis and certification of the Italian law-regulated electronic ticketing systems, special distributed systems for issuing both paper and e-tickets and performing automatic access control in any public event / site requiring formal access title for attendants and visitors. In this area I have been inspecting tens of ticketing systems, solving problems of requirements elicitation and interpretation, verification of synchronisation constraints and of security requirements. I have also worked in the preparation of the technical procedures for system and software analysis, necessary for the accreditation of the System and Software Evaluation Center (SSEC) according to the norm ISO/IEC 17000. I have been working, as well, in the preparation of functional test suites for certifying the Italian law-regulated functions executed by the software of the Electronic Cash Registers (ECR), and have executed several test sessions for various ECR brands.
Website quality evaluation I have been working on the preparation of a Quality Model for e-commerce websites and in an extensive statistical analysis of sites to refine the Model, with the aim of proposing a website analysis service of the SSEC.

|| TOP ||    Home   |   Publications   |   Tools   |     |   css 2.1   |   HTML 4.01 trans   |   last updated: 27 Jan, 2012 - 19:27    || TOP ||