Collected Publications of SPP1593 Projects

Books
1 result
2017
[1]Mastering Software Variability with FeatureIDE (, , , , and ), Springer, . [bibtex]
Book Chapters
13 results
2016
[13]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]
[12]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]
2015
[11]A modular reference structure for component-based architecture description languages (, , and ), Chapter in CEUR Workshop Proceedings, CEUR, volume 1463, . [bibtex]
[10]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]
[9]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]
[8]Integrating protocol contracts with program code – A leightweight approach for applied behaviour models that respect their execution context ( and ), Chapter in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science mathplus Business Media, volume 6368, . [bibtex] [pdf] [doi]
2014
[7]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]
[6]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]
[5]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]
[4]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]
[3]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]
2013
[2]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]
2012
[1]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]
Refereed Articles
38 results
2017
[38]Utility-based Decision Making for Migrating Cloud-based Applications (, , , and ), In ACM Transactions on Internet Technology, volume 18, . [bibtex] [pdf] [doi]
[37]Integrating business process simulation and information system simulation for performance prediction (, , and ), In Software & Systems Modeling, volume 16, . [bibtex] [pdf] [doi]
[36]The shape of feature code: an analysis of twenty C-preprocessor-based systems (, , , , and ), In Software and Systems Modeling, volume 16, . [bibtex] [doi]
[35]Specification and automated validation of staged reconfiguration processes for dynamic software product lines (, , and ), In Software and Systems Modeling, volume 16, . [bibtex] [doi]
2016
[34]Effective product-line testing using similarity-based product prioritization (), In Software & Systems Modeling, . [bibtex] [pdf] [doi]
[33]Preprocessor-based variability in open-source and industrial software systems: An empirical study (, , , , , and ), In Empirical Software Engineering, Springer Science mathplus Business Media, volume 21, . [bibtex] [doi]
[32]Reasoning about product-line evolution using complex feature model differences (, , , and ), In Automated Software Engineering, Springer US, volume 23, . [bibtex] [doi]
[31]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]
[30]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]
[29]Quantifying structural attributes of system decompositions in 28 feature-oriented software product lines: An exploratory study (, , , and ), In Empirical Software Engineering, Springer Nature, volume 21, . [bibtex] [pdf] [doi]
[28]Coevolution of variability models and related software artifacts: A fresh look at evolution patterns in the Linux kernel (, , , , , , and ), In Empirical Software Engineering, volume 21, . [bibtex] [doi]
[27]Incremental model checking of delta-oriented software product lines (, , and ), In Journal of Logical and Algebraic Methods in Programming, volume 85, . [bibtex] [pdf] [doi]
[26]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]
[25]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]
[24]Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing – Technical Report (, and ), In CoRR, volume abs/1606.09035, . [bibtex] [pdf]
[23]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]
2015
[22]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]
[21]Interdisciplinary Product Line Approach to Increase Reuse (Interdisziplinärer Produktlinienansatz zur Steigerung der Wiederverwendung) (, , and ), In Automatisierungstechnik, volume 63, . [bibtex] [doi]
[20]Evolution of software in automated production systems: Challenges and research directions (, , and ), In Journal of Systems and Software, Elsevier, volume 110, . [bibtex] [doi]
[19]Balancing precision and performance in structured merge (, and ), In Automated Software Engineering, volume 22, . [bibtex] [pdf] [doi]
[18]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]
[17]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]
[16]Restoring security of evolving software models using graph transformation (, and ), In International Journal on Software Tools for Technology Transfer, volume 17, . [bibtex] [doi]
2014
[15]Evaluating probabilistic models with uncertain model parameters (, , and ), In Software and Systems Modeling, Springer-Verlag, volume 13, . [bibtex] [pdf] [doi]
[14]Interface behavior modeling for automatic verification of industrial automation systems' functional conformance (, , , , , , and ), In At-Automatisierungstechnik, Walter de Gruyter GmbH, volume 62, . [bibtex] [doi]
[13]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]
[12]Propagation of software model changes in the context of industrial plant automation (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[11]Evolution of Security Engineering Artifacts (, , , , , , , , , , , , , , and ), In International Journal of Secure Software Engineering, volume 5, . [bibtex] [pdf] [doi]
[10]Challenges of parallel evolution in production automation focusing on requirements specification and fault handling (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[9]Anforderungen an die Softwareevolution in der Automatisierung des Maschinen- und Anlagenbaus (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[8]A Classification and Survey of Analysis Strategies for Software Product Lines (, , , and ), In ACM Computing Surveys, volume 47, . [bibtex] [pdf] [doi]
[7]Delta-oriented model-based integration testing of large-scale systems (, , , and ), In Journal of Systems and Software, volume 91, . [bibtex] [pdf] [doi]
[6]Versioning of Ordered Model Element Sets ( and ), In Softwaretechnik-Trends, volume 34, . [bibtex] [pdf]
[5]Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain (, , , , and ), In at - Automatisierungstechnik, volume 62, . [bibtex] [pdf] [doi]
2013
[4]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]
[3]Detection of High-Level Changes in Evolving Java Software (, , and ), In Softwaretechnik-Trends, volume 33, . [bibtex] [pdf] [doi]
2012
[2]Formal foundation of consistent EMF model transformations by algebraic graph transformation (, and ), In Software and Systems Modeling, Springer, volume 11, . [bibtex] [doi]
2010
[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]
Refereed Conference Papers
113 results
2017
[113]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]
[112]Architecture-Based Change Impact Analysis in Information Systems and Business Processes (, , and ), In 2017 IEEE International Conference on Software Architecture (ICSA), . [bibtex] [pdf] [doi]
[111]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]
[110]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]
[109]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]
[108]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]
[107]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]
[106]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
[105]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]
[104]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]
[103]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]
[102]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]
[101]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]
[100]Generating qualifiable avionics software: An experience report (, , , , and ), In Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, IEEE Computer Society, . [bibtex] [doi]
[99]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]
[98]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]
[97]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]
[96]Kieker4DQL: Declarative Performance Measurement (, and ), In 7th Symposium on Software Performance (SSP '16), . [bibtex] [doi]
[95]Leveraging Palladio for Performance Awareness in the IETS3 Integrated Specification Environment (, , and ), In 7th Symposium on Software Performance (SSP '16), . [bibtex]
[94]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]
[93]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]
[92]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]
[91]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]
[90]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]
[89]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]
[88]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]
[87]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]
[86]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]
[85]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]
[84]Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing (, and ), In 13th International Conference on Formal Aspects of Component Software, . [bibtex] [pdf] [doi]
[83]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]
[82]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
[81]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]
[80]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]
[79]Restoring Security of Long-Living Systems by Co-evolution (, , , , and ), In Proceedings - International Computer Software and Applications Conference, volume 2, . [bibtex] [doi]
[78]Preserving Validity of Batch-Job Nets under Change at Run-Time (, , and ), In Proceedings - International Computer Software and Applications Conference, volume 2, . [bibtex] [doi]
[77]Selected challenges of software evolution for automated production systems (, , , , , , , , , , , , , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[76]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]
[75]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]
[74]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]
[73]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]
[72]Efficient impact analysis of changes in the requirements of manufacturing automation systems ( and ), In IFAC-PapersOnLine, volume 28, . [bibtex] [doi]
[71]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]
[70]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]
[69]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]
[68]Two User Perspectives in Program Comprehension: End Users and Developer Users (), In IEEE International Conference on Program Comprehension, IEEE, volume 2015-August, . [bibtex] [doi]
[67]Feature scattering in the large: a longitudinal study of Linux kernel device drivers (, , , , and ), In Proceedings of the 14th International Conference on Modularity - MODULARITY 2015, ACM Press, . [bibtex] [pdf] [doi]
[66]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]
[65]Re-Engineering Automation Systems as Dynamic Software Product Lines (, , , , and ), In Mbees, . [bibtex]
[64]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]
[63]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]
[62]Learning behaviour models of discrete event production systems from observing input/output signals (, , and ), In IFAC-PapersOnLine, volume 28, . [bibtex] [doi]
[61]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]
[60]From developer networks to verified communities: A fine-grained approach (, , , and ), In Proceedings - International Conference on Software Engineering, IEEE Computer Society, volume 1, . [bibtex] [doi]
[59]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]
[58]CoWolf – a generic framework for multi-view co-evolution and evaluation of models (, , , , and ), volume 9152, . [bibtex] [doi]
[57]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]
[56]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]
[55]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]
[54]Starting Model Development in Distributed Teams with Incremental Model Splitting ( and ), In Software Engineering & Management, . [bibtex] [pdf]
[53]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]
[52]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]
[51]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]
[50]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]
[49]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
[48]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]
[47]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]
[46]Behavioral relations in a process algebra for variants (), In 18th International Software Product Line Conference, SPLC 2014, volume 1, . [bibtex] [pdf] [doi]
[45]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]
[44]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]
[43]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]
[42]\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]
[41]Using ontologies to analyze compliance requirements of cloud-based processes (, , , , and ), In Communications in Computer and Information Science, Springer, volume 453, . [bibtex] [doi]
[40]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]
[39]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]
[38]Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets (, , and ), In Proc. of the SPLC'14, . [bibtex] [doi]
[37]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]
[36]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]
[35]A comparison of product-based, feature-based, and family-based type checking (, , and ), In ACM SIGPLAN Notices, ACM, volume 49, . [bibtex] [pdf] [doi]
[34]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]
[33]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]
[32]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]
[31]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]
[30]Automating regression verification (, , , and ), In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14, ACM, . [bibtex] [pdf] [doi]
[29]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]
[28]Splitting Models Using Information Retrieval and Model Crawling Techniques (, , and ), In Fundamental Approaches to Software Engineering, volume 8411, . [bibtex] [pdf] [doi]
[27]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]
[26]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
[25]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]
[24]Tracing requirements and source code during software development: An empirical study ( and ), In International Symposium on Empirical Software Engineering and Measurement, . [bibtex] [pdf] [doi]
[23]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]
[22]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]
[21]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]
[20]Family-Based Performance Measurement (, and ), In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), ACM, . [bibtex] [doi]
[19]Does the discipline of preprocessor annotations matter?: A controlled experiment (, , and ), In Proceedings of 12th International Conference on Generative Programming: Concepts and Experiences, ACM, . [bibtex] [pdf] [doi]
[18]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]
[17]Scalable analysis of variable software (, , , , and ), In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013, ACM Press, . [bibtex] [pdf] [doi]
[16]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]
[15]Evolution of production facilities and its impact on non-functional requirements (, , , , and ), In IEEE International Conference on Industrial Informatics (INDIN), IEEE, . [bibtex] [doi]
[14]Evolution in industrial plant automation: A case study (, and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [doi]
[13]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]
[12]Predicting quality attributes of software product lines using software and network measures and sampling. (, , , , and ), In VaMoS, ACM, . [bibtex] [pdf] [doi]
[11]\C\apturing and \D\ocumentation of \D\ecisions in \S\ecurity \R\equirements \E\ngineering through \H\euristics (, , and ), . [bibtex]
[10]Variability-aware performance prediction: A statistical learning approach (, , , and ), In Automated Software Engineering (ASE), 2013 IEEE/ACM 28$\backslash$textsuperscript\th\ International Conference on, IEEE Computer Society, . [bibtex] [pdf] [doi]
[9]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]
[8]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]
[7]Statistical Analysis of Changes for Synthesizing Realistic Test Models (, , and ), In Proceedings of the Software Engineering (SE 2013), . [bibtex]
[6]Patchen von Modellen. (, and ), In Software Engineering, . [bibtex] [pdf]
2012
[5]Understanding model evolution through semantically lifting model differences with SiLift (, , and ), In IEEE International Conference on Software Maintenance, ICSM, . [bibtex] [doi]
[4]Adaptability of model comparison tools (, , and ), In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012, . [bibtex] [pdf] [doi]
[3]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]
[2]Delta-orientiertes Testen von variantenreichen Systemen (, and ), In OBJEKTspektrum Online Themenspecial Testing, Sigis Datacom GmbH, . [bibtex]
[1]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]
Refereed Workshop Papers
50 results
2018
[50]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]
[49]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
[48]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]
[47]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]
[46]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]
2016
[45]Projecting UML Class Diagrams from Java Code Models (, and ), In 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO), . [bibtex] [pdf]
[44]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]
[43]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]
[42]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]
[41]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]
[40]Implicit Constraints in Partial Feature Models (, , and ), In Proceedings of the 7th International Workshop on Feature-Oriented Software Development, ACM, . [bibtex] [pdf] [doi]
2015
[39]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]
[38]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]
[37]ARCA-automated analysis of AUTOSAR meta-model changes (, and ), In Proceedings - 7th International Workshop on Modeling in Software Engineering, MiSE 2015, . [bibtex] [doi]
[36]An adaptable tool environment for high-level differencing of textual models (, , , and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1512, . [bibtex] [pdf]
[35]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]
2014
[34]Security Certification in the Presence of Evolution: Models vs. Code (Invited talk) (), In International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014), . [bibtex]
[33]Integrating run-time observations and design component models for cloud system analysis (, , , , , , and ), In CEUR Workshop Proceedings, volume 1270, . [bibtex]
[32]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]
[31]Does feature scattering follow power-law distributions? (, , , and ), In Proceedings of the 6th International Workshop on Feature-Oriented Software Development - FOSD '14, ACM Press, . [bibtex] [pdf] [doi]
[30]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]
[29]Integrating Protocol Contracts with Java Code (, and ), In Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, ACM, . [bibtex] [pdf] [doi]
[28]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]
[27]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]
[26]On the relation between internal and external feature interactions in feature-oriented product lines (, and ), In Proceedings of the 6th International Workshop on Feature-Oriented Software Development - FOSD '14, Association for Computing Machinery (ACM), . [bibtex] [pdf] [doi]
[25]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]
[24]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]
[23]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]
[22]How to improve decision documentation in software evolution? (, , and ), In CEUR Workshop Proceedings, CEUR-WS, volume 1129, . [bibtex]
[21]Behandlung unbekannter Änderungen in automatisierten Produktionsprozessen anhand von Wissensmodellen (, , and ), In Tagungsband: Software Engineering Workshops 2014, 25.-26. Februar 2014, . [bibtex] [pdf]
[20]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]
[19]Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen (, and ), In CEUR Workshop Proceedings, volume 1129, . [bibtex]
[18]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]
[17]Automatic generation of consistency-preserving edit operations for MDE tools (, and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1255, . [bibtex] [pdf]
[16]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]
2013
[15]The PLA Model: On the Combination of Product-line Analyses (, , , and ), In Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, . [bibtex] [pdf] [doi]
[14]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]
[13]Model-driven instrumentation with Kieker and Palladio to forecast dynamic applications (, and ), In CEUR Workshop Proceedings, CEUR, volume 1083, . [bibtex] [pdf]
[12]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]
[11]Feature Oriented Software Evolution (, , , , , and ), In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, . [bibtex] [pdf]
[10]Towards efficient SPL testing by variant reduction (, and ), In Proceedings of the 4th international workshop on Variability & composition - VariComp '13, ACM, . [bibtex] [pdf] [doi]
[9]Generating edit operations for profiled UML models (, , and ), In CEUR Workshop Proceedings, volume 1090, . [bibtex]
[8]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]
[7]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]
[6]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]
[5]Requirements-based delta-oriented SPL testing (, , and ), In 2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings, . [bibtex] [doi]
[4]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]
[3]Exploring feature interactions in the wild (, , , and ), In Proceedings of the 5th International Workshop on Feature-Oriented Software Development - FOSD '13, ACM Press, . [bibtex] [pdf] [doi]
2012
[2]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]
2010
[1]Pure delta-oriented programming ( and ), In Proceedings of the 2nd International Workshop on Feature-Oriented Software Development - FOSD '10, ACM, . [bibtex] [pdf] [doi]
Other Publications
5 results
2018
[5]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]
2015
[4]The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution (, , , , , and ), Karlsruhe Institute of Technology, volume 25, . [bibtex] [pdf] [doi]
[3]Regression verification for programmable logic controller software (, , and ), Technical report 2015-06, Karlsruhe Institute of Technology, Department of Informatics, volume 9407, . [bibtex] [doi]
2014
[2]Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit (, , and ), mediaTUM, Munich, Germany, . [bibtex] [pdf]
2013
[1]¨ 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]