Warning: file_get_contents(/home/kishi-lab/info.json): failed to open stream: No such file or directory in /home/kishi-lab/www/splc2020/wp-content/mu-plugins/pagely-assets/inc/PagelyApi.php on line 50
Awards – 24th ACM International Systems


Home / Program / Awards

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