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
S3: Solution-Space Analysis – 24th ACM International Systems

S3: Solution-Space Analysis

Home / Event / S3: Solution-Space Analysis

Event Timeslots (4)

Room Bruxelles
-
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti and Luca Paolini. “Static Analysis of Featured Transition Systems”. (RT)

Room Bruxelles
-
Carlos Diego Nascimento Damasceno, Mohammadreza Mousavi and Adenilso Simao. “Learning From Difference: An Automated Approach for Learning Family Models From Software Product Lines”. (RT)

Room Bruxelles
-
Andre Luiz Peron Martins Lanna, Thiago Castro, Vander Alves, Genaina Rodrigues, Pierre-Yves Schobbens and Sven Apel. "Feature-Family-Based Reliability Analysis of Software Product Line". (JFT)

Room Bruxelles
-
Lea Gerling and Klaus Schmid. “Variability-Aware Semantic Slicing Using Code Property Graphs”. (RT)