Joomla 3.2 Template by Justhost Complaints

DEVASSES ToK Workshop V

The fifth project ToK Workshop will be organised by UC in February 1-2, 2016.

The workshop is public and everyone is welcome to attend. The full program schedule is available below.

 

Event information:

 

Details on How to get to Coimbra can be found here.

From Coimbra, to arrive to DEI / CISUC, you can find information in the map here (presented also below).

There, you can also find the location of the suggested hotels and other Points of Interest.

 

Preliminar Program:

DAY 1 – January 1st
StartDur.TitleSpeaker
09:30 00:15 Welcome UC
09:45 00:15 Opening - meeting objective and organization UC
10:00 00:45 Invited Talk: “Scaling a SQL Database” Miguel Matos
(U. Minho)
10:45 00:30 Coffee Break
11:15 00:30 A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain Andrea Bondavalli
(UNIFI)
11:45 00:15 A field analysis of User-defined Security Configurations of Android Devices Eliane Martins
(UNICAMP+UC)
12:00 00:15 Derivation of System Test Cases for Software Product Lines from Use Case Descriptions in Structured Natural Language Eliane Martins
(UNICAMP)
12:15 01:45 Lunch
 
15:30 00:30 Coffee Break
16:00 00:15 Laboratory of Communications and Telematics: a brief overview of on-going research activities Marília Curado
(UC)
16:15 00:30 Predicting Vulnerability in Source Code Using Change History Information Nuno Antunes
(UFAL+UC)
16:45 00:30 Presenting the Proper Data to the Crisis Management Operator: A Relevance Labelling Strategy Andrea Ceccarelli
(UNIFI)
17:15 00:15 Model based online testing for dynamic SOA Eliane Martins
(UNICAMP+UNIFI)
17:30   Happy hour & dinner
 
DAY 2 – January 2nd
StartDur.TitleSpeaker
09:15 00:30 Comparing and Experimenting Software Metrics for Vulnerability Prediction Henrique Ferreira
(UFAL+UC)
09:45 00:30 An approach to measure the trustworthiness of web services and applications based on privacy evidences Nádia Medeiros
(UC+UNICAMP)
10:15 00:15 Delta Model Based Test Driven Development Eliane Martins
(UNICAMP+UNIFI)
10:30 00:30 Coffee Break
 
12:15 01:45 Lunch
14:00 00:30 A Taxonomy of Reliable Request-Response Protocols Naghmeh Ivaki
(UNICAMP+UNIFI)
14:30 00:30 Modeling Quality of Experience in Dependable Tele-immersive Applications: A Case Study of World Opera Leonardo Montecchi
(UNIFI)
15:00 00:15 Assurance Cases applied to Dynamic Applications Felipe Gaia
(UNICAMP+UNIFI)
15:15 00:15 Dynamic Processes applied to the Medical Domain Sheila Venero
(UNICAMP+UNIFI)
15:30 00:30 Coffee Break