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
