DEVASSES ToK Workshop V
Published: Thursday, 07 January 2016
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:
- Organised by: Paula Lopes, Marco Vieira - UC
- When: February 1-2, 2016
- Where: DEI-UC, Coimbra, Portugal
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 | |||
| Start | Dur. | Title | Speaker |
|---|---|---|---|
| 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 | |||
| Start | Dur. | Title | Speaker |
| 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 | |
