Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDIna Schaefer
Ina Schäfer
Person information
- affiliation: Technische Universität Braunschweig
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j34]Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
Guiding the evolution of product-line configurations. Softw. Syst. Model. 21(1): 225-247 (2022)- [j33]Tabea Bordis, Tobias Runge, David Schultz, Ina Schaefer:
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines. J. Comput. Lang. 70: 101119 (2022) - [c197]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. FORTE 2022: 131-150 - [c196]Lukas Birkemeyer, Tobias Pett, Andreas Vogelsang, Christoph Seidl, Ina Schaefer:
Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱. VaMoS 2022: 5:1-5:10 - [c195]Michael Nieke, Adrian Hoff, Ina Schaefer, Christoph Seidl:
Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming. VaMoS 2022: 11:1-11:9 - [c194]Elias Kuiter
, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer:
Verification Strategies for Feature-Oriented Software Product Lines. VaMoS 2022: 12:1-12:9 - [e21]Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations. Springer 2022, ISBN 978-3-030-83127-1 [contents] - [i11]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits for Correct-by-Construction Programming. CoRR abs/2204.05644 (2022) - [i10]Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski:
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version). CoRR abs/2205.04822 (2022) - 2021
- [j32]Kamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer:
Custom-tailored clone detection for IEC 61131-3 programming languages. J. Syst. Softw. 182: 111070 (2021) - [j31]Michael Nieke, Adrian Hoff, Christoph Seidl, Ina Schaefer:
Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines. J. Comput. Lang. 63: 101031 (2021) - [c193]Alexander Knüppel, Leon Schaer, Ina Schaefer:
How much Specification is Enough? Mutation Analysis for Software Contracts. FormaliSE@ICSE 2021: 42-53 - [c192]Alexander Knüppel, Thomas Thüm, Ina Schaefer:
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers. FormaliSE@ICSE 2021: 124-129 - [c191]Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. Software Engineering 2021: 67-68 - [c190]Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. Software Engineering 2021: 93-94 - [c189]Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
18th Workshop on Automotive Software Engineering (ASE'21). Software Engineering 2021: 127-128 - [c188]Ina Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson:
Tutorial: The Correctness-by-Construction Approach to Programming Using CorC. SecDev 2021: 1-2 - [c187]Tobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer:
AutoSMP: an evaluation platform for sampling algorithms. SPLC (B) 2021: 41-44 - [c186]Chico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer:
Integration of UVL in FeatureIDE. SPLC (B) 2021: 73-79 - [c185]Tobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer:
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience. FMTea 2021: 101-116 - [c184]Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer:
Applications of #SAT Solvers on Feature Models. VaMoS 2021: 12:1-12:10 - [c183]Marc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer:
Hyper Explanations for Feature-Model Defect Analysis. VaMoS 2021: 14:1-14:9 - [c182]Tobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer:
Stability of Product-Line Samplingin Continuous Integration. VaMoS 2021: 18:1-18:9 - [p6]Jörg Christian Kirchhof, Michael Nieke, Ina Schaefer, David Schmalzing, Michael Schulze:
Variant and Product Line Co-Evolution. Model-Based Engineering of Collaborative Embedded Systems 2021: 333-351 - [e20]Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann:
Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021. CEUR Workshop Proceedings 2814, CEUR-WS.org 2021 [contents] - [e19]Anne Koziolek, Ina Schaefer, Christoph Seidl:
Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/Virtuell. LNI P-310, Gesellschaft für Informatik e.V. 2021, ISBN 978-3-88579-704-3 [contents] - [i9]Kamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer:
Custom-Tailored Clone Detection for IEC 61131-3 Programming Languages. CoRR abs/2108.09753 (2021) - 2020
- [c181]Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Software Engineering Award 2020. Denert Award 2020: 1-7 - [c180]Alexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer:
Skill-Based Verification of Cyber-Physical Systems. FASE 2020: 203-223 - [c179]Tabea Bordis, Tobias Runge, Ina Schaefer:
Correctness-by-construction for feature-oriented software product lines. GPCE 2020: 22-34 - [c178]Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Lattice-Based Information Flow Control-by-Construction for Security-by-Design. FormaliSE@ICSE 2020: 44-54 - [c177]Juliane Fischer, Birgit Vogel-Heuser, Fabian Haben, Ina Schaefer:
Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy Software. IEEM 2020: 1126-1130 - [c176]Alexander Knüppel, Tobias Runge, Ina Schaefer:
Scaling Correctness-by-Construction. ISoLA (1) 2020: 187-207 - [c175]Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson:
X-by-Construction - Correctness Meets Probability. ISoLA (1) 2020: 211-215 - [c174]Dilian Gurov, Paula Herber, Ina Schaefer:
Automated Verification of Embedded Control Software - Track Introduction. ISoLA (3) 2020: 235-239 - [c173]Tobias Pett, Domenik Eichhorn, Ina Schaefer:
Risk-based compatibility analysis in automotive systems engineering. MoDELS (Companion) 2020: 34:1-34:10 - [c172]Alexander Schlie, Sandro Schulze, Ina Schaefer:
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. SE 2020: 131-132 - [c171]Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
17. Workshop Automotive Software Engineering. SE 2020: 249-250 - [c170]Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
ASE 2020 Preface. Software Engineering (Workshops) 2020 - [c169]Juliane Fischer, Birgit Vogel-Heuser, Jan Wilch, Frieder Loch, Kathrin Land, Ina Schaefer:
Variability Visualization of IEC 61131-3 Legacy Software for Planned Reuse. SMC 2020: 3760-3767 - [c168]Alexander Schlie, Alexander Knüppel, Christoph Seidl, Ina Schaefer:
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink. SPLC (A) 2020: 7:1-7:12 - [c167]Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer:
Consistency-preserving evolution planning on feature models. SPLC (A) 2020: 8:1-8:12 - [c166]Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer:
GuyDance: Guiding Configuration Updates for Product-Line Evolution. SPLC (B) 2020: 56-64 - [c165]Chico Sundermann, Thomas Thüm, Ina Schaefer:
Evaluating #SAT solvers on industrial feature models. VaMoS 2020: 3:1-3:9 - [c164]Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer:
SMT-based variability analyses in FeatureIDE. VaMoS 2020: 6:1-6:9 - [c163]Tabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer:
Variational correctness-by-construction. VaMoS 2020: 7:1-7:9 - [c162]Alexander Schlie, Sandro Schulze, Ina Schaefer:
Recovering variability information from source code of clone-and-own software systems. VaMoS 2020: 19:1-19:9 - [p5]Alexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer:
Using Abstract Contracts for Verifying Evolving Features and Their Interactions. 20 Years of KeY 2020: 122-148 - [e18]Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Award for Software Engineering 2019 - Practice Meets Foundations. Springer 2020, ISBN 978-3-030-58616-4 [contents] - [e17]Rafael Capilla, Philippe Collet, Paul Gazzillo, Jacob Krüger, Roberto Erick Lopez-Herrejon, Sarah Nadi, Gilles Perrouin, Iris Reinhartz-Berger, Julia Rubin, Ina Schaefer:
SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume B. ACM 2020, ISBN 978-1-4503-7570-2 [contents]
2010 – 2019
- 2019
- [j30]Bernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang:
Special issue on engineering collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34(4): 173-175 (2019) - [j29]Sascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer:
Retest test selection for product-line regression testing of variants and versions of variants. J. Syst. Softw. 147: 46-63 (2019) - [j28]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. J. Syst. Softw. 152: 83-107 (2019) - [c161]Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Software Engineering Awards 2019. Denert Award 2019: 1-10 - [c160]Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
Tool Support for Correctness-by-Construction. FASE 2019: 25-42 - [c159]Tobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study. FM Workshops (2) 2019: 388-405 - [c158]Steffen Helke, Ina Schaefer, Andreas Vogelsang:
16. Workshop Automotive Software Engineering. SE/SWM 2019: 31-32 - [c157]Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. SE/SWM 2019: 165-166 - [c156]Paul Maximilian Bittner, Thomas Thüm, Ina Schaefer:
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses. SEFM 2019: 127-144 - [c155]Safa Bougouffa, Birgit Vogel-Heuser, Juliane Fischer, Ina Schaefer, Huaxia Li:
Visualization of Variability Analysis of Control Software From Industrial Automation Systems. SMC 2019: 3357-3364 - [c154]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer:
Feature-oriented contract composition. SPLC (A) 2019: 5:1 - [c153]Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer:
Product sampling for product lines: the scalability challenge. SPLC (A) 2019: 14:1-14:6 - [c152]Thomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer:
Towards efficient analysis of variation in time and space. SPLC (B) 2019: 69:1-69:8 - [c151]Kamil Rosiak, Oliver Urbaniak, Alexander Schlie, Christoph Seidl, Ina Schaefer:
Analyzing variability in 25 years of industrial legacy software: an experience report. SPLC (B) 2019: 70:1-70:8 - [c150]Thomas Thüm, Christoph Seidl, Ina Schaefer:
On language levels for feature modeling notations. SPLC (B) 2019: 83:1-83:4 - [c149]Alexander Schlie, Kamil Rosiak, Oliver Urbaniak, Ina Schaefer, Birgit Vogel-Heuser:
Analyzing variability in automation software with the variability analysis toolkit. SPLC (B) 2019: 89:1-89:8 - [p4]Christoph Seidl, David Wille, Ina Schaefer:
Software Reuse: From Cloned Variants to Managed Software Product Lines. Automotive Systems and Software Engineering 2019: 77-108 - [p3]Thomas Thüm, André van Hoorn, Sven Apel, Johannes Bürdek, Sinem Getir, Robert Heinrich, Reiner Jung, Matthias Kowal, Malte Lochau, Ina Schaefer, Jürgen Walter:
Performance Analysis Strategies for Software Variants and Versions. Managed Software Evolution 2019: 175-206 - [p2]Alexander Schlie, Christoph Seidl, Ina Schaefer:
Reengineering Variants of MATLAB/Simulink Software Systems. Security and Quality in Cyber-Physical Systems Engineering 2019: 267-301 - [e16]Ina Schaefer, Christoph Reichenbach, Tijs van der Storm:
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019. ACM 2019, ISBN 978-1-4503-6980-0 [contents] - [e15]Stephan Krusche, Kurt Schneider, Marco Kuhrmann, Robert Heinrich, Reiner Jung, Marco Konersmann, Eric Schmieders, Steffen Helke, Ina Schaefer, Andreas Vogelsang, Björn Annighöfer, Andreas Schweiger, Marina Reich, André van Hoorn:
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019. CEUR Workshop Proceedings 2308, CEUR-WS.org 2019 [contents] - 2018
- [j27]Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Informatica 55(4): 269-307 (2018) - [j26]Alexander Schlie, Safa Bougouffa, Juliane Fischer, Ina Schaefer, Birgit Vogel-Heuser:
Change analysis on evolving PLC software in automated production systems. Autom. 66(10): 806-818 (2018) - [j25]David Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer:
Improving custom-tailored variability mining using outlier and cluster detection. Sci. Comput. Program. 163: 62-84 (2018) - [j24]Loek Cleophas, Ina Schaefer, Bruce W. Watson:
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017). Sci. Comput. Program. 166: 1-2 (2018) - [j23]Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer:
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes. Softw. Syst. Model. 17(3): 973-987 (2018) - [c148]Ina Schaefer:
A Personal History of Delta Modelling. Principled Software Development 2018: 241-250 - [c147]Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Reducing variability of technically related software systems in large-scale IT landscapes. CASCON 2018: 224-235 - [c146]Thomas Thüm, Sebastian Krieter, Ina Schaefer:
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators. ConfWS 2018: 1-8 - [c145]Alexander Schlie, Sandro Schulze, Ina Schaefer:
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. ICSME 2018: 160-171 - [c144]Juliane Fischer, Safa Bougouffa, Alexander Schlie, Ina Schaefer, Birgit Vogel-Heuser:
A Qualitative Study of Variability Management of Control Software for Industrial Automation Systems. ICSME 2018: 615-624 - [c143]Martin Berglund, Ina Schaefer:
An Automata-Based View on Configurability and Uncertainty. ICTAC 2018: 80-98 - [c142]Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Scalability of Deductive Verification Depends on Method Call Treatment. ISoLA (4) 2018: 159-175 - [c141]Maurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson:
X-by-Construction. ISoLA (1) 2018: 359-364 - [c140]Ina Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson:
Towards Confidentiality-by-Construction. ISoLA (1) 2018: 502-515 - [c139]Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer:
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY. ITP 2018: 342-361 - [c138]Sven Schuster, Christoph Seidl, Ina Schaefer:
Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines. MODELSWARD 2018: 731-742 - [c137]Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is There a Mismatch between Real-World Feature Models and Product-Line Research? Software Engineering 2018: 53-54 - [c136]Mahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer:
A classification of product sampling for software product lines. SPLC 2018: 1-13 - [c135]Christoph Seidl, Sven Schuster, Ina Schaefer:
Generative software product line development using variability-aware design patterns. SPLC 2018: 246 - [c134]Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer:
175% Modeling for Product-Line Evolution of Domain Artifacts. VaMoS 2018: 27-34 - [c133]Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer:
Experience Report on Formally Verifying Parts of OpenJDK's API with KeY. F-IDE@FLoC 2018: 53-70 - [e14]Peter Müller, Ina Schaefer:
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer 2018, ISBN 978-3-319-98046-1 [contents] - [e13]Ina Schaefer, Loek Cleophas, Michael Felderer, Steffen Becker, Wolfgang Böhm, Dirk Fahland, Hans-Georg Fill, Robert Heinrich, Kathrin Kirchner, Michael Köhler-Bußmeier, Marco Konersmann, Heinrich C. Mayr, Daniel Moldt, Andreas Oberweis, Felix Reher, Matthias Riebisch, Stefan Sauer, Holger Schlingloff, Bernhard Thalheim, Andreas Vogelsang, Rüdiger Weißbach, Thorsten Weyer:
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018. CEUR Workshop Proceedings 2060, CEUR-WS.org 2018 [contents] - [e12]Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl:
Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany. LNI P-280, Gesellschaft für Informatik e.V. 2018, ISBN 978-3-88579-674-9 [contents] - [e11]Einar Broch Johnsen, Ina Schaefer:
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10886, Springer 2018, ISBN 978-3-319-92969-9 [contents] - 2017
- [j22]Christoph Seidl, Sven Schuster, Ina Schaefer:
Generative software product line development using variability-aware design patterns. Comput. Lang. Syst. Struct. 48: 89-111 (2017) - [j21]Ina Schaefer, Ioannis Stamelos:
Introduction to the Special Issue on "International Conference on Software Reuse 2015". J. Syst. Softw. 131: 323-324 (2017) - [c132]Remo Lachmann, Michael Felderer, Manuel Nieke, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Multi-objective black-box test case selection for system testing. GECCO 2017: 1311-1318 - [c131]Kenny Wehling, Ina Schaefer:
Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT Architectures. GI-Jahrestagung 2017: 1523-1529 - [c130]Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake:
Modularization of Refinement Steps for Agile Formal Methods. ICFEM 2017: 19-35 - [c129]Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Decision Support for Reducing Unnecessary IT Complexity of Application Architectures. ICSA Workshops 2017: 161-168 - [c128]Mustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake:
Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing. VACE@ICSE 2017: 34-40 - [c127]Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer:
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. ICSR 2017: 77-94 - [c126]Ferruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer:
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs. IFM 2017: 111-126 - [c125]Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Automated recommendations for reducing unnecessary variability of technology architectures. FOSD 2017: 1-10 - [c124]Sven Schuster, Christoph Seidl, Ina Schaefer:
Towards a development process for maturing Delta-oriented software product lines. FOSD 2017: 41-50 - [c123]Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer:
Is there a mismatch between real-world feature models and product-line research? ESEC/SIGSOFT FSE 2017: 291-302 - [c122]David Wille, Kenny Wehling, Christoph Seidl, Martin Pluchator, Ina Schaefer:
Variability Mining of Technical Architectures. SPLC (A) 2017: 39-48 - [c121]Alexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer:
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation. SPLC (A) 2017: 215-224 - [c120]Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson:
Many-MADFAct: Concurrently Constructing MADFAs. Stringology 2017: 126-142 - [c119]Remo Lachmann, Simon Beddig, Sascha Lity, Sandro Schulze, Ina Schaefer:
Risk-based integration testing of software product lines. VaMoS 2017: 52-59 - [c118]Sascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer:
Optimizing product orders using graph algorithms for improving incremental product-line analysis. VaMoS 2017: 60-67 - [e10]Maurice H. ter Beek, Norbert Siegmund, Ina Schaefer:
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017. ACM 2017, ISBN 978-1-4503-4811-9 [contents] - 2016
- [j20]Richard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu:
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. LNCS Trans. Found. Mastering Chang. 1: 130-156 (2016) - [j19]Maurice H. ter Beek, Dave Clarke, Ina Schaefer:
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering. J. Log. Algebraic Methods Program. 85(1): 123-124 (2016) - [j18]