I am currently involved, as a member of the Software
Engineering Laboratory of ISTI,in the "
TAS3 (Trusted Architecture for Securely Shared Services)". TAS3
proposes an Integrated Project that will develop and implement
an architecture with trusted services to manage and process personal
information that is typically generated over a person’s lifespan.
This personal information is evidently collected and stored at distributed locations.
The type or nature of this personal information is not specific to the TAS3
architecture, as the architecture can be instantiated in different contexts.
I am currently involved, as a member of the Software
Engineering Laboratory of ISTI, in the leading of a Work Package
within the "Adaptive InfRasTructures for DECentralized Organizations
ART DECO)" FIRB Italian project.
The goals of ART DECO is the identification of the basic
determinants affecting the establishment of reliable and
effective network, which maximizes the level of confidence
of each player and its willingness to cooperate, by distinguishing
between knowledge that can be shared and protected knowledge
that pertains to an individual player.
I was involved, as a member of the Software
Engineering Laboratory of ISTI, in the "Providing
dependabLe and Adaptive Service Technology for pervasive
Information and Communication (PLASTIC)" European
Project.
The PLASTIC project aims to offer a comprehensive development
methodology for software services to be deployed over
the next generation wireless network.
I was involved, as a member of
the Software Engineering Laboratory of ISTI, in the European
Project TELCERT (Technology Enhanced Learning: Certification.
European Requirements and Testing).
TELCERT was a Technology Enhanced Learning research and
development project under the European Union's 6th Framework
program. TELCERT is led by a consortium of e-Learning providers,
research and industry organizations. My research activity was mainly on developing innovative software testing and conformance
systems to assure interoperability in e-Learning content
and technology.
I was a member of the Training And Research
On Testing (TAROT) network of excellence. The Network aims
to strengthen and develop the collaboration among major
European testing communities.
In 1998 "Software reliability measurement and evaluation
through testing" - 8 hours course at QUALITAL (Consorzio
Universitario in Ingegneria della Qualità), Pisa, Italy.
In 1999 "An Introduction to Software Testing and its
use in Software Reliability Estimation" - 8 hours course
at Ericsson Lab Italy, Roma, Italy.
In 2002 "The Rational Unified Process: an introduction"
- 8 hours course at Ericsson Lab Italy, Roma and Pagani
(SA), Italy.
In 2003 "An Introduction to Software Reliability Concepts
and Methods", - 8 hours course at Ericsson Lab Italy,
Roma, Italy.
In 2006 "Functional Testing and Model Based Testing"
- 8 hours course at Dipartimento di Ingegneria dell'Informazione,
Università di Pisa, Italy.
In 2007 and 2008 "Ingegneria del Software: verifica e Validazione" (Software Engineering:
Verification and Validation) ; - full course at Dipartimento di Informatica,
Università di Pisa, Italy.
In 2008 “Methodologies and Procedures for testing: basic level” -
32 hours course at Marconi Spa , Roma and Milano, Italy
In 2008 “Methodologies and Procedures for testing: advanced level” -
32 hours course at Marconi Spa , Roma and Milano, Italy
From 1/12/2001 to 31/07/2004. Topic of research "Development
of methodologies based on UML for the testing and the
quality and quantity evaluation of software systems".
Announcement of competition N. 07/01 - ISTI.
From 1/08/2004 to 30/09/2006. Topic of research "Research
and experimentation of conformance testing techniques".
Announcement of competition. N. 13/04 - ISTI.
From 1/10/2006 to 31/13/2006. Topic of research "Development
of UML-based testing methods for component-based software
systems and experimentation into industrial contexts".
Announcement of competition N. 12/06 - ISTI.
SEKE 01 13th International Conference on Software Engineering
and Knowledge Engineering, Buenos Aires - Argentina, June
13-15, 2001.
SNPD 02 3rd ACIS International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing, Madrid, Spain, June 26-27, 2002.
ICIS 2002 2nd ACIS Annual International Conference on
Computer and Information Science, Seoul, Korea, August
8-9, 2002.
SNPD 2003 4th ACIS International Conference on Software
Engineering, Artificial Intelligence, Networking and Parallel/Distributed
Computing, Lübeck, Germany, October 16-18, 2003.
AC2004 IADIS International Conference on Applied Computing,
Lisbon, Portugal, 23-26 March, 2004.
SNPD 2004 5th International Conference on Software Engineering,
Artificial Intelligence, Networking, and Parallel/Distributed
Computing, Beijing, China, June 30 - July 2, 2004.
AC 2005 IADIS International Conference on Applied Computing,
Algarve, Portugal, February 22-25, 2005.
AC 2006 IADIS International Conference on Applied Computing,
San Sebastian, Spain, February 25-28, 2006.
WS-MaTe 2006 Web Services Modeling and Testing, Palermo,
Italy, June 9, 2006.
SEDE06 15th International Conference on Software Engineering
and Data Engineering, Los Angeles, CA, July 6-8, 2006.
MoDeVa 2006 3rd Workshop on Model design and Validation
associate a MoDELS-UML 2006, Genova, Italy, October 1,
2006.
ICSEA 2006 International Conference on Software Engineering
Advances, Tahiti, French Polynesia, October 29 - November
1, 2006.
AC 2007 IADIS International Conference on Applied Computing,
Salamanca, Spain, February 17-20, 2007.
WS-MaTe 2007 2nd International Workshop on Web Services
- Modelling and Testing, Tallinn, Estonia, June 26, 2007.
SEDE 2007 15th International Conference on Software Engineering
and Data Engineering, Las Vegas, USA, July 2007.
DoSTA 2007 Domain-Specific Approaches to Software Test
Automation Workshop at ESEC/FSE 2007, Dubrovnik, Croatia,
September 4, 2007.
MoDeVVa 2007 4th workshop on Model-Driven Engineering,
Verification and Validation, associated with MoDELS '07,
Nashville, TN, USA, September 30 - October 5, 2007.
ICST 2008 Call for Student Papers First International Conference on
Software Testing, Verification and Validation Lillehammer, Norway, April 9-11 2008.
MoDeVVA 2008 ICST workshop on Model Driven Engineering,
Verification, and Validation: Integrating Verification and Validation in MDE,
Lillehammer, Norway, April 9-11 2008.
AC 2008 IADIS International Conference on Applied Computing 2008, Algarve, Portugal,
10-13 April 2008.
ECMDA 2008 Fourth European Conference on Model Driven Architecture
Foundations and Applications, Berlin, Germany June 09-12, 2008.
SEDE 2008 17th International Conference on Software Engineering and Data Engineering,
Los Angeles, California, USA June 30 - July 2, 2008.
ICSEA 2008 The Third International Conference on Software Engineering Advances,
Sliema, Malta, October 26-31, 2008.
QSIC 2008 The 8th International Conference on Quality Software. Oxford,
UK, 12-13 August 2008.
CUB 2008 1st International Workshop on Computer Users’ Behaviour
Politecnico di Torino,Turin, Italy September 1-5, 2008.
INTENSIVE 2009, The First International Conference on Intensive Applications and Services,
Valencia, Spain, April 21-25, 2009.
I have been reviewer for several conferences
and journal such as:
ICSE (The International Conference on Software Engineering)
2001, 2003, 2004, 2005, 2006;
SAFECOMP (The International Conference on Computer
Safety, Reliability and Security) 2002, 2003;
AQuIs (The International Conference on Achieving Quality
In Software) 2002;
ESEC/FSE (The European Software Engineering Conference
(ESEC) and the ACM SIGSOFT Symposium on the Foundations
of Software Engineering (FSE)) 2003, 2005, 2006, 2008;
SEKE (The International conference on Software Engineering
and Knowledge Engineering) 2003;
ISSTA (The International Symposium on Software Testing
and Analysis) 2003, 2004, 2006;
WOSP (The International Workshop on Software and Performance)
2004;
TACOS (The Student Conference on Computational Linguistic)
2004;
SEA (The IASTED International Conference on Software
Engineering and Applications) 2004;
RISE (The International Workshop on Rapid Integration
of Software Engineering techniques)2004;
DSN (The International Conference on Dependable Systems
and Networks) 2004;
SoSyM special issue for ICECCS (IEEE International
Conference on Engineering of Complex Computer Systems)
2002;
QSIC (The International Conference on Quality Software)
2004;
MODELS (the ACM/IEEE International Conference on Model
Driven Engineering Language) 2006;
Journal of Software Maintenance (JSM) 2003;
Transaction on Software Engineering (TSE) 2002, 2003;
Journal of Software and System Modeling (SoSym), 2001,
2003;
Member of the Organiser Committee of SAFECOMP (The International
Conference on Computer Safety, Reliability and Security)
2002, Catania, Italy, September 10-13, 2002;
Guest Co-Editor for the EMSE Special Issue 2005 for
the best papers of ISSRE 2004 (Volume 11, Number 1, March
2006);
Poster Chair of the MoDELS-UML 2006 ACM/IEEE 8th International
Conference on Model Driven Engineering Language and Systems,
Genova, Italy, October 1-6, 2006.
Poster Chair of ESEC/FSE 2007, Dubrovnik, Croatia, September
5-7, 2007.
Publication Chair for ASE 2008, L'Aquila, Italy, September
15-19, 2008.
I have been the tutor of more than 10 Laurea Degrees in computer Science at the University of Pisa.
I'm currently the co-supervisor of a Phd Thesis at the same
university on the topic: "Automatic XML instance derivation
from XML Schema by applying Category Partition method".
