Collected Publications of SPP1593 Projects

309 results
2020
[309]Continuous Management of Requirement Decisions Using the ConDec Tools (, , and ), In Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020) (Mehrdad Sabetzadeh, Andreas Vogelsang, Sallam Abualhaija, Markus Borg, Fabiano Dalpiaz, Maya Daneva, Nelly Condori-Fernández, Xavier Franch, Davide Fucci, Vincenzo Gervasi, Eduard C. Groen, Renata S. S. Guizzardi, Andrea Herrmann, Jennifer Horkoff, Luisa Mich, Anna Perini, Angelo Susi, eds.), . [bibtex] [pdf] [doi]
[308]User Feedback Practices in Continuous Software Engineering (, , and ), In Software Engineering 2020 (Felderer, Michael, Hasselbring, Wilhelm, Rabiser, Rick, Jung, Reiner, eds.), Gesellschaft für Informatik e.V., . [bibtex] [pdf] [doi]
2019
[307]Sharing and Exploiting Requirement Decisions (, , and ), In Fachgruppentreffen Requirements Engineering, . [bibtex] [pdf]
[306]How do Practitioners Capture and Utilize User Feedback during Continuous Software Engineering? (, , and ), In Proceedings of the 27th IEEE International Requirements Engineering Conference, IEEE, . [bibtex] [pdf] [doi]
[305]Managed Software Evolution (, , , and ), Springer, Cham, . [bibtex] [pdf] [doi]
[304]Continuous Thinking Aloud (, and ), In 2019 IEEE/ACM Joint 4th International Workshop on Rapid Continuous Software Engineering and 1st International Workshop on Data-Driven Decisions, Experimentation and Evolution (RCoSE/DDrEE), IEEE Press, . [bibtex] [pdf] [doi]
[303]Toward Usability Problem Identification Based on User Emotions Derived from Facial Expressions (, and ), In 2019 IEEE/ACM 4th International Workshop on Emotion Awareness in Software Engineering, . [bibtex] [pdf] [doi]
[302]Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach (, , , and ), In Journal of Logical and Algebraic Methods in Programming, Elsevier, volume 103, . [bibtex]
[301]Teaching Rationale Management in Agile Project Courses (, , and ), In 16. Workshop Software Engineering im Unterricht der Hochschulen (SEUH), . [bibtex] [pdf] [doi]
[300]Continuous Design Decision Support (, , , , and ), Chapter in (Reussner, Ralf, Goedicke, Michael, Hasselbring, Wilhelm, Vogel-Heuser, Birgit, Keim, Jan, Märtin, Lukas, eds.), Springer International Publishing, . [bibtex] [pdf] [doi]
[299]How do Practitioners Manage Decision Knowledge during Continuous Software Engineering? (, , and ), In Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, KSI Research Inc., . [bibtex] [pdf] [doi]
[298]Addressed Challenges (, , , , , , , and ), Chapter in (Reussner, Ralf, Goedicke, Michael, Hasselbring, Wilhelm, Vogel-Heuser, Birgit, Keim, Jan, Märtin, Lukas, eds.), Springer International Publishing, . [bibtex] [pdf] [doi]
[297]Tacit Knowledge in Software Evolution (, , and ), Chapter in (Reussner, Ralf, Goedicke, Michael, Hasselbring, Wilhelm, Vogel-Heuser, Birgit, Keim, Jan, Märtin, Lukas, eds.), Springer International Publishing, . [bibtex] [pdf] [doi]
[296]The Eye of Continuous Software Engineering (, , and ), In Software Engineering and Software Management 2019 (Becker, Steffen, Bogicevic, Ivan, Herzwurm, Georg, Wagner, Stefan, eds.), Gesellschaft für Informatik e.V., . [bibtex] [pdf] [doi]
[295]Continuous software engineering and its support by usage and decision knowledge: An interview study with practitioners (, , and ), In Journal of Software: Evolution and Process, volume 31, . [bibtex] [pdf] [doi]
[294]Continuous User Understanding in Software Evolution (), PhD thesis, Technische Universität München, . [bibtex] [pdf]
[293]A Syllabus for Usability Engineering in Multi-Project Courses (, and ), In 16. Workshop Software Engineering im Unterricht der Hochschulen (SEUH), . [bibtex] [pdf]
2018
[292]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]
[291]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]
[290]Data-Efficient Performance Learning for Configurable Systems (, , , , , , , and ), In Empirical Software Engineering, volume 23, . [bibtex] [pdf]
[289]Automating Regression Verification of Pointer Programs by Predicate Abstraction (, and ), In Formal Methods in System Design, Springer, volume 52, . [bibtex] [doi]
[288]Discipline Matters: Refactoring of Preprocessor Directives in the ifdef Hell (, , , , , , and ), In IEEE Transactions on Software Engineering (TSE), volume 44, . [bibtex] [pdf]
[287]Indicators for Merge Conflicts in the Wild: Survey and Empirical Study (, , , and ), In Automated Software Engineering, volume 25, . [bibtex] [pdf]
[286]Using model differencing to reason about observable behavior changes of manufacturing systems (, , , , and ), In At-Automatisierungstechnik, volume 66, . [bibtex] [doi]
[285]Are Third-Party Libraries Secure? A Software Library Checker for Java (, , and ), In The 13th International Conference on Risks and Security of Internet and Systems, CRISIS 2018., Springer, LNCS, . [bibtex]
[284]A Cross-Disciplinary Language for Change Propagation Rules (, , , , and ), In CASE, IEEE, . [bibtex]
[283]Model-based Security Analysis of Feature-oriented Software Product Lines (, and ), In 17th International Conference on Generative Programming, GPCE 2018., Springer, LNCS, . [bibtex]
[282]A Model-based Approach for Build Avoidance (, and ), In 30th International Conference on Software Engineering and Knowledge Engineering (SEKE 2018), KSI, . [bibtex]
[281]An Approach to Requirement Analysis in Automated Production Systems (, and ), In Workshop Software-Reengineering & Evolution and Workshop Design For Future, Softwaretechnik-Trends, . [bibtex]
[280]Categories of Change Triggers in Business Processes (, , and ), In Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, . [bibtex]
[279]A Methodology for Domain-spanning Change Impact Analysis (, and ), In Euromicro Conference on Software Engineering and Advanced Applications (SEAA), IEEE, . [bibtex]
[278]Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions (, and ), In 27th international Workshop on Concurrency, Specification and Programming (CS&P'18), . [bibtex]
[277]A Formal Framework for Incremental Model Slicing (, , and ), In Fundamental Approaches to Software Engineering (Russo, Alessandra, Schürr, Andy, eds.), Springer International Publishing, . [bibtex]
[276]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]
[275]Using Model Differencing to reason about Observable Behaviour Changes of Manufacturing Systems (, , , , and ), In AT - Automatisierungstechnik, . [bibtex]
[274]ReVision: A Tool for History-based Model Repair Recommendations (, , and ), In Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ACM, . [bibtex] [pdf] [doi]
[273]System evolution through semi-automatic elicitation of security requirements: A Position Paper (, , , and ), In IFAC-PapersOnLine, volume 51, . [bibtex] [pdf] [doi]
[272]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]
[271]Multi-granular Conflict and Dependency Analysis in Software Engineering Based on Graph Transformation (, , , and ), In Proceedings of the 40th International Conference on Software Engineering, ACM, . [bibtex] [pdf] [doi]
[270]Initial Conflicts and Dependencies: Critical Pairs Revisited (, , , and ), Chapter in (Heckel, Reiko, Taentzer, Gabriele, eds.), Springer International Publishing, . [bibtex] [pdf] [doi]
[269]A Dataset of EMF Models from Eclipse Projects ( and ), In , Universität Ulm, . [bibtex] [pdf] [doi]
[268]Decision Knowledge Triggers in Continuous Software Engineering (, , , and ), In Proceedings of the 4th International Workshop on Rapid Continuous Software Engineering, ACM, . [bibtex] [pdf] [doi]
[267]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]
[266]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]
[265]Continuous User Understanding for the Evolution of Interactive Systems (), In Proceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems, ACM, . [bibtex] [pdf] [doi]
[264]Feature Crumbs: Adapting Usage Monitoring to Continuous Software Engineering (, , and ), In Product-Focused Software Process Improvement (Kuhrmann, Marco, Schneider, Kurt, Pfahl, Dietmar, Amasaki, Sousuke, Ciolkowski, Marcus, Hebig, Regina, Tell, Paolo, Klünder, Jil, Küpper, Steffen, eds.), Springer International Publishing, . [bibtex] [pdf] [doi]
[263]The CoCoME Platform for Collaborative Empirical Research on Information System Evolution : Evolution Scenarios in the Second Founding Period of SPP 1593 (, and ), Technical report 10, Karlsruhe, volume 2018, . [bibtex]
[262]The CRI-Model: A Domain-independent Taxonomy for Non-Conformance between Observed and Specified Behaviour (, , , and ), In Computer Science and Information Systems, . [bibtex]
[261]A Knowledge Carrying Service-Component Architecture for Smart Cyber Physical Systems: An Example based on self-documenting production systems (, and ), In ICSOC Workshops 2017, . [bibtex]
[260]Learning from Evolution for Evolution (, , , and ), Chapter in 6, Springer-Verlag, Heidelberg - New York, . [bibtex]
[259]Maintaining Security in Software Evolution (, , , , and ), Chapter in 2, Springer-Verlag, Heidelberg - New York, . [bibtex]
[258]Using model differencing to reason about observable behaviour changes of manufacturing systems (, , , and ), In AT - Automatisierungstechnik, . [bibtex]
[257]Supporting semi-automatic co-evolution of architecture and fault tree models (, , , , and ), In Journal of Systems and Software, Elsevier, volume 142, . [bibtex]
[256]Supporting semi-automatic co-evolution of architecture and fault tree models (), In Journal of Systems and Software, volume 142, . [bibtex] [pdf] [doi]
[255]A framework for semi-automated co-evolution of security knowledge and system models (), In Journal of Systems and Software, volume 139, . [bibtex] [pdf] [doi]
[254]Checking consistency of robot software architectures in ROS (), In Proceedings of the 1st International Workshop on Robotics Software Engineering, RoSE@ICSE 2018, Gothenburg, Sweden, May 28, 2018 (Federico Ciccozzi, Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione, Andreas Wortmann, eds.), ACM, . [bibtex] [pdf] [doi]
[253]Taming Multi-Variability of Software Product Line Transformations (), In Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings., . [bibtex] [pdf] [doi]
[252]Signal-based Context Comparative Analysis for Identification of Similar Manufacturing Modules (, , and ), In 16th IFAC Symposium on Information Control Problems in Manufacturing, . [bibtex]
[251]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]
[250]An Industry 4.0 Case Study: The Integration of CoCoME and xPPU (, , and ), Technical report 8, Karlsruhe, volume 2018, . [bibtex]
2017
[249]REACT: An Approach for Capturing Rationale in Chat Messages (, , and ), In 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), . [bibtex] [pdf] [doi]
[248]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]
[247]Incrementally slicing editable submodels (, , and ), In 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), . [bibtex] [doi]
[246]Generalised Test Tables – a Practical Specification Language for Reactive Systems (, , , and ), In 13th International Conference on integrated (iFM 2017), . [bibtex] [doi]
[245]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]
[244]Towards the Visualization of Usage and Decision Knowledge in Continuous Software Engineering (, , and ), In 2017 IEEE Working Conference on Software Visualization (VISSOFT), . [bibtex] [pdf] [doi]
[243]Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis (, and ), In Journal of Automated Reasoning, volume 60, . [bibtex] [doi]
[242]Evolutionary Trends of Developer Coordination: A Network Approach (, and ), In Empirical Software Engineering, volume 22, . [bibtex] [pdf]
[241]Generation of Monitoring Functions in Production Automation Using Test Specifications (, , , , and ), In 15th IEEE International Conference on Industrial Informatics (INDIN), . [bibtex] [doi]
[240]Generalized Test Tables: A Powerful and Intuitive Specification Language for Reactive Systems (, , , , , , and ), In 15th IEEE International Conference on Industrial Informatics (INDIN), . [bibtex] [doi]
[239]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]
[238]Assessing the impact of meta-model evolution: a measure and its automotive application (), In Software & Systems Modeling, . [bibtex] [pdf] [doi]
[237]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]
[236]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]
[235]Utility-based Decision Making for Migrating Cloud-based Applications (, , , and ), In ACM Transactions on Internet Technology, volume 18, . [bibtex] [pdf] [doi]
[234]Maintenance effort estimation with KAMP4aPS for cross-disciplinary automated PLC-based Production Systems - a collaborative approach (, , , , , , and ), In 20th IFAC World Congress, . [bibtex]
[233]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]
[232]Reconstructing Development Artifacts for Change Impact Analysis (, , , , and ), In 19. Workshop Software-Reengineering und-Evolution, . [bibtex] [pdf]
[231]Architecture-Based Change Impact Analysis in Information Systems and Business Processes (, , and ), In 2017 IEEE International Conference on Software Architecture (ICSA), . [bibtex] [pdf] [doi]
[230]Integrating business process simulation and information system simulation for performance prediction (, , and ), In Software & Systems Modeling, volume 16, . [bibtex] [pdf] [doi]
[229]State Elimination as Model Transformation Problem. (, , , and ), In TTC@ STAF, . [bibtex]
[228]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]
[227]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]
[226]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]
[225]Change-Preserving Model Repair (, , and ), In Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, . [bibtex] [pdf] [doi]
[224]Henshin: A Usability-Focused Framework for EMF Model Transformation Development (, , , , , and ), In Graph Transformation (de Lara, Juan, Plump, Detlef, eds.), Springer International Publishing, . [bibtex]
[223]A Taxonomy of Anomalies in Distributed Cloud Systems: The CRI-Model (, , , and ), In Intelligent Distributed Computing XI (M. Ivanovic, C. Badica, J. Dix, Z. Jovanovic, M. Malgeri, M. Savic, ed.), Springer, . [bibtex]
[222]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]
[221]A Tool Environment for Quality Assurance of Delta-oriented Model-based SPLs (, , and ), In Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ACM, . [bibtex] [pdf] [doi]
[220]Specification and automated validation of staged reconfiguration processes for dynamic software product lines (, , and ), In Software and Systems Modeling, volume 16, . [bibtex] [doi]
[219]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]
[218]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]
[217]Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations (, and ), In Theory and Practice of Model Transformation (Guerra, Esther, van den Brand, Mark, eds.), Springer International Publishing, . [bibtex]
[216]Differencing of Model Transformation Rules: Towards Versioning Support in the Development and Maintenance of Model Transformations (, and ), In Theory and Practice of Model Transformation (Guerra, Esther, van den Brand, Mark, eds.), Springer International Publishing, . [bibtex]
[215]Mastering Software Variability with FeatureIDE (, , , , and ), Springer, . [bibtex]
[214]Evolution of Cyber-Physical Production Systems supported by community-enabled experiences (, , , , and ), In IEEE 15th International Conference of Industrial Informatics INDIN 2017, . [bibtex]
[213]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]
[212]Vulnerability Recognition by Execution Trace Differentiation (), In Softwaretechnik-Trends, volume 37, . [bibtex] [pdf]
[211]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]
[210]Recommender system for model driven software development (), In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, . [bibtex] [pdf] [doi]
[209]Model-based privacy and security analysis with CARiSMA (), In Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, . [bibtex] [pdf] [doi]
[208]What Works Better? A Study of Classifying Requirements (), In 25th IEEE International Requirements Engineering Conference, RE 2017, Lisbon, Portugal, September 4-8, 2017, . [bibtex] [pdf] [doi]
[207]The Choice of Code Review Process: A Survey on the State of the Practice (), In Product-Focused Software Process Improvement - 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29 - December 1, 2017, Proceedings, . [bibtex] [pdf] [doi]
[206]Towards Debugging the Matching of Henshin Model Transformations Rules (), In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. (Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, eds.), CEUR-WS.org, volume 2019, . [bibtex] [pdf]
[205]From Secure Business Process Modeling to Design-Level Security Verification (), In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, . [bibtex] [pdf] [doi]
[204]Co-Evolution of Meta-Modeling Syntax and Informal Semantics in Domain-Specific Modeling Environments - A Case Study of AUTOSAR (), In 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, September 17-22, 2017, IEEE Computer Society, . [bibtex] [pdf] [doi]
[203]Challenges and Research Directions for Successfully Applying MBE Tools in Practice (), In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Austin, TX, USA, September, 17, 2017. (Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, eds.), CEUR-WS.org, volume 2019, . [bibtex]
[202]Henshin: A Usability-Focused Framework for EMF Model Transformation Development (), In Graph Transformation - 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings (Juan de Lara, Detlef Plump, eds.), Springer, volume 10373, . [bibtex] [pdf] [doi]
[201]Granularity of Conflicts and Dependencies in Graph Transformation Systems (, , and ), In Graph Transformation (de Lara, Juan, Plump, Detlef, eds.), Springer International Publishing, . [bibtex]
2016
[200]Effective product-line testing using similarity-based product prioritization (), In Software & Systems Modeling, . [bibtex] [pdf] [doi]
[199]Reasoning about product-line evolution using complex feature model differences (, , , , and ), In Automated Software Engineering, volume 23, . [bibtex] [pdf] [doi]
[198]Deductive Software Verification - The \KeY Book: From Theory to Practice, (Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, eds.), Springer, volume 10001, . [bibtex] [doi]
[197]Relational Program Reasoning Using Compiler IR (, and ), In 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), Revised Selected Papers (Sandrine Blazy, Marsha Chechik, eds.), Springer, volume 9971, . [bibtex] [doi]
[196]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]
[195]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]
[194]Do \#ifdefs Influence the Occurrence of Vulnerabilities? An Empirical Study of the Linux Kernel (, , , and ), In Computing Research Repository (CoRR), . [bibtex] [pdf]
[193]Automated Determining of Manufacturing Properties and Their Evolutionary Changes from Event Traces (), In Intelligent Industrial Systems, volume 2, . [bibtex]
[192]Classifying Developers into Core and Peripheral: An Empirical Study on Count and Network Metrics (, , and ), In Computing Research Repository (CoRR), . [bibtex] [pdf]
[191]Segregating Feature Interfaces to Support Software Product Line Maintenance (, , , and ), In Proceedings of the International Conference on Modularity (MODULARITY), ACM Press, . [bibtex] [pdf]
[190]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]
[189]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]
[188]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]
[187]Projecting UML Class Diagrams from Java Code Models (, and ), In 4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO), . [bibtex] [pdf]
[186]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]
[185]Reasoning about product-line evolution using complex feature model differences (, , , , and ), In Automated Software Engineering, Springer US, volume 23, . [bibtex] [doi]
[184]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]
[183]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]
[182]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]
[181]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]
[180]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]
[179]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]
[178]A Tool Environment for Managing Families of Model Transformation Rules ( and ), In Graph Transformation (Echahed, Rachid, Minas, Mark, eds.), Springer International Publishing, . [bibtex]
[177]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]
[176]Incremental model checking of delta-oriented software product lines (, , and ), In Journal of Logical and Algebraic Methods in Programming, volume 85, . [bibtex] [pdf] [doi]
[175]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]
[174]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]
[173]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]
[172]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]
[171]A Process for Explicitly Integrated Software Architecture (), In Softwaretechnik-Trends, volume 36, . [bibtex] [pdf]
[170]Kieker4DQL: Declarative Performance Measurement (, and ), In 7th Symposium on Software Performance (SSP '16), . [bibtex] [doi]
[169]Leveraging Palladio for Performance Awareness in the IETS3 Integrated Specification Environment (, , and ), In 7th Symposium on Software Performance (SSP '16), . [bibtex]
[168]Automatically Deriving the Specification of Model Editing Operations from Meta-Models (, , and ), In Theory and Practice of Model Transformations (Van Gorp, Pieter, Engels, Gregor, eds.), Springer International Publishing, . [bibtex]
[167]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]
[166]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]
[165]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]
[164]The CoCoME Platform for Collaborative Empirical Research on Information System Evolution (, and ), Technical report 2, Karlsruhe, volume 2016, . [bibtex]
[163]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]
[162]Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing – Technical Report (, and ), In CoRR, volume abs/1606.09035, . [bibtex] [pdf]
[161]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]
[160]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]
[159]Automatic Change Recommendation of Models and Meta Models Based on Change Histories (), In Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 2, 2016., . [bibtex] [pdf]
[158]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]
[157]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]
[156]Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing (, and ), In 13th International Conference on Formal Aspects of Component Software, . [bibtex] [pdf] [doi]
[155]Perspectives of Model Transformation Reuse (, , and ), In Integrated Formal Methods (Ábrahám, Erika, Huisman, Marieke, eds.), Springer International Publishing, . [bibtex]
[154]An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations ( and ), In Graph Transformation (Echahed, Rachid, Minas, Mark, eds.), Springer International Publishing, . [bibtex]
[153]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]
[152]Implicit Constraints in Partial Feature Models (, , and ), In Proceedings of the 7th International Workshop on Feature-Oriented Software Development, ACM, . [bibtex] [pdf] [doi]
[151]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]
2015
[150]Evolutionary Trends of Developer Coordination: A Network Approach (, and ), In Computing Research Repository (CoRR), . [bibtex] [pdf]
[149]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]
[148]Balancing Precision and Performance in Structured Merge (, and ), In Automated Software Engineering, volume 22, . [bibtex] [pdf]
[147]Regression Verification for Java Using a Secure Information Flow Calculus (, and ), In 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015), . [bibtex]
[146]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]
[145]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]
[144]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]
[143]Selected Challenges of Software Evolution for Automated Production Systems (, , , , , , , , , , , , , , and ), In 13th IEEE International Conference on Industrial Informatics (INDIN), IEEE Computer Society Washington, DC, . [bibtex]
[142]Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals (, , and ), In 15th IFAC/IEEE/IFIP/IFORS Symposium on Information Control Problems in Manufacturing (INCOM), volume 48, . [bibtex]
[141]Supporting Commissioning of Production Plants by Model-Based Testing and Model Learning (, , , , and ), In IEEE International Symposium on Industrial Electronics (ISIE), IEEE Computer Society Washington, DC, . [bibtex]
[140]A modular reference structure for component-based architecture description languages (, , and ), Chapter in CEUR Workshop Proceedings, CEUR, volume 1463, . [bibtex]
[139]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]
[138]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]
[137]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]
[136]The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution (, , , , , and ), Karlsruhe Institute of Technology, volume 25, . [bibtex] [pdf] [doi]
[135]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]
[134]Selected challenges of software evolution for automated production systems (, , , , , , , , , , , , , , and ), In Proceeding - 2015 IEEE International Conference on Industrial Informatics, INDIN 2015, . [bibtex] [doi]
[133]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]
[132]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]
[131]Interdisciplinary Product Line Approach to Increase Reuse (Interdisziplinärer Produktlinienansatz zur Steigerung der Wiederverwendung) (, , and ), In Automatisierungstechnik, volume 63, . [bibtex] [doi]
[130]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]
[129]Evolution of software in automated production systems: Challenges and research directions (, , and ), In Journal of Systems and Software, Elsevier, volume 110, . [bibtex] [doi]
[128]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]
[127]Efficient impact analysis of changes in the requirements of manufacturing automation systems ( and ), In IFAC-PapersOnLine, volume 28, . [bibtex] [doi]
[126]Towards Local Confluence Analysis for Amalgamated Graph Transformation ( and ), In Graph Transformation (Parisi-Presicce, Francesco, Westfechtel, Bernhard, eds.), Springer International Publishing, . [bibtex]
[125]A Variability-Based Approach to Reusable and Efficient Model Transformations (, , and ), In Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, . [bibtex] [pdf] [doi]
[124]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]
[123]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]
[122]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]
[121]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]
[120]Two User Perspectives in Program Comprehension: End Users and Developer Users (), In IEEE International Conference on Program Comprehension, IEEE, volume 2015-August, . [bibtex] [doi]
[119]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]
[118]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]
[117]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]
[116]Re-Engineering Automation Systems as Dynamic Software Product Lines (, , , , and ), In Mbees, . [bibtex]
[115]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]
[114]Learning Material Flow Models for Manufacturing Plants from Data Traces (, , , and ), In IEEE International Conference on Industrial Informatics (INDIN), . [bibtex]
[113]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]
[112]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]
[111]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]
[110]An adaptable tool environment for high-level differencing of textual models (, , , and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1512, . [bibtex] [pdf]
[109]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]
[108]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]
[107]CoWolf – a generic framework for multi-view co-evolution and evaluation of models (, , , , and ), volume 9152, . [bibtex] [doi]
[106]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]
[105]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]
[104]Automating Regression Verification (, , , and ), In Multikonferenz Software Engineering und Management 2015: Fachtagung Software Engineering (SE 2015), LNI, . [bibtex]
[103]ARCA-automated analysis of AUTOSAR meta-model changes (, and ), In Proceedings - 7th International Workshop on Modeling in Software Engineering, MiSE 2015, . [bibtex] [doi]
[102]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]
[101]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]
[100]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]
[99]Selected challenges of software evolution for automated production systems (), In 13th IEEE International Conference on Industrial Informatics, INDIN 2015, Cambridge, United Kingdom, July 22-24, 2015, . [bibtex] [pdf] [doi]
[98]Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin (, , and ), In Fundamental Approaches to Software Engineering (Egyed, Alexander, Schaefer, Ina, eds.), Springer Berlin Heidelberg, . [bibtex]
[97]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]
[96]Regression verification for programmable logic controller software (, , and ), Technical report 2015-06, Karlsruhe Institute of Technology, Department of Informatics, volume 9407, . [bibtex] [doi]
[95]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
[94]The \KeY Platform for Verification and Analysis of Java Programs (, , , , , , , , , , , , and ), In 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014) (Giannakopoulou, Dimitra, Kroening, Daniel, eds.), Springer-Verlag, volume 8471, . [bibtex] [pdf] [doi]
[93]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]
[92]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]
[91]Evaluating probabilistic models with uncertain model parameters (, , and ), In Software and Systems Modeling, Springer-Verlag, volume 13, . [bibtex] [pdf] [doi]
[90]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]
[89]A Classification and Survey of Analysis Strategies for Software Product Lines (, , , and ), In ACM Computing Surveys, volume 47, . [bibtex] [pdf]
[88]Interface behavior modeling for automatic verification of industrial automation systems' functional conformance (, , , , , , and ), In At-Automatisierungstechnik, Walter de Gruyter GmbH, volume 62, . [bibtex] [doi]
[87]Interaction of Model-driven Engineering and Signal-based Online Monitoring of Production Systems (, , , , , and ), In IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, IEEE Los Alamitos, . [bibtex]
[86]Semi-automated decision making support for undocumented evolutionary changes (, , and ), In In Tagungsband 16. Workshop Software-Reengineering und -Evolution der GI-Fachgruppe Software Reengineering (SRE), . [bibtex]
[85]Semi-automated decision making support for undocumented evolutionary changes (, , and ), In In Tagungsband 16. Workshop Software-Reengineering und -Evolution der GI-Fachgruppe Software Reengineering (SRE), . [bibtex]
[84]An active service-component architecture to enable self-awareness of evolving production systems (, , and ), In Emerging Technologies and Factory Automation (ETFA) - Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE Computer Society Washington, DC, . [bibtex]
[83]Behandlung unbekannter Änderungen in automatisierten Produktionsprozessen anhand von Wissensmodellen (, , and ), In 1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS 2014), . [bibtex]
[82]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]
[81]Behavioral relations in a process algebra for variants (), In 18th International Software Product Line Conference, SPLC 2014, volume 1, . [bibtex] [pdf] [doi]
[80]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]
[79]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]
[78]Integrating run-time observations and design component models for cloud system analysis (, , , , , , and ), In CEUR Workshop Proceedings, volume 1270, . [bibtex]
[77]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]
[76]Challenges of parallel evolution in production automation focusing on requirements specification and fault handling (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[75]Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit (, , and ), mediaTUM, Munich, Germany, . [bibtex] [pdf]
[74]Anforderungen an die Softwareevolution in der Automatisierung des Maschinen- und Anlagenbaus (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[73]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]
[72]Automatic generation of consistency-preserving edit operations for MDE tools (, and ), In CEUR Workshop Proceedings, CEUR-WS.org, volume 1255, . [bibtex] [pdf]
[71]Programming BDI Agents with Pure Java (, , and ), In Proceedings of Tenth German conference on Multi-Agent System TEchnologieS (MATES-2014), Springer, . [bibtex]
[70]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]
[69]Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets (, , and ), In Proc. of the SPLC'14, . [bibtex] [doi]
[68]Delta-oriented model-based integration testing of large-scale systems (, , , and ), In Journal of Systems and Software, volume 91, . [bibtex] [pdf] [doi]
[67]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]
[66]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]
[65]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]
[64]Integrating Protocol Contracts with Java Code (, and ), In Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications, ACM, . [bibtex] [pdf] [doi]
[63]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]
[62]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]
[61]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]
[60]Versioning of Ordered Model Element Sets ( and ), In Softwaretechnik-Trends, volume 34, . [bibtex] [pdf]
[59]Propagation of software model changes in the context of industrial plant automation (, and ), In At-Automatisierungstechnik, volume 62, . [bibtex] [doi]
[58]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]
[57]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]
[56]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]
[55]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]
[54]How to improve decision documentation in software evolution? (, , and ), In CEUR Workshop Proceedings, CEUR-WS, volume 1129, . [bibtex]
[53]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]
[52]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]
[51]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]
[50]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]
[49]Automating regression verification (, , , and ), In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14, ACM, . [bibtex] [pdf] [doi]
[48]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]
[47]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]
[46]Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain (, , , , and ), In at - Automatisierungstechnik, volume 62, . [bibtex] [pdf] [doi]
[45]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]
[44]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]
[43]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
[42]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]
[41]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]
[40]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]
[39]Family-Based Performance Measurement (, and ), In Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE), ACM Press, . [bibtex] [pdf]
[38]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]
[37]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]
[36]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]
[35]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]
[34]Feature Oriented Software Evolution (, , , , , and ), In Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), ACM, . [bibtex] [pdf]
[33]Evolution of Production Facilities and its Impact on Non-Functional Requirements (, , , , and ), In International Conference on Industrial Informatics (INDIN) 2013 - Proceedings of the 11th International Conference on Industrial Informatics, IEEE, . [bibtex]
[32]Operationalized Definitions of Non-Functional Requirements on Automated Production Facilities to Measure Evolution Effects with an Automation System (, , and ), In Emerging Technologies and Factory Automation (ETFA) - Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation, . [bibtex]
[31]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]
[30]Tracing requirements and source code during software development: An empirical study ( and ), In International Symposium on Empirical Software Engineering and Measurement, . [bibtex] [pdf] [doi]
[29]Model-driven instrumentation with Kieker and Palladio to forecast dynamic applications (, and ), In CEUR Workshop Proceedings, CEUR, volume 1083, . [bibtex] [pdf]
[28]¨ 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]
[27]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]
[26]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]
[25]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]
[24]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]
[23]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]
[22]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]
[21]Evolution in industrial plant automation: A case study (, and ), In IECON Proceedings (Industrial Electronics Conference), . [bibtex] [doi]
[20]Towards efficient SPL testing by variant reduction (, and ), In Proceedings of the 4th international workshop on Variability & composition - VariComp '13, ACM, . [bibtex] [pdf] [doi]
[19]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]
[18]Patchen von Modellen (, and ), In Software Engineering, GI, volume 213, . [bibtex]
[17]Generating edit operations for profiled UML models (, , and ), In CEUR Workshop Proceedings, volume 1090, . [bibtex]
[16]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]
[15]Detection of High-Level Changes in Evolving Java Software (, , and ), In Softwaretechnik-Trends, volume 33, . [bibtex] [pdf] [doi]
[14]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]
[13]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]
[12]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]
[11]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]
[10]Requirements-based delta-oriented SPL testing (, , and ), In 2013 4th International Workshop on Product LinE Approaches in Software Engineering, PLEASE 2013 - Proceedings, . [bibtex] [doi]
[9]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]
[8]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), . [bibtex]
[7]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
[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]Understanding model evolution through semantically lifting model differences with SiLift (, , and ), In IEEE International Conference on Software Maintenance, ICSM, . [bibtex] [doi]
[3]Adaptability of model comparison tools (, , and ), In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012, . [bibtex] [pdf] [doi]
[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]Pure delta-oriented programming ( and ), In Proceedings of the 2nd International Workshop on Feature-Oriented Software Development - FOSD '10, ACM, . [bibtex] [pdf] [doi]