Closing Workshop

Location: Room 4A54, ITU Copenhagen, Rued Langgaards Vej 7, 2300 København S
Directions to get to ITU

Tuesday, 28 March, 2017

10:15
10:30
Welcome
15’
10:30
11:10
Mohammad Mousavi: Basic Test Models for Software Product Lines: Expressiveness, Succinctness,
and Analysis Methods
40’
11:10
11:40
Iago Abal: EBA - Effective Bug Finding in C Programs with Shape and Effect Abstractions
30'
11:40
12:20
Axel Legay: On Quantitative Requirements for Product Lines (cancelled)
40’
11:40
13.00
Lunch
70’
13:00
13:30
Ahmad Salim Al-Sibahi: Foundational Verification Techniques for High-Level Transformation Languages
30'
13:30
14:10
Thomas Jensen: On analysing polymorphic code
40'
14:10
14:40
Alexandru Iosif-Lazar: C Reconfigurator - Effective Analysis of C Programs by Rewriting Variability
30’
14:40
15:10
Coffee break
30'
15:10
15:45
Maurice ter Beek: Family-based Model Checking with a Feature mu-calculus
35’
15:45
16:10
Aleksandar Dimovski: Variability-specific Abstraction Refinement for Family-based Model Checking
25'
16:10
16:35
Jean Melo: Contextual Variability Skeleton for Understanding Changes in Highly-Configurable Systems
25'
16:35
16:50
Uraz Turker: The use of invertible sequences for state identification
15'
16:50
17:00
Closing, dinner instructions, etc.
10'
18:15

Dinner (Restaurant Scarpeta, Islands Brygge 81F; 25 minutes walk)

20:00

After dinner coffee, etc. (the walk to Cafe Langebro takes 18 minutes :) )


Participants
1. Jean Melo (CS)
2. Alexandru Florin Iosif-Lazar (CS)
3. Ahmad Salim Al-Sibahi (CS)
4. Claus Brabrand (CS)
5. Andrzej Wąsowski (CS)
6. Aleksandar Dimovski (CS)
7. Iago Abal (CS)
8. Mohammad Mousavi (Halmstad)
9. Axel Legay (INRIA)
10. Thomas Jensen (INRIA)
11. Maurice ter Beek (Pisa)
12. Mahsa Varshosaz (Halmstad)
13. Uraz Turker (Gebze)