Ina Schaefer

According to our database1, Ina Schaefer
  • authored at least 156 papers between 2005 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Introduction to the Special Issue on "International Conference on Software Reuse 2015".
Journal of Systems and Software, 2017

Generative software product line development using variability-aware design patterns.
Computer Languages, Systems & Structures, 2017

Optimizing product orders using graph algorithms for improving incremental product-line analysis.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Risk-based integration testing of software product lines.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Variability Mining of Technical Architectures.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Detecting Variability in MATLAB/Simulink Models: An Industry-Inspired Technique and its Evaluation.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Is there a mismatch between real-world feature models and product-line research?
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Clustering Variation Points in MATLAB/Simulink Models Using Reverse Signal Propagation Analysis.
Proceedings of the Mastering Scale and Complexity in Software Reuse, 2017

Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing.
Proceedings of the 2nd IEEE/ACM International Workshop on Variability and Complexity in Software Design, 2017

Decision Support for Reducing Unnecessary IT Complexity of Application Architectures.
Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

Multi-objective black-box test case selection for system testing.
Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016
Variability encoding: From compile-time to load-time variability.
J. Log. Algebr. Meth. Program., 2016

Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering.
J. Log. Algebr. Meth. Program., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
T. Foundations for Mastering Change, 2016

Incremental Consistency Checking in Delta-oriented UML-Models for Automation Systems.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Custom-Tailored Variability Mining for Block-Based Languages.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Synchronizing software variants with variantsync.
Proceedings of the 20th International Systems and Software Product Line Conference, 2016

Parametric DeltaJ 1.5: Propagating Feature Attributes into Implementation Artifacts.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Evolution of software in automated production systems: challenges and research directions.
Proceedings of the Software Engineering 2016, 2016

ATPS 2016: 9. Arbeitstagung Programmiersprachen.
Proceedings of the Software Engineering 2016, 2016

Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016).
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Scaling size and parameter spaces in variability-aware software performance models.
Proceedings of the Software Engineering 2016, 2016

Variability mining of state charts.
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

Name resolution strategies in variability realization languages for software product lines.
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

Higher-order delta modeling for software product line evolution.
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

Fine-grained test case prioritization for integration testing of delta-oriented software product lines.
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

Implicit constraints in partial feature models.
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

A Software Product Line of Feature Modeling Notations and Cross-Tree Constraint Languages.
Proceedings of the Modellierung 2016, 2.-4. März 2016, Karlsruhe, 2016

Identifying Variability in Object-Oriented Code Using Model-Based Code Mining.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Proof-Carrying Apps: Contract-Based Deployment-Time Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Tax-PLEASE - Towards Taxonomy-Based Software Product Line Engineering.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Applying Incremental Model Slicing to Product-Line Regression Testing.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

System-Level Test Case Prioritization Using Machine Learning.
Proceedings of the 15th IEEE International Conference on Machine Learning and Applications, 2016


2015
Systematic synthesis of delta modeling languages.
STTT, 2015

Implementing type-safe software product lines using parametric traits.
Sci. Comput. Program., 2015

Abstract delta modelling.
Mathematical Structures in Computer Science, 2015

Evolution of software in automated production systems: Challenges and research directions.
Journal of Systems and Software, 2015

Detecting and Explaining Conflicts in Attributed Feature Models.
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015

Towards incremental model slicing for delta-oriented software product lines.
Proceedings of the 22nd IEEE International Conference on Software Analysis, 2015

Delta-oriented test case prioritization for integration testing of software product lines.
Proceedings of the 19th International Conference on Software Product Line, 2015

Analysis Strategies for Software Product Lines: A Classification and Survey.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Refactoring Delta-Oriented Software Product Lines.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Family-Based Performance Analysis of Variant-Rich Software Systems.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

SPLicing TABASCO: Custom-Tailored Software Product Line Variants from Taxonomy-Based Toolkits.
Proceedings of the 2015 Annual Research Conference on South African Institute of Computer Scientists and Information Technologists, 2015

