Ina Schaefer
Orcid: 0000-0002-7153-761XAffiliations:
- Karlsruhe Institute of Technology (KIT), Institute for Information Security and Dependability, Germany
- TU Braunschweig, Germany (former)
- Chalmers University of Technology, Gothenburg, Sweden (former)
- TU Kaiserslautern, Germany (former, PhD 2008)
- Max Planck Institute for Computer Science, Saarbrücken, Germany (former)
According to our database1,
Ina Schaefer
authored at least 274 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines.
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024
Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems, 2024
2023
Autom., May, 2023
Autom., May, 2023
ACM Trans. Program. Lang. Syst., March, 2023
Empir. Softw. Eng., March, 2023
Can Quantum Computing Improve Uniform Random Sampling of Large Configuration Spaces? (Preprint).
CoRR, 2023
CoRR, 2023
Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023
Proceedings of the Software Engineering 2023, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
SOTIF-Compliant Scenario Generation Using Semi-Concrete Scenarios and Parameter Sampling.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023
Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023
Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023
Automated Integration of Heteregeneous Architecture Information into a Unified Model.
Proceedings of the Software Architecture - 17th European Conference, 2023
Proceedings of the Software Architecture - 17th European Conference, 2023
Proceedings of the Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, 2023
2022
Family-Based and Product-Based Development of Correct-by-Construction Software Product Lines.
J. Comput. Lang., 2022
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers.
CoRR, 2022
A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version).
CoRR, 2022
Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming.
Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022
Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022
Feature-Interaction Sampling for Scenario-based Testing of Advanced Driver Assistance Systems✱.
Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction.
Proceedings of the Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2022
Proceedings of the Software Architecture - 16th European Conference, 2022
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022
Proceedings of the Digital Transformation, 2022
2021
Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines.
J. Comput. Lang., 2021
J. Syst. Softw., 2021
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021
Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience.
Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021
Proceedings of the IEEE Secure Development Conference, 2021
Proceedings of the Software Engineering 2021, 2021
Proceedings of the Software Engineering 2021, 2021
Proceedings of the Software Engineering 2021, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021
2020
Proceedings of the Deductive Software Verification: Future Perspectives, 2020
Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020
Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020
Recovering variability information from source code of clone-and-own software systems.
Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020
Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020
Incremental feature model synthesis for clone-and-own software systems in MATLAB/Simulink.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Proceedings of the Software Engineering 2020, 2020
Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020
Proceedings of the Software Engineering 2020, 2020
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the IEEE International Conference on Industrial Engineering and Engineering Management, 2020
Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020
Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020
Proceedings of the Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, 2020
2019
Retest test selection for product-line regression testing of variants and versions of variants.
J. Syst. Softw., 2019
SICS Softw.-Intensive Cyber Phys. Syst., 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Analyzing variability in 25 years of industrial legacy software: an experience report.
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019
Visualization of Variability Analysis of Control Software From Industrial Automation Systems.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.
Proceedings of the Software Engineering and Software Management, 2019
Proceedings of the Software Engineering and Software Management, 2019
Comparing Correctness-by-Construction with Post-Hoc Verification - A Qualitative User Study.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Ernst Denert Award for Software Engineering 2019, 2019
Proceedings of the Managed Software Evolution., 2019
Proceedings of the Automotive Systems and Software Engineering, 2019
Proceedings of the Security and Quality in Cyber-Physical Systems Engineering, 2019
2018
Modeling context-aware and intention-aware in-car infotainment systems - Concepts and modeling processes.
Softw. Syst. Model., 2018
Sci. Comput. Program., 2018
Workshop on Advances in Knowledge Extraction and Re-engineering of Software (selected and extended papers from WAKERS 2017).
Sci. Comput. Program., 2018
Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018
Autom., 2018
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Detecting and Describing Variability-Aware Design Patterns in Feature-Oriented Software Product Lines.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018
A Qualitative Study of Variability Management of Control Software for Industrial Automation Systems.
Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018
Product Configuration in the Wild: Strategies for Conflicting Decisions in Web Configurators.
Proceedings of the 20th Configuration Workshop, Graz, Austria, September 27-28, 2018., 2018
Reducing variability of technically related software systems in large-scale IT landscapes.
Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering, 2018
Proceedings of the Principled Software Development, 2018
2017
Introduction to the Special Issue on "International Conference on Software Reuse 2015".
J. Syst. Softw., 2017
Generative software product line development using variability-aware design patterns.
Comput. Lang. Syst. Struct., 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
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017
Proceedings of the Prague Stringology Conference 2017, 2017
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
Automated recommendations for reducing unnecessary variability of technology architectures.
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017
Proceedings of the 8th ACM SIGPLAN International Workshop on Feature-Oriented Software Development, 2017
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
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
Proceedings of the Formal Methods and Software Engineering, 2017
Towards an Expert System for Identifying and Reducing Unnecessary Complexity of IT Architectures.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017
Proceedings of the Genetic and Evolutionary Computation Conference, 2017
2016
J. Log. Algebraic Methods Program., 2016
Editorial preface for the JLAMP Special Issue on Formal Methods for Software Product Line Engineering.
J. Log. Algebraic Methods Program., 2016
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
LNCS Trans. Found. Mastering Chang., 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
Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
Proceedings of the 20th International Systems and Software Product Line Conference, 2016
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
Proceedings of the Software Engineering 2016, 2016
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
Proceedings of the Software Engineering 2016, 2016
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
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
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
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
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
Proceedings of the 15th IEEE International Conference on Machine Learning and Applications, 2016
Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016
2015
Int. J. Softw. Tools Technol. Transf., 2015
Sci. Comput. Program., 2015
Evolution of software in automated production systems: Challenges and research directions.
J. Syst. Softw., 2015
Proceedings of the Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, 2015
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
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
Supporting commissioning of production plants by model-based testing and model learning.
Proceedings of the 24th IEEE International Symposium on Industrial Electronics, 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
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015
2014
J. Syst. Softw., 2014
Formal Aspects Comput., 2014
ACM Comput. Surv., 2014
Towards a Family-based Analysis of Applicability Conditions in Architectural Delta Models.
CoRR, 2014
Autom., 2014
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014
Proceedings of the Eighth International Workshop on Variability Modelling of Software-intensive Systems, 2014
Proceedings of the 18th International Software Product Line Conference, 2014
Proceedings of the 18th International Software Product Lines Conference, 2014
Proceedings of the 18th International Software Product Line Conference, 2014
Proceedings of the Formal Methods for Executable Software Models, 2014
Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java Platform Virtual Machines, 2014
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Proceedings of the Modellierung 2014, 19.-21. März 2014, Wien, Österreich, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation, 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014
2013
Sci. Comput. Program., 2013
Acta Informatica, 2013
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, 2013
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013
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
Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering, 2013
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013
Automatische Synthese von Familienmodellen durch Analyse von block-basierten Funktionsmodellen.
Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013
Proceedings of the Automated Deduction - CADE-24, 2013
Proceedings of the Aspect-Oriented Software Development, 2013
Proceedings of the 4th international workshop on Variability & composition, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
Int. J. Softw. Tools Technol. Transf., 2012
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).
Dagstuhl Reports, 2012
Proceedings of the Tests and Proofs - 6th International Conference, 2012
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
Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012
Proceedings of the Generative Programming and Component Engineering, 2012
Proceedings of the Generative Programming and Component Engineering, 2012
Proceedings of the Fundamental Approaches to Software Engineering, 2012
Proceedings of the Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, 2012
Proceedings of the 40 Jahre Informatik an der Technischen Universität Braunschweig, 1972, 2012
2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
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
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
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011
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
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
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
Proceedings of the Software Architecture, 5th European Conference, 2011
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011
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. Embed. Comput. Syst., 2010
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010
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
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010
Proceedings of the Generative Programming And Component Engineering, 2010
Proceedings of the Formal Verification of Object-Oriented Software, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
2009
SIGBED Rev., 2009
Proceedings of the 1st International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2009), 2009
2008
Integrating formal verification into the model-based development of adaptive embedded systems.
PhD thesis, 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008
2007
J. Appl. Log., 2007
Proceedings of the Runtime Verification, 7th International Workshop, 2007
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
Proceedings of the Workshop "Trustworthy Software" 2006, 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2005
Proceedings of the Programming Languages and Systems, 2005