Recent Changes

Tuesday, March 28

  1. page Closing Workshop edited ... 11:40 12:20 ... Product Lines (cancelled) 40’ 12:20 13:30 11:40 13.00 Lunch 70’…
    ...
    11:40
    12:20
    ...
    Product Lines (cancelled)
    40’
    12:20
    13:30
    11:40
    13.00

    Lunch
    70’
    13:00
    13:30
    14:00
    Ahmad Salim Al-Sibahi: Foundational Verification Techniques for High-Level Transformation Languages
    30'
    14:00
    14:40
    13:30
    14:10

    Thomas Jensen: On analysing polymorphic code
    40'
    14:10
    14:40
    15:10
    Alexandru Iosif-Lazar: C Reconfigurator - Effective Analysis of C Programs by Rewriting Variability
    30’
    14:40
    15:10
    15:40
    Coffee break
    30'
    15:40
    16:15
    15:10
    15:45

    Maurice ter Beek: Family-based Model Checking with a Feature mu-calculus
    35’
    16:15
    16:40
    15:45
    16:10

    Aleksandar Dimovski: Variability-specific Abstraction Refinement for Family-based Model Checking
    25'
    16:40
    17:05
    16:10
    16:35

    Jean Melo: Contextual Variability Skeleton for Understanding Changes in Highly-Configurable Systems
    25'
    17:05
    17:20
    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)
    (view changes)
    12:08 am

Thursday, March 23

  1. page Closing Workshop edited ... 15' 18:15 Dinner (Retaurant (Restaurant Scarpeta, Islands Brygge 21F; 81F; 25 minutes …
    ...
    15'
    18:15
    Dinner (Retaurant(Restaurant Scarpeta, Islands Brygge 21F;81F; 25 minutes
    20:00
    After dinner coffee, etc. (the walk to Cafe Langebro takes 18 minutes :) )
    (view changes)
    10:19 am
  2. page Closing Workshop edited ... Uraz Turker: The use of invertible sequences for state identification 15' 18:30 18:15 Di…
    ...
    Uraz Turker: The use of invertible sequences for state identification
    15'
    18:3018:15
    Dinner (Retaurant Scarpeta, Islands Brygge 21F; 25 minutes walk)
    20:00
    ...
    coffee, etc. (the walk to Cafe Langebro takes 18 minutes :) )
    Participants
    1. Jean Melo (CS)
    (view changes)
    10:18 am
  3. page Closing Workshop edited ... 30' 15:40 16:20 16:15 Maurice ter Beek: Family-based Model Checking with a Feature mu-ca…
    ...
    30'
    15:40
    16:2016:15
    Maurice ter Beek: Family-based Model Checking with a Feature mu-calculus
    40’
    16:20
    16:50
    35’
    16:15
    16:40

    Aleksandar Dimovski: Variability-specific Abstraction Refinement for Family-based Model Checking
    30'
    16:50
    17:20
    25'
    16:40
    17:05

    Jean Melo: Contextual Variability Skeleton for Understanding Changes in Highly-Configurable Systems
    30'25'
    17:05
    17:20
    Uraz Turker: The use of invertible sequences for state identification
    15'

    18:30
    Dinner
    (view changes)
    5:45 am

Wednesday, March 22

  1. page Closing Workshop edited ... 11. Maurice ter Beek (Pisa) 12. Mahsa Varshosaz (Halmstad) 13. Uraz Turker (Gebze)
    ...
    11. Maurice ter Beek (Pisa)
    12. Mahsa Varshosaz (Halmstad)
    13. Uraz Turker (Gebze)
    (view changes)
    7:27 am

Thursday, March 2

  1. page Closing Workshop edited ... 10. Thomas Jensen (INRIA) 11. Maurice ter Beek (Pisa) 12. Mahsa Varshosaz (Halmstad)
    ...
    10. Thomas Jensen (INRIA)
    11. Maurice ter Beek (Pisa)
    12. Mahsa Varshosaz (Halmstad)
    (view changes)
    12:57 am

Wednesday, March 1

  1. page Closing Workshop edited Location: Room 4A54, ITU Copenhagen, Directions to get to ITU Tuesday, 28 March, 2017
    Location: Room 4A54, ITU Copenhagen,
    Directions to get to ITU
    Tuesday, 28 March, 2017
    (view changes)
    3:02 am

Friday, February 24

  1. page Closing Workshop edited ... 20:00 After dinner coffee, etc. Wednesday, 29 March, 2017 10:30 12:00 Open Discussion 9…
    ...
    20:00
    After dinner coffee, etc.
    Wednesday, 29 March, 2017
    10:30
    12:00
    Open Discussion
    90’
    12:00
    13:15
    Lunch
    75’
    13:15
    15:00
    Open Discussion
    115’
    15:00
    15:45
    45’

    Participants
    1. Jean Melo (CS)
    (view changes)
    9:20 am
  2. page Closing Workshop edited ... 40’ 11:10 11:50 11:40 Iago Abal: EBA - Effective Bug Finding in C Programs with Shape and…
    ...
    40’
    11:10
    11:5011: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
    40’
    11:50
    13:00
    12:20
    13:30

    Lunch
    70’
    13:00
    13:30
    Iago Abal: EBA - Effective Bug Finding in C Programs with Shape and Effect Abstractions
    30'

    13:30
    14:00
    (view changes)
    9:19 am
  3. page Closing Workshop edited ... 40' 14:40 15:20 15:10 Alexandru Iosif-Lazar: C Reconfigurator - Effective Analysis of C …
    ...
    40'
    14:40
    15:2015:10
    Alexandru Iosif-Lazar: C Reconfigurator - Effective Analysis of C Programs by Rewriting Variability
    30’
    15:20
    15:50
    15:10
    15:40

    Coffee break
    30'
    15:50
    16:30
    15:40
    16:20

    Maurice ter Beek: Family-based Model Checking with a Feature mu-calculus
    40’
    16:30
    17:00
    16:20
    16:50

    Aleksandar Dimovski: Variability-specific Abstraction Refinement for Family-based Model Checking
    30'
    17:00
    17:30
    16:50
    17:20

    Jean Melo: Contextual Variability Skeleton for Understanding Changes in Highly-Configurable Systems
    30'
    (view changes)
    8:06 am

More