Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIna Schaefer
Person information
- affiliation: Karlsruhe Institute of Technology (KIT), Institute for Information Security and Dependability, Germany
- affiliation (former): TU Braunschweig, Germany
- affiliation (former): Chalmers University of Technology, Gothenburg, Sweden
- affiliation (former, PhD 2008): TU Kaiserslautern, Germany
- affiliation (former): Max Planck Institute for Computer Science, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j37]Chico Sundermann
, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer:
Evaluating state-of-the-art # SAT solvers on industrial configuration spaces. Empir. Softw. Eng. 28(2): 29 (2023)- [j36]Maurice H. ter Beek, Ina Schaefer:
Systems and software product lines of the future. J. Syst. Softw. 199: 111622 (2023) - [j35]Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer:
Immutability and Encapsulation for Sound OO Information Flow Control. ACM Trans. Program. Lang. Syst. 45(1): 3:1-3:35 (2023) - [c211]Ina Schaefer:
Quantum Software Engineering - Quo Vadis? Software Engineering 2023: 19-20 - [c210]Domenik Eichhorn, Tobias Pett, Nils Przigoda, Jessica Kindsvater, Christoph Seidl, Ina Schaefer:
Coverage-Driven Test Automation for Highly-Configurable Railway Systems. VaMoS 2023: 23-30 - [p7]Kamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer:
Re-engineering Automation Software with the Variability Analysis Toolkit. Handbook of Re-Engineering Software Intensive Systems into Software Product Lines 2023: 405-428 - [i15]Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer:
Exploiting d-DNNFs for Repetitive Counting Queries on Feature Models. CoRR abs/2303.12383 (2023) - 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) - [c209]Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff:
Model-Based Fault Classification for Automotive Software. APLAS 2022: 110-131 - [c208]Tabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson:
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY. The Logic of Software. A Tasting Menu of Formal Methods 2022: 80-104 - [c207]Sven Jordan, Lukas Linsbauer, Ina Schaefer:
AutoArx: Digital Twins of Living Architectures. ECSA 2022: 205-212 - [c206]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits: Correctness-by-Construction for Free. FORTE 2022: 131-150 - [c205]Marc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Generic Solution-Space Sampling for Multi-domain Product Lines. GPCE 2022: 135-147 - [c204]Raúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski:
A Specification Logic for Programs in the Probabilistic Guarded Command Language. ICTAC 2022: 369-387 - [c203]Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer:
X-by-Construction Meets Runtime Verification. ISoLA (1) 2022: 141-148 - [c202]Alexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer:
Runtime Verification of Correct-by-Construction Driving Maneuvers. ISoLA (1) 2022: 242-263 - [c201]Marc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer:
Quantifying the variability mismatch between problem and solution space. MoDELS 2022: 322-333 - [c200]Tabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer:
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction. SEFM Workshops 2022: 156-163 - [c199]Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language. SEFM 2022: 209-226 - [c198]Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Derivation of subset product lines in FeatureIDE. SPLC (B) 2022: 38-41 - [c197]Christoph König, Kamil Rosiak, Lukas Linsbauer, Ina Schaefer:
Synchronizing software variants: a two-dimensional approach. SPLC (B) 2022: 82-89 - [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] - [i14]Tobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer:
Traits for Correct-by-Construction Programming. CoRR abs/2204.05644 (2022) - [i13]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) - [i12]Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer:
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers. CoRR abs/2208.02672 (2022) - [i11]Mike Becker, Roland Meyer, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff:
Model-based Fault Classification for Automotive Software. CoRR abs/2208.14290 (2022) - [i10]Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. CoRR abs/2211.15261 (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]Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
17. Workshop Automotive Software Engineering. SE 2020: 249-250 - [c171]Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang:
ASE 2020 Preface. Software Engineering (Workshops) 2020 - [c170]Alexander Schlie, Sandro Schulze, Ina Schaefer:
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix Analysis. SE 2020: 131-132 - [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]