Most Influential Paper Award SPLC 2020

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, and Jean-François Raskin

“Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines”. 32nd International Conference on Software Engineering (ICSE 2010)


Best Paper Award SPLC’20

Jane Cleland-Huang, Maxime Van Spreybroek, Ankit Agrawal, Md Nafee Al Islam, Eric Tsai, Michael Vierhauser

“Requirements-Driven Configuration of Emergency Response Missions with Small Aerial Vehicles”


Best Reviewer Awards SPLC’20

Daniel Strüber and Leopoldo Teixeira