Ina Schaefer - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Ina Schaefer' as author, editor, or advisor:

Synthesis-Based Variability Control: Correctness by ConstructionAnna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen. FMCO 2013: 69-88 [doi]
Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm FamiliesLoek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson. ISoLA 2016: 766-783 [doi]
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2019, Athens, Greece, October 21-22, 2019Ina Schaefer, Christoph Reichenbach, Tijs van der Storm, editors, ACM, 2019. [doi]
Variability in Products and ProductionAlexander Egyed, Paul Grünbacher, Lukas Linsbauer, Herbert Prähofer, Ina Schaefer. In Birgit Vogel-Heuser, Manuel Wimmer, editors, Digital Transformation - Core Technologies and Emerging Topics from a Computer Science Perspective. pages 65-91, Springer, 2022. [doi]
Ontology-Based Modeling of Context-Aware SystemsDaniel Lüddecke, Nina Bergmann, Ina Schaefer. MoDELS 2014: 484-500 [doi]
Evolution of software in automated production systems: Challenges and research directionsBirgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy. jss, 110:54-84, 2015. [doi]
Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th BirthdayPeter Müller 0001, Ina Schaefer, editors, Springer, 2018. [doi]
Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱Lukas Birkemeyer, Tobias Pett, Andreas Vogelsang, Christoph Seidl 0001, Ina Schaefer. vamos 2022: [doi]
20 Jahre Softwaretechnik an der TU BraunschweigBernhard Rumpe, Ina Schaefer, Gregor Snelting. BIRTHDAY 2012: 140-147
An Automata-Based View on Configurability and UncertaintyMartin Berglund, Ina Schaefer. ictac 2018: 80-98 [doi]
A Model-Based Framework for Automated Product DerivationIna Schaefer, Alexander Worret, Arnd Poetzsch-Heffter. SPLC 2010: [doi]
Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case studyBirgit Vogel-Heuser, Jakob Mund, Matthias Kowal, Christoph Legat, Jens Folmer, Sabine Teufl, Ina Schaefer. indin 2015: 322-328 [doi]
Integrating formal verification into the model-based development of adaptive embedded systemsIna Schaefer. PhD thesis, University of Kaiserslautern, 2008.
AutoSMP: an evaluation platform for sampling algorithmsTobias Pett, Sebastian Krieter, Thomas Thüm, Malte Lochau, Ina Schaefer. SPLC 2021: 41-44 [doi]
Analyzing variability in automation software with the variability analysis toolkitAlexander Schlie, Kamil Rosiak, Oliver Urbaniak, Ina Schaefer, Birgit Vogel-Heuser. SPLC 2019: [doi]
Scaling Correctness-by-ConstructionAlexander Knüppel, Tobias Runge, Ina Schaefer. ISoLA 2020: 187-207 [doi]
Decision Support for Reducing Unnecessary IT Complexity of Application ArchitecturesKenny Wehling, David Wille, Christoph Seidl, Ina Schaefer. icsa 2017: 161-168 [doi]
Ernst Denert Software Engineering Award 2020Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer. 2022: 1-7 [doi]
Custom-Tailored Variability Mining for Block-Based LanguagesDavid Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer. WCRE 2016: 271-282 [doi]
The e4CompareFramework: Annotation-based Software Product-Line ExtractionKamil Rosiak, Ina Schaefer. SPLC 2023: 34-38 [doi]
Delta-oriented model-based SPL regression testingSascha Lity, Malte Lochau, Ina Schaefer, Ursula Goltz. ICSE 2012: 53-56 [doi]
Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration SpacesChico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer. se 2024: 67-68 [doi]
ASE 2020 PrefacePatrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang. se 2020: [doi]
Formal Methods in Software Product Line EngineeringIna Schaefer, Reiner Hähnle. Computer, 44(2):82-85, 2011. [doi]
Compositional type-checking for delta-oriented programmingIna Schaefer, Lorenzo Bettini, Ferruccio Damiani. AOSD 2011: 43-56 [doi]
Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for WorkflowsAnna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen. fet 2012: 1-15 [doi]
Lattice-Based Information Flow Control-by-Construction for Security-by-DesignTobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer. ICSE 2020: 44-54 [doi]
The PLA model: on the combination of product-line analyses Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm, Ina Schaefer. vamos 2013: 14 [doi]
Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary)Ina Schaefer, Maurice H. ter Beek. ISoLA 2014: 253-256 [doi]
Ernst Denert Software-Engineering-Preis 2021Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer. stt, 42(2):3, 2022. [doi]
A Hierarchical Variability Model for Software Product LinesDilian Gurov, Bjarte M. Østvold, Ina Schaefer. ISoLA 2012: 181-199 [doi]
Feature-oriented contract compositionThomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer. jss, 152:83-107, 2019. [doi]
Reengineering Workflow for Planned Reuse of IEC 61131-3 Legacy SoftwareJ. Fischer, Birgit Vogel-Heuser, F. Haben, Ina Schaefer. ieem 2020: 1126-1130 [doi]
Continuous T-Wise CoverageTobias Pett, Tobias Heß, Sebastian Krieter, Thomas Thüm, Ina Schaefer. SPLC 2023: 87-98 [doi]
Higher-order delta modeling for software product line evolutionSascha Lity, Matthias Kowal, Ina Schaefer. OOPSLA 2016: 39-48 [doi]
Delta-Trait Programming of Software Product LinesFerruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann. ISoLA 2014: 289-303 [doi]
Recovering variability information from source code of clone-and-own software systemsAlexander Schlie, Sandro Schulze, Ina Schaefer. vamos 2020: [doi]
Name resolution strategies in variability realization languages for software product linesSven Schuster, Michael Nieke, Ina Schaefer. OOPSLA 2016: 11-17 [doi]
A Query Language for Software Architecture InformationJoshua Ammermann, Sven Jordan, Lukas Linsbauer, Ina Schaefer. ecsa 2023: 337-345 [doi]
Requirements-based delta-oriented SPL testingMichael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau. ICSE 2013: 49-52 [doi]
Is there a mismatch between real-world feature models and product-line research?Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer. FSE 2017: 291-302 [doi]
Structural feature interaction patterns: case studies and guidelinesSven Schuster, Sandro Schulze, Ina Schaefer. vamos 2014: 14 [doi]
Immutability and Encapsulation for Sound OO Information Flow ControlTobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer. TOPLAS, 45(1), March 2023. [doi]
Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?Bruce W. Watson, Derrick G. Kourie, Ina Schaefer, Loek Cleophas. ISoLA 2016: 730-748 [doi]
X-by-Construction Meets Runtime VerificationMaurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer. ISoLA 2022: 141-148 [doi]
Model-Based TestingMalte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer. sfm 2014: 310-342 [doi]
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 LecturesMarco Bernardo, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, editors, Volume 8483 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Evolution of software in automated production systems: challenges and research directionsBirgit Vogel-Heuser, Alexander Fay, Ina Schaefer, Matthias Tichy. se 2016: 107-108 [doi]
How much Specification is Enough? Mutation Analysis for Software ContractsAlexander Knüppel, Leon Schaer, Ina Schaefer. ICSE 2021: 42-53 [doi]
Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019Stephan 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, editors, Volume 2308 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]
Skill-Based Verification of Cyber-Physical SystemsAlexander Knüppel, Inga Jatzkowski, Marcus Nolte, Tobias Runge, Thomas Thüm, Ina Schaefer. se 2021: 67-68 [doi]
Automated Verification of Embedded Control Software - Track IntroductionDilian Gurov, Paula Herber, Ina Schaefer. ISoLA 2020: 235-239 [doi]
Ernst Denert Award for Software Engineering 2019 - Practice Meets FoundationsMichael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer, editors, Springer, 2020. [doi]
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processesDaniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer. SoSyM, 17(3):973-987, 2018. [doi]
Abstract delta modellingDave Clarke, Michiel Helvensteijn, Ina Schaefer. mscs, 25(3):482-527, 2015. [doi]
Sampling Cardinality-Based Feature ModelsLukas Güthing, Mathis Weiß, Ina Schaefer, Malte Lochau. vamos 2024: 46-55 [doi]
Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann 0001, editors, Volume 2814 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]
Analysis Strategies for Software Product Lines: A Classification and SurveyThomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake. se 2015: 57-58
Systems and software product lines of the futureMaurice H. ter Beek, Ina Schaefer. jss, 199:111622, May 2023. [doi]
Delta-oriented model-based integration testing of large-scale systemsMalte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer, Ursula Goltz. jss, 91:63-84, 2014. [doi]
Verification Strategies for Feature-Oriented Software Product LinesElias Kuiter, Alexander Knüppel, Tabea Bordis, Tobias Runge, Ina Schaefer. vamos 2022: [doi]
Variability Modelling in the ABS LanguageDave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte. FMCO 2012: 204-224 [doi]
Evolving Delta-Oriented Software Product Line ArchitecturesArne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer. monterey 2012: 183-208 [doi]
First International Workshop on Formal Methods in Software Product Line EngineeringIna Schaefer, Ralf Carbon. SPLC 2010: 71-72 [doi]
Family-based deductive verification of software product linesThomas Thüm, Ina Schaefer, Martin Hentschel, Sven Apel. GPCE 2012: 11-20 [doi]
A model-based mutation framework for IEC61131-3 manufacturing systemsKamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer. at, 71(5):380-389, May 2023. [doi]
Generative software product line development using variability-aware design patternsChristoph Seidl, Sven Schuster, Ina Schaefer. GPCE 2015: 151-160 [doi]
Adaptable and Evolving Software for Eternal Systems - (Track Summary)Reiner Hähnle, Ina Schaefer. ISoLA 2012: 1-3 [doi]
Delta modeling for variant-rich and evolving manufacturing systemsMatthias Kowal, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schaefer, Birgit Vogel-Heuser. ICSE 2014: 32-41 [doi]
Special issue on engineering collaborative embedded systemsBernhard Rumpe, Ina Schaefer, Bernd-Holger Schlingloff, Andreas Vogelsang. ife, 34(4):173-175, 2019. [doi]
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeYAlexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer. itp 2018: 342-361 [doi]
4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012Ina Schaefer, Thomas Thüm, editors, ACM, 2012. [doi]
A Personal History of Delta ModellingIna Schaefer. BIRTHDAY 2018: 241-250 [doi]
Software Engineering and Formal Methods - 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, ProceedingsEinar Broch Johnsen, Ina Schaefer, editors, Volume 10886 of Lecture Notes in Computer Science, Springer, 2018. [doi]
Stability of Product-Line Samplingin Continuous IntegrationTobias Pett, Sebastian Krieter, Tobias Runge, Thomas Thüm, Malte Lochau, Ina Schaefer. vamos 2021: [doi]
SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based ToolkitsIna Schaefer, Christoph Seidl, Loek G. Cleophas, Bruce W. Watson. saicsit 2015: 34 [doi]
A classification of product sampling for software product linesMahsa Varshosaz, Mustafa Al-Hajjaji, Thomas Thüm, Tobias Runge, Mohammad Reza Mousavi, Ina Schaefer. SPLC 2018: 1-13 [doi]
Modellierung 2018, 21.-23. Februar 2018, Braunschweig, GermanyIna Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl, editors, Volume P-280 of LNI, Gesellschaft für Informatik e.V., 2018. [doi]
Variability Visualization of IEC 61131-3 Legacy Software for Planned ReuseJuliane Fischer, Birgit Vogel-Heuser, Jan Wilch, Frieder Loch, Kathrin Land, Ina Schaefer. SMC 2020: 3760-3767 [doi]
True Variability Shining Through Taxonomy MiningChristoph König, Kamil Rosiak, Loek Cleophas, Ina Schaefer. SPLC 2023: 182-193 [doi]
Coverage-Driven Test Automation for Highly-Configurable Railway SystemsDomenik Eichhorn, Tobias Pett, Nils Przigoda, Jessica Kindsvater, Christoph Seidl 0001, Ina Schaefer. vamos 2023: 23-30 [doi]
Correctness-by-construction for feature-oriented software product linesTabea Bordis, Tobias Runge, Ina Schaefer. GPCE 2020: 22-34 [doi]
Supporting Agile Software Development by Natural Language ProcessingBarbara Plank, Thomas Sauer, Ina Schaefer. ecai 2013: 91-102 [doi]
Approaches for Mastering ChangeIna Schaefer, Malte Lochau, Martin Leucker. ISoLA 2012: 127-130 [doi]
Is Scenario Generation Ready for SOTIF? A Systematic Literature ReviewLukas Birkemeyer, Christian King, Ina Schaefer. itsc 2022: 472-479 [doi]
Compositional type checking of delta-oriented software product linesLorenzo Bettini, Ferruccio Damiani, Ina Schaefer. ACTA, 50(2):77-122, 2013. [doi]
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web ConfiguratorsThomas Thüm, Sebastian Krieter, Ina Schaefer. confws 2018: 1-8 [doi]
17. Workshop Automotive Software EngineeringPatrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang. se 2020: 249-250 [doi]
Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018Ina Schaefer, Loek Cleophas, Michael Felderer, editors, Volume 2060 of CEUR Workshop Proceedings, CEUR-WS.org, 2018. [doi]
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. ProceedingsAlexander Egyed, Ina Schaefer, editors, Volume 9033 of Lecture Notes in Computer Science, Springer, 2015. [doi]
Family-Based Performance Analysis of Variant-Rich Software SystemsMatthias Kowal, Ina Schaefer, Mirco Tribastone. FASE 2014: 94-108 [doi]
Scalability of Deductive Verification Depends on Method Call TreatmentAlexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer. ISoLA 2018: 159-175 [doi]
Introduction to the Special Issue on "International Conference on Software Reuse 2015"Ina Schaefer, Ioannis Stamelos. jss, 131:323-324, 2017. [doi]
Systematic synthesis of delta modeling languagesArne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Klaus Müller, Bernhard Rumpe, Ina Schaefer, Christoph Schulze. STTT, 17(5):601-626, 2015. [doi]
A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint LanguagesChristoph Seidl, Tim Winkelmann, Ina Schaefer. modellierung 2016: 157-172
A transformational proof system for delta-oriented programmingFerruccio Damiani, Olaf Owe, Johan Dovland, Ina Schaefer, Einar Broch Johnsen, Ingrid Chieh Yu. SPLC 2012: 53-60 [doi]
Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeYTabea Bordis, Loek Cleophas, Alexander Kittelmann, Tobias Runge, Ina Schaefer, Bruce W. Watson. BIRTHDAY 2022: 80-104 [doi]
Risk-based integration testing of software product linesRemo Lachmann, Simon Beddig, Sascha Lity, Sandro Schulze, Ina Schaefer. vamos 2017: 52-59 [doi]
Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its EvaluationAlexander Schlie, David Wille, Sandro Schulze, Loek Cleophas, Ina Schaefer. SPLC 2017: 215-224 [doi]
DeltaJ 1.5: delta-oriented programming for Java 1.5Jonathan Koscielny, Sönke Holthusen, Ina Schaefer, Sandro Schulze, Lorenzo Bettini, Ferruccio Damiani. PPPJ 2014: 63-74 [doi]
Performance Analysis Strategies for Software Variants and VersionsThomas 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. In Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin, editors, Managed Software Evolution. pages 175-206, Springer, 2019. [doi]
Variant Management and ReuseIna 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. In Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger, editors, Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology. pages 197-222, Springer, 2016. [doi]
Automated Integration of Heteregeneous Architecture Information into a Unified ModelSven Jordan, Christoph König, Lukas Linsbauer, Ina Schaefer. ecsa 2023: 83-99 [doi]
Derivation of subset product lines in FeatureIDELukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm, Ina Schaefer. SPLC 2022: 38-41 [doi]
Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT ArchitecturesKenny Wehling, Ina Schaefer. gi 2017: 1523-1529 [doi]
Analyzing variability in 25 years of industrial legacy software: an experience reportKamil Rosiak, Oliver Urbaniak, Alexander Schlie, Christoph Seidl, Ina Schaefer. SPLC 2019: [doi]
Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. ProceedingsIna Schaefer, Isabel John, Klaus Schmid, editors, ACM, 2011.
AutoArx: Digital Twins of Living ArchitecturesSven Jordan, Lukas Linsbauer, Ina Schaefer. ecsa 2022: 205-212 [doi]
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling LanguageDave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong. sfm 2011: 417-457 [doi]
System-Level Test Case Prioritization Using Machine LearningRemo Lachmann, Sandro Schulze, Manuel Nieke, Christoph Seidl, Ina Schaefer. icmla 2016: 361-368 [doi]
Ernst Denert Software Engineering Awards 2019Michael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer. denert 2020: 1-10 [doi]
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2016, Amsterdam, The Netherlands, October 31 - November 1, 2016Bernd Fischer, Ina Schaefer, editors, ACM, 2016. [doi]
Reuse in Software Verification by Abstract Method CallsReiner Hähnle, Ina Schaefer, Richard Bubel. cade 2013: 300-314 [doi]
Generic Solution-Space Sampling for Multi-domain Product LinesMarc Hentze, Tobias Pett, Chico Sundermann, Sebastian Krieter, Thomas Thüm 0001, Ina Schaefer. GPCE 2022: 135-147 [doi]
A constraint-based variability modeling frameworkSven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen. STTT, 14(5):511-530, 2012. [doi]
First-class variability modeling in Matlab/SimulinkArne Haber, Carsten Kolassa, Peter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer. vamos 2013: 4 [doi]
Applications of #SAT Solvers on Feature ModelsChico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer. vamos 2021: [doi]
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga. dagstuhl-reports, 2(12):64-88, 2012. [doi]
TraitRecordJ: A programming language with traits and recordsLorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco. SCP, 78(5):521-541, 2013. [doi]
Scaling size and parameter spaces in variability-aware software performance modelsMatthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer. se 2016: 33-34 [doi]
Providing Quantum Readiness: The Vision of the ProvideQ ToolboxDomenik Eichhorn, Maximilian Schweikart, Nick Poster, Tobias Osborne, Ina Schaefer. gi 2023: 1129-1133 [doi]
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016)Andreas Krall, Ina Schaefer. se 2016: 1-2 [doi]
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User StudyTobias Runge, Thomas Thüm, Loek Cleophas, Ina Schaefer, Bruce W. Watson. FM 2020: 388-405 [doi]
On language levels for feature modeling notationsThomas Thüm, Christoph Seidl, Ina Schaefer. SPLC 2019: [doi]
Quantum Software Engineering - Quo Vadis?Ina Schaefer. se 2023: 19-20 [doi]
Compositional Algorithmic Verification of Software Product LinesIna Schaefer, Dilian Gurov, Siavash Soleimanifard. FMCO 2012: 184-203 [doi]
Proof-Carrying Apps: Contract-Based Deployment-Time VerificationSönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer. ISoLA 2016: 839-855 [doi]
Multi-objective Test Suite Optimization for Incremental Product Family TestingHauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer. icst 2014: 303-312 [doi]
Incremental feature model synthesis for clone-and-own software systems in MATLAB/SimulinkAlexander Schlie, Alexander Knüppel, Christoph Seidl 0001, Ina Schaefer. SPLC 2020: [doi]
ATPS 2016: 9. Arbeitstagung ProgrammiersprachenAndreas Krall, Ina Schaefer. se 2016: 119-120 [doi]
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016Ina Schaefer, Vander Alves, Eduardo Santana de Almeida, editors, ACM, 2016. [doi]
Abstract delta modelingDave Clarke, Michiel Helvensteijn, Ina Schaefer. GPCE 2010: 13-22 [doi]
Variational correctness-by-constructionTabea Bordis, Tobias Runge, Alexander Knüppel, Thomas Thüm, Ina Schaefer. vamos 2020: [doi]
Reengineering Variants of MATLAB/Simulink Software SystemsAlexander Schlie, Christoph Seidl, Ina Schaefer. In Stefan Biffl, Matthias Eckhart, Arndt Lüder, Edgar R. Weippl, editors, Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb. pages 267-301, Springer, 2019. [doi]
Implicit constraints in partial feature modelsSofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer. OOPSLA 2016: 18-27 [doi]
Verifying traits: a proof system for fine-grained reuseFerruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer. ECOOP 2011: [doi]
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix AnalysisAlexander Schlie, Sandro Schulze, Ina Schaefer. se 2020: 131-132 [doi]
Integration of UVL in FeatureIDEChico Sundermann, Tobias Heß, Dominik Engelhardt, Rahel Arens, Johannes Herschel, Kevin Jedelhauser, Benedikt Jutz, Sebastian Krieter, Ina Schaefer. SPLC 2021: 73-79 [doi]
Towards Confidentiality-by-ConstructionIna Schaefer, Tobias Runge, Alexander Knüppel, Loek Cleophas, Derrick G. Kourie, Bruce W. Watson. ISoLA 2018: 502-515 [doi]
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T)Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer. ASE 2015: 407-417 [doi]
Selected challenges of software evolution for automated production systemsBirgit 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. indin 2015: 314-321 [doi]
Model-based verification of adaptive embedded systems under environment constraintsIna Schaefer, Arnd Poetzsch-Heffter. sigbed, 6(3):9, 2009. [doi]
Variability Management beyond Feature ModelsAnna-Lena Lamprecht, Stefan Naujokat, Ina Schaefer. Computer, 46(11):48-54, 2013. [doi]
Synchronizing software variants with variantsyncTristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer. SPLC 2016: 329-332 [doi]
Refactoring Delta-Oriented Software Product LinesSandro Schulze, Ina Schaefer. se 2015: 82
A Core Language for Separate Variability ModelingAlexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski. ISoLA 2014: 257-272 [doi]
Towards efficient SPL testing by variant reductionMatthias Kowal, Sandro Schulze, Ina Schaefer. AOSD 2013: 1-6 [doi]
Family model mining for function block diagrams in automation softwareSönke Holthusen, David Wille, Christoph Legat, Simon Beddig, Ina Schaefer, Birgit Vogel-Heuser. SPLC 2014: 36-43 [doi]
Software diversity: state of the art and perspectivesIna Schaefer, Rick Rabiser, Dave Clarke, Lorenzo Bettini, David Benavides, Goetz Botterweck, Animesh Pathak, Salvador Trujillo, Karina Villela. STTT, 14(5):477-495, 2012. [doi]
Engineering delta modeling languagesArne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Bernhard Rumpe, Klaus Müller, Ina Schaefer. SPLC 2013: 22-31 [doi]
Verification of Software Product Lines with Delta-Oriented SlicingDaniel Bruns, Vladimir Klebanov, Ina Schaefer. foveoos 2011: 61-75 [doi]
Guiding the evolution of product-line configurationsMichael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl 0001, Leopoldo Teixeira, Ina Schaefer. SoSyM, 21(1):225-247, 2022. [doi]
Refactoring delta-oriented software product linesSandro Schulze, Oliver Richers, Ina Schaefer. In AOSD. 2013: 73-84 [doi]
Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop seriesDave Clarke, Ina Schaefer, Maurice H. ter Beek, Sven Apel, Joanne M. Atlee. SPLC 2013: 266-267 [doi]
X-by-ConstructionMaurice H. ter Beek, Loek Cleophas, Ina Schaefer, Bruce W. Watson. ISoLA 2018: 359-364 [doi]
Consistency in the View-Based Development of Cyber-Physical Systems (Convide)Ralf H. Reussner, Ina Schaefer, Bernhard Beckert, Anne Koziolek, Erik Burger. MoDELS 2023: 83-84 [doi]
Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case StudyPeter Y. H. Wong, Nikolay Diakov, Ina Schaefer. foveoos 2012: 49-66 [doi]
Hyper Explanations for Feature-Model Defect AnalysisMarc Hentze, Tobias Pett, Thomas Thüm, Ina Schaefer. vamos 2021: [doi]
Runtime Verification of Correct-by-Construction Driving ManeuversAlexander Kittelmann, Tobias Runge, Tabea Bordis, Ina Schaefer. ISoLA 2022: 242-263 [doi]
Teaching Correctness-by-Construction and Post-hoc Verification - The Online ExperienceTobias Runge, Tabea Bordis, Thomas Thüm, Ina Schaefer. tfm 2021: 101-116 [doi]
DeltaEcore - A Model-Based Delta Language Generation FrameworkChristoph Seidl, Ina Schaefer, Uwe Aßmann. modellierung 2014: 81-96
Slicing for model reduction in adaptive embedded systems developmentIna Schaefer, Arnd Poetzsch-Heffter. ICSE 2008: 25-32 [doi]
Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. icst 2011: 270-277 [doi]
Variability encoding: From compile-time to load-time variability Alexander von Rhein, Thomas Thüm, Ina Schaefer, Jörg Liebig, Sven Apel. jlp, 85(1):125-145, 2016. [doi]
Supporting commissioning of production plants by model-based testing and model learningJan Ladiges, Alexander Fay, Christopher Haubeck, Winfried Lamersdorf, Sascha Lity, Ina Schaefer. visalg 2015: 606-611 [doi]
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University CoursesPaul Maximilian Bittner, Thomas Thüm, Ina Schaefer. SEFM 2019: 127-144 [doi]
Towards Efficient and Effective Testing in Automotive Software DevelopmentRemo Lachmann, Ina Schaefer. gi 2014: 2181-2192
HATS Abstract Behavioral Specification: The Architectural ViewReiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong. FMCO 2013: 109-132 [doi]
GuyDance: Guiding Configuration Updates for Product-Line EvolutionMichael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl 0001, Leopoldo Teixeira, Ina Schaefer. SPLC 2020: 56-64 [doi]
Towards incremental model slicing for delta-oriented software product linesSascha Lity, Hauke Baller, Ina Schaefer. WCRE 2015: 530-534 [doi]
Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und DeltamodellierungPeter Manhart, Pedram Mir Seyed Nazari, Bernhard Rumpe, Ina Schaefer, Christoph Schulze. se 2013: 283-292
Towards a development process for maturing Delta-oriented software product linesSven Schuster, Christoph Seidl, Ina Schaefer. OOPSLA 2017: 41-50 [doi]
Methods, approaches and applications in software-driven manufacturingBirgit Vogel-Heuser, Tobias Kleinert, Ina Schaefer. at, 71(5):327-329, May 2023. [doi]
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS 2017, Eindhoven, Netherlands, February 1-3, 2017Maurice H. ter Beek, Norbert Siegmund, Ina Schaefer, editors, ACM, 2017. [doi]
Software Reuse: From Cloned Variants to Managed Software Product LinesChristoph Seidl, David Wille, Ina Schaefer. In Yanja Dajsuren, Mark van den Brand, editors, Automotive Systems and Software Engineering - State of the Art and Future Trends. pages 77-108, Springer, 2019. [doi]
Generative software product line development using variability-aware design patternsChristoph Seidl, Sven Schuster, Ina Schaefer. SPLC 2018: 246 [doi]
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter SamplingLukas Birkemeyer, Julian Fuchs, Alessio Gambi, Ina Schaefer. itsc 2022: 2139-2144 [doi]
Herausforderungen beim Testen von FahrerassistenzsystemenRemo Lachmann, Ina Schaefer. gi 2013: 2473-2487
Reducing variability of technically related software systems in large-scale IT landscapesKenny Wehling, David Wille, Christoph Seidl, Ina Schaefer. cascon 2018: 224-235 [doi]
Tax-PLEASE - Towards Taxonomy-Based Software Product Line EngineeringIna Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson. icsr 2016: 63-70 [doi]
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line EngineeringMaurice H. ter Beek, Dave Clarke, Ina Schaefer. jlp, 85(1):123-124, 2016. [doi]
A Qualitative Study of Variability Management of Control Software for Industrial Automation SystemsJuliane Fischer, Safa Bougouffa, Alexander Schlie, Ina Schaefer, Birgit Vogel-Heuser. ICSM 2018: 615-624 [doi]
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systemsRasmus Adler, Ina Schaefer, Mario Trapp, Arnd Poetzsch-Heffter. tecs, 10(2):20, 2010. [doi]
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product LinesMaximilian Kodetzki, Tabea Bordis, Tobias Runge, Ina Schaefer. vamos 2024: 17-26 [doi]
Traits: Correctness-by-Construction for FreeTobias Runge, Alex Potanin, Thomas Thüm, Ina Schaefer. forte 2022: 131-150 [doi]
Many-MADFAct: Concurrently Constructing MADFAsTobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson. stringology 2017: 126-142 [doi]
A Classification and Survey of Analysis Strategies for Software Product LinesThomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer, Gunter Saake. ACM Comput. Surv., 47(1):6, 2014. [doi]
Skill-Based Verification of Cyber-Physical SystemsAlexander Knüppel, Inga Jatzkowski, Marcus Nolte, Thomas Thüm, Tobias Runge, Ina Schaefer. FASE 2020: 203-223 [doi]
Model-Based Fault Classification for Automotive SoftwareMike Becker, Roland Meyer 0001, Tobias Runge, Ina Schaefer, Sören van der Wall, Sebastian Wolff 0001. aplas 2022: 110-131 [doi]
GUIDO: Automated Guidance for the Configuration of Deductive Program VerifiersAlexander Knüppel, Thomas Thüm, Ina Schaefer. ICSE 2021: 124-129 [doi]
Towards efficient analysis of variation in time and spaceThomas Thüm, Leopoldo Teixeira, Klaus Schmid, Eric Walkingshaw, Mukelabai Mukelabai, Mahsa Varshosaz, Goetz Botterweck, Ina Schaefer, Timo Kehrer. SPLC 2019: [doi]
Family-Based and Product-Based Development of Correct-by-Construction Software Product LinesTabea Bordis, Tobias Runge, David Schultz, Ina Schaefer. JCL (JVLC), 70:101119, 2022. [doi]
Modeling user intentions for in-car infotainment systems using Bayesian networksDaniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer. MoDELS 2015: 378-385 [doi]
Incremental Model-Based Testing of Delta-Oriented Software Product LinesMalte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity. tap 2012: 67-82 [doi]
18th Workshop on Automotive Software Engineering (ASE'21)Patrick Ebel, Steffen Helke, Ina Schaefer, Andreas Vogelsang. se 2021: 127-128 [doi]
Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik, 22.-26. Februar 2021, Braunschweig/VirtuellAnne Koziolek, Ina Schaefer, Christoph Seidl 0001, editors, Volume P-310 of LNI, Gesellschaft für Informatik e.V., 2021. [doi]
Quantifying the variability mismatch between problem and solution spaceMarc Hentze, Chico Sundermann, Thomas Thüm, Ina Schaefer. MoDELS 2022: 322-333 [doi]
Modularization of Refinement Steps for Agile Formal MethodsFabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake. icfem 2017: 19-35 [doi]
Towards Verification as a ServiceIna Schaefer, Thomas Sauer. fet 2012: 16-24 [doi]
Fine-grained test case prioritization for integration testing of delta-oriented software product linesRemo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Franz Fürchtegott, Ina Schaefer. OOPSLA 2016: 1-10 [doi]
Consistency-preserving evolution planning on feature modelsAdrian Hoff, Michael Nieke, Christoph Seidl 0001, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer. SPLC 2020: [doi]
A core calculus for dynamic delta-oriented programmingFerruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl. ACTA, 55(4):269-307, 2018. [doi]
Optimizing product orders using graph algorithms for improving incremental product-line analysisSascha Lity, Mustafa Al-Hajjaji, Thomas Thüm, Ina Schaefer. vamos 2017: 60-67 [doi]
Automatische Synthese von Familienmodellen durch Analyse von block-basierten FunktionsmodellenSönke Holthusen, Peter Manhart, Ina Schaefer, Sandro Schulze, Christian Singer, David Wille. gi 2013: 2443-2457
Multi-objective black-box test case selection for system testingRemo Lachmann, Michael Felderer, Manuel Nieke, Sandro Schulze, Christoph Seidl, Ina Schaefer. gecco 2017: 1311-1318 [doi]
Generative software product line development using variability-aware design patternsChristoph Seidl, Sven Schuster, Ina Schaefer. Comp. Lang., Syst. \& Struct., 48:89-111, 2017. [doi]
Improving custom-tailored variability mining using outlier and cluster detectionDavid Wille, Önder Babur, Loek Cleophas, Christoph Seidl, Mark van den Brand, Ina Schaefer. SCP, 163:62-84, 2018. [doi]
Variant and Product Line Co-EvolutionJörg Christian Kirchhof, Michael Nieke, Ina Schaefer, David Schmalzing, Michael Schulze. In Wolfgang Böhm 0002, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck, editors, Model-Based Engineering of Collaborative Embedded Systems. pages 333-351, Springer, 2021. [doi]
Tutorial: The Correctness-by-Construction Approach to Programming Using CorCIna Schaefer, Tobias Runge, Loek Cleophas, Bruce W. Watson. secdev 2021: 1-2 [doi]
Change analysis on evolving PLC software in automated production systemsAlexander Schlie, Safa Bougouffa, Juliane Fischer, Ina Schaefer, Birgit Vogel-Heuser. at, 66(10):806-818, 2018. [doi]
Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop seriesMaurice H. ter Beek, Martin Becker 0002, Andreas Classen, Fabricia Roos-Frantz, Ina Schaefer, Peter Y. H. Wong. SPLC 2012: 286-287 [doi]
Verifying traits: an incremental proof system for fine-grained reuseFerruccio Damiani, Johan Dovland, Einar Broch Johnsen, Ina Schaefer. fac, 26(4):761-793, 2014. [doi]
Variability Mining of Technical ArchitecturesDavid Wille, Kenny Wehling, Christoph Seidl, Martin Pluchator, Ina Schaefer. SPLC 2017: 39-48 [doi]
Capturing variability in space and time with hyper feature modelsChristoph Seidl, Ina Schaefer, Uwe Aßmann. vamos 2014: 6 [doi]
Evaluating #SAT solvers on industrial feature modelsChico Sundermann, Thomas Thüm, Ina Schaefer. vamos 2020: [doi]
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017)Loek Cleophas, Ina Schaefer, Bruce W. Watson. SCP, 166:1-2, 2018. [doi]
Evaluating state-of-the-art # SAT solvers on industrial configuration spacesChico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer. ese, 28(2):29, March 2023. [doi]
An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLsFerruccio Damiani, Michael Lienhardt, Radu Muschevici, Ina Schaefer. IFM 2017: 111-126 [doi]
Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation ArtifactsTim Winkelmann, Jonathan Koscielny, Christoph Seidl, Sven Schuster, Ferruccio Damiani, Ina Schaefer. se 2016: 40-54 [doi]
Ernst Denert Award for Software Engineering 2020: Practice Meets FoundationsMichael Felderer, Wilhelm Hasselbring, Heiko Koziolek, Florian Matthes, Lutz Prechelt, Ralf H. Reussner, Bernhard Rumpe, Ina Schaefer, editors, Springer, 2022. [doi]
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation AnalysisAlexander Schlie, David Wille, Loek Cleophas, Ina Schaefer. icsr 2017: 77-94 [doi]
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. ProceedingsIna Schaefer, Ioannis Stamelos, editors, Volume 8919 of Lecture Notes in Computer Science, Springer, 2014. [doi]
175% Modeling for Product-Line Evolution of Domain ArtifactsSascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer. vamos 2018: 27-34 [doi]
Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelinesMichael Nieke, Adrian Hoff, Christoph Seidl 0001, Ina Schaefer. JCL (JVLC), 63:101031, 2021. [doi]
Family-Based Analysis of Type Safety for Delta-Oriented Software Product LinesFerruccio Damiani, Ina Schaefer. ISoLA 2012: 193-207 [doi]
Re-engineering Automation Software with the Variability Analysis ToolkitKamil Rosiak, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer. In Roberto E. Lopez-Herrejon, Jabier Martinez, Wesley Klewerton Guez Assunção, Tewfik Ziadi, Mathieu Acher, Silvia Vergilio, editors, Handbook of Re-Engineering Software Intensive Systems into Software Product Lines. pages 405-428, Springer International Publishing, 2023. [doi]
Identifying Variability in Object-Oriented Code Using Model-Based Code MiningDavid Wille, Michael Tiede, Sandro Schulze, Christoph Seidl, Ina Schaefer. ISoLA 2016: 547-562 [doi]
Quantum Computing for Feature Model Analysis: Potentials and ChallengesDomenik Eichhorn, Tobias Pett, Tobias Osborne, Ina Schaefer. SPLC 2023: 1-7 [doi]
Family-Based Performance Analysis of Variant-Rich Software SystemsMatthias Kowal, Ina Schaefer, Mirco Tribastone. se 2015: 61-62
Delta-oriented architectural variability using MontiCoreArne Haber, Thomas Kutz, Holger Rendel, Bernhard Rumpe, Ina Schaefer. ecsa 2011: 6 [doi]
Interface variability in family model miningDavid Wille, Sönke Holthusen, Sandro Schulze, Ina Schaefer. SPLC 2013: 44-51 [doi]
Implementing type-safe software product lines using parametric traitsLorenzo Bettini, Ferruccio Damiani, Ina Schaefer. SCP, 97:282-308, 2015. [doi]
Delta-oriented test case prioritization for integration testing of software product linesRemo Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze, Ina Schaefer. SPLC 2015: 81-90 [doi]
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeYAlexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer. se 2019: 165-166 [doi]
Comparing Multiple MATLAB/Simulink Models Using Static Connectivity Matrix AnalysisAlexander Schlie, Sandro Schulze, Ina Schaefer. ICSM 2018: 160-171 [doi]
Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented ProgrammingMichael Nieke, Adrian Hoff, Ina Schaefer, Christoph Seidl 0001. vamos 2022: [doi]
A prototypical Java-like language with records and traitsLorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco. PPPJ 2010: 129-138 [doi]
Dynamic delta-oriented programmingFerruccio Damiani, Ina Schaefer. SPLC 2011: 34 [doi]
Visualization of Variability Analysis of Control Software From Industrial Automation SystemsSafa Bougouffa, Birgit Vogel-Heuser, Juliane Fischer, Ina Schaefer, Huaxia Li. SMC 2019: 3357-3364 [doi]
International Workshop on Engineering Simulations for Cyber-Physical Systems, ES4CPS '14, Dresden, Germany, March 28 - 28, 2014Christian Berger 0002, Ina Schaefer, editors, ACM, 2014. [doi]
Using Abstract Contracts for Verifying Evolving Features and Their InteractionsAlexander Knüppel, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian Krieter, Eric Bodden, Ina Schaefer. In Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich, editors, Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY. Volume 12345 of Lecture Notes in Computer Science, pages 122-148, Springer, 2020. [doi]
Variability-aware safety analysis using delta component fault diagramsChristoph Seidl, Ina Schaefer, Uwe Aßmann. SPLC 2013: 2-9 [doi]
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software CorrectRichard Bubel, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Olaf Owe, Ina Schaefer, Ingrid Chieh Yu. fomac, 1:130-156, 2016. [doi]
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces?Joshua Ammermann, Tim Bittner, Domenik Eichhorn, Ina Schaefer, Christoph Seidl 0001. icse-qse 2023: 34-41 [doi]
Pure delta-oriented programmingIna Schaefer, Ferruccio Damiani. GPCE 2010: 49-56 [doi]
Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016Wolf 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, editors, Volume 1559 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
Custom-tailored clone detection for IEC 61131-3 programming languagesKamil Rosiak, Alexander Schlie, Lukas Linsbauer, Birgit Vogel-Heuser, Ina Schaefer. jss, 182:111070, 2021. [doi]
Synchronizing software variants: a two-dimensional approachChristoph König, Kamil Rosiak, Lukas Linsbauer, Ina Schaefer. SPLC 2022: 82-89 [doi]
SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020, Volume BRafael Capilla, Philippe Collet, Paul Gazzillo, Jacob Krüger, Roberto Erick Lopez-Herrejon, Sarah Nadi, Gilles Perrouin, Iris Reinhartz-Berger, Julia Rubin, Ina Schaefer, editors, ACM, 2020. [doi]
Delta-Oriented Product Prioritization for Similarity-Based Product-Line TestingMustafa Al-Hajjaji, Sascha Lity, Remo Lachmann, Thomas Thüm, Ina Schaefer, Gunter Saake. ICSE 2017: 34-40 [doi]
X-by-Construction - Correctness Meets ProbabilityMaurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson. ISoLA 2020: 211-215 [doi]
SMT-based variability analyses in FeatureIDEJoshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer. vamos 2020: [doi]
Risk-based compatibility analysis in automotive systems engineeringTobias Pett, Domenik Eichhorn, Ina Schaefer. MoDELS 2020: [doi]
A Liskov Principle for Delta-Oriented ProgrammingReiner Hähnle, Ina Schaefer. ISoLA 2012: 32-46 [doi]
Feature-oriented contract composition: [journal first]Thomas Thüm, Alexander Knüppel, Stefan Krüger, Stefanie Bolle, Ina Schaefer. SPLC 2019: [doi]
16. Workshop Automotive Software EngineeringSteffen Helke, Ina Schaefer, Andreas Vogelsang. se 2019: 31-32 [doi]
Applying Design by Contract to Feature-Oriented ProgrammingThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel, Gunter Saake. FASE 2012: 255-269 [doi]
Automated recommendations for reducing unnecessary variability of technology architecturesKenny Wehling, David Wille, Christoph Seidl, Ina Schaefer. OOPSLA 2017: 1-10 [doi]
Constraint-oriented Variability ModelingIna Schaefer, Anna-Lena Lamprecht, Tiziana Margaria. sew 2011: 77-83 [doi]
Tool Support for Correctness-by-ConstructionTobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson. FASE 2019: 25-42 [doi]
Applying Incremental Model Slicing to Product-Line Regression TestingSascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer. icsr 2016: 3-19 [doi]
Retest test selection for product-line regression testing of variants and versions of variantsSascha Lity, Manuel Nieke, Thomas Thüm, Ina Schaefer. jss, 147:46-63, 2019. [doi]
Explaining Edits to Variability Annotations in Evolving Software Product LinesLukas Güthing, Paul Maximilian Bittner, Ina Schaefer, Thomas Thüm. vamos 2024: 93-102 [doi]
Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product LinesSven Schuster, Christoph Seidl, Ina Schaefer. modelsward 2018: 731-742 [doi]
Is There a Mismatch between Real-World Feature Models and Product-Line Research?Alexander Knüppel, Thomas Thüm, Stephan Mennicke, Jens Meinicke, Ina Schaefer. se 2018: 53-54 [doi]
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-ConstructionTabea Bordis, Maximilian Kodetzki, Tobias Runge, Ina Schaefer. SEFM 2023: 156-163 [doi]
Information Flow Control-by-Construction for an Object-Oriented LanguageTobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer. SEFM 2022: 209-226 [doi]
Variability mining of state chartsDavid Wille, Sandro Schulze, Ina Schaefer. OOPSLA 2016: 63-73 [doi]
A Specification Logic for Programs in the Probabilistic Guarded Command LanguageRaúl Pardo, Einar Broch Johnsen, Ina Schaefer, Andrzej Wasowski. ictac 2022: 369-387 [doi]
Product sampling for product lines: the scalability challenge [challenge proposal]Tobias Pett, Thomas Thüm, Tobias Runge, Sebastian Krieter, Malte Lochau, Ina Schaefer. SPLC 2019: [doi]
Flexible product line engineering with a virtual platformMichal Antkiewicz, Wenbin Ji, Thorsten Berger, Krzysztof Czarnecki, Thomas Schmorleiz, Ralf Lämmel, Stefan Stanciulescu, Andrzej Wasowski, Ina Schaefer. ICSE 2014: 532-535 [doi]
Hierarchical Variability Modeling for Software ArchitecturesArne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer, Frank van der Linden. SPLC 2011: 150-159 [doi]
Tool Support for Correctness-by-ConstructionTobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson. se 2021: 93-94 [doi]
Delta Modeling for Software ArchitecturesArne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer. mbees 2011: 1-10
A formal foundation for dynamic delta-oriented software product linesFerruccio Damiani, Luca Padovani, Ina Schaefer. GPCE 2012: 1-10 [doi]
Delta-oriented multi software product linesFerruccio Damiani, Ina Schaefer, Tim Winkelmann. SPLC 2014: 232-236 [doi]
Integrated management of variability in space and time in software familiesChristoph Seidl, Ina Schaefer, Uwe Aßmann. SPLC 2014: 22-31 [doi]
Model-based Development and Performance Analysis for Evolving Manufacturing SystemsMatthias Kowal, Christian Prehofer, Ina Schaefer, Mirco Tribastone. at, 62(11):794-802, 2014. [doi]
Flexible Correct-by-Construction ProgrammingTobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer. lmcs, 19(2), 2023. [doi]
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer. ISoLA 2016: 723-729 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Ina Schaefer's Profile

Unidentified Publications