Modeling user intentions for in-car infotainment systems using Bayesian networks.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Efficient Ontology-Based Modeling of Context-Aware In-Car Infotainment Systems - Benchmark Infrastructure and Design Guidelines.
Proceedings of the International Workshop on Modelling in Automotive Software Engineering co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Selected challenges of software evolution for automated production systems.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Generative software product line development using variability-aware design patterns.
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

2014
Delta-oriented model-based integration testing of large-scale systems.
Journal of Systems and Software, 2014

Verifying traits: an incremental proof system for fine-grained reuse.
Formal Asp. Comput., 2014

A Classification and Survey of Analysis Strategies for Software Product Lines.
ACM Comput. Surv., 2014

Hierarchical Variability Modeling for Software Architectures.
CoRR, 2014

Delta Modeling for Software Architectures.
CoRR, 2014

Evolving Delta-oriented Software Product Line Architectures.
CoRR, 2014

Delta-oriented Architectural Variability Using MontiCore.
CoRR, 2014

Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models.
CoRR, 2014

First-Class Variability Modeling in Matlab/Simulink.
CoRR, 2014

Engineering Delta Modeling Languages.
CoRR, 2014

Model-based Development and Performance Analysis for Evolving Manufacturing Systems.
Automatisierungstechnik, 2014

Capturing variability in space and time with hyper feature models.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Structural feature interaction patterns: case studies and guidelines.
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014

Integrated management of variability in space and time in software families.
Proceedings of the 18th International Software Product Line Conference, 2014

Family model mining for function block diagrams in automation software.
Proceedings of the 18th International Software Product Lines Conference, 2014

Delta-oriented multi software product lines.
Proceedings of the 18th International Software Product Line Conference, 2014

Model-Based Testing.
Proceedings of the Formal Methods for Executable Software Models, 2014

DeltaJ 1.5: delta-oriented programming for Java 1.5.
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014

Ontology-Based Modeling of Context-Aware Systems.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

DeltaEcore - A Model-Based Delta Language Generation Framework.
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014

Fomal Methods and Analyses in Software Product Line Engineering - (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

A Core Language for Separate Variability Modeling.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Delta-Trait Programming of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Multi-objective Test Suite Optimization for Incremental Product Family Testing.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Delta modeling for variant-rich and evolving manufacturing systems.
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014

Flexible product line engineering with a virtual platform.
Proceedings of the 36th International Conference on Software Engineering, 2014

Towards Efficient and Effective Testing in Automotive Software Development.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Informatik 2014, Big Data, 2014

Family-Based Performance Analysis of Variant-Rich Software Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013
TraitRecordJ: A programming language with traits and records.
Sci. Comput. Program., 2013

Variability Management beyond Feature Models.
IEEE Computer, 2013

Compositional type checking of delta-oriented software product lines.
Acta Inf., 2013

The PLA model: on the combination of product-line analyses.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

First-class variability modeling in Matlab/Simulink.
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013

Interface variability in family model mining.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Variability-aware safety analysis using delta component fault diagrams.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Engineering delta modeling languages.
Proceedings of the 17th International Software Product Line Conference, 2013

Formal methods and analysis in software product line engineering: 4th edition of FMSPLE workshop series.
Proceedings of the 17th International Software Product Line Conference, 2013

Konzepte zur Erweiterung des SPES Meta-Modells um Aspekte der Variabilitäts- und Deltamodellierung.
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

Requirements-based delta-oriented SPL testing.
Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering, 2013

Herausforderungen beim Testen von Fahrerassistenzsystemen.
Proceedings of the Informatik 2013, 2013

Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen.
Proceedings of the Informatik 2013, 2013

Reuse in Software Verification by Abstract Method Calls.
Proceedings of the Automated Deduction - CADE-24, 2013

Refactoring delta-oriented software product lines.
Proceedings of the Aspect-Oriented Software Development, 2013

2012
Software diversity: state of the art and perspectives.
STTT, 2012

A constraint-based variability modeling framework.
STTT, 2012

Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).
Dagstuhl Reports, 2012

Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

