Joomla Templates by Just Hosting Review

Tania Basso's secondment at UNIFI

Published: Wednesday, 16 April 2014


The secondment of Tania Basso at the University of Florence is underway. She arrived at the beginning of the month and will stay for 2 months.


Tania is coming from the State University of Campinas, where she is a PhD student under the supervision of Profs. Mário Jino & Regina Moraes (UNICAMP) and Marco Vieira (UC). Her topic is “A Reference Architecture for Data Privacy in Web Applications” and she is one of the students Co-Advised by researchers of two of the partners of the DEVASSES project.


Today (June 10) she had a talk in which she introduced her topic and presented some of her work to UNIFI researchers. Basically, she presented a reference architecture for the development of web applications and services that are able to protect data privacy in a more complete and standard way from different sources of privacy violation.


During the secondment Tania will collaborate with UNIFI researchers, namely with Leonardo Montecchi. The collaboration will focus on extending UML with constructs capable to describe elements and concepts of such reference architecture, thus facilitating the development of systems enforcing the protection of personal information. Currently she is investigating existing UML profiles that can potentially be extended to include privacy concerns, and trying to define specific scenarios for privacy protection. Additionally she is also getting familiarized with standards adopted in model-driven engineering, as the Meta-Object Facility (MOF).

Official release of the website

Published: Sunday, 30 March 2014

We are happy to announce the Official Release of the DEVASSES project website.

With the end of the Project Logo Contest, the website is complete. This also concludes a preview period that allowed the project researchers to register in the website and suggest modification. The project now includes new features and both for general public and project collaborators, and constitutes an key tool for communication and sharing of resources among the project researchers.

The logo selected in the Contest was presented by a team of UC researchers led by Ivano Irrera, to whom will be awarded the contest prizes. Congratulations to the winners. Here follows a preview of the Logo that was already applied to the website and project documentation:


Project logo!


Follow the project calendar to see upcoming events and contact the project researchers if you are interested in collaborations in this topics.

DEVASSES Logo Contest

Published: Monday, 10 February 2014

Participate in the DEVASSES Logo Contest!

During the Project Kick-Off Meeting it was decided that the project logo would be selected from a contest open to anyone that wants to participate.

The best logo will be awarded with a bottle of wine (thanks to Prof. Andrea Bondavalli) and one bottle of Cachaça (thanks to Prof. Cecilia Rubira).
As you know, the name of the project is DEVASSES - DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS. Obviously, the logo proposals should be related to the topics of the project, although this is not a mandatory rule.
Send your contributions for Nuno Antunes and/or Marco Vieira.

ToK Workshop #1

Published: Wednesday, 22 January 2014

The first Transfer of Knowledge Workshop of the project was realized at the University of Florence during January 21 and 22. 

Co-located with the project Kick-Off Meeting, it allowed to take advantage of the presence of multiple members from each the partners of the project.

During this workshop the partners presented their recent research advances and looked to find points of collaboration that fit the project scope.

The seminars presented included:

  • Design and Security Assessment of a Protocol for Continuous User Identity Verification
  • Verification of Exception Control Flows and Handlers Based on Architectural Scenarios
  • Runtime V&V in Business-Critical Service Oriented Architectures
  • Research on V&V at IC/UNICAMP
  • Architectural--Based Validation of Software Quality Attributes
  • Fault Injection for Failure Prediction Assessment and Improvement