You can also add the Google Calendar of all VaMoS events.
Feb 7
- 8:30 – 9:00 Registration
- 8:55 – 9:00 Opening
- 9:00 – 10:00 Industry Keynote (Chair: Leopoldo Teixeira)
- 10:00 – 10:30 Break
- 10:30 – 12:00 Session 1: Applications (Chair: Rick Rabiser)
- 12:00 – 13:30 Lunch Break
- 13:30 – 15:00 Session 2: Methodology & Empirical Studies (Chair: Jessie Galasso-Carbonnel)
- [20min] From Decision Models To User-Guiding Configurators Using SMT
- [30min] Vulnerably (Mis)Configured? Exploring 10 Years of Developers’ Q&As on Stack Overflow
- [20min] On Configuration Sequences in Feature Models
- [20min] A Practitioners Perspective on Adressing Cyber Security and Variability Challenges in Modern Automotive Systems
- 15:00 – 15:30 Break
- 15:30 – 17:30 Session 3: Feature Models & Analysis (Chair: David Benavides)
- [20min] Kfeature: Rendering the Kconfig System into Feature Models
- [30min] Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
- [20min] Grammars for Feature Models
- [30min] Explaining Edits to Variability Annotations in Evolving Software Product Lines
- [20min] How Easy is SAT-Based Analysis of a Feature Model?
- 17:30 Reception
Feb 8
- 8:30 – 9:00 Registration
- 9:00 – 10:00 Scientific Keynote (Chair: Marianne Huchard)
- 10:00 – 10:30 Break
- 10:30 – 12:00 Session 4: Cyberphysical & Adaptive Systems (Chair: Sandra Greiner)
- 12:00 – 13:30 Lunch Break
- 13:30 – 15:00 Session 5: Testing (Chair: Gilles Perrouin)
- 15:00 – 15:30 Break
- 15:30 – 16:00 MIP Session (Chairs: Marianne Huchard & Leopoldo Teixeira)
- 17:15 Spooky Bern Tour
- 19:30 Dinner
Feb 9
- 8:30 – 9:00 Registration
- 9:00 – 10:00 Invited Talk (Chair: Timo Kehrer)
- 10:00 – 10:30 Break
- 10:30 – 12:00 Session 6: AI (Chair: Wesley Assunção)
- 11:50 – 12:00 Closing