print · source · login   

Reading group

What? A regular meeting to discuss research papers
Who? Anyone interested! Professors, post-docs, PhD students, interested master students
Which papers? In the beginning: seminal papers of the area. For example, on the ioco approach. Later: papers that are currently of interest to (some of) the participants
What for?

  • Practice reading and discussion of research papers
  • Sharing interesting research
  • Develop ideas for own research (especially for new PhD students)
  • Entry point for coordination / collaboration

When? Tuesdays at 11:00
Where? On zoom (clickable link)
Preparation? 1. Read paper in advance. 2. Prepare questions and other discussion items
What else? There is a role of discussion lead that will change from meeting to meeting. Often it’s the person who suggested the paper that is being discussed. The discussion lead moderates the meeting, for example, by asking all participants at the beginning of the meeting for their discussion items and then making sure that all main items are addressed during the meeting.

Meetings: planned and past

Paper 7 (Meeting on February 1, 2022)

Paper: Kästner, Christian, Sven Apel, and Martin Kuhlemann. "Granularity in software product lines." 2008 ACM/IEEE 30th International Conference on Software Engineering. IEEE, 2008.
Discussion lead: Diego

Paper 6 (Meeting on January 18, 2022)

Paper: Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin: Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013)

Paper 5 (Meeting on December 21, 2021)

Paper: Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay: Symbolic model checking of software product lines. ICSE 2011: 321-330
Discussion lead: Daniel

Paper 4 (Meeting on December 7, 2021)

Paper: Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay: Merging Features in Featured Transition Systems. MoDeVVa@MoDELS 2015: 38-43
Discussion lead: Diego

Paper 3 (Meeting on November 23, 2021)

Paper: L. de Alfaro and T. A. Henzinger, "Interface automata" ESEC / SIGSOFT FSE 2001: 109–120.
Discussion lead: Gijs

Paper 2 (Meeting on November 2, 2021)

Paper: Daca, Przemyslaw & Henzinger, Thomas & Krenn, Willibald & Nickovic, Dejan. (2014). Compositional Specifications for ioco Testing. ICST 2014.
Discussion lead: Tannaz

Paper 1 (Meeting on October 19, 2021)

Paper: Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100
Discussion lead: Daniel


As preparation for the meeting, please read the paper. It's recommended to make a few notes that could lead to discussion items, for example, based on the following questions:

  • Which questions do you have to the paper?
  • Which insights & other types of value do you take away from it?
  • Do you see relevant connections to other interesting work?