A transformational proof system for delta-oriented programming.
Proceedings of the 16th International Software Product Line Conference, 2012

Formal methods and analysis in software product line engineering: 3rd edition of FMSPLE workshop series.
Proceedings of the 16th International Software Product Line Conference, 2012

Evolving Delta-Oriented Software Product Line Architectures.
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Approaches for Mastering Change.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

A Liskov Principle for Delta-Oriented Programming.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Adaptable and Evolving Software for Eternal Systems - (Track Summary).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Family-Based Analysis of Type Safety for Delta-Oriented Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Delta-oriented model-based SPL regression testing.
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

Family-based deductive verification of software product lines.
Proceedings of the Generative Programming and Component Engineering, 2012

A formal foundation for dynamic delta-oriented software product lines.
Proceedings of the Generative Programming and Component Engineering, 2012

Applying Design by Contract to Feature-Oriented Programming.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

Supporting Agile Software Development by Natural Language Processing.
Proceedings of the Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, 2012

20 Jahre Softwaretechnik an der TU Braunschweig.
Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012

2011
Formal Methods in Software Product Line Engineering.
IEEE Computer, 2011

Hierarchical Variability Modeling for Software Architectures.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Dynamic delta-oriented programming.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Constraint-oriented Variability Modeling.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Delta Modeling for Software Architectures.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

A Hierarchical Variability Model for Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

Proof Composition for Deductive Verification of Software Product Lines.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Modelling Adaptable Distributed Object Oriented Systems Using the HATS Approach: A Fredhopper Case Study.
Proceedings of the Formal Verification of Object-Oriented Software, 2011

Synthesis-Based Variability Control: Correctness by Construction.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

HATS Abstract Behavioral Specification: The Architectural View.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Towards Verification as a Service.
Proceedings of the Eternal Systems - First International Workshop, 2011

Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows.
Proceedings of the Eternal Systems - First International Workshop, 2011

Delta-oriented architectural variability using MontiCore.
Proceedings of the Software Architecture, 5th European Conference, 2011

Verifying traits: a proof system for fine-grained reuse.
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

Compositional type-checking for delta-oriented programming.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems.
ACM Trans. Embedded Comput. Syst., 2010

Variability Modelling for Model-Driven Development of Software Product Lines.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

First International Workshop on Formal Methods in Software Product Line Engineering.
Proceedings of the Software Product Lines - 14th International Conference, 2010

1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010).
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Delta-Oriented Programming of Software Product Lines.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Implementing software product lines using traits.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

A prototypical Java-like language with records and traits.
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010

Modeling and Analyzing Diversity - Description of EternalS Task Force 1.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Pure delta-oriented programming.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

Abstract delta modeling.
Proceedings of the Generative Programming And Component Engineering, 2010

Verification of Software Product Lines with Delta-Oriented Slicing.
Proceedings of the Formal Verification of Object-Oriented Software, 2010

Compositional Algorithmic Verification of Software Product Lines.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Variability Modelling in the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

2009
Model-based verification of adaptive embedded systems under environment constraints.
SIGBED Review, 2009

2008
Integrating formal verification into the model-based development of adaptive embedded systems.
PhD thesis, 2008

Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Slicing for model reduction in adaptive embedded systems development.
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

2007
Security of multi-agent systems: A case study on comparison shopping.
J. Applied Logic, 2007

Translation Validation of System Abstractions.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

From Model-Based Design to Formal Verification of Adaptive Embedded Systems.
Proceedings of the Formal Methods and Software Engineering, 2007

2006
Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems.
Proceedings of the Stabilization, 2006

Using Abstraction in Modular Verification of Synchronous Adaptive Systems.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Specification and Verification of Dynamic Communication Systems.
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005
Summaries for While Programs with Recursion.
Proceedings of the Programming Languages and Systems, 2005


  Loading...