default search action
Ina 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
2020 – today
- 2024
- [j42]Chico Sundermann, Heiko Raab, Tobias Heß, Thomas Thüm, Ina Schaefer:
Reusing d-DNNFs for Efficient Feature-Model Counting. ACM Trans. Softw. Eng. Methodol. 33(8): 208:1-208:32 (2024) - [c234]Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer:
Towards View-based Development of Quantum Software. INFORMATIK 2024: 551-554 - [c233]Joshua Ammermann, Fabian Jakob Brenneisen, Tim Bittner, Ina Schaefer:
Quantum Solution for Configuration Selection and Prioritization. Q-SE@ICSE 2024: 21-28 - [c232]Maurice H. ter Beek, Loek Cleophas, Clemens Dubslaff, Ina Schaefer:
X-by-Construction Meets AI. ISoLA (4) 2024: 155-161 - [c231]Maximilian Kodetzki, Tabea Bordis, Michael Kirsten, Ina Schaefer:
Towards AI-Assisted Correctness-by-Construction Software Development. ISoLA (4) 2024: 222-241 - [c230]Philip Ochs, Tobias Pett, Ina Schaefer:
Consistency Is Key: Can Your Product Line Realise What It Models? MoDELS (Companion) 2024: 690-699 - [c229]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. Software Engineering 2024: 67-68 - [c228]Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. SPLC (A) 2024: 47-53 - [c227]Lukas Güthing, Tobias Pett, Ina Schaefer:
Out-of-the-Box Prediction of Non-Functional Variant Properties Using Automated Machine Learning. SPLC (B) 2024: 82-87 - [c226]Malte Lochau, Ina Schaefer:
Model-Based Testing of Quantum Computations. TAP 2024: 127-147 - [c225]Maximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer:
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines. VaMoS 2024: 17-26 - [c224]Lukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau:
Sampling Cardinality-Based Feature Models. VaMoS 2024: 46-55 - [c223]Lukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm:
Explaining Edits to Variability Annotations in Evolving Software Product Lines. VaMoS 2024: 93-102 - [p10]Cecilia Carbonelli, Michael Felderer, Matthias Jung, Elisabeth Lobe, Malte Lochau, Sebastian Luber, Wolfgang Mauerer, Rudolf Ramler, Ina Schaefer, Christoph Schroth:
Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective. Quantum Software 2024: 311-335 - [e23]Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Award for Software Engineering 2022 - Practice Meets Foundations. Springer 2024, ISBN 978-3-031-44411-1 [contents] - [i22]Joshua Ammermann, Wolfgang Mauerer, Ina Schaefer:
Towards View-based Development of Quantum Software. CoRR abs/2406.18363 (2024) - [i21]Tobias Pett, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
MulTi-Wise Sampling: Trading Uniform T-Wise Feature Interaction Coverage for Smaller Samples. CoRR abs/2406.19801 (2024) - 2023
- [j41]Birgit Vogel-Heuser, Tobias Kleinert, Ina Schaefer:
Methods, approaches and applications in software-driven manufacturing. Autom. 71(5): 327-329 (2023) - [j40]Kamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer:
A model-based mutation framework for IEC61131-3 manufacturing systems. Autom. 71(5): 380-389 (2023) - [j39]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) - [j38]Maurice H. ter Beek, Ina Schaefer:
Systems and software product lines of the future. J. Syst. Softw. 199: 111622 (2023) - [j37]Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer:
Flexible Correct-by-Construction Programming. Log. Methods Comput. Sci. 19(2) (2023) - [j36]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) - [c222]Sven Jordan, Christoph König, Lukas Linsbauer, Ina Schaefer:
Automated Integration of Heteregeneous Architecture Information into a Unified Model. ECSA 2023: 83-99 - [c221]Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer:
A Query Language for Software Architecture Information. ECSA 2023: 337-345 - [c220]Domenik Eichhorn, Maximilian Schweikart, Nick Poster, Tobias Osborne, Ina Schaefer:
Providing Quantum Readiness: The Vision of the ProvideQ Toolbox. GI-Jahrestagung 2023: 1129-1133 - [c219]Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl:
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? Q-SE@ICSE 2023: 34-41 - [c218]Lukas Birkemeyer, Christian King, Ina Schaefer:
Is Scenario Generation Ready for SOTIF? A Systematic Literature Review. ITSC 2023: 472-479 - [c217]Lukas Birkemeyer, Julian Fuchs, Alessio Gambi, Ina Schaefer:
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling. ITSC 2023: 2139-2144 - [c216]Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger:
Consistency in the View-Based Development of Cyber-Physical Systems (Convide). MoDELS (Companion) 2023: 83-84 - [c215]Ina Schaefer:
Quantum Software Engineering - Quo Vadis? Software Engineering 2023: 19-20 - [c214]Domenik Eichhorn, Tobias Pett, Tobias Osborne, Ina Schaefer:
Quantum Computing for Feature Model Analysis: Potentials and Challenges. SPLC (A) 2023: 1-7 - [c213]Kamil Rosiak, Ina Schaefer:
The e4CompareFramework: Annotation-based Software Product-Line Extraction. SPLC (B) 2023: 34-38 - [c212]Tobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer:
Continuous T-Wise Coverage. SPLC (A) 2023: 87-98 - [c211]Christoph König, Kamil Rosiak, Loek Cleophas, Ina Schaefer:
True Variability Shining Through Taxonomy Mining. SPLC (A) 2023: 182-193 - [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 - [p9]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 - [i20]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) - [i19]Joshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer:
A Query Language for Software Architecture Information (Extended version). CoRR abs/2306.16829 (2023) - [i18]Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl:
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint). CoRR abs/2307.14703 (2023) - [i17]Anurudh Peduri, Ina Schaefer, Michael Walter:
QbC: Quantum Correctness by Construction. CoRR abs/2307.15641 (2023) - [i16]Lukas Birkemeyer, Christian King, Ina Schaefer:
Is Scenario Generation Ready for SOTIF? A Systematic Literature Review. CoRR abs/2308.02273 (2023) - [i15]Lukas Birkemeyer, Julian Fuchs, Alessio Gambi, Ina Schaefer:
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling. CoRR abs/2308.07025 (2023) - 2022
- [j35]Michael Nieke, Gabriela Cunha 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) - [j34]Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Software-Engineering-Preis 2021. Softwaretechnik-Trends 42(2): 3 (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 - [p8]Alexander Egyed, Paul Grünbacher, Lukas Linsbauer, Herbert Prähofer, Ina Schaefer:
Variability in Products and Production. Digital Transformation 2022: 65-91 - [p7]Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer:
Ernst Denert Software Engineering Award 2022. Ernst Denert Award for Software Engineering 2022: 1-8 - [e22]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] - [e21]Arnd Hartmanns, Ina Schaefer, Stefania Gnesi, Nico Plat:
10th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE@ICSE 2022, Pittsburgh, PA, USA, May 22-23, 2022. ACM 2022, ISBN 978-1-4503-9287-7 [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 Cunha 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]Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel:
Variability encoding: From compile-time to load-time variability. J. Log. Algebraic Methods Program. 85(1): 125-145 (2016) - [c117]Remo Lachmann, Sandro Schulze, Manuel Nieke, Christoph Seidl, Ina Schaefer:
System-Level Test Case Prioritization Using Machine Learning. ICMLA 2016: 361-368 - [c116]Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer:
Applying Incremental Model Slicing to Product-Line Regression Testing. ICSR 2016: 3-19 - [c115]Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson:
Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. ICSR 2016: 63-70 - [c114]David Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Identifying Variability in Object-Oriented Code Using Model-Based Code Mining. ISoLA (2) 2016: 547-562 - [c113]Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer:
Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) 2016: 723-729 - [c112]Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas:
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience? ISoLA (1) 2016: 730-748 - [c111]Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson:
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families. ISoLA (1) 2016: 766-783 - [c110]Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer:
Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) 2016: 839-855 - [c109]Christoph Seidl, Tim Winkelmann, Ina Schaefer:
A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages. Modellierung 2016: 157-172 - [c108]Remo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Franz Fürchtegott, Ina Schaefer:
Fine-grained test case prioritization for integration testing of delta-oriented software product lines. FOSD 2016: 1-10 - [c107]Sven Schuster, Michael Nieke, Ina Schaefer:
Name resolution strategies in variability realization languages for software product lines. FOSD 2016: 11-17 - [c106]Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer:
Implicit constraints in partial feature models. FOSD 2016: 18-27 - [c105]Sascha Lity, Matthias Kowal, Ina Schaefer:
Higher-order delta modeling for software product line evolution. FOSD 2016: 39-48 - [c104]David Wille, Sandro Schulze, Ina Schaefer:
Variability mining of state charts. FOSD 2016: 63-73 - [c103]Andreas Krall, Ina Schaefer:
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016). Software Engineering (Workshops) 2016: 1-2 - [c102]Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling size and parameter spaces in variability-aware software performance models. Software Engineering 2016: 33-34 - [c101]Tim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer:
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts. Software Engineering (Workshops) 2016: 40-54 - [c100]Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy:
Evolution of software in automated production systems: challenges and research directions. Software Engineering 2016: 107-108 - [c99]Andreas Krall, Ina Schaefer:
ATPS 2016: 9. Arbeitstagung Programmiersprachen. Software Engineering 2016: 119-120 - [c98]Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer:
Synchronizing software variants with variantsync. SPLC 2016: 329-332 - [c97]David Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Custom-Tailored Variability Mining for Block-Based Languages. SANER 2016: 271-282 - [c96]Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner:
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates. PrePost@IFM 2016: 31-45 - [c95]Matthias Kowal, Ina Schaefer:
Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems. FMSPLE 2016: 32-45 - [p1]Ina Schaefer, André Heuer, Michael Himsolt, Tobias Jäger, Tobias Kaufmann, Christian Manz, Reinhold May, Christian Reuter, Bernhard Rumpe, Holger Schlingloff, Sebastian Schröck, Christoph Schulze, Michael Schulze, Stephan Weißleder:
Variant Management and Reuse. Advanced Model-Based Engineering of Embedded Systems 2016: 197-222 - [e9]Bernd Fischer, Ina Schaefer:
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016. ACM 2016, ISBN 978-1-4503-4446-3 [contents] - [e8]Wolf Zimmermann, Lukas Alperowitz, Bernd Brügge, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Andreas Krall, Dieter Landes, Horst Lichter, Dirk Riehle, Ina Schaefer, Constantin Scheuermann, Alexander Schlaefer, Sibylle Schupp, Andreas Seitz, Andreas Steffens, André Stollenwerk, Rüdiger Weißbach:
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016. CEUR Workshop Proceedings 1559, CEUR-WS.org 2016 [contents] - [e7]Ina Schaefer, Vander Alves, Eduardo Santana de Almeida:
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016. ACM 2016, ISBN 978-1-4503-4019-9 [contents] - 2015
- [j17]Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy:
Evolution of software in automated production systems: Challenges and research directions. J. Syst. Softw. 110: 54-84 (2015) - [j16]Dave Clarke, Michiel Helvensteijn, Ina Schaefer:
Abstract delta modelling. Math. Struct. Comput. Sci. 25(3): 482-527 (2015) - [j15]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing type-safe software product lines using parametric traits. Sci. Comput. Program. 97: 282-308 (2015) - [j14]Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Klaus Müller, Bernhard Rumpe, Ina Schaefer, Christoph Schulze:
Systematic synthesis of delta modeling languages. Int. J. Softw. Tools Technol. Transf. 17(5): 601-626 (2015) - [c94]Christoph Seidl, Sven Schuster, Ina Schaefer:
Generative software product line development using variability-aware design patterns. GPCE 2015: 151-160 - [c93]Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Jan Ladiges, Alexander Fay, Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert:
Selected challenges of software evolution for automated production systems. INDIN 2015: 314-321 - [c92]Birgit Vogel-Heuser, Jakob Mund, Matthias Kowal, Christoph Legat, Jens Folmer, Sabine Teufl, Ina Schaefer:
Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study. INDIN 2015: 322-328 - [c91]Jan Ladiges, Alexander Fay, Christopher Haubeck, Winfried Lamersdorf, Sascha Lity, Ina Schaefer:
Supporting commissioning of production plants by model-based testing and model learning. ISIE 2015: 606-611 - [c90]Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE 2015: 407-417 - [c89]Daniel Lüddecke, Christoph Seidl, Ina Schaefer:
Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines. MASE@MoDELS 2015: 23-32 - [c88]Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer:
Modeling user intentions for in-car infotainment systems using Bayesian networks. MoDELS 2015: 378-385 - [c87]Ina Schaefer, Christoph Seidl, Loek G. Cleophas, Bruce W. Watson:
SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits. SAICSIT 2015: 34:1-34:10 - [c86]Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake:
Analysis Strategies for Software Product Lines: A Classification and Survey. Software Engineering & Management 2015: 57-58 - [c85]Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. Software Engineering & Management 2015: 61-62 - [c84]Sandro Schulze, Ina Schaefer:
Refactoring Delta-Oriented Software Product Lines. Software Engineering & Management 2015: 82 - [c83]Remo Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze, Ina Schaefer:
Delta-oriented test case prioritization for integration testing of software product lines. SPLC 2015: 81-90 - [c82]Sascha Lity, Hauke Baller, Ina Schaefer:
Towards incremental model slicing for delta-oriented software product lines. SANER 2015: 530-534 - [c81]Uwe Lesta, Ina Schaefer, Tim Winkelmann:
Detecting and Explaining Conflicts in Attributed Feature Models. FMSPLE 2015: 31-43 - [e6]Alexander Egyed, Ina Schaefer:
Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Lecture Notes in Computer Science 9033, Springer 2015, ISBN 978-3-662-46674-2 [contents] - 2014
- [j13]Matthias Kowal, Christian Prehofer, Ina Schaefer, Mirco Tribastone:
Model-based Development and Performance Analysis for Evolving Manufacturing Systems. Autom. 62(11): 794-802 (2014) - [j12]Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake:
A Classification and Survey of Analysis Strategies for Software Product Lines. ACM Comput. Surv. 47(1): 6:1-6:45 (2014) - [j11]Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer:
Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects Comput. 26(4): 761-793 (2014) - [j10]Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer, Ursula Goltz:
Delta-oriented model-based integration testing of large-scale systems. J. Syst. Softw. 91: 63-84 (2014) - [c80]Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. FASE 2014: 94-108 - [c79]Remo Lachmann, Ina Schaefer:
Towards Efficient and Effective Testing in Automotive Software Development. GI-Jahrestagung 2014: 2181-2192 - [c78]Matthias Kowal, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schaefer, Birgit Vogel-Heuser:
Delta modeling for variant-rich and evolving manufacturing systems. MoSEMInA 2014: 32-41 - [c77]Michal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer:
Flexible product line engineering with a virtual platform. ICSE Companion 2014: 532-535 - [c76]Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer:
Multi-objective Test Suite Optimization for Incremental Product Family Testing. ICST 2014: 303-312 - [c75]Ina Schaefer, Maurice H. ter Beek:
Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). ISoLA (1) 2014: 253-256 - [c74]Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski:
A Core Language for Separate Variability Modeling. ISoLA (1) 2014: 257-272 - [c73]Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303 - [c72]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
DeltaEcore - A Model-Based Delta Language Generation Framework. Modellierung 2014: 81-96 - [c71]Daniel Lüddecke, Nina Bergmann, Ina Schaefer:
Ontology-Based Modeling of Context-Aware Systems. MoDELS 2014: 484-500 - [c70]Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani:
DeltaJ 1.5: delta-oriented programming for Java 1.5. PPPJ 2014: 63-74 - [c69]Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer:
Model-Based Testing. SFM 2014: 310-342 - [c68]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
Integrated management of variability in space and time in software families. SPLC 2014: 22-31 - [c67]Sönke Holthusen, David Wille, Christoph Legat, Simon Beddig, Ina Schaefer, Birgit Vogel-Heuser:
Family model mining for function block diagrams in automation software. SPLC Workshops 2014: 36-43 - [c66]Ferruccio Damiani, Ina Schaefer, Tim Winkelmann:
Delta-oriented multi software product lines. SPLC 2014: 232-236 - [c65]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
Capturing variability in space and time with hyper feature models. VaMoS 2014: 6:1-6:8 - [c64]Sven Schuster, Sandro Schulze, Ina Schaefer:
Structural feature interaction patterns: case studies and guidelines. VaMoS 2014: 14:1-14:8 - [e5]Christian Berger, Ina Schaefer:
International Workshop on Engineering Simulations for Cyber-Physical Systems, ES4CPS '14, Dresden, Germany, March 28 - 28, 2014. ACM 2014, ISBN 978-1-4503-2614-8 [contents] - [e4]Ina Schaefer, Ioannis Stamelos:
Software Reuse for Dynamic Systems in the Cloud and Beyond - 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings. Lecture Notes in Computer Science 8919, Springer 2014, ISBN 978-3-319-14129-9 [contents] - [e3]Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer:
Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures. Lecture Notes in Computer Science 8483, Springer 2014, ISBN 978-3-319-07316-3 [contents] - [i8]Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer:
First-Class Variability Modeling in Matlab/Simulink. CoRR abs/1408.5751 (2014) - [i7]Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Klaus Müller, Bernhard Rumpe, Ina Schaefer:
Engineering Delta Modeling Languages. CoRR abs/1408.5756 (2014) - [i6]Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Evolving Delta-oriented Software Product Line Architectures. CoRR abs/1409.2311 (2014) - [i5]Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models. CoRR abs/1409.2315 (2014) - [i4]Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Delta-oriented Architectural Variability Using MontiCore. CoRR abs/1409.2317 (2014) - [i3]Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden:
Hierarchical Variability Modeling for Software Architectures. CoRR abs/1409.2318 (2014) - [i2]Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Delta Modeling for Software Architectures. CoRR abs/1409.2358 (2014) - 2013
- [j9]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Compositional type checking of delta-oriented software product lines. Acta Informatica 50(2): 77-122 (2013) - [j8]Anna-Lena Lamprecht, Stefan Naujokat, Ina Schaefer:
Variability Management beyond Feature Models. Computer 46(11): 48-54 (2013) - [j7]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
TraitRecordJ: A programming language with traits and records. Sci. Comput. Program. 78(5): 521-541 (2013) - [c63]Matthias Kowal, Sandro Schulze, Ina Schaefer:
Towards efficient SPL testing by variant reduction. VariComp@AOSD 2013: 1-6 - [c62]Sandro Schulze, Oliver Richers, Ina Schaefer:
Refactoring delta-oriented software product lines. AOSD 2013: 73-84 - [c61]Reiner Hähnle, Ina Schaefer, Richard Bubel:
Reuse in Software Verification by Abstract Method Calls. CADE 2013: 300-314 - [c60]Sönke Holthusen, Peter Manhart, Ina Schaefer, Sandro Schulze, Christian Singer, David Wille:
Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen. GI-Jahrestagung 2013: 2443-2457 - [c59]Remo Lachmann, Ina Schaefer:
Herausforderungen beim Testen von Fahrerassistenzsystemen. GI-Jahrestagung 2013: 2473-2487 - [c58]Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau:
Requirements-based delta-oriented SPL testing. PLEASE@ICSE 2013: 49-52 - [c57]Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer, Christoph Schulze:
Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung. Software Engineering (Workshops) 2013: 283-292 - [c56]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
Variability-aware safety analysis using delta component fault diagrams. SPLC Workshops 2013: 2-9 - [c55]Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Bernhard Rumpe, Klaus Müller, Ina Schaefer:
Engineering delta modeling languages. SPLC 2013: 22-31 - [c54]David Wille, Sönke Holthusen, Sandro Schulze, Ina Schaefer:
Interface variability in family model mining. SPLC Workshops 2013: 44-51 - [c53]Dave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee:
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series. SPLC 2013: 266-267 - [c52]Arne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer:
First-class variability modeling in Matlab/Simulink. VaMoS 2013: 4:1-4:8 - [c51]Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer:
The PLA model: on the combination of product-line analyses. VaMoS 2013: 14:1-14:8 - 2012
- [j6]Ina Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela:
Software diversity: state of the art and perspectives. Int. J. Softw. Tools Technol. Transf. 14(5): 477-495 (2012) - [j5]Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
A constraint-based variability modeling framework. Int. J. Softw. Tools Technol. Transf. 14(5): 511-530 (2012) - [c50]Bernhard Rumpe, Ina Schaefer, Gregor Snelting:
20 Jahre Softwaretechnik an der TU Braunschweig. 40 Jahre Informatik @ Braunschweig 2012: 140-147 - [c49]Barbara Plank, Thomas Sauer, Ina Schaefer:
Supporting Agile Software Development by Natural Language Processing. EternalS@ECAI 2012: 91-102 - [c48]Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake:
Applying Design by Contract to Feature-Oriented Programming. FASE 2012: 255-269 - [c47]Ferruccio Damiani, Luca Padovani, Ina Schaefer:
A formal foundation for dynamic delta-oriented software product lines. GPCE 2012: 1-10 - [c46]Thomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel:
Family-based deductive verification of software product lines. GPCE 2012: 11-20 - [c45]Sascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz:
Delta-oriented model-based SPL regression testing. PLEASE@ICSE 2012: 53-56 - [c44]Reiner Hähnle, Ina Schaefer:
Adaptable and Evolving Software for Eternal Systems - (Track Summary). ISoLA (1) 2012: 1-3 - [c43]Reiner Hähnle, Ina Schaefer:
A Liskov Principle for Delta-Oriented Programming. ISoLA (1) 2012: 32-46 - [c42]Ina Schaefer, Malte Lochau, Martin Leucker:
Approaches for Mastering Change. ISoLA (1) 2012: 127-130 - [c41]Ferruccio Damiani, Ina Schaefer:
Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines. ISoLA (1) 2012: 193-207 - [c40]Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Evolving Delta-Oriented Software Product Line Architectures. Monterey Workshop 2012: 183-208 - [c39]Ferruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu:
A transformational proof system for delta-oriented programming. SPLC (2) 2012: 53-60 - [c38]Maurice H. ter Beek, Martin Becker, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong:
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series. SPLC (1) 2012: 286-287 - [c37]Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity:
Incremental Model-Based Testing of Delta-Oriented Software Product Lines. TAP@TOOLS 2012: 67-82 - [e2]Ina Schaefer, Thomas Thüm:
4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012. ACM 2012, ISBN 978-1-4503-1309-4 [contents] - [i1]Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga:
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511). Dagstuhl Reports 2(12): 64-88 (2012) - 2011
- [j4]Ina Schaefer, Reiner Hähnle:
Formal Methods in Software Product Line Engineering. Computer 44(2): 82-85 (2011) - [c36]Ina Schaefer, Lorenzo Bettini, Ferruccio Damiani:
Compositional type-checking for delta-oriented programming. AOSD 2011: 43-56 - [c35]Ferruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer:
Verifying traits: a proof system for fine-grained reuse. FTfJP@ECOOP 2011: 8:1-8:6 - [c34]Arne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Delta-oriented architectural variability using MontiCore. ECSA Companion Volume 2011: 6 - [c33]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows. EternalS@FET 2011: 1-15 - [c32]Ina Schaefer, Thomas Sauer:
Towards Verification as a Service. EternalS@FET 2011: 16-24 - [c31]Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen:
Synthesis-Based Variability Control: Correctness by Construction. FMCO 2011: 69-88 - [c30]Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong:
HATS Abstract Behavioral Specification: The Architectural View. FMCO 2011: 109-132 - [c29]Peter Y. H. Wong, Nikolay Diakov, Ina Schaefer:
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study. FoVeOOS 2011: 49-66 - [c28]Thomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel:
Proof Composition for Deductive Verification of Software Product Lines. ICST Workshops 2011: 270-277 - [c27]Dilian Gurov, Bjarte M. Østvold, Ina Schaefer:
A Hierarchical Variability Model for Software Product Lines. ISoLA Workshops 2011: 181-199 - [c26]Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer:
Delta Modeling for Software Architectures. MBEES 2011: 1-10 - [c25]Ina Schaefer, Anna-Lena Lamprecht, Tiziana Margaria:
Constraint-oriented Variability Modeling. SEW 2011: 77-83 - [c24]Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong:
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language. SFM 2011: 417-457 - [c23]Ferruccio Damiani, Ina Schaefer:
Dynamic delta-oriented programming. SPLC Workshops 2011: 34 - [c22]Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden:
Hierarchical Variability Modeling for Software Architectures. SPLC 2011: 150-159 - [e1]Ina Schaefer, Isabel John, Klaus Schmid:
Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Workshop Proceedings (Volume 2). ACM 2011, ISBN 978-1-4503-0789-5 [contents] - 2010
- [j3]Rasmus Adler, Ina Schaefer, Mario Trapp, Arnd Poetzsch-Heffter:
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems. ACM Trans. Embed. Comput. Syst. 10(2): 20:1-20:39 (2010) - [c21]Ina Schaefer, Dilian Gurov, Siavash Soleimanifard:
Compositional Algorithmic Verification of Software Product Lines. FMCO 2010: 184-203 - [c20]Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte:
Variability Modelling in the ABS Language. FMCO 2010: 204-224 - [c19]Daniel Bruns, Vladimir Klebanov, Ina Schaefer:
Verification of Software Product Lines with Delta-Oriented Slicing. FoVeOOS 2010: 61-75 - [c18]Dave Clarke, Michiel Helvensteijn, Ina Schaefer:
Abstract delta modeling. GPCE 2010: 13-22 - [c17]Ina Schaefer, Ferruccio Damiani:
Pure delta-oriented programming. FOSD 2010: 49-56 - [c16]Ina Schaefer:
Modeling and Analyzing Diversity - Description of EternalS Task Force 1. ISoLA (2) 2010: 23-25 - [c15]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco:
A prototypical Java-like language with records and traits. PPPJ 2010: 129-138 - [c14]Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer:
Implementing software product lines using traits. SAC 2010: 2096-2102 - [c13]Ina Schaefer, Ralf Carbon:
First International Workshop on Formal Methods in Software Product Line Engineering. SPLC Workshops 2010: 71-72 - [c12]Ina Schaefer, Lorenzo Bettini, Viviana Bono, Ferruccio Damiani, Nico Tanzarella:
Delta-Oriented Programming of Software Product Lines. SPLC 2010: 77-91 - [c11]Ina Schaefer, Martin Becker, Ralf Carbon, Sven Apel:
1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). SPLC 2010: 526 - [c10]Ina Schaefer:
Variability Modelling for Model-Driven Development of Software Product Lines. VaMoS 2010: 85-92
2000 – 2009
- 2009
- [j2]Ina Schaefer, Arnd Poetzsch-Heffter:
Model-based verification of adaptive embedded systems under environment constraints. SIGBED Rev. 6(3): 9 (2009) - [c9]Ina Schaefer, Alexander Worret, Arnd Poetzsch-Heffter:
A Model-Based Framework for Automated Product Derivation. MAPLE@SPLC 2009 - 2008
- [b1]Ina Schaefer:
Integrating formal verification into the model-based development of adaptive embedded systems. University of Kaiserslautern, 2008, ISBN 978-3-89963-862-2, pp. 1-276 - [c8]Ina Schaefer, Arnd Poetzsch-Heffter:
Slicing for model reduction in adaptive embedded systems development. SEAMS 2008: 25-32 - [c7]Ina Schaefer, Arnd Poetzsch-Heffter:
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. SEFM 2008: 95-104 - 2007
- [j1]Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer:
Security of multi-agent systems: A case study on comparison shopping. J. Appl. Log. 5(2): 303-332 (2007) - [c6]Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié:
From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM 2007: 76-95 - [c5]Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter:
Translation Validation of System Abstractions. RV 2007: 139-150 - 2006
- [c4]Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal:
Specification and Verification of Dynamic Communication Systems. ACSD 2006: 189-200 - [c3]Ina Schaefer, Arnd Poetzsch-Heffter:
Using Abstraction in Modular Verification of Synchronous Adaptive Systems. Trustworthy Software 2006 - [c2]Ina Schaefer, Arnd Poetzsch-Heffter:
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. SSS 2006: 584-585 - 2005
- [c1]Andreas Podelski, Ina Schaefer, Silke Wagner:
Summaries for While Programs with Recursion. ESOP 2005: 94-107
Coauthor Index
aka: Loek G. Cleophas
aka: Alexander Knüppel
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint