Search

Academic Papers

 

Authors Title Date Conference/Journal Link
Andam, Berima; Burger, Andreas; Berger, Thorsten; Chaudron, Michel R.V. FLOrIDA: Feature LOcatIon DAshboard for Extracting and Visualizing Feature Traces February, 2017 International Workshop on Variability Modelling on Software-intensive Systems (VaMoS '17) DL
Sadovykh, Andrey; Bagnato, Alessandra; Robin, Jacques; Viehl, Alexander; Ziadi, Tewfik; Martinez, Jabier REVAMP: challenges and innovation roadmap for variability management in round-trip engineering of software-intensive systems April, 2017    
Kröher, Christian; Schmid, Klaus Towards a Better Understanding of Software Product Line Evolution May, 2017 Workshop Software Reengineering & Evolution (WSRE ’17)  
Martinez, J.; Ziadi, T.; Bissyandé, T.; Klein, J.; Le Traon, Y. Bottom-Up Technologies for Reuse: Automated Extractive Adoption of Software Product Lines May, 2017 International Conference on Software Engineering (ICSE 2017)  
Behringer, B.; Palz, J.; Berger, T. PEoPL: Projectional Editing of Product Lines May, 2017 International Conference on Software Engineering (ICSE 2017) htwsaar
Gurov, D; Lidström, C.; Nyberg, M.; Westman, J.

Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report September, 2017 International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVOCS'17) DOI
Nesic, D.; Nyberg, M. Applying Multi Level Modeling to Data Integration in Product Line Engineering September, 2017 International Workshop on Multi-level Modelling (MULTI@MODELS'17)  
El-Sharkawy, Sascha; Krafczyk, Adam; Schmid, Klaus An Empirical Study of Configuration Mismatches in Linux September, 2017 International Systems and Software Product Line Conference (SPLC ’17)  
Martinez, J.; Assunção, W. K.; Ziadi, T. A Catalog of Extractive SPL Adoption Case Studies September, 2017 International Systems and Software Product Line Conference (SPLC ’17)  
Seidl, C.; Berger, T.; Elsner, C.; Schultis, K-B. Challenges and
Solutions for Opening Small and Medium-Scale Industrial Software Platforms
September, 2017 International Systems and Software Product Line Conference (SPLC ’17)  
Nesic, D.; Nyberg, M.; Gallina, B.  Modeling Product-Line Legacy Assets using Multi-Level Theory September, 2017 International Workshop on Reverse Variability Engineering (REVE@SPLC'17)  
Hellebrand, Robert; Schulze, Michael; Ryssel, Uwe Reverse engineering challenges of the feedback scenario in co-evolving product lines September, 2017 International Workshop on Reverse Variability Engineering (REVE@SPLC'17)  
Marcén, Ana Cristina; Font, Jaime; Pastor, Oscar; Cetina, Carlos Towards Feature Location in Models through a Learning to Rank Approach September, 2017 International Workshop on Reverse Variability Engineering (REVE@SPLC'17)  
Westman, J.; Nyberg, M.; Gustavsson, J.; Gurov, D. Formal Architecture Modeling of Sequential
Non-Recursive C Programs
October, 2017 Science of Computer Programming, vol. 146, pp. 2-27, 2017  
Sattler, F.; Rhein von, A.; Berger, T.; Johansson, N.S.; Hardø, M.M.; Apel, S. Lifting Inter-App Data-Flow Analysis to Large App Sets October, 2017 Automated Software Engineering . Springer US. 2017. preprint.  
Westman, J.; Nyberg, M. Conditions of Contracts for Separating Responsibilities in
Heterogeneous Systems
October, 2017 Formal Methods in System Design, 2017  
Linsbauer, L.; Berger, T.; Grünbacher, P. A Classification of Variation Control
Systems
November, 2017 International Conference on Generative Programming: Concepts & Experience (GPCE 2017)