Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarIna Schaefer
Ina Schäfer
Person information
- affiliation: Technische Universität Braunschweig
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j25]Ferruccio Damiani, Luca Padovani, Ina Schaefer, Christoph Seidl:
A core calculus for dynamic delta-oriented programming. Acta Inf. 55(4): 269-307 (2018)- [j24]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) - [j23]Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer:
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes. Software and System Modeling 17(3): 973-987 (2018) - [c133]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 - [c132]Sven Schuster, Christoph Seidl, Ina Schaefer:
Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines. MODELSWARD 2018: 731-742 - [c131]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 - [c130]Sascha Lity, Sophia Nahrendorf, Thomas Thüm, Christoph Seidl, Ina Schaefer:
175% Modeling for Product-Line Evolution of Domain Artifacts. VaMoS 2018: 27-34 - [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. Computer Languages, Systems & Structures 48: 89-111 (2017) - [j21]Ina Schaefer, Ioannis Stamelos:
Introduction to the Special Issue on "International Conference on Software Reuse 2015". Journal of Systems and Software 131: 323-324 (2017) - [c129]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 - [c128]Kenny Wehling, Ina Schaefer:
Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT Architectures. GI-Jahrestagung 2017: 1523-1529 - [c127]Fabian Benduhn, Thomas Thüm, Ina Schaefer, Gunter Saake:
Modularization of Refinement Steps for Agile Formal Methods. ICFEM 2017: 19-35 - [c126]Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Decision Support for Reducing Unnecessary IT Complexity of Application Architectures. ICSA Workshops 2017: 161-168 - [c125]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 - [c124]Alexander Schlie, David Wille, Loek Cleophas, Ina Schaefer:
Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis. ICSR 2017: 77-94 - [c123]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 - [c122]Kenny Wehling, David Wille, Christoph Seidl, Ina Schaefer:
Automated recommendations for reducing unnecessary variability of technology architectures. FOSD@SPLASH 2017: 1-10 - [c121]Sven Schuster, Christoph Seidl, Ina Schaefer:
Towards a development process for maturing Delta-oriented software product lines. FOSD@SPLASH 2017: 41-50 - [c120]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 - [c119]David Wille, Kenny Wehling, Christoph Seidl, Martin Pluchator, Ina Schaefer:
Variability Mining of Technical Architectures. SPLC (A) 2017: 39-48 - [c118]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 - [c117]Tobias Runge, Ina Schaefer, Loek Cleophas, Bruce W. Watson:
Many-MADFAct: Concurrently Constructing MADFAs. Stringology 2017: 126-142 - [c116]Remo Lachmann, Simon Beddig, Sascha Lity, Sandro Schulze, Ina Schaefer:
Risk-based integration testing of software product lines. VaMoS 2017: 52-59 - [c115]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. 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. Algebr. Meth. 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. Algebr. Meth. Program. 85(1): 125-145 (2016) - [c114]Remo Lachmann, Sandro Schulze, Manuel Nieke, Christoph Seidl, Ina Schaefer:
System-Level Test Case Prioritization Using Machine Learning. ICMLA 2016: 361-368 - [c113]Sascha Lity, Thomas Morbach, Thomas Thüm, Ina Schaefer:
Applying Incremental Model Slicing to Product-Line Regression Testing. ICSR 2016: 3-19 - [c112]Ina Schaefer, Christoph Seidl, Loek Cleophas, Bruce W. Watson:
Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering. ICSR 2016: 63-70 - [c111]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 - [c110]Maurice H. ter Beek, Reiner Hähnle, Ina Schaefer:
Correctness-by-Construction and Post-hoc Verification: Friends or Foes? ISoLA (1) 2016: 723-729 - [c109]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 - [c108]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 - [c107]Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer:
Proof-Carrying Apps: Contract-Based Deployment-Time Verification. ISoLA (1) 2016: 839-855 - [c106]Christoph Seidl, Tim Winkelmann, Ina Schaefer:
A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages. Modellierung 2016: 157-172 - [c105]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@SPLASH 2016: 1-10 - [c104]Sven Schuster, Michael Nieke, Ina Schaefer:
Name resolution strategies in variability realization languages for software product lines. FOSD@SPLASH 2016: 11-17 - [c103]Sofia Ananieva, Matthias Kowal, Thomas Thüm, Ina Schaefer:
Implicit constraints in partial feature models. FOSD@SPLASH 2016: 18-27 - [c102]Sascha Lity, Matthias Kowal, Ina Schaefer:
Higher-order delta modeling for software product line evolution. FOSD@SPLASH 2016: 39-48 - [c101]David Wille, Sandro Schulze, Ina Schaefer:
Variability mining of state charts. FOSD@SPLASH 2016: 63-73 - [c100]Andreas Krall, Ina Schaefer:
Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016). Software Engineering (Workshops) 2016: 1-2 - [c99]Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling size and parameter spaces in variability-aware software performance models. Software Engineering 2016: 33-34 - [c98]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 - [c97]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 - [c96]Andreas Krall, Ina Schaefer:
ATPS 2016: 9. Arbeitstagung Programmiersprachen. Software Engineering 2016: 119-120 - [c95]Tristan Pfofe, Thomas Thüm, Sandro Schulze, Wolfram Fenske, Ina Schaefer:
Synchronizing software variants with variantsync. SPLC 2016: 329-332 - [c94]David Wille, Sandro Schulze, Christoph Seidl, Ina Schaefer:
Custom-Tailored Variability Mining for Block-Based Languages. SANER 2016: 271-282 - [c93]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 - [c92]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. Journal of Systems and Software 110: 54-84 (2015) - [j16]Dave Clarke, Michiel Helvensteijn, Ina Schaefer:
Abstract delta modelling. Mathematical Structures in Computer Science 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. STTT 17(5): 601-626 (2015) - [c91]Christoph Seidl, Sven Schuster, Ina Schaefer:
Generative software product line development using variability-aware design patterns. GPCE 2015: 151-160 - [c90]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 - [c89]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 - [c88]Matthias Kowal, Max Tschaikowski, Mirco Tribastone, Ina Schaefer:
Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T). ASE 2015: 407-417 - [c87]Daniel Lüddecke, Christoph Seidl, Ina Schäfer:
Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines. MASE@MoDELS 2015: 23-32 - [c86]Daniel Lüddecke, Christoph Seidl, Jens Schneider, Ina Schaefer:
Modeling user intentions for in-car infotainment systems using Bayesian networks. MoDELS 2015: 378-385 - [c85]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 - [c84]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 - [c83]Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. Software Engineering & Management 2015: 61-62 - [c82]Sandro Schulze, Ina Schaefer:
Refactoring Delta-Oriented Software Product Lines. Software Engineering & Management 2015: 82 - [c81]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 - [c80]Sascha Lity, Hauke Baller, Ina Schaefer:
Towards incremental model slicing for delta-oriented software product lines. SANER 2015: 530-534 - [c79]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. Automatisierungstechnik 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 Asp. 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. Journal of Systems and Software 91: 63-84 (2014) - [c78]Matthias Kowal, Ina Schaefer, Mirco Tribastone:
Family-Based Performance Analysis of Variant-Rich Software Systems. FASE 2014: 94-108 - [c77]Remo Lachmann, Ina Schaefer:
Towards Efficient and Effective Testing in Automotive Software Development. GI-Jahrestagung 2014: 2181-2192 - [c76]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 - [c75]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 - [c74]Hauke Baller, Sascha Lity, Malte Lochau, Ina Schaefer:
Multi-objective Test Suite Optimization for Incremental Product Family Testing. ICST 2014: 303-312 - [c73]Ina Schaefer, Maurice H. ter Beek:
Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary). ISoLA (1) 2014: 253-256 - [c72]Alexandru F. Iosif-Lazar, Ina Schaefer, Andrzej Wasowski:
A Core Language for Separate Variability Modeling. ISoLA (1) 2014: 257-272 - [c71]Ferruccio Damiani, Ina Schaefer, Sven Schuster, Tim Winkelmann:
Delta-Trait Programming of Software Product Lines. ISoLA (1) 2014: 289-303 - [c70]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
DeltaEcore - A Model-Based Delta Language Generation Framework. Modellierung 2014: 81-96 - [c69]Daniel Lüddecke, Nina Bergmann, Ina Schaefer:
Ontology-Based Modeling of Context-Aware Systems. MoDELS 2014: 484-500 - [c68]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 - [c67]
- [c66]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
Integrated management of variability in space and time in software families. SPLC 2014: 22-31 - [c65]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 - [c64]Ferruccio Damiani, Ina Schaefer, Tim Winkelmann:
Delta-oriented multi software product lines. SPLC 2014: 232-236 - [c63]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
Capturing variability in space and time with hyper feature models. VaMoS 2014: 6:1-6:8 - [c62]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 Inf. 50(2): 77-122 (2013) - [j8]Anna-Lena Lamprecht, Stefan Naujokat, Ina Schaefer:
Variability Management beyond Feature Models. IEEE 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) - [c61]Sandro Schulze, Oliver Richers, Ina Schaefer:
Refactoring delta-oriented software product lines. AOSD 2013: 73-84 - [c60]Reiner Hähnle, Ina Schaefer, Richard Bubel:
Reuse in Software Verification by Abstract Method Calls. CADE 2013: 300-314 - [c59]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 - [c58]Remo Lachmann, Ina Schaefer:
Herausforderungen beim Testen von Fahrerassistenzsystemen. GI-Jahrestagung 2013: 2473-2487 - [c57]Michael Dukaczewski, Ina Schaefer, Remo Lachmann, Malte Lochau:
Requirements-based delta-oriented SPL testing. PLEASE@ICSE 2013: 49-52 - [c56]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 - [c55]Christoph Seidl, Ina Schaefer, Uwe Aßmann:
Variability-aware safety analysis using delta component fault diagrams. SPLC Workshops 2013: 2-9 - [c54]Arne Haber, Katrin Hölldobler, Carsten Kolassa, Markus Look, Bernhard Rumpe, Klaus Müller, Ina Schaefer:
Engineering delta modeling languages. SPLC 2013: 22-31 - [c53]David Wille, Sönke Holthusen, Sandro Schulze, Ina Schaefer:
Interface variability in family model mining. SPLC Workshops 2013: 44-51 - [c52]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 - [c51]