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

.mptt-shortcode-wrapper .mptt-shortcode-table:first-of-type{display:table!important}.mptt-shortcode-wrapper .mptt-shortcode-table .mptt-event-container:hover{height:auto!important;min-height:100%!important}body.mprm_ie_browser .mptt-shortcode-wrapper .mptt-event-container{height:auto!important}@media (max-width:767px){.mptt-shortcode-wrapper .mptt-shortcode-table:first-of-type{display:none!important}}

Awards

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