Coupling Design and Verification in Software Product Lines

Egon Börger (Università di Pisa, Italy) and Don Batory (University of Texas at Austin, USA)

Random Geometric Identification

Gyula O.H. Katona (Rényi Institute, Budapest, Hungary)

Strategic Abilities of Agents

Jürgen Dix (Clausthal University of Technology, Germany)