Collected Publications of SPP1593 Projects

251 results
2018
[251]Achieving delta description for the system software of an automated production evolution based on partially inferenced model (, , , and ), In 14th IEEE International Conference on Automation Science and Engineering (CASE), . [bibtex]
[250]Taxonomy of Faults Influencing the Quality of Automation Production Systems ( and ), In 3rd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control – CESCIT, . [bibtex]
[249]Data-Efficient Performance Learning for Configurable Systems (, , , , , , , and ), In Empirical Software Engineering, volume 23, . [bibtex] [pdf]
[248]Discipline Matters: Refactoring of Preprocessor Directives in the ifdef Hell (, , , , , , and ), In IEEE Transactions on Software Engineering (TSE), volume 44, . [bibtex] [pdf]
[247]Indicators for Merge Conflicts in the Wild: Survey and Empirical Study (, , , and ), In Automated Software Engineering, volume 25, . [bibtex] [pdf]
[246]A Cross-Disciplinary Language for Change Propagation Rules (, , , , and ), In CASE, IEEE, . [bibtex]
[245]A Model-based Approach for Build Avoidance (, and ), In 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), KSI, . [bibtex]
[244]An Approach to Requirement Analysis in Automated Production Systems (, and ), In Workshop Software-Reengineering & Evolution and Workshop Design For Future, Softwaretechnik-Trends, . [bibtex]
[243]Categories of Change Triggers in Business Processes (, , and ), In Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, . [bibtex]
[242]A Methodology for Domain-spanning Change Impact Analysis (, and ), In Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, . [bibtex]
[241]Applying Higher-Order Delta Modeling for the Evolution of Delta-Oriented Software Product Lines (), Technical report 2018-01, TU Braunschweig - Institute of Software Engineering and Automotive Informatics, . [bibtex] [pdf]
[240]175% Modeling for Product-Line Evolution of Domain Artifacts (, , , and ), In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, ACM, . [bibtex] [pdf] [doi]
[239]Decision Knowledge Triggers in Continuous Software Engineering (, , , and ), In Proceedings of the 4th International Workshop on Rapid Continuous Software Engineering, ACM, . [bibtex] [pdf]
[238]Tool Support for Decision and Usage Knowledge in Continuous Software Engineering (, , and ), In Proceedings of the 3rd Workshop on Continuous Software Engineering (Krusche, Stephan, Lichter, Horst, Riehle, Dirk, Steffens, Andreas, eds.), CEUR-WS.org, . [bibtex] [pdf] [doi]
[237]Practitioners' Eye on Continuous Software Engineering: An Interview Study (, , and ), In Proceedings of the 2018 International Conference on Software and System Process, ACM, . [bibtex] [pdf] [doi]
[236]Equivalent Mutants in Configurable Systems: An Empirical Study (, , , , , and ), In Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, ACM, . [bibtex] [pdf] [doi]
2017
[235]REACT: An Approach for Capturing Rationale in Chat Messages (, , and ), In 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), . [bibtex] [doi]
[234]Renaming and Shifted Code in Structured Merging: Looking Ahead for Precision and Performance (, , , and ), In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE Computer Society, . [bibtex] [pdf]
[233]Generalised Test Tables – a Practical Specification Language for Reactive Systems (, , , and ), In 13th International Conference on integrated (iFM 2017), . [bibtex] [doi]
[232]Model-Based Availability Analysis for Automated Production Systems: A Case Study (, , , and ), In 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), . [bibtex] [doi]
[231]Towards the Visualization of Usage and Decision Knowledge in Continuous Software Engineering (, , and ), In 2017 IEEE Working Conference on Software Visualization (VISSOFT), . [bibtex] [doi]
[230]Evolutionary Trends of Developer Coordination: A Network Approach (, and ), In Empirical Software Engineering, volume 22, . [bibtex] [pdf]
[229]Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems (, , , , , , and ), In 15th IEEE International Conference on Industrial Informatics (INDIN), . [bibtex] [doi]
[228]Generation of Monitoring Functions in Production Automation Using Test Specifications (, , , , and ), In 15th IEEE International Conference on Industrial Informatics (INDIN), . [bibtex] [doi]
[227]Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics (, , and ), In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), IEEE Computer Society, . [bibtex] [pdf]
[226]Delta-Oriented Product Prioritization for Similarity-Based Product-Line Testing (, , , , and ), In 2017 IEEE/ACM 2nd International Workshop on Variability and Complexity in Software Design (VACE), . [bibtex] [doi]
[225]Towards a Systematic Approach to Integrate Usage and Decision Knowledge in Continuous Software Engineering (, , and ), In Proceedings of the 2nd Workshop on Continuous Software Engineering co-located with Software Engineering (SE 2017), . [bibtex] [pdf]
[224]Utility-based Decision Making for Migrating Cloud-based Applications (, , , and ), In ACM Transactions on Internet Technology, volume 18, . [bibtex] [pdf] [doi]
[223]Maintenance effort estimation with KAMP4aPS for cross-disciplinary automated PLC-based Production Systems - a collaborative approach (, , , , , , and ), In 20th IFAC World Congress, . [bibtex]
[222]A Unified Model-Driven Approach for Extracting and Generating Workload Specifications for Load Testing and Performance Prediction of Application Systems (, , and ), In Software Engineering 2017, . [bibtex]
[221]Reconstructing Development Artifacts for Change Impact Analysis (, , , , and ), In 19. Workshop Software-Reengineering und-Evolution, . [bibtex] [pdf]
[220]Architecture-Based Change Impact Analysis in Information Systems and Business Processes (, , and ), In 2017 IEEE International Conference on Software Architecture (ICSA), . [bibtex] [pdf] [doi]
[219]Integrating business process simulation and information system simulation for performance prediction (, , and ), In Software & Systems Modeling, volume 16, . [bibtex] [pdf] [doi]
[218]Automated and Adaptable Decision Support for Software Performance Engineering (, and ), In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2017), . [bibtex]
[217]Mapping of Service Level Objectives to Performance Queries (, and ), In Companion of the 8th ACM/SPEC International Conference on Performance Engineering (ICPE '17), ACM, . [bibtex]
[216]Towards a common classification of changes for information and automated production systems as precondition for maintenance effort estimation (, , , , and ), In IEEE International Conference on Industrial Informatics (INDIN), . [bibtex] [doi]
[215]Distributed Quality-Attribute Optimization of Software Architectures (, , , and ), In Proceedings of the 11th Brazilian Symposium on Software Components, Architectures, and Reuse (SBCARS 2017), ACM, . [bibtex] [doi]
[214]Specification and automated validation of staged reconfiguration processes for dynamic software product lines (, , and ), In Software and Systems Modeling, volume 16, . [bibtex] [doi]
[213]Optimizing Product Orders Using Graph Algorithms for Improving Incremental Product-line Analysis (, , and ), In Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, . [bibtex] [pdf] [doi]
[212]Risk-based Integration Testing of Software Product Lines (, , , and ), In Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, . [bibtex] [pdf] [doi]
[211]Mastering Software Variability with FeatureIDE (, , , , and ), Springer, . [bibtex]
[210]CASPA: A Platform for Comparability of Architecture-based Software Performance Engineering Approaches (, , , , and ), In Proceedings of the 2017 IEEE International Conference on Software Architecture (ICSA 2017), IEEE, . [bibtex] [doi]
[209]Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints (, , and ), In Proceedings of the 21st International Systems and Software Product Line Conference, . [bibtex] [pdf] [doi]
2016
[208]Effective product-line testing using similarity-based product prioritization (), In Software & Systems Modeling, . [bibtex] [pdf] [doi]
[207]Do ifdefs Influence the Occurrence of Vulnerabilities? An Empirical Study of the Linux Kernel (, , , and ), In Proceedings of the International Software Product Line Conference (SPLC), ACM Press, . [bibtex] [pdf]
[206]Automated Test Suite Generation to Test Modular Designed Packaging Machines using Fault Injection and a Simulink-based Simulation Approach (, , and ), In 12th IEEE International Conference on Automation Science and Engineering (CASE), . [bibtex] [doi]
[205]Do \#ifdefs Influence the Occurrence of Vulnerabilities? An Empirical Study of the Linux Kernel (, , , and ), In Computing Research Repository (CoRR), . [bibtex] [pdf]
[204]Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics (, , and ), In Computing Research Repository (CoRR), . [bibtex] [pdf]
[203]Segregating Feature Interfaces to Support Software Product Line Maintenance (, , , and ), In Proceedings of the International Conference on Modularity (MODULARITY), ACM Press, . [bibtex] [pdf]
[202]On Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (, , , , , and ), In Proceedings of Software Engineering – Fachtagung des GI-Fachbereichs Softwaretechnik, Gesellschaft für Informatik, . [bibtex] [pdf]
[201]A verification-supported evolution approach to assist software application engineers in industrial factory automation (, , , , , and ), In 2016 IEEE International Symposium on Assembly and Manufacturing, ISAM 2016, . [bibtex] [doi]
[200]Automated extraction of rich software models from limited system information (, , and ), In Proceedings - 2016 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016, . [bibtex] [doi]
[199]Projecting UML Class Diagrams from Java Code Models (, and ), In 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO), . [bibtex] [pdf]
[198]GECO: A generator composition approach for aspect-oriented DSLs (, and ), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Van Gorp, Pieter, Engels, Gregor, eds.), Springer, volume 9765, . [bibtex] [pdf] [doi]
[197]Reasoning about product-line evolution using complex feature model differences (, , , and ), In Automated Software Engineering, Springer US, volume 23, . [bibtex] [doi]
[196]15 Years of Model-based Security Engineering with \UML\: Supporting Secure Evolution (Keynote) (), In Sixth International Symposium on Business Modeling and Software Design (BMSD 2016), . [bibtex]
[195]Scaling size and parameter spaces in variability-aware software performance models (, , and ), In Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, ACM, . [bibtex] [doi]
[194]Asking "What"?, Automating the "How"? (, , , and ), In Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering - ICPE '16, ACM, . [bibtex] [pdf] [doi]
[193]WESSBAS: Extraction of Probabilistic Workload Specifications for Load Testing and Performance Prediction—A Model-Driven Approach for Session-Based Application Systems (, , , and ), In Journal on Software and System Modeling (SoSyM), . [bibtex]
[192]Fault Handling in PLC-Based Industry 4.0 Automated Production Systems as a Basis for Restart and Self-Configuration and Its Evaluation (, , , , and ), In Journal of Software Engineering and Applications, volume 09, . [bibtex] [pdf] [doi]
[191]Towards performance tooling interoperability: An open format for representing execution traces (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 9951 LNCS, . [bibtex] [pdf] [doi]
[190]Consistency checks of design specifications against requirements using graph-based linguistic analysis (, and ), In Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, ACM, . [bibtex] [pdf] [doi]
[189]Incremental model checking of delta-oriented software product lines (, , and ), In Journal of Logical and Algebraic Methods in Programming, volume 85, . [bibtex] [pdf] [doi]
[188]Higher-order Delta Modeling for Software Product Line Evolution (, and ), In Proceedings of the 7th International Workshop on Feature-Oriented Software Development, ACM, . [bibtex] [pdf] [doi]
[187]Applying incremental model slicing to product-line regression testing (, , and ), Chapter in (Kapitsaki M. Georgiaand Santana de Almeida, Eduardo, ed.), Springer International Publishing, volume 9679, . [bibtex] [pdf] [doi]
[186]Fine-grained Test Case Prioritization for Integration Testing of Delta-oriented Software Product Lines (, , , and ), In Proceedings of the 7th International Workshop on Feature-Oriented Software Development, ACM, . [bibtex] [pdf] [doi]
[185]Explaining anomalies in feature models ( and ), In Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2016, ACM, . [bibtex] [pdf] [doi]
[184]A Process for Explicitly Integrated Software Architecture (), In Softwaretechnik-Trends, volume 36, . [bibtex] [pdf]
[183]Kieker4DQL: Declarative Performance Measurement (, and ), In 7th Symposium on Software Performance (SSP '16), . [bibtex] [doi]
[182]Leveraging Palladio for Performance Awareness in the IETS3 Integrated Specification Environment (, , and ), In 7th Symposium on Software Performance (SSP '16), . [bibtex]
[181]Documented decision-making strategies and decision knowledge in open source projects: An empirical study on Firefox issue reports (, , , and ), In Information and Software Technology, volume 79, . [bibtex] [pdf] [doi]
[180]DecDoc: A Tool for Documenting Design Decisions Collaboratively and Incrementally (, and ), In Proceedings - 2016 1st International Workshop on Decision Making in Software ARCHitecture, MARCH 2016, . [bibtex] [doi]
[179]Documenting relations between requirements and design decisions: A case study on design session transcripts ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Daneva, Maya, Pastor, Oscar, eds.), Springer, volume 9619, . [bibtex] [pdf] [doi]
[178]Architectural Run-time Models for Performance and Privacy Analysis in Dynamic Cloud Applications? (), In ACM SIGMETRICS Performance Evaluation Review, ACM, volume 43, . [bibtex] [pdf] [doi]
[177]Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing – Technical Report (, and ), In CoRR, volume abs/1606.09035, . [bibtex] [pdf]
[176]Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation (, , , and ), In Electronic Proceedings in Theoretical Computer Science, volume 206, . [bibtex] [pdf] [doi]
[175]CardyGAn: Tool Support for Cardinality-based Feature Models (, , , and ), In Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '16, . [bibtex] [pdf] [doi]
[174]Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching (, , and ), In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, . [bibtex] [pdf] [doi]
[173]Perspectives of model transformation reuse (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9681, . [bibtex] [pdf] [doi]
[172]Automatically deriving the specification of model editing operations from meta-models (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Gorp, Pieter Van, Engels, Gregor, eds.), Springer, volume 9765, . [bibtex] [pdf] [doi]
[171]Clone detection for graph-based model transformation languages (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9765, . [bibtex] [pdf] [doi]
[170]A tool environment for managing families of model transformation rules ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9761, . [bibtex] [pdf] [doi]
[169]An algorithm for the critical pair analysis of amalgamated graph transformations ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9761, . [bibtex] [pdf] [doi]
[168]Mind the gap! automated anomaly detection for potentially unbounded cardinality-based feature models (, , , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9633, . [bibtex] [pdf] [doi]
[167]RuleMerger: Automatic construction of variability-based model transformation rules (, , , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9633, . [bibtex] [pdf] [doi]
[166]Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing (, and ), In 13th International Conference on Formal Aspects of Component Software, . [bibtex] [pdf] [doi]
[165]Empirische Forschung zu Software-Evolution: Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future – Managed Software Evolution (, , and ), In Informatik-Spektrum, volume 39, . [bibtex] [pdf] [doi]
[164]Implicit Constraints in Partial Feature Models (, , and ), In Proceedings of the 7th International Workshop on Feature-Oriented Software Development, ACM, . [bibtex] [pdf] [doi]
[163]IncLing: efficient product-line testing using incremental pairwise sampling (, , , and ), In Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2016, ACM, . [bibtex] [pdf] [doi]
[162]How do we read specifications? experiences from an eye tracking study (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 9619, . [bibtex] [doi]
2015
[161]Evolutionary Trends of Developer Coordination: A Network Approach (, and ), In Computing Research Repository (CoRR), . [bibtex] [pdf]
[160]Generating Qualifiable Avionics Software: An Experience Report (, , , , and ), In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE Computer Society, . [bibtex] [pdf]
[159]Balancing Precision and Performance in Structured Merge (, and ), In Automated Software Engineering, volume 22, . [bibtex] [pdf]
[158]Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar (, , , and ), In IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers (IEEE), volume 41, . [bibtex] [doi]
[157]From Developer Networks to Verified Communities: A Fine-Grained Approach (, , , and ), In Proceedings of the IEEE/ACM International Conference on Software Engineering (ICSE), IEEE Computer Society, . [bibtex] [pdf]
[156]Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers (, , , , and ), In Proceedings of the International Conference on Modularity (MODULARITY), ACM Press, . [bibtex] [pdf]
[155]A modular reference structure for component-based architecture description languages (, , and ), Chapter in CEUR Workshop Proceedings, CEUR, volume 1463, . [bibtex]
[154]Runtime model-based privacy checks of big data cloud services (, and ), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 9435, . [bibtex] [doi]
[153]Ein \Laufzeitmodel\-basierter \Ansatz\ zur \Datenschutz\-\Prüfung\ von \Cloud\-\Systemen\ (, and ), In Software Engineering & Management 2015, Multikonferenz Der GI-Fachbereiche Softwaretechnik (SWT) Und Wirtschaftsinformatik (WI), FA WI-MAW, . [bibtex]
[152]Architectural runtime models for privacy checks of cloud applications (, and ), In ICSE Workshop on Principles of Engineering Service Oriented Systems, ACM, volume 2015-July, . [bibtex] [doi]
[151]The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution (, , , , , and ), Karlsruhe Institute of Technology, volume 25, . [bibtex] [pdf] [doi]
[150]Architectural run-time models for operator-in-the-loop adaptation of cloud applications (, , , , , and ), In 2015 IEEE 9th International Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments, MESOCA 2015 - Proceedings, IEEE, . [bibtex] [doi]
[149]Restoring Security of Long-Living Systems by Co-evolution (, , , , and ), In Proceedings - International Computer Software and Applications Conference, volume 2, . [bibtex] [doi]
[148]Preserving Validity of Batch-Job Nets under Change at Run-Time (, , and ), In Proceedings - International Computer Software and Applications Conference, volume 2, . [bibtex] [doi]
[147]Selected challenges of software evolution for automated production systems (, , , , , , , , , , , , , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[146]Evaluating reconfiguration abilities of automated production systems in Industrie 4.0 with metrics (, and ), In IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, volume 2015-October, . [bibtex] [doi]
[145]Towards interdisciplinary variability modeling for automated production systems: Opportunities and challenges when applying delta modeling: A case study (, , , , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[144]Interdisciplinary Product Line Approach to Increase Reuse (Interdisziplinärer Produktlinienansatz zur Steigerung der Wiederverwendung) (, , and ), In Automatisierungstechnik, volume 63, . [bibtex] [doi]
[143]Coupling simulation and model checking to examine selected mechanical constraints of automated production systems (, , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[142]Evolution of software in automated production systems: Challenges and research directions (, , and ), In Journal of Systems and Software, Elsevier, volume 110, . [bibtex] [doi]
[141]Proving equivalence between control software variants for Programmable Logic Controllers: Using Regression Verification to Reduce Unneeded Variant Diversity (, , , and ), In IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, volume 2015-October, . [bibtex] [pdf] [doi]
[140]Efficient impact analysis of changes in the requirements of manufacturing automation systems ( and ), In IFAC-PapersOnLine, volume 28, . [bibtex] [doi]
[139]Monitoring and Checking Privacy Policies of Cloud Services Based on Models (), Chapter in Service-Oriented Computing Workshops (ICSOC-WS), Springer International Publishing, . [bibtex] [pdf] [doi]
[138]A Platform for Empirical Research on Information System Evolution (, , , , , and ), In Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE'15), KSI Research Inc., . [bibtex] [pdf] [doi]
[137]Model-based quality assurance in machine and plant automation using sequence diagrams - A comparison of two research approaches (, and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [pdf] [doi]
[136]Architecture-based Assessment and Planning of Change Requests (, , and ), In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15, ACM, . [bibtex] [pdf] [doi]
[135]Two User Perspectives in Program Comprehension: End Users and Developer Users (), In IEEE International Conference on Program Comprehension, IEEE, volume 2015-August, . [bibtex] [doi]
[134]Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata (, and ), In Electronic Proceedings in Theoretical Computer Science, volume 182, . [bibtex] [pdf] [doi]
[133]Re-Engineering Automation Systems as Dynamic Software Product Lines (, , , , and ), In Mbees, . [bibtex]
[132]Towards incremental model slicing for delta-oriented software product lines (, and ), In 2015 IEEE 22nd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2015 - Proceedings, . [bibtex] [doi]
[131]Supporting commissioning of production plants by model-based testing and model learning (, , , , and ), In IEEE International Symposium on Industrial Electronics, volume 2015-September, . [bibtex] [doi]
[130]Learning behaviour models of discrete event production systems from observing input/output signals (, , and ), In IFAC-PapersOnLine, volume 28, . [bibtex] [doi]
[129]Delta-oriented test case prioritization for integration testing of software product lines (, , , , and ), In Proceedings of the 19th International Conference on Software Product Line - SPLC '15, ACM, . [bibtex] [pdf] [doi]
[128]Integrating protocol contracts with program code -– A leightweight approach for applied behaviour models that respect their execution context ( and ), Chapter in Behavior Modeling – Foundations and Applications, Springer International Publishing, volume 6368, . [bibtex] [pdf] [doi]
[127]Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems (, , , and ), In Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 7th of July 2015, Lund, Sweden, . [bibtex]
[126]Documenting Implementation Decisions with Code Annotations (, , , and ), In Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE'15), KSI Research Inc., . [bibtex] [doi]
[125]CoWolf – a generic framework for multi-view co-evolution and evaluation of models (, , , , and ), volume 9152, . [bibtex] [doi]
[124]Design for future: managed software evolution: The DFG priority programme for long-living software systems (, , , , and ), In Computer Science - Research and Development, Springer, volume 30, . [bibtex] [pdf] [doi]
[123]Lightweight adaptive filtering for efficient learning and updating of probabilistic models (, and ), In Proceedings - International Conference on Software Engineering, Institute of Electrical & Electronics Engineers (IEEE), volume 1, . [bibtex] [doi]
[122]ARCA-automated analysis of AUTOSAR meta-model changes (, and ), In Proceedings - 7th International Workshop on Modeling in Software Engineering, MiSE 2015, . [bibtex] [doi]
[121]Identifying Optimal Sets of Standardized Architectural Features (, and ), In Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures - QoSA '15 (Ozkaya, Ipek, Koziolek, Heiko, eds.), . [bibtex] [pdf] [doi]
[120]Co-evolving meta-models and their instance models: A formal approach based on graph transformation (, , and ), In Science of Computer Programming, volume 104, . [bibtex] [pdf] [doi]
[119]Fault-based product-line testing: effective sample generation based on feature-diagram mutation (, , , and ), In Proceedings of the 19th International Conference on Software Product Line, . [bibtex] [pdf] [doi]
[118]Starting Model Development in Distributed Teams with Incremental Model Splitting ( and ), In Software Engineering & Management, . [bibtex] [pdf]
[117]Facilitating reuse in multi-goal test-suite generation for software product lines (, , , , , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, volume 9033, . [bibtex] [pdf] [doi]
[116]An adaptable tool environment for high-level differencing of textual models (, , , and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1512, . [bibtex] [pdf]
[115]SiPL – A Delta-Based Modeling Framework for Software Product Line Engineering (, , , and ), In 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), \IEEE\ Computer Society, . [bibtex] [pdf] [doi]
[114]Towards local confluence analysis for amalgamated graph transformation ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9151, . [bibtex] [pdf] [doi]
[113]Analyzing conflicts and dependencies of rule-based transformations in Henshin (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9033, . [bibtex] [pdf] [doi]
[112]A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines (, , , and ), In Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '15, ACM, . [bibtex] [pdf] [doi]
[111]Regression verification for programmable logic controller software (, , and ), Technical report 2015-06, Karlsruhe Institute of Technology, Department of Informatics, volume 9407, . [bibtex] [doi]
[110]Restoring security of evolving software models using graph transformation (, and ), In International Journal on Software Tools for Technology Transfer, volume 17, . [bibtex] [doi]
[109]Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues (, , , , , and ), In Proceedings - 2015 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2015, . [bibtex] [pdf] [doi]
2014
[108]Evaluating probabilistic models with uncertain model parameters (, , and ), In Software and Systems Modeling, Springer-Verlag, volume 13, . [bibtex] [pdf] [doi]
[107]Does Feature Scattering Follow Power-law Distributions?: An Investigation of Five Pre-processor-based Systems (, , , and ), In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), ACM Press, . [bibtex] [pdf]
[106]On the Relation Between Internal and External Feature Interactions in Feature-oriented Product Lines: A Case Study (, and ), In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), ACM Press, . [bibtex] [pdf]
[105]Quantifying Structural Attributes of System Decompositions in 28 Feature-oriented Software Product Lines: An Exploratory Study (, , and ), Technical report 2014/01, Institute for Information Systems and New Media, WU Vienna University of Economics and Business, . [bibtex] [pdf]
[104]Specifying model changes with UMLchange to support security verification of potential evolution (, , and ), In Computer Standards and Interfaces, Elsevier BV, volume 36, . [bibtex] [pdf] [doi]
[103]A Classification and Survey of Analysis Strategies for Software Product Lines (, , , and ), In ACM Computing Surveys, volume 47, . [bibtex] [pdf]
[102]Interface behavior modeling for automatic verification of industrial automation systems' functional conformance (, , , , , , and ), In At-Automatisierungstechnik, Walter de Gruyter GmbH, volume 62, . [bibtex] [doi]
[101]Multi-objective test suite optimization for incremental product family testing (, , and ), In Proceedings - IEEE 7th International Conference on Software Testing, Verification and Validation, ICST 2014, IEEE Computer Society Press, . [bibtex] [pdf] [doi]
[100]A fundamental approach to model versioning based on graph modifications: From theory to implementation (, , and ), In Software and Systems Modeling, Springer, volume 13, . [bibtex] [doi]
[99]Behavioral relations in a process algebra for variants (), In 18th International Software Product Line Conference, SPLC 2014, volume 1, . [bibtex] [pdf] [doi]
[98]Maintaining requirements for long-living software systems by incorporating security knowledge (, , and ), In 2014 IEEE 22nd International Requirements Engineering Conference, RE 2014 - Proceedings, . [bibtex] [doi]
[97]A Runtime Model Approach for Data Geo-location Checks of Cloud Services (, and ), Chapter in Service-\Oriented\ \Computing\ - 12th \International\ \Conference\ (Franch, Xavier, Ghose, Aditya K, Lewis, Grace A, Bhiri, Sami, eds.), Springer Berlin Heidelberg, . [bibtex] [pdf] [doi]
[96]Security Certification in the Presence of Evolution: Models vs. Code (Invited talk) (), In International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014), . [bibtex]
[95]Workspace updates of visual models (, and ), In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14, ACM, . [bibtex] [pdf] [doi]
[94]Propagation of software model changes in the context of industrial plant automation (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[93]Evolution of Security Engineering Artifacts (, , , , , , , , , , , , , , and ), In International Journal of Secure Software Engineering, volume 5, . [bibtex] [pdf] [doi]
[92]Efficient optimization of software performance models via parameter-space pruning (), In Proceedings of the 5th ACM/SPEC international conference on Performance engineering - ICPE '14, . [bibtex] [pdf] [doi]
[91]Integrating run-time observations and design component models for cloud system analysis (, , , , , , and ), In CEUR Workshop Proceedings, volume 1270, . [bibtex]
[90]Deriving work plans for solving performance and scalability problems ( and ), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer International Publishing, volume 8721 LNCS, . [bibtex] [doi]
[89]\M\odel-based \S\ecurity \E\ngineering with \UML\: \M\anaged \C\o-\E\volution of \S\ecurity \K\nowledge and \S\oftware \M\odels (, , , and ), In Foundations of Security Analysis and Desing VII: FOSAD Tutorial Lectures (Aldini, A, Lopez, J, Martinelli, F, eds.), volume 8604, . [bibtex]
[88]Versioning and Evolution Requirements for Model-Based System Development (, , , and ), In Proceedings of the International Workshop on Comparison and Versioning of Software Models (CVSM), . [bibtex]
[87]Using ontologies to analyze compliance requirements of cloud-based processes (, , , , and ), In Communications in Computer and Information Science, Springer, volume 453, . [bibtex] [doi]
[86]Challenges of parallel evolution in production automation focusing on requirements specification and fault handling (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[85]Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit (, , and ), mediaTUM, Munich, Germany, . [bibtex] [pdf]
[84]Anforderungen an die Softwareevolution in der Automatisierung des Maschinen- und Anlagenbaus (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[83]Software Project Management in a Changing World (, and ), Chapter in Software Project Management in a Changing World (Ruhe, G, Wohlin, C, eds.), Springer, . [bibtex] [pdf] [doi]
[82]Towards Adaptation and Evolution of Domain-Specific Knowledge for Maintaining Secure Systems (, , , and ), In 15th Int. Conf. of Product Focused Software Development and Process Improvement (Profes'14), Springer, volume 8892, . [bibtex] [pdf] [doi]
[81]Programming BDI Agents with Pure Java (, , and ), In Multiagent System Technologies. 12th German Conference, MATES 2014, Stuttgart, Germany, September 23-25, 2014. Proceedings (J. Müller M. Weyrich, A Bazzan, ed.), Springer International Publishing, volume 8732, . [bibtex] [pdf] [doi]
[80]Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets (, , and ), In Proc. of the SPLC'14, . [bibtex] [doi]
[79]Delta-oriented model-based integration testing of large-scale systems (, , , and ), In Journal of Systems and Software, volume 91, . [bibtex] [pdf] [doi]
[78]DeltaCCS: A core calculus for behavioral change (, , and ), In 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, volume 8802, . [bibtex] [pdf] [doi]
[77]Model-based testing (, , and ), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Bernardo, Marco, Damiani, Ferruccio, Hähnle, Reiner, Johnsen, EinarBroch, Schaefer, Ina, eds.), Springer International Publishing, volume 8483 LNCS, . [bibtex] [pdf] [doi]
[76]Assessing the State-of-Practice of Model-Based Engineering inthe EmbeddedSystems Domain (, , and ), In Model Driven Engineering Languages andSystems, 17th International Conference, MODELS 2014, Valencia, Spain,September28 - October 3 (Dingel, Juergen, Schulte, Wolfram, eds.), Springer Science mathplus Business Media, . [bibtex] [doi]
[75]Semi-automated decision making support for undocumented evolutionary changes (, , and ), In Proceedings of 16th Workshop Software-Reengineering & Evolution (WSRE), 28.-30.05.2014, Bad Honnef, . [bibtex] [pdf]
[74]Integrating Protocol Contracts with Java Code (, and ), In Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, ACM, . [bibtex] [pdf] [doi]
[73]Rapidly Locating and Understanding Errors Using Runtime Monitoring of Architecture-Carrying Code (), In Proceedings of the 1st International Workshop on Rapid Continuous Software Engineering (RCoSE 2014), ACM, . [bibtex] [pdf] [doi]
[72]Delta modeling for variant-rich and evolving manufacturing systems (, , , , and ), In Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation - MoSEMInA 2014, ACM, . [bibtex] [pdf] [doi]
[71]Family-based performance analysis of variant-rich software systems (, and ), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Gnesi, Stefania, Rensink, Arend, eds.), Springer Berlin Heidelberg, volume 8411 LNCS, . [bibtex] [pdf] [doi]
[70]A Method for Aspect-oriented Meta-Model Evolution (, , , and ), In Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling - VAO '14, ACM, . [bibtex] [pdf] [doi]
[69]The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution ( and ), In Software Engineering (SE2014), GI, volume Lecture Notes in Informatics, . [bibtex]
[68]Family model mining for function block diagrams in automation software (, , , , and ), In Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools - SPLC '14, ACM, . [bibtex] [pdf] [doi]
[67]Semiautomatic security requirements engineering and evolution using decision documentation, heuristics, and user monitoring (, , , , and ), In 2014 IEEE 1st International Workshop on Evolving Security and Privacy Requirements Engineering, ESPRE 2014 - Proceedings, IEEE, . [bibtex] [doi]
[66]How to improve decision documentation in software evolution? (, , and ), In CEUR Workshop Proceedings, CEUR-WS, volume 1129, . [bibtex]
[65]Interaction of model-driven engineering and signal-based online monitoring of production systems: Towards Requirement-aware evolution (, , , , , and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [doi]
[64]Formal Technical Process Specification and Verification for Automated Production Systems (, , , , and ), In International Conference on System Analysis and Modeling (SAM): Models and Reusability, . [bibtex] [pdf] [doi]
[63]An active service-component architecture to enable self-awareness of evolving production systems (, , and ), In 19th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2014, . [bibtex] [doi]
[62]Behandlung unbekannter Änderungen in automatisierten Produktionsprozessen anhand von Wissensmodellen (, , and ), In Tagungsband: Software Engineering Workshops 2014, 25.-26. Februar 2014, . [bibtex] [pdf]
[61]A Generic Framework for Analyzing Model Co-Evolution (, and ), In Proceedings of the Workshop on Models and Evolution co-located with \ACM/IEEE\ 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain., . [bibtex] [pdf] [doi]
[60]Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen (, and ), In CEUR Workshop Proceedings, volume 1129, . [bibtex]
[59]Automating regression verification (, , , and ), In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14, ACM, . [bibtex] [pdf] [doi]
[58]Quantifying long-term evolution of industrial meta-models - A case study (, , and ), In Proceedings - 2014 Joint Conference of the International Workshop on Software Measurement, IWSM 2014 and the International Conference on Software Process and Product Measurement, Mensura 2014, Institute of Electrical & Electronics Engineers (IEEE), . [bibtex] [doi]
[57]Evolution of long-term industrial meta-models-an automotive case study of AUTOSAR (, , and ), In Proceedings - 40th Euromicro Conference Series on Software Engineering and Advanced Applications, SEAA 2014, . [bibtex] [doi]
[56]Versioning of Ordered Model Element Sets ( and ), In Softwaretechnik-Trends, volume 34, . [bibtex] [pdf]
[55]Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain (, , , , and ), In at - Automatisierungstechnik, volume 62, . [bibtex] [pdf] [doi]
[54]Automatic generation of consistency-preserving edit operations for MDE tools (, and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1255, . [bibtex] [pdf]
[53]Splitting Models Using Information Retrieval and Model Crawling Techniques (, , and ), In Fundamental Approaches to Software Engineering, volume 8411, . [bibtex] [pdf] [doi]
[52]Towards incremental test suite optimization for software product lines ( and ), In Proceedings of the 6th International Workshop on Feature-Oriented Software Development - FOSD '14, . [bibtex] [pdf] [doi]
[51]Automated user interaction analysis for workflow-based web portals (, , , and ), In Lecture Notes in Business Information Processing, Springer Science mathplus Business Media, volume 182, . [bibtex] [doi]
[50]Similarity-based prioritization in software product-line testing (, , , and ), In Proceedings of the 18th International Software Product Line Conference on - SPLC '14, . [bibtex] [pdf] [doi]
2013
[49]Variability-Aware Performance Prediction: A Statistical Learning Approach (, , , and ), In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE Computer Society, . [bibtex] [pdf]
[48]A Comparison of Product-based, Feature-based, and Family-based Type Checking (, , and ), In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), ACM Press, . [bibtex] [pdf]
[47]Exploring Feature Interactions in the Wild: The New Feature-Interaction Challenge (, , , and ), In Proceedings of the International Workshop on Feature-Oriented Software Development (FOSD), ACM Press, . [bibtex] [pdf]
[46]Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment (, , and ), In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), ACM Press, . [bibtex] [pdf]
[45]Family-Based Performance Measurement (, and ), In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), ACM Press, . [bibtex] [pdf]
[44]Scalable Analysis of Variable Software (, , , , and ), In Proceedings of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE), ACM Press, . [bibtex] [pdf]
[43]Feature Oriented Software Evolution (, , , , , and ), In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, . [bibtex] [pdf]
[42]The PLA Model: On the Combination of Product-Line Analyses (, , , and ), In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, . [bibtex] [pdf]
[41]Predicting Quality Attributes of Software Product Lines Using Software and Network Measures and Sampling (, , , , and ), In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, . [bibtex] [pdf]
[40]Consistency-preserving edit scripts in model versioning (, and ), In 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings, IEEE, . [bibtex] [doi]
[39]Model-centric Security Verification Subject to Evolution (), . [bibtex] [pdf]
[38]UNICASE Trace Client : A CASE Tool Integrating Requirements Engineering, Project Management and Code Implementation ( and ), In Software Engineering 2013 Workshopband (Wagner, S, Lichter, H, eds.), volume LNI 215, . [bibtex]
[37]Tracing requirements and source code during software development: An empirical study ( and ), In International Symposium on Empirical Software Engineering and Measurement, . [bibtex] [pdf] [doi]
[36]Model-driven instrumentation with Kieker and Palladio to forecast dynamic applications (, and ), In CEUR Workshop Proceedings, CEUR, volume 1083, . [bibtex] [pdf]
[35]¨ INFORMATIK INSTITUT F UR iObserve : Integrated Observation and iObserve : Integrated Observation and Modeling Techniques to Support Adaptation and Evolution of Software (, , , , , and ), Department of Computer Science, . [bibtex] [pdf]
[34]Live trace visualization for comprehending large software landscapes: The ExplorViz approach (, , and ), In 2013 1st IEEE Working Conference on Software Visualization - Proceedings of VISSOFT 2013, . [bibtex] [doi]
[33]Search-based genetic optimization for deployment and reconfiguration of software in the cloud. International Conference on Software Engineering (ICSE-13). San Francisco, CA, USA,18–26 May 2013 (, and ), In Icse, IEEE Press, . [bibtex]
[32]Towards identifying evolution smells in Software Product Lines (, and ), In Multi-Conference on Software Engineering, SE 2013 (Sauer, Stefan, Klatt, Benjamin, Ruhroth, Thomas, eds.), Gesellschaft für Informatik e.V. (GI), volume P-215, . [bibtex] [pdf]
[31]Context-aware DSPLs (, and ), In Proceedings of the 17th International Software Product Line Conference co-located workshops on - SPLC '13 Workshops, ACM, . [bibtex] [pdf] [doi]
[30]Towards identification of software improvements and specification updates by comparing monitored and specified end-user behavior (, , and ), In IEEE International Conference on Software Maintenance, ICSM, IEEE, . [bibtex] [doi]
[29]Timed Hazard Analysis of Self-healing Systems (, and ), Chapter in Assurances for Self-Adaptive Systems (Javier Camara, Rogério de Lemos, Ghezzi, Carlo, Lopes, Antonia, eds.), Springer Berlin / Heidelberg, volume 7740, . [bibtex]
[28]Operationalized definitions of non-functional requirements on automated production facilities to measure evolution effects with an automation system (, , and ), In IEEE International Conference on Emerging Technologies and Factory Automation, ETFA, IEEE, . [bibtex] [doi]
[27]Evolution of production facilities and its impact on non-functional requirements (, , , , and ), In IEEE International Conference on Industrial Informatics (INDIN), IEEE, . [bibtex] [doi]
[26]Evolution in industrial plant automation: A case study (, and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [doi]
[25]Towards efficient SPL testing by variant reduction (, and ), In Proceedings of the 4th international workshop on Variability & composition - VariComp '13, ACM, . [bibtex] [pdf] [doi]
[24]Towards Architecture-Centric Evolution of Long-Living Systems (The ADVERT Approach) (, , and ), In Proceedings of the 9th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2013), . [bibtex] [doi]
[23]Generating edit operations for profiled UML models (, , and ), In CEUR Workshop Proceedings, volume 1090, . [bibtex]
[22]Supporting the collaborative development of requirements and architecture documentation ( and ), In 2013 3rd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2013 - Proceedings, . [bibtex] [doi]
[21]Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Production Automation Software (, , , , , and ), In Electronic Communications of the EASST, Volume 56 (2013), EASST, volume 56, . [bibtex] [doi]
[20]\C\apturing and \D\ocumentation of \D\ecisions in \S\ecurity \R\equirements \E\ngineering through \H\euristics (, , and ), . [bibtex]
[19]Co-Evolution of Software Architecture and Fault Tree Models: AnExplorative Case Study on a Pick and Place Factory Automation System (, , and ), In Proc. of the 5th International Workshop on Non-functionalProperties in Modeling, September 29, Miami, USA, . [bibtex]
[18]On the appropriate rationale for using design patterns and pattern documentation ( and ), In QoSA 2013 - Proceedings of the 9th International ACM Sigsoft Conference on the Quality of Software Architectures, . [bibtex] [doi]
[17]How the understanding of the effects of design decisions informs requirements engineering (, and ), In 2013 2nd International Workshop on the Twin Peaks of Requirements and Architecture, TwinPeaks 2013 - Proceedings, . [bibtex] [pdf] [doi]
[16]Requirements-based delta-oriented SPL testing (, , and ), In 2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings, . [bibtex] [doi]
[15]Analyzing the tracing of requirements and source code during software development: A research preview ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 7830 LNCS, . [bibtex] [doi]
[14]Detection of High-Level Changes in Evolving Java Software (, , and ), In Softwaretechnik-Trends, volume 33, . [bibtex] [pdf] [doi]
[13]Statistical Analysis of Changes for Synthesizing Realistic Test Models (, , and ), In Proceedings of the Software Engineering (SE 2013), . [bibtex]
[12]Patchen von Modellen. (, and ), In Software Engineering, . [bibtex] [pdf]
[11]Staged configuration of dynamic software product lines with complex binding time constraints (, , , , and ), In Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS '14, ACM, . [bibtex] [pdf] [doi]
2012
[10]Towards refactoring of rule-based, in-place model transformation systems (, , and ), In Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012, . [bibtex] [pdf] [doi]
[9]Understanding model evolution through semantically lifting model differences with SiLift (, , and ), In IEEE International Conference on Software Maintenance, ICSM, . [bibtex] [doi]
[8]Adaptability of model comparison tools (, , and ), In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012, . [bibtex] [pdf] [doi]
[7]Supporting security assurance in the context of evolution: Modular modeling and analysis with UMLsec ( and ), In Proceedings of IEEE International Symposium on High Assurance Systems Engineering, IEEE CS, . [bibtex] [doi]
[6]Delta-orientiertes Testen von variantenreichen Systemen (, and ), In OBJEKTspektrum Online Themenspecial Testing, Sigis Datacom GmbH, . [bibtex]
[5]A Conceptual Framework and Experimental Workbench for Architectures ( and ), Chapter in Software Service and Application Engineering (Heisel, Maritta, ed.), Springer Berlin Heidelberg, volume 7365, . [bibtex] [pdf] [doi]
[4]On modelling non-functional requirements evolution with UML ( and ), In Modelling and Quality in Requirements Engineering (Essays Dedicatedto Martin Glinz on the Occasion of His 60th Birthday), Verlagshaus Monsenstein und Vannerdat, . [bibtex]
[3]Formal foundation of consistent EMF model transformations by algebraic graph transformation (, and ), In Software and Systems Modeling, Springer, volume 11, . [bibtex] [doi]
2010
[2]Pure delta-oriented programming ( and ), In Proceedings of the 2nd International Workshop on Feature-Oriented Software Development - FOSD '10, ACM, . [bibtex] [pdf] [doi]
[1]Eliciting security requirements and tracing them to design: An integration of Common Criteria, heuristics, and UMLsec (, , , and ), In Requirements Engineering, volume 15, . [bibtex] [doi]