Collected Publications of SPP1593 Projects

Robert Heinrich
Architectural Run-time Models for Performance and Privacy Analysis in Dynamic Cloud Applications
SIGMETRICS Perform. Eval. Rev., 43(4):13--22
2016
ISSN: 0163-5999
Lars Luthmann, Stephan Mennicke and Malte Lochau
Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
CoRR, abs/1606.09035
2016
Tom-Michael Hesse, Veronika Lerche, Marcus Seiler, Konstantin Knoess and Barbara Paech
Documented decision-making strategies and decision knowledge in open source projects: An empirical study on Firefox issue reports
Information and Software Technology, 79:36 - 51
2016
ISSN: 0950-5849
Christian Vögele André van Hoorn, Eike Schulz, Wilhelm Hasselbring and Helmut Krcmar
WESSBAS: Extraction of Probabilistic Workload Specifications for Load Testing and Performance Prediction---A Model-Driven Approach for Session-Based Application Systems
Journal on Software and Systems Modeling (SoSyM),
2016
accepted
Sascha Lity, Thomas Morbach, Thomas Thüm and Ina Schaefer
Applying Incremental Model Slicing to Product-Line Regression Testing
In M. Georgiaand Santana de Almeida Kapitsaki, editor,
page 3--19.
Publisher: Springer International Publishing, Cham
2016
ISBN: 978-3-319-35122-3
Reiner Jung, Robert Heinrich and Wilhelm Hasselbring
GECO: A Generator Composition Approach for Aspect-Oriented DSLs
In Pieter Van Gorp and Gregor Engels, editor,
page 141--156.
Publisher: Springer,
2016
ISBN: 978-3-319-42064-6
Jan Jürjens
15 Years of Model-based Security Engineering with UML: Supporting Secure Evolution (Keynote)
Sixth International Symposium on Business Modeling and Software Design (BMSD 2016)
2016
Heiko Klare, Michael Langhammer and Max E. Kramer
Projecting UML Class Diagrams from Java Code Models
4th Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO) of VAO '16 , page 11--18.
2016
Daniel Strüber and Stefan Schulz
A Tool Environment for Managing Families of Model Transformation Rules
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings , page 89--101.
2016
Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Michael Kirsten, Franziska Wiebe, Bernhard Beckert and Birgit Vogel-Heuser
A Verification-Supported Evolution Approach to Assist Software Application Engineers in Industrial Factory Automation
IEEE International Symposium on Assembly and Manufacturing (ISAM 2016)
Fort Worth, USA
2016
Kristopher Born and Gabriele Taentzer
An Algorithm for the Critical Pair Analysis of Amalgamated Graph Transformations
Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings , page 118--134.
2016
Jürgen Walter, André van Hoorn, Heiko Koziolek, Dusan Okanović and Samuel Kounev
Asking "What"?, Automating the "How"?: The Vision of Declarative Performance Engineering
Proceedings of the 7th ACM/SPEC on International Conference on Performance Engineering of ICPE '16 , page 91--94.
Publisher: ACM, New York, NY, USA
2016
ISBN: 978-1-4503-4080-9
Michael Langhammer, Arman Shahbazian, Nenad Medvidovic and Ralf H. Reussner
Automated Extraction of Rich Software Models from Limited System Information
2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) , page 99-108.
2016
Timo Kehrer, Gabriele Taentzer, Michaela Rindt and Udo Kelter
Automatically Deriving the Specification of Model Editing Operations from Meta-Models
In Pieter Van Gorp and Gregor Engels, editor, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings Volume 9765 of Lecture Notes in Computer Science , page 173--188.
Publisher: Springer,
2016
Thomas Schnabel, Markus Weckesser, Roland Kluge, Malte Lochau and Andy Schürr
CardyGAn: Tool Support for Cardinality-based Feature Models
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27 - 29, 2016 , page 33--40.
2016
Daniel Strüber, Jennifer Plöger and Vlad Acretoaie
Clone Detection for Graph-Based Model Transformation Languages
Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings , page 191--206.
2016
Frederik Deckwerth, Géza Kulcsár, Malte Lochau, Gergely Varró and Andy Schürr
Conflict Detection for Edits on Extended Feature Models using Symbolic Graph Transformation
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. , page 17--31.
2016
Kai Niklas, Stefan Gärtner and Kurt Schneider
Consistency Checks of Design Specifications against Requirements using Graph-Based Linguistic Analysis
Proceedings of the 31th Annual ACM Symposium on Applied Computing (SAC 2016) of SAC 2016
Publisher: ACM,
2016
Tom-Michael Hesse, Arthur Kuehlwein and Tobias Roehm
DecDoc: A Tool for Documenting Design Decisions Collaboratively and Incrementally
2016 1st International Workshop on Decision Making in Software ARCHitecture (MARCH) , page 30-37.
2016
Tom-Michael Hesse and Barbara Paech
Documenting Relations Between Requirements and Design Decisions: A Case Study on Design Session Transcripts
In Maya Daneva and Oscar Pastor, editor, Requirements Engineering: Foundation for Software Quality: 22nd International Working Conference, REFSQ 2016 , page 188--204.
Publisher: Springer,
2016
ISBN: 978-3-319-30282-9
Matthias Kowal, Sofia Ananieva and Thomas Thüm
Explaining Anomalies in Feature Models
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences of GPCE 2016 , page 132--143.
Publisher: ACM, New York, NY, USA
2016
ISBN: 978-1-4503-4446-3
Maike Ahrens, Kurt Schneider and Stephan Kiesling
How Do We Read Specifications? Experiences from an Eye Tracking Study
Requirements Engineering: Foundation for Software Quality
Publisher: Springer,
2016
Mustafa Al-Hajjaji, Sebastian Krieter, Thomas Thüm, Malte Lochau and Gunter Saake
IncLing: Efficient Product-line Testing Using Incremental Pairwise Sampling
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences of GPCE 2016 , page 144--155.
Publisher: ACM,
2016
ISBN: 978-1-4503-4446-3
Matthias Blohm, Maksim Pahlberg, Sebastian, Walter, Jürgen Vogel and Dusan Okanović
Kieker4DQL: Declarative Performance Measurement
7th Symposium on Software Performance (SSP '16)
Gesellschaft für Informatik e.V.
2016
Fabian Keller, Markus Völter, André van Hoorn and Klaus Birken
Leveraging Palladio for Performance Awareness in the IETS3 Integrated Specification Environment
7th Symposium on Software Performance (SSP '16)
Gesellschaft für Informatik e.V.
2016
Markus Weckesser, Malte Lochau, Thomas Schnabel, Björn Richerzhagen and Andy Schürr
Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-Based Feature Models
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings , page 158--175.
2016
Malte Lochau, Johannes Bürdek, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel and Dirk Beyer
On facilitating reuse in multi-goal test-suite generation for software product lines
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich , page 81--82.
2016
Marsha Chechik, Michalis Famelis, Rick Salay and Daniel Strüber
Perspectives of Model Transformation Reuse
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings , page 28--44.
2016
Daniel Strüber, Julia Rubin, Thorsten Arendt, Marsha Chechik, Gabriele Taentzer and Jennifer Plöger
RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings , page 122--140.
2016
Birgit Vogel-Heuser, Thomas Simon, Jens Folmer, Robert Heinrich, Kiana Rostami and Ralf H. Reussner
Towards a Common Classification of Changes for Information and Automated Production Systems as Precondition for Maintenance Effort Estimation
14th IEEE International Conference on Industrial Informatics (INDIN) , page 1--7.
Futuroscope-Poitiers, France
2016
Dusan Okanović, André van Hoorn, Christoph Heger, Alexander Wert and Stefan Siegl
Towards Performance Tooling Interoperability: An Open Format for Representing Execution Traces
Computer Performance Engineering: Proceedings of the 13th European Workshop on Performance Engineering (EPEW '16) of LNCS , page 94--108.
Publisher: Springer,
2016
ISBN: 978-3-319-46433-6
Sven Wenzel, Daniel Poggenpohl, Jan Jürjens and Martin Ochoa
Umlchange - specifying model changes to support security verification of potential evolution
Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich , page 91--92.
2016
Remo Lachmann, Sascha Lity, Mustafa Al-Hajjaji, Fürchtegott Franz E. and Ina Schaefer
Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines
Proceedings of the International Workshop on Feature-Oriented Software Development of FOSD '16
Publisher: ACM,
2016
ISBN: 978-1-4503-0208-1
accepted
Sascha Lity, Matthias Kowal and Ina Schaefer
Higher-Order Delta Modeling for Software Product Line Evolution
Proceedings of the International Workshop on Feature-Oriented Software Development of FOSD '16
Publisher: ACM,
2016
ISBN: 978-1-4503-0208-1
accepted
Sascha Lity, Matthias Kowal and Ina Schaefer
Higher-Order Delta Modeling for Software Product Line Evolution
Proceedings of the International Workshop on Feature-Oriented Software Development of FOSD '16
Publisher: ACM,
2016
ISBN: 978-1-4503-0208-1
accepted
Sofia Ananieva, Matthias Kowal, Thomas Thüm and Ina Schaefer
Implicit Constraints in Partial Feature Models
Proceedings of the 7th International Workshop on Feature-Oriented Software Development of FOSD '16 , page 18--27.
Publisher: ACM, New York, NY, USA
2016
ISBN: 978-1-4503-4647-4
accepted
Matthias Kowal, Max Tschaikowski, Mirco Tribastone and Ina Schaefer
Scaling Size and Parameter Spaces in Variability-aware Software Performance Models
Proceedings of the 30th ACM/IEEE International Conference on Automated Software Engineering
Publisher: ACM, New York, NY, USA
November 2015
Andreas Wölfl, Norbert Siegmund, Sven Apel, Harald Kosch, Johann Krautlager and Guillermo Weber-Urbina
Generating Qualifiable Avionics Software: An Experience Report
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE)
Publisher: IEEE Computer Society,
November 2015
accepted
Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter and Andy Schürr
Reasoning about product-line evolution using complex feature model differences
Automated Software Engineering, :1-47 (online first)
October 2015
ISSN: 0928-8910
Johannes Bürdek, Timo Kehrer, Malte Lochau, Dennis Reuling, Udo Kelter and Andy Schürr
Reasoning about product-line evolution using complex feature model differences
Automated Software Engineering, :1-47 (online first)
October 2015
ISSN: 0928-8910
Malte Lochau, Stephan Mennicke, Hauke Baller and Lars Ribbeck
Incremental model checking of delta-oriented software product lines
Journal of Logical and Algebraic Methods in Programming, online first
September 2015
ISSN: 2352-2208
Henrik Kaijser, Henrik Lönn, Matthias Tichy, Wenjing Yuan and Saimir Baci
Tool Assisted Model Based Multi Objective Analyses of Automotive Embedded Systems
Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, 7th of July 2015, Lund, Sweden
July 2015
Mitchell Joblin, Wolfgang Mauerer, Sven Apel, Janet Siegmund and Dirk Riehle
From Developer Networks to Verified Communities: A Fine-Grained Approach
Proceedings of the IEEE/ACM International Conference onSoftware Engineering (ICSE) , page 563-573.
Publisher: IEEE Computer Society,
May 2015
Eric Schmieders, Andreas Metzger and Klaus Pohl
Ein Laufzeitmodel-basierter Ansatz zur Datenschutz-Prüfung von Cloud-Systemen
Software Engineering & Management 2015, Multikonferenz Der GI-Fachbereiche Softwaretechnik (SWT) Und Wirtschaftsinformatik (WI), FA WI-MAW , page 145--146.
March 2015
Leonardo Passos, Jesus Padilla, Thorsten Berger, Sven Apel, Krzysztof Czarnecki and Marco Tulio Valente
Feature Scattering in the Large: A Longitudinal Study of Linux Kernel Device Drivers
Proceedings of the International Conference on Modularity (MODULARITY) , page 81–92.
Publisher: ACM Press,
March 2015
Barbara Paech, Sven Apel, Lars Grunske and Christian Prehofer
Empirische Forschung zu Software-Evolution
Informatik-Spektrum,
2015
Barbara Paech, Sven Apel, Lars Grunske and Christian Prehofer
Empirische Forschung zu Software-Evolution
Informatik-Spektrum,
2015
Barbara Paech, Sven Apel, Lars Grunske and Christian Prehofer
Empirische Forschung zu Software-Evolution
Informatik-Spektrum,
2015
Barbara Paech, Sven Apel, Lars Grunske and Christian Prehofer
Empirische Forschung zu Software-Evolution
Informatik-Spektrum,
2015
M. Autili, L. Grunske, M. Lumpe, P. Pelliccione and A. Tang
Aligning Qualitative, Real-Time, and Probabilistic PropertySpecification Patterns Using a Structured English Grammar
IEEE Transactions on Software Engineering,
2015
ISSN: 0098-5589
Florian Mantz, Gabriele Taentzer, Yngve Lamo and Uwe Wolter
Co-evolving meta-models and their instance models: A formal approach based on graph transformation
Sci. Comput. Program., 104:2--43
2015
Robert Heinrich, Philipp Merkle, Jörg Henss and Barbara Paech
Integrating Business Process Simulation and Information System Simulation for Performance Prediction
Journal of Software an System Modeling,
2015
Christoph Legat, Jakob Mund, Alarico Campetelli, Georg Hackenberg, Jens Folmer, Daniel Schütz, Manfred Broy and Birgit Vogel-Heuser
Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance
Automatisierungstechnik (at), 62(11):815--825
2015
J. Bürger, J. Jürjens and S. Wenzel
Restoring Security of Evolving Software Models using Graph-Transformation
International Journal on Software Tools for Technology Transfer (STTT), 17(3):267-289
2015
Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf H. Reussner, Kurt Schneider, Barbara Paech and Jan Jürjens
The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution
International Journal of Software Engineering and Knowledge Engineering, 25(9-10):1715--1720
2015
Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf Reussner, Kurt Schneider, Barbara Paech and Jan Jürjens
The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution
International Journal of Software Engineering and Knowledge Engineering, 25(09n10):1715-1720
2015
Malte Lochau, Johannes Bürdek, Stefan Hölzle and Andy Schürr
Specification and Automated Validation of Staged Reconfiguration Processes for Dynamic Software Product Lines
Journal of Software and Systems Modeling,
2015
accepted
Rodrigo Queiroz, Leonardo Passos, Marco TulioValente, Claus Hunsen, Sven Apel and Krzysztof Czarnecki
The Shape of Feature Code: An Analysis of TwentyC-Preprocessor-Based Systems
Software and Systems Modeling (SoSyM),
2015
to be published
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer and Matthias Tichy
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software,
2015
to be published
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer and Matthias Tichy
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software,
2015
to be published
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer and Matthias Tichy
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software,
2015
to be published
Birgit Vogel-Heuser, Alexander Fay, Ina Schaefer and Matthias Tichy
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software,
2015
to be published
Sinem Getir, Lars Grunske, Christian Karl Bernasko, Verena Kaefer, Tim Sanwald and Matthias Tichy.
CoWolf - A generic framework for multi-view co-evolution and evaluation of models
Proceedings of International Conference on Model Transformation
2015
Misha Strittmatter, Kiana Rostami, Robert Heinrich and Ralf Reussner
A Modular Reference Structure for Component-based Architecture Description Languages
2nd International Workshop on Model-Driven Engineering for Component-Based Systems (ModComp)
Publisher: CEUR,
2015
accepted
Eric Schmieders, Andreas Metzger and Klaus Pohl
Runtime Model-based Privacy Checks of Big Data Cloud Services
Service-Oriented Computing - 13th International Conference of LNCS
Publisher: Springer,
2015
to be published
Fabian Benduhn, Thomas Thüm, Malte Lochau, Thomas Leich and Gunter Saake
A Survey on Modeling Techniques for Formal Behavioral Verification of Software Product Lines
Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems of VaMoS '15 , page 80:80--80:87.
Publisher: ACM, New York, NY, USA
2015
ISBN: 978-1-4503-3273-6
Darko Durisic, Miroslaw Staron and Matthias Tichy
ARCA - Automated Analysis of AUTOSAR Meta-Model Changes
Proc. of 7th International Workshop on Modelling inSoftware Engineering (MiSE¹2015) co-located with ICSE 2015 Florence,Italy, May 16 - 17, 2015
2015
Tom-Michael Hesse, Arthur Kuehlwein, Barbara Paech, Tobias Roehm and Bernd Bruegge
Documenting Implementation Decisions with Code Annotations
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015) , page 152-157.
Publisher: KSI Research Inc.,
2015
Johannes Bürdek, Malte Lochau, Stefan Bauregger, Andreas Holzer, Alexander von Rhein, Sven Apel and Dirk Beyer
Facilitating Reuse in Multi-Goal Test-Suite Generation for Software Product Lines
FASE
Publisher: Springer,
2015
Sascha Lity, Johannes Bürdek, Malte Lochau, Markus Berens, Andy Schürr and Ina Schaefer
Re-Engineering Automation Systems as Dynamic Software Product Lines
11th Dagstuhl-Workshop Model-Based Development of Embedded Systems, MBEES '15, March 22-25, 2015
2015
Sascha Lity, Hauke Baller and Ina Schaefer
Towards Incremental Model Slicing for Delta-oriented Software Product Lines
22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, SANER '15, Montreal, Canada, March 2-6, 2015
2015
Tobias Roehm
Two User Perspectives in Program Comprehension: End Users and Developer Users (Best Paper Award)
Proceedings of the 23rd IEEE International Conference on Program Comprehension (ICPC 2015)
Publisher: IEEE,
2015
Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf Reussner, Kurt Schneider, Barbara Paech and Jan Jürjens
A Platform for Empirical Research on Information System Evolution
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015) , page 415-420.
Publisher: KSI Research Inc.,
2015
Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf Reussner, Kurt Schneider, Barbara Paech and Jan Jürjens
A Platform for Empirical Research on Information System Evolution
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015) , page 415-420.
Publisher: KSI Research Inc.,
2015
Robert Heinrich, Stefan Gärtner, Tom-Michael Hesse, Thomas Ruhroth, Ralf Reussner, Kurt Schneider, Barbara Paech and Jan Jürjens
A Platform for Empirical Research on Information System Evolution
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015) , page 415-420.
Publisher: KSI Research Inc.,
2015
Timo Kehrer, Christopher Pietsch, Udo Kelter, Daniel Strüber and Steffen Vaupel
An Adaptable Tool Environment for High-level Differencing of Textual Models
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. Volume 1512 of CEUR Workshop Proceedings , page 62--72.
Publisher: CEUR-WS.org,
2015
Kristopher Born, Thorsten Arendt, Florian Heß and Gabriele Taentzer
Analyzing Conflicts and Dependencies of Rule-Based Transformations in Henshin
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 , page 165--168.
2015
Eric Schmieders, Andreas Metzger and Klaus Pohl
Architectural Runtime Models for Privacy Checks of Cloud Applications
Proceedings of the 7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems of PESOS 2015
Publisher: ACM, New York, NY, USA
2015
R. Heinrich, K. Rostami, J. Stammel, T. Knapp and R. Reussner
Architecture-based Analysis of Changes in Information System Evolution
17th Workshop Software-Reengineering and Evolution
2015
Kiana Rostami, Johannes Stammel, Robert Heinrich and Ralf Reussner
Architecture-based Assessment and Planning of Change Requests
11th International ACM Sigsoft Conference on the Quality of Software Architectures
2015
B. Vogel-Heuser, S. Feldmann, J. Folmer, S. Rösch, R. Heinrich, K. Rostami and R. Reussner
Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues
2015 IEEE International Conference on Systems, Man, and Cybernetics (SMC) , page 687-694.
2015
Birgit Vogel-Heuser, Jens Folmer, Thomas Aicher, Jakob Mund and Sebastian Rehberger
Coupling simulation and model checking to examine selected mechanical constraints of automated production systems
13th International Conference on Industrial Informatics (INDIN 2015)
Cambridge, UK
2015
Remo Lachmann, Sascha Lity, Sabrina Lischke, Simon Beddig, Sandro Schulze and Ina Schaefer
Delta-oriented Test Case Prioritization for Integration Testing of Software Product Lines
Proceedings of the 19th International Conference on Software Product Line of SPLC '15 , page 81--90.
Publisher: ACM, New York, NY, USA
2015
ISBN: 978-1-4503-3613-0
S. Teufl and G. Hackenberg
Efficient Impact Analysis of Changes in the Requirements of Manufacturing Automation Systems
15th IFAC/IEEE Symposium on Information Control Problems in Manufacturing
2015
Darko Durisic, Miroslaw Staron and Matthias Tichy
Identifying Optimal Sets of Standardized Architectural Features- A Method and its Automotive Application
In Ipek Ozkaya and Heiko Koziolek, editor, Proc. of the 11th International ACM Sigsoft Conference onthe Quality of Software Architectures (QoSA 2015), Montreal, Canada, May 4- 8, 2015
2015
J. Ladiges, C. Haubeck, A. Fay and W. Lamersdorf
Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals
15th IFAC/IEEE/IFIP/IFORS Symposium on Information Control Problems in Manufacturing (INCOM), Ottawa, Canada
2015
A. Filieri, L. Grunske and A. Leva
Lightweight Adaptive Filtering for Efficient Learning andUpdating of Probabilistic Models
Proc. of the 37th International Conference on SoftwareEngineering (ICSE), May 16-24, Florence, Italy, 2015
2015
S. Gärtner, T. Ruhroth, J. Bürger, K. Schneider and J. Jürjens
Maintaining Long-Living Information Systems by Incorporating Evolving Security Knowledge
Software Engineering (SE 2015) of Lecture Notes in Informatics
GI
2015
Susanne Rösch, Sabine Teufl and Birgit Vogel-Heuser
Model-Based Quality Assurance in Machine and Plant Automation Using Sequence Diagrams - \newline a Comparison of Two Research Approaches
13th International Conference on Industrial Informatics (INDIN 2015) , page 1--6.
Cambridge, UK
2015
C. Apfelbeck, M. Fritz, J. Jürjens and J. Zweihoff
Preserving Validity of Batch-job Nets under Change at Runtime
39th Annual IEEE Computer Software and Applications Conference (COMPSAC 2015)
IEEE
2015
Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert and Birgit Vogel-Heuser
Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant Diversity
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)
2015
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser and Alexander Weigl
Regression Verification for Programmable Logic Controller Software
The 17th International Conference on Formal Engineering Methods (ICFEM 2015)
2015
J. Bürger, S. Gärtner, T. Ruhroth, J. Zweihoff, J. Jürjens and K. Schneider
Restoring Security of Long-Living Systems by Co-Evolution
39th Annual IEEE Computer Software and Applications Conference (COMPSAC 2015)
IEEE
2015
B. Vogel-Heuser, S. Feldmann, J. Folmer, J. Ladiges, A. Fay, S. Lity, M. Tichy, M. Kowal, I. Schaefer, C. Haubeck, W. Lamersdorf, T. Kehrer, S. Getir, M. Ulbrich, V. Klebanov and B. Beckert
Selected challenges of software evolution for automated production systems
2015 IEEE 13th International Conference on Industrial Informatics (INDIN) , page 314-321.
2015
Christopher Pietsch, Timo Kehrer, Udo Kelter, Dennis Reuling and Manuel Ohrndorf
SiPL - A Delta-Based Modeling Framework for Software Product Line Engineering
30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015 , page 852--857.
Publisher: IEEE Computer Society,
2015
Daniel Strüber and Gabriele Taentzer
Starting Model Development in Distributed Teams with Incremental Model Splitting
Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März - 20. März 2015, Dresden, Germany , page 97--98.
2015
J. Ladiges, A. Fay, C. Haubeck, W. Lamersdorf, S. Lity and I. Schaefer
Supporting commissioning of production plants by model-based testing and model learning
2015 IEEE 24th International Symposium on Industrial Electronics (ISIE) , page 606-611.
2015
Lars Luthmann, Stephan Mennicke and Malte Lochau
Towards an I/O Conformance Testing Theory of Software Product Lines based on Modal Interface Automata
Proceedings of the 6th Workshop on Formal Methods and Analysis in SPL Engineering, London, UK
2015
Birgit Vogel-Heuser, Jakob Mund, Matthias Kowal, Christoph Legat, Jens Folmer, Sabine Teufl and Ina Schaefer
Towards Interdisciplinary Variability Modeling for Automated Production Systems
13th International Conference on Industrial Informatics (INDIN 2015)
Cambridge, UK
2015
Gabriele Taentzer and Ulrike Golas
Towards Local Confluence Analysis for Amalgamated Graph Transformation
Graph Transformation - 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings , page 69--86.
2015
Robert Heinrich, Reiner Jung, Eric Schmieders, Andreas Metzger, Wilhelm Hasselbring, Ralf Reussner and Klaus Pohl
Architectural Run-Time Models for Operator-in-the-Loop Adaptation of Cloud Applications
IEEE 9th Symposium on the Maintenance and Evolution of Service-Oriented Systems and Cloud-Based Environments
Publisher: IEEE,
2015
accepted
Ursula Goltz, Ralf H. Reussner, Michael Goedicke, Wilhelm Hasselbring, Lukas Märtin and Birgit Vogel-Heuser
Design for future: managed software evolution - The DFG priority programme for long-living software systems
Computer Science - Research and Development (Special Issue),
October 2014
Thomas Thüm, Sven Apel, Christian Kästner, Ina Schaefer and Gunter Saake
A Classification and Survey of Analysis Strategies for Software Product Lines
ACM Computing Surveys, 47(1):6:1 - 6:45
June 2014
Malte Lochau, Johannes Bürdek, Sascha Lity, Matthias Hagner, Christoph Legat, Ursula Goltz and Andy Schürr
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
Automatisierungstechnik, 62(11):771--780
2014
Olaf Leßenich, Sven Apel and Christian Lengauer
Balancing Precision and Performance in Structured Merge
Automated Software Engineering,
2014
Stefan Gaertner, Tom-Michael Hesse, Kurt Schneider and Barbara Paech
Capturing and Documentation of Decisions in Security Requirements Engineering through Heuristics
Softwaretechnik-Trends, 34 (1)
2014
Stefan Sobernig, Sven Apel and Sergiy Kolesnikov andNorbert Siegmund
Quantifying Structural Attributes of System Decompositionsin 28 Feature-oriented Software Product Lines: An Exploratory Study
Empirical Software Engineering,
2014
Malte Lochau, Johannes Bürdek, Sascha Lity, Matthias Hagner, Christoph Legat, Ursula Golz and Andy Schürr
Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain
Automatisierungstechnik (at), 62(11):171
2014
Malte Lochau, Sascha Lity, Remo Lachmann, Ina Schaefer and Ursula Goltz
Delta-oriented model-based integration testing of large-scale systems
Journal of Systems and Software, 91(0):63 - 84
2014
ISSN: 0164-1212
Indika Meedeniya, Irene Moser, Aldeida Aleti and Lars Grunske
Evaluating probabilistic models with uncertain model parameters
Software & Systems Modeling, :1-21
2014
ISSN: 1619-1366
M. Felderer, B. Katt, P. Kalb, J. Jürjens, M. Ochoa, F. Paci, L.M.S. Tran, T.T. Tun, K. Yskout, R. Scandariato, F. Piessens, D. Vanoverberghe, E. Fourneret, M. Gander, B. Solhaug and R. Breu
Evolution of Security Engineering Artifacts: A State of the Art Survey
International Journal of Secure Software Engineering (IJSSE), 5(4)
2014
Timo Kehrer, Udo Kelter and Gabriele Taentzer
Propagation of Software Model Changes in the Context of Industrial Plant Automation
Automatisierungstechnik, 62(11):803--814
2014
Timo Kehrer and Udo Kelter
Versioning of Ordered Model Element Sets
Softwaretechnik-Trends, 34(2)
2014
Claus Hunsen, Bo Zhang, Janet Siegmund, Christian Kästner, Olaf Lessenich, Martin Becker and Sven Apel
Preprocessor-Based Variability in Open-Source and Industrial Software Systems: An Empirical Study
Empirical Software Engineering,
2014
to be published
Leonardo Passos, Leopoldo Teixeira, Nicolas Dintznerand Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba and Jianmei Guo
Coevolution of Variability Models and Related SoftwareArtifacts: A Fresh Look at Evolution Patterns in the Linux Kernel
Empirical Software Engineering,
2014
to be published
Eric Schmieders, Andreas Metzger and Klaus Pohl
A Runtime Model Approach for Data Geo-location Checks of Cloud Services
In Xavier Franch, Aditya K. Ghose, Grace A. Lewis and Sami Bhiri, editor, Service-Oriented Computing - 12th International Conference of Lecture Notes in Computer Science
page 306--320.
Publisher: Springer Berlin Heidelberg,
2014
ISBN: 978-3-662-45390-2, 978-3-662-45391-9
Christoph Heger and Robert Heinrich
Deriving Work Plans for Solving Performance and Scalability Problems
Computer Performance Engineering
page 104--118.
Publisher: Springer International Publishing,
2014
Matthias Kowal, Ina Schaefer and Mirco Tribastone
Family-Based Performance Analysis of Variant-Rich Software Systems
In Stefania Gnesi and Arend Rensink, editor, Fundamental Approaches to Software Engineering Volume 8411 of Lecture Notes in Computer Science
page 94-108.
Publisher: Springer Berlin Heidelberg,
2014
ISBN: 978-3-642-54803-1
Malte Lochau, Sven Peldszus, Matthias Kowal and Ina Schaefer
Model-Based Testing
In Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, EinarBroch Johnsen and Ina Schaefer, editor, Formal Methods for Executable Software Models Volume 8483 of Lecture Notes in Computer Science
page 310-342.
Publisher: Springer International Publishing,
2014
ISBN: 978-3-319-07316-3
Malte Lochau, Sven Peldszus, Matthias Kowal and Ina Schaefer
Model-Based Testing
In Marco Bernardo, Ferruccio Damiani, Reiner Hähnle, EinarBroch Johnsen and Ina Schaefer, editor, Formal Methods for Executable Software Models Volume 8483 of Lecture Notes in Computer Science
page 310-342.
Publisher: Springer International Publishing,
2014
ISBN: 978-3-319-07316-3
Eric Schmieders
Monitoring and Checking Privacy Policies of Cloud Services based on Models
Service-Oriented Computing -- ICSOC 2014 Workshops (PhD Symposium) of Lecture Notes in Computer Science
Publisher: Springer International Publishing,
2014
Barbara Paech, Alexander Delater and Tom-Michael Hesse
Supporting Project Management Through Integrated Management of System and Project Knowledge
In G. Ruhe and C. Wohlin, editor, Software Project Management in a Changing World
page 157-192.
Publisher: Springer,
2014
Tom-Michael Hesse, Barbara Paech, Tobias Roehm and Bernd Bruegge
How to Improve Decision Documentation in Software Evolution?
Proceedings of the First Collaborative Workshop on Evolution and Maintenance of Long-Living Systems of EMLS , page 14-15.
Publisher: CEUR-WS,
2014
Stefan Gärtner, Thomas Ruhroth, Jens Bürger, Kurt Schneider and Jan Jürjens
Maintaining Requirements for Long-Living Software Systems by Incorporating Security Knowledge
22nd IEEE International Requirements Engineering Conference , page 103--112.
IEEE
2014
Jens Bürger, Jan Jürjens, Thomas Ruhroth, Stefan Gärtner and Kurt Schneider
Model-based Security Engineering with UML: Managed Co-Evolution of Security Knowledge and Software Models
In A. Aldini, J. Lopez and F. Martinelli, editor, Foundations of Security Analysis and Desing VII: FOSAD Tutorial Lectures Volume 8604 of Lecture Notes in Computer Science , page 34--53.
2014
Sergiy Kolesnikov, Judith Roth and Sven Apel
On the Relation Between Internal and External FeatureInteractions in Feature-oriented Product Lines: A Case Study
Proceedings of the International Workshop onFeature-Oriented Software Development (FOSD) , page 1--8.
Publisher: ACM Press,
2014
Tom-Michael Hesse, Stefan Gärtner, Tobias Roehm, Barbara Paech, Kurt Schneider and Bernd Bruegge
Semiautomatic Security Requirements Engineering and Evolution using Decision Documentation, Heuristics, and User Monitoring
1st International Workshop on Evolving Security and Privacy Requirements Engineering (ESPRE) , page 1--6.
2014
Tom-Michael Hesse, Stefan Gärtner, Tobias Roehm, Barbara Paech, Kurt Schneider and Bernd Bruegge
Semiautomatic Security Requirements Engineering and Evolution using Decision Documentation, Heuristics, and User Monitoring
Proceedings of the 1st International Workshop on Evolving Security and Privacy Requirements Engineering of ESPRE , page 1--6.
Publisher: IEEE,
2014
Mustafa Al-Hajjaji, Thomas Thüm, Jens Meinicke, Malte Lochau and Gunter Saake
Similarity-based Prioritization in Software Product-Line Testing
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014 , page 197--206.
2014
Thomas Ruhroth, Stefan Gärtner, Jens Bürger, Jan Jürjens and Kurt Schneider
Towards Adaptation and Evolution of Domain-specific Knowledge for Maintaining Secure Systems
Proceedings of the 15th International Conference on Product Focused Software Process Improvement (PROFES) Volume 8892 of LNCS
Publisher: Springer,
2014
Jan Jürjens and Kurt Schneider
The SecReq approach: From Security Requirements to Secure Design while Managing Software Evolution
Software Engineering (SE2014) Volume Lecture Notes in Informatics
Publisher: GI,
2014
Hauke Baller and Malte Lochau
Towards Incremental Test Suite Optimization for Software Product Lines
Sixth International Workshop on Feature-Oriented Software Development, FOSD '14, Västerås, Sweden, September 14, 2014 , page 30--36.
2014
Sinem Getir, Michaela Rindt and Timo Kehrer
A Generic Framework for Analyzing Model Co-Evolution
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. , page 12--21.
2014
Reiner Jung, Robert Heinrich, Eric Schmieders, Misha Strittmatter and Wilhelm Hasselbring
A Method for Aspect-oriented Meta-Model Evolution
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling of VAO'14 , page 19:19--19:22.
Publisher: ACM, New York, NY, USA
2014
ISBN: 978-1-4503-2900-2
C. Haubeck, W. Lamersdorf, J. Ladiges and A. Fay
An active service-component architecture to enable self-awareness of evolving production systems
Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation
2014
Grischa Liebel, Nadja Marko, Matthias Tichy, AndreaLeitner and Jörgen Hansson
Assessing the State-of-Practice of Model-Based Engineering inthe EmbeddedSystems Domain
In Juergen Dingel and Wolfram Schulte, editor, Model Driven Engineering Languages andSystems, 17th International Conference, MODELS 2014, Valencia, Spain,September28 - October 3
2014
Emil Backlund, Mikael Bolle, Matthias Tichy, Helena Holmström Olsson and Jan Bosch
Automated User Interaction Analysis for Workflow-Based WebPortals
Proc. of the 5th International Conference on SoftwareBusiness (ICSOB 2014), Paphos, Cyprus
2014
Stephan Mennicke, Malte Lochau, Julia Schroeter and Tim Winkelmann
Automated Verification of Feature Model Configuration Processes based on Workflow Petri Nets
18th International Software Product Line Conference, SPLC '14, Florence, Italy, September 15-19, 2014 , page 62-71.
2014
Michaela Rindt, Timo Kehrer and Udo Kelter
Automatic Generation of Consistency-Preserving Edit Operations for MDE Tools
Proceedings of the Demonstrations Track of the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, October 1st and 2nd, 2014. Volume 1255 of CEUR Workshop Proceedings
Publisher: CEUR-WS.org,
2014
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer and Mattias Ulbrich
Automating Regression Verification
29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014) , page 349--360.
Publisher: ACM,
2014
C. Haubeck, J. Ladiges, W. Lamersdorf and A. Fay
Behandlung unbekannter Änderungen in automatisierten Produktionsprozessen anhand von Wissensmodellen
Tagungsband: Software Engineering Workshops 2014, 25.-26. Februar 2014
2014
Mirco Tribastone
Behavioral Relations in a Process Algebra for Variants
18th International Software Product Line Conference (SPLC) , page 82--91.
Florence, Italy
2014
Matthias Kowal, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schaefer and Birgit Vogel-Heuser
Delta Modeling for Variant-rich and Evolving Manufacturing Systems
Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation of MoSEMInA 2014 , page 32--41.
Publisher: ACM, New York, NY, USA
2014
ISBN: 978-1-4503-2851-7
Matthias Kowal, Christoph Legat, David Lorefice, Christian Prehofer, Ina Schäfer and Birgit Vogel-Heuser
Delta Modeling for Variant-rich and Evolving Manufacturing Systems
36th International Conference on Software Engineering Workshops (ICSE Workshops 2014) , page 32--41.
Hyderabad, India
2014
Malte Lochau, Stephan Mennicke, Hauke Baller and Lars Ribbeck
DeltaCCS: A Core Calculus for Behavioral Change
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I , page 320--335.
2014
Rodrigo Queiroz, Leonardo Passos, Marco T. Valenteand Sven Apel and Krzysztof Czarnecki
Does Feature Scattering Follow Power-law Distributions?: An Investigation of Five Pre-processor-based Systems
Proceedings of the International Workshop onFeature-Oriented Software Development (FOSD) , page 23--29.
Publisher: ACM Press,
2014
Mirco Tribastone
Efficient Optimization of Software Performance Models via Parameter-Space Pruning
5th ACM/SPEC International Conference on Performance Engineering (ICPE'14) , page 63--73.
Dublin
2014
Darko Durisic, Miroslaw Staron, Matthias Tichy and Jörgen Hansson
Evolution of Long-Term Industrial Meta-Models ­ A Case Study
Proc. of the 40th Euromicro Conference on SoftwareEngineering and Advanced Applications (SEAA), Verona, Italy
2014
Sönke Holthusen, David Wille, Christoph Legat, Simon Beddig, Ina Schaefer and Birgit Vogel-Heuser
Family Model Mining for Function Block Diagrams in Automation Software
Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2 of SPLC '14 , page 36--43.
Publisher: ACM, New York, NY, USA
2014
ISBN: 978-1-4503-2739-8
Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser
Formal Technical Process Specification and Verification for Automated Production Systems
8th System Analysis and Modelling Conference (SAM 2014) , page 287--303.
Valencia, Spain
2014
Reiner Jung
GECO: Generator Composition for Aspect-Oriented Generators
Doctoral Symposium - Models 2014
2014
Marco Konersmann, Noyan Kurt and Michael Goedicke
Integrating Protocol Contracts with Java Code
Proceedings of the 2014 Workshop on Behaviour Modelling-Foundations and Applications of BM-FA '14 , page 3:1--3:10.
Publisher: ACM, New York, NY, USA
2014
Marco Konersmann and Michael Goedicke
Integrating Protocol Contracts with Program Code - A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context
Behavior Modeling - Foundations and Applications, International Workshops, BM-FA 2009-2014, Revised Selected Papers , page 197--219.
2014
Robert Heinrich, Eric Schmieders, Reiner Jung, Kiana Rostami, Andreas Metzger, Willhelm Hasselbring, Ralf Reussner and Klaus Pohl
Integrating Run-time Observations and Design Component Models for Cloud System Analysis
9th Workshop on Models@run.time Volume 1270 , page 41--46.
CEUR
2014
C. Haubeck, W. Lamersdorf, J. Ladiges, A. Fay, J. Fuchs, C. Legat and B. Vogel-Heuser
Interaction of Model-driven Engineering and Signal-based Online Monitoring of Production Systems
Proceedings of the 40th Annual Conference of the IEEE Industrial Electronics Society (IECON 2014), Dallas, November 2014
2014
Christopher Haubeck, Jan Ladiges, Julia Fuchs, Christoph Legat, Winfried Lammersdorf, Alexander Fay and Birgit Vogel-Heuser
Interaction of Model-driven Engineering and Signal-based Online Monitoring of Production Systems
40th Annual Conference of the IEEE Industrial Electronics Society (IECON 2014)
Dallas, USA
2014
Hauke Baller, Sascha Lity, Malte Lochau and Ina Schaefer
Multi-Objective Test Suite Optimization for Incremental Product Family Testing
7th IEEE International Conference on Software Testing, Verification and Validation of International Conference on Software Testing, Verification and Validation (ICST)
Publisher: IEEE Computer Society Press, Los Alamitos
2014
A. Pokahr, L. Braubach, C. Haubeck and J. Ladiges
Programming BDI Agents with Pure Java
In M. Weyrich J. Müller, editor, 12th German Conference on Multiagent System Technologies (MATES '14), Stuttgart 23.09.-25.09.2014. In "Lecture Notes in Computer Science, Multiagent System Technologies" , page 216-233.
Publisher: Springer International Publishing,
2014
ISBN: 978-3-319-11583-2
Darko Durisic, Miroslaw Staron, Matthias Tichy and Jörgen Hansson
Quantifying Long-Term Evolution of Industrial Meta-Models - ACase Study
Proc. of the IWSM Mensura Conference (2014), Rotterdam,Netherlands
2014
Marco Konersmann
Rapidly Locating and Understanding Errors Using Runtime Monitoring of Architecture-carrying Code
Proceedings of the 1st International Workshop on Rapid Continuous Software Engineering of RCoSE 2014 , page 20--25.
Publisher: ACM, New York, NY, USA
2014
J. Jürjens
Security Certification in the Presence of Evolution: Models vs. Code (Invited talk)
International Workshop on Safety and Formal Methods (SaFoMe@SEFM 2014) of LNCS
2014
J. Ladiges, C. Haubeck, A. Fay and W. Lamersdorf
Semi-automated decision making support for undocumented evolutionary changes
Proceedings of 16th Workshop Software-Reengineering & Evolution (WSRE), 28.-30.05.2014, Bad Honnef
2014
Daniel Strüber, Julia Rubin, Gabriele Taentzer and Marsha Chechik
Splitting Models Using Information Retrieval and Model Crawling Techniques
Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings , page 47--62.
2014
T. Humberg, C. Wessel, D. Poggenpohl, S. Wenzel, T. Ruhroth and J. Jürjens
Using Ontologies to Analyze Compliance Requirements of Cloud-Based Processes
Cloud Computing and Services Science (selected best papers) of LNCS
Publisher: Springer,
2014
Thomas Ruhroth, Stefan Gärtner, Jens Bürger, Jens Jürjens and Kurt Schneider
Versioning and Evolution Requirements for Model-Based System Development
International Workshop on Comparison and Versioning of Software Models (CVSM 2014)
2014
Timo Kehrer, Udo Kelter and Dennis Reuling
Workspace updates of visual models
ACM/IEEE International Conference on Automated Software Engineering (ASE), Vasteras, Sweden , page 827--830.
Publisher: ACM,
2014
Stefan Gärtner, Jens Bürger, Kurt Schneider and Jan Jürjens
Zielgerichtete Anpassung von Software nach der Evolution von kontextspezifischem Wissen
1st Collaborative Workshop on Evolution and Maintenance of Long-Living Systems (EMLS14)
2014
Stefan Sobernig, Sven Apel and Sergiy Kolesnikov andNorbert Siegmund
Quantifying Structural Attributes of System Decompositionsin 28 Feature-oriented Software Product Lines: An Exploratory Study
Document number: 2014/01
Institute for Information Systems and New Media, WUVienna University of Economics and Business,
2014
Christoph Legat, Jens Folmer and Birgit Vogel-Heuser
Evolution in Industrial Plant Automation: A Case Study
IECON 2013 - 39th Annual Conference on IEEE Industrial Electronics Society
November 2013
Sergiy Kolesnikov, Alexander von Rhein, Claus Hunsen and Sven Apel
A Comparison of Product-based, Feature-based, and Family-based Type Checking
Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE)
Publisher: ACM,
2013
Sandro Schulze, Jörg Liebig, Janet Siegmund and Sven Apel
Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment
Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE)
Publisher: ACM,
2013
Norbert Siegmund, Alexander von Rhein and Sven Apel
Family-Based Performance Measurement
Proceedings of the International Conference on Generative Programming: Concepts & Experiences (GPCE)
Publisher: ACM,
2013
Jörg Liebig, Alexander von Rhein, Christian Kästner, Sven Apel, Jens Dörre and Christian Lengauer
Scalable Analysis of Variable Software
Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)
Publisher: ACM Press,
2013
Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund and Andrzej Wasowski
Variability-Aware Performance Prediction: A Statistical Learning Approach
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE)
Publisher: IEEE Computer Society,
2013
Timo Kehrer, Pit Pietsch, Hamed Shariat Yazdi and Udo Kelter
Detection of High-Level Changes in Evolving Java Software
Softwaretechnik-Trends, 33(2)
2013
Christopher Haubeck, Ireneus Wior, Lars Braubach, Alexander Pokahr, Jan Ladiges, Alexander Fay and Winfried Lamersdorf
Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Production Automation Software
Electronic Communications of the EASST, Volume 56 (2013),
2013
S. Wenzel, D. Warzecha, J. Jürjens and M. Ochoa
UMLchange – Specifying Model Changes to Support Security Verification of Potential Evolution
Journal of Computer Standards & Interfaces,
2013
Stefan Gärtner, Tom-Michael Hesse, Kurt Schneider and Barbara Paech
Capturing and Documentation of Decisions in Security Requirements Engineering through Heuristics
GI-Fachgruppen-Treffen Requirements Engineering, Ilmenau
GI
2013
Claudia Priesterjahn, Dominik Steenken and Matthias Tichy
Timed Hazard Analysis of Self-healing Systems
In Rogério de Lemos Javier Camara, Carlo Ghezzi and Antonia Lopes, editor, Assurances for Self-Adaptive Systems Volume 7740 of Lecture Notes in Computer Science
page 112-151.
Publisher: Springer Berlin / Heidelberg,
2013
Alexander Delater and Barbara Paech
Analyzing the Tracing of Requirements and Source Code during Software Development: A Research Preview
Proceedings of the 19th International Working Conference on Requirements Engineering: Foundation for Software Quality of REFSQ'13 , page 308--314.
2013
Karsten Saller, Malte Lochau and Ingo Reimund
Context-aware DSPLs: Model-based Runtime Adaptation for Resource-constrained Systems
Proceedings of the 17th International Software Product Line Conference Co-located Workshops of SPLC '13 Workshops , page 106--113.
Publisher: ACM, New York, NY, USA
2013
ISBN: 978-1-4503-2325-3
Sascha Lity, Remo Lachmann, Malte Lochau, Michael Dukaczewski and Ina Schaefer
Delta-orientiertes Testen von variantenreichen Systemen
OBJEKTspektrum Online Themenspecial Testing
Publisher: Sigis Datacom GmbH,
2013
Sven Apel, Sergiy Kolesnikov, Norbert Siegmund andChristian Kästner and Brady Garvin
Exploring Feature Interactions in the Wild: The NewFeature-Interaction Challenge
Proceedings of the International Workshop onFeature-Oriented Software Development (FOSD) , page 1--8.
Publisher: ACM Press,
2013
Zoya Durdik, Anne Koziolek and Ralf Reussner
How the Understanding of the Effects of Design Decisions Informs Requirements Engineering
Second International Workshop on the Twin Peaks of Requirements and Architecture (TwinPeaks 2013) @ ICSE2013
2013
Zoya Durdik and Ralf Reussner
On the Appropriate Rationale for Using Design Patterns and Pattern Documentation
Proceedings of the 9th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2013)
2013
Michael Dukaczewski, Ina Schaefer, Remo Lachmann and Malte Lochau
Requirements-Based Delta-Oriented SPL Testing
4th International Workshop on Product Line Approaches in Software Engineering (PLEASE), 2013 , page 49-52.
2013
Tom-Michael Hesse and Barbara Paech
Supporting the Collaborative Development of Requirements and Architecture Documentation
Proceedings of the 3rd International Workshop on the Twin Peaks of Requirements and Architecture , page 22--26.
2013
Marco Konersmann, Zoya Durdik, Michael Goedicke and Ralf Reussner
Towards Architecture-Centric Evolution of Long-Living Systems (The ADVERT Approach)
Proceedings of the 9th ACM SIGSOFT International Conference on the Quality of Software Architectures (QoSA 2013)
2013
Tobias Roehm, Bernd Bruegge, Tom-Michael Hesse and Barbara Paech
Towards Identification of Software Improvements and Specification Updates By Comparing Monitored and Specified End User Behavior
Proceedings of the 29th IEEE International Conference on Software Maintenance of ICSM'13 , page 464--467.
Publisher: IEEE,
2013
Klaus Schmid, Rainer Koschke, Christian Kröher and Dierk Lüdemann
Towards identifying evolution smells in Software Product Lines
In Stefan Sauer, Benjamin Klatt and Thomas Ruhroth, editor, Proceedings of the 5th Workshop "Design For Future - Langlebige Softwaresysteme" (DFF) Volume 2
Publisher: Gesellschaft für Informatik e.V. (GI),
2013
Sinem Getir, André van Hoorn, Lars Grunske and Matthias Tichy
Co-Evolution of Software Architecture and Fault Tree Models: AnExplorative Case Study on a Pick and Place Factory Automation System
Proc. of the 5th International Workshop on Non-functionalProperties in Modeling, September 29, Miami, USA
2013
Timo Kehrer, Udo Kelter and Gabriele Taentzer
Consistency-preserving edit scripts in model versioning
28th IEEE/ACM International Conference on Automated Software (ASE), Silicon Valley, CA, USA , page 191--201.
Publisher: IEEE,
2013
Matthias Tichy, Christian Krause and Grischa Liebel
Detecting performance bad smells for Henshin modeltransformations
In Benoit Baudry, Jürgen Dingel and Levi Lécio andHans Vangheluwe, editor, Proc. of the 2nd Workshop on the Analysis of ModelTransformations (AMT), September 29, Miami, USA
2013
Jan Ladiges, Christopher Haubeck, Ireneus Wior, Esteban Arroyo, Alexander Fay and Winfried Lamersdorf
Evolution of Production Facilities and its Impact on Non-Functional Requirements
Proceedings of the 11th IEEE International Conference on Industrial Informatics
Publisher: IEEE,
2013
Leonardo Passos, Krzysztof Czarnecki, Sven Apel, Andrzej Wasowski, Christian Kästner, Jianmei Guo and Claus Hunsen
Feature Oriented Software Evolution
Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS) , page 95--102.
Publisher: ACM,
2013
Timo Kehrer, Michaela Rindt, Pit Pietsch and Udo Kelter
Generating Edit Operations for Profiled UML Models
Proceedings of the Workshop on Models and Evolution (ME) co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Miami, FL, USA. Volume 1090 of CEUR Workshop Proceedings , page 30--39.
2013
Florian Fittkau, Jan Waller, Christian Wulf and Wilhelm Hasselbring
Live Trace Visualization for Comprehending Large Software Landscapes: The ExplorViz Approach
1st IEEE International Working Conference on Software Visualization (VISSOFT 2013)
2013
Reiner Jung, Robert Heinrich and Eric Schmieders
Model-driven Instrumentation with Kieker and Palladio to forecast Dynamic Applications
Proceedings Symposium on Software Performance: Joint Kieker/Palladio Days 2013 (KPDAYS 2013) Volume 1083 of CEUR Workshop Proceedings , page 99--108.
Publisher: CEUR,
2013
Jan Ladiges, Christopher Haubeck, Alexander Fay and Winfried Lamersdorf
Operationalized Definitions of Non-Functional Requirements on Automated Production Facilities to Measure Evolution Effects with an Automation System
Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation
Publisher: IEEE,
2013
Udo Kelter, Timo Kehrer and Dennis Koch
Patchen von Modellen
Software Engineering , page 171-184.
2013
Sergiy Kolesnikov, Sven Apel, Norbert Siegmund, Stefan Sobernig, Christian Kästner and Semah Senkaya
Predicting Quality Attributes of Software Product Lines Using Software and Network Measures and Sampling
Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS) , page 25--29.
Publisher: ACM,
2013
Michael Dukaczewski, Ina Schaefer, Remo Lachmann and Malte Lochau
Requirements-Based Delta-Oriented SPL Testing
4th International Workshop on Product Line Approaches in Software Engineering (PLEASE), 2013 , page 49-52.
2013
Sören Frey, Florian Fittkau and Wilhelm Hasselbring
Search-Based Genetic Optimization for Deployment and Reconfiguration of Software in the Cloud
35th International Conference on Software Engineering (ICSE 2013) , page 512--521.
Publisher: IEEE Press,
2013
Johannes Bürdek, Sascha Lity, Malte Lochau, Markus Berens, Ursula Goltz and Andy Schürr
Staged Configuration of Dynamic Software Product Lines with Complex Binding Time Constraints
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems of VaMoS '14 , page 16:1--16:8.
Publisher: ACM, New York, NY, USA
2013
ISBN: 978-1-4503-2556-1
Hamed Shariat Yazdi, Pit Pietsch, Timo Kehrer and Udo Kelter
Statistical Analysis of Changes for Synthesizing Realistic Test Models
Software Engineering , page 225-238.
2013
Alexander von Rhein, Sven Apel, Christian Kästner, Thomas Thüm and Ina Schaefer
The PLA Model: On the Combination of Product-Line Analyses
Proceedings of the International Workshop on Variability Modelling of Software-intensive Systems (VaMoS) , page 73--80.
Publisher: ACM,
2013
Matthias Kowal, Sandro Schulze and Ina Schaefer
Towards efficient SPL testing by variant reduction
Proceedings of the 4th international workshop on Variability and composition of VariComp '13 , page 1--6.
Publisher: ACM, New York, NY, USA
2013
ISBN: 978-1-4503-1867-9
Alexander Delater and Barbara Paech
Tracing Requirements and Source Code during Software Development: An Empirical Study
Proceedings of the 7th International Symposium on Empirical Software Engineering and Measurement of ESEM'13 , page 25-34.
2013
A. Delater and B. Paech
UNICASE Trace Client: A CASE Tool Integrating Requirements Engineering, Project Management and Code Implementation
In S. Wagner and H. Lichter, editor, Software Engineering 2013 Workshopband, Lecture Notes in Informatics Volume 215 , page 459 - 463.
2013
Wilhelm Hasselbring, Robert Heinrich, Reiner Jung, Andreas Metzger, Klaus Pohl, Ralf Reussner and Eric Schmieders
iObserve: Integrated Observation and Modeling Techniques to Support Adaptation and Evolution of Software Systems
Research Report
Kiel University, Kiel, Germany
2013
J. Jürjens
Model-centric Security Verification subject to Evolution (Invited Talk)
Eternals Workshop @ ESSOS'13, Paris
2013
Gabriele Taentzer, Claudia Ermel, Philip Langer and Manuel Wimmer
A fundamental approach to model versioning based on graph modifications: from theory to implementation
Software & Systems Modeling, :1--34
2012
Enrico Biermann, Claudia Ermel and Gabriele Taentzer
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Software & Systems Modeling, 11(2):227--250
2012
Marco Konersmann and Michael Goedicke
A Conceptual Framework and Experimental Workbench for Architectures
In Maritta Heisel, editor, Software Service and Application Engineering Volume 7365 of Lecture Notes in Computer Science
page 36-52.
Publisher: Springer Berlin Heidelberg,
2012
Thomas Ruhroth and Jan Jürjens
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec
IEEE: 14th International Symposium on High-Assurance Systems Engineering (HASE 2012)
Publisher: IEEE CS,
2012
Timo Kehrer, Udo Kelter, Pit Pietsch and Maik Schmidt
Adaptability of model comparison tools
Automated Software Engineering (ASE), 2012 Proceedings of the 27th IEEE/ACM International Conference on , page 306--309.
IEEE
2012
J. Jürjens and K. Schneider
On modelling non-functional requirements evolution with UML
Modelling and Quality in Requirements Engineering (Essays Dedicatedto Martin Glinz on the Occasion of His 60th Birthday) , page 131--141.
Publisher: Verlagshaus Monsenstein und Vannerdat,
2012
Gabriele Taentzer, Thorsten Arendt, Claudia Ermel and Reiko Heckel
Towards refactoring of rule-based, in-place model transformation systems
Proceedings of the First Workshop on the Analysis of Model Transformations , page 41--46.
ACM
2012
Timo Kehrer, Udo Kelter, Manuel Ohrndorf and Tim Sollbach
Understanding model evolution through semantically lifting model differences with SiLift
Software Maintenance (ICSM), 2012 28th IEEE International Conference on , page 638--641.
IEEE
2012
Siv Hilde Houmb, Shareeful Islam, Eric Knauss, Jan Jürjens and Kurt Schneider
Eliciting security requirements and tracing them to design: an integration of Common Criteria, heuristics, and UMLsec
Requirements Engineering, 15(1):63--93
2009
ISSN: 0947-3602
Total:
220
Export as:
BibTeX, XML



To add a new publication please send a BibTeX file to l.maertin(at)tu-bs.de.