inproceedings_seifermann.bib

@inproceedings{seifermann2015a,
  author = {Stephan Seifermann and Henning Groenda},
  booktitle = {Mensch und Computer 2015 - Workshopband},
  editor = {A. Weisbecker and M. Burmester and A. Schmidt},
  location = {Stuttgart, Germany},
  pages = {411--417},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2015a.pdf},
  publisher = {De Gruyter Oldenbourg},
  tags = {workshop},
  title = {Towards Collaboration on Accessible UML Models},
  year = {2015}
}

@inproceedings{groenda2015b,
  author = {Henning Groenda and Stephan Seifermann and Karin M{\"u}ller and Gerhard Jaworek},
  booktitle = {Proceedings of the 13th European conference of the Association for the Advancement of Assistive Technology in Europe (AAATE 2015)},
  doi = {http://dx.doi.org/10.3233/978-1-61499-566-1-111},
  editor = {Cecilia Sik-L\'{a}nyi and Evert-Jan Hoogerwerf and Klaus Miesenberger and Peter Cudd},
  pages = {111--118},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/groenda2015b.pdf},
  publisher = {IOS Press},
  tags = {conference},
  title = {The Cooperate Assistive Teamwork Environment for Software Description Languages},
  year = {2015}
}

@inproceedings{kramer2015a,
  acmid = {2737177},
  address = {New York, NY, USA},
  author = {Kramer, Max E. and Langhammer, Michael and Messinger, Dominik and Seifermann, Stephan and Burger, Erik},
  booktitle = {Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering},
  doi = {10.1145/2737166.2737177},
  isbn = {978-1-4503-3471-6},
  keywords = {co-evolution, formal specification, model-driven engineering},
  location = {Montr\'{e}al, QC, Canada},
  numpages = {6},
  pages = {21--26},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/kramer2015a.pdf},
  publisher = {ACM},
  series = {CBSE '15},
  tags = {conference, Vitruv},
  title = {Change-Driven Consistency for Component Code, Architectural Models, and Contracts},
  url = {http://doi.acm.org/10.1145/2737166.2737177},
  year = {2015}
}

@incollection{Bougouffa2019b,
  author = {Bougouffa, Safa and Busch, Kiana and Heinrich, Robert and Hoorn, Andr{\'e} van and Konersmann, Marco and Seifermann, Stephan and Ta{\c{s}}polato{\u{g}}lu, Emre and Ocker, Felix and Vargas, Cyntia and Fahimipirehgalin, Mina and Reussner, Ralf and Vogel-Heuser, Birgit},
  editor = {Reussner, Ralf and Goedicke, Michael and Hasselbring, Wilhelm and Vogel-Heuser, Birgit and Keim, Jan and M{\"a}rtin, Lukas},
  title = {Case Studies for the Community},
  booktitle = {Managed Software Evolution},
  year = {2019},
  publisher = {Springer International Publishing},
  address = {Cham},
  pages = {335--374},
  abstract = {This chapter provides an overview on the design aim of the SPP1593's case studies. The provided case studies in production automation from shop floor to enterprise resource planning up to commercial systems of a supermarket provide more than 50 different well-documented evolution scenarios. For these scenarios, different documents on the life cycle and the software disciplines are provided to the community and further developed by the SPP1593 participants. These scenarios are available in various forms such as architecture and behaviour models in SysML/UML, control software of the plant, as well as frontend user GUI considering non-functional aspects like maintainability and security. The community case studies aim at providing the following benefits: (1) by building upon existing specifications and settings, less effort in scenario definition, study setup, and execution is required, (2) a common case study increases the comparability of evaluation results to those of other researchers and leads to increased evaluation confidence, and (3) a common case study also increases community acceptance by interaction with other researchers.},
  isbn = {978-3-030-13499-0},
  doi = {10.1007/978-3-030-13499-0_12},
  url = {https://doi.org/10.1007/978-3-030-13499-0_12},
  tags = {chapter}
}

@inproceedings{seifermann2016a,
  author = {Seifermann, Stephan and Groenda, Henning},
  booktitle = {Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016)},
  title = {Survey on Textual Notations for the Unified Modeling Language},
  year = {2016},
  pages = {28-39},
  publisher = {SciTePress},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016a.pdf}
}

@inproceedings{seifermann2016b,
  author = {Seifermann, Stephan and Taspolatoglu, Emre and Heinrich, Robert and Reussner, Ralf},
  series = {Softwaretechnik-Trends Band 36 Heft 1},
  booktitle = {3rd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems},
  title = {Challenges in Secure Software Evolution - The Role of Software Architecture},
  year = {2016},
  pages = {8--11},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016b.pdf}
}

@inproceedings{seifermann2016c,
  author = {Seifermann, Stephan},
  booktitle = {Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture},
  location = {Venice, Italy},
  pages = {270-271},
  publisher = {IEEE},
  series = {WICSA'16},
  title = {Architectural Data Flow Analysis},
  url = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016c.pdf},
  year = {2016},
  doi = {10.1109/WICSA.2016.49}
}

@inproceedings{petrausch2016a,
  author = {Petrausch, Vanessa and Seifermann, Stephan and Karin M{\"u}ller},
  booktitle = {Proceedings of the 15th International Conference on Computers Helping People with Special Needs (ICCHP)},
  editor = {Miesenberger, Klaus and B{\"u}hler, Christian and Penaz, Petr},
  location = {Linz, Austria},
  pages = {67--74},
  publisher = {Springer-Verlag Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {Guidelines for Accessible Textual UML Modeling Notations},
  year = {2016},
  doi = {10.1007/978-3-319-41264-1_9},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/petrausch2016a.pdf}
}

@inproceedings{seifermann2016d,
  author = {Stephan Seifermann and Kateryna Yurchenko and Max E. Kramer},
  booktitle = {Symposium on Software Performance (SSP)},
  title = {Challenges to Trading-Off Performance and Privacy of Component-Based Systems},
  year = {2016},
  tags = {refereed,workshop},
  publisher = {Gesellschaft f{\"u}r Informatik e.V.\ (GI)},
  series = {Software{\-}technik-Trends},
  volume = {36(4)},
  issn = {0720-8928},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2016d.pdf}
}

@inproceedings{pilipchuk2017a,
  author = {Pilipchuk, Roman and Seifermann, Stephan and Taspolatoglu, Emre},
  series = {Softwaretechnik Trends},
  booktitle = {4nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS'17)},
  title = {Defining a Security-Oriented Evolution Scenario for the CoCoME Case Study},
  year = {2017},
  pages = {60--77},
  number = {2},
  volume = {37},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/pilipchuk2017a.pdf}
}

@inproceedings{seifermann2017a,
  author = {Stephan Seifermann and J{\"o}rg Hen{\ss}},
  title = {Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models},
  booktitle = {Proceedings of the 6th International Workshop on Bidirectional Transformations (Bx 2017)},
  editor = {Romina Eramo and Michael Johnson},
  publisher = {CEUR-WS.org},
  series = {{CEUR} Workshop Proceedings},
  pages = {6--14},
  location = {Uppsala, Sweden},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2017a.pdf},
  volume = {1827},
  year = {2017},
  tags = {workshop}
}

@inproceedings{seifermann2017b,
  author = {Seifermann, Stephan and Groenda, Henning},
  title = {Survey on the Applicability of Textual Notations for the Unified Modeling Language},
  booktitle = {Model-Driven Engineering and Software Development},
  editor = {Hammoudi, Slimane and Pires, Lu{\'i}s Ferreira and Selic, Bran and Desfray, Philippe},
  publisher = {Springer International Publishing},
  pages = {3--24},
  year = {2017},
  url = {https://doi.org/10.1007/978-3-319-66302-9_1},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2017b.pdf}
}

@inproceedings{werle2018a,
  author = {Werle, Dominik and Seifermann, Stephan and Krach, Sebastian D.},
  series = {Softwaretechnik Trends},
  booktitle = {Symposium on Software Performance (SSP 2017)},
  title = {Leveraging State to Facilitate Separation of Concerns in Reuse-oriented Performance Models},
  year = {2018},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/werle2018a.pdf}
}

@inproceedings{alali2018,
  author = {Rima Al-Ali and Robert Heinrich and Petr Hnetynka and Adrian Juan-Verdejo and Stephan Seifermann and Maximilian Walter},
  title = {Modeling of Dynamic Trust Contracts for Industry 4.0 Systems},
  booktitle = {12th European Conference on Software Architecture: Companion Proceedings (ECSA '18), September 24--28, 2018, Madrid, Spain},
  year = {2018},
  doi = {10.1145/3241403.3241450},
  abstract = {Due to their close relation to physical and virtual entities (humans\, machines\, processes\, etc.) including their changing state and context, modern cyber-physical and IoT systems exhibit a high degree of architectural dynamicity. While sharing of data among all the entities of the system is the key driver to the efficiency of the system, it is at the same time necessary to effectively control which data are shared, with whom, and in which context so as to prevent potential misuse. The problem however is that traditional methods to security and privacy, which typically rely on rigid hierarchies, cannot easily cope with the high degree of architectural dynamicity. In this paper, we outline an approach to ensure security and privacy on the architectural level in systems with dynamic architectures. In particular, we focus on data tracking using data flows and data processing described in system architectures, descriptions of dynamic sharing scenarios including decision derivation based on the current situation, and a runtime analysis platform that regulates data exchange. We ground the approach and illustrate it in the Industry 4.0 setting, as this is the domain in which we apply our approach as part of our project Trust 4.0, but we believe it can be used in other applications domains as well.},
  publisher = {ACM},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/alali2018.pdf}
}

@inproceedings{pilipchuk2018a,
  author = {Pilipchuk, Roman and Seifermann, Stephan and Heinrich, Robert},
  title = {Aligning Business Process Access Control Policies with Enterprise Architecture},
  booktitle = {Proceedings of the Central European Cybersecurity Conference 2018},
  series = {CECC'18},
  year = {2018},
  publisher = {ACM},
  doi = {10.1145/3277570.3277588},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/pilipchuk2018a.pdf}
}

@inproceedings{seifermann2019a,
  author = {Stephan Seifermann and Maximilian Walter},
  title = {Evolving a Use Case for Industry 4.0 Environments Towards Integration of Physical Access Control},
  booktitle = {Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019.},
  pages = {106--108},
  year = {2019},
  pdf = {http://ceur-ws.org/Vol-2308/emls2019paper03.pdf},
  publisher = {CEUR-WS.org}
}

@inproceedings{seifermann2019b,
  author = {Stephan Seifermann and Robert Heinrich and Ralf H. Reussner},
  booktitle = {{IEEE} International Conference on Software Architecture, {ICSA} 2019, Hamburg, Germany, March 25-29, 2019},
  title = {Data-Driven Software Architecture for Analyzing Confidentiality},
  publisher = {IEEE},
  year = {2019},
  pages = {1--10},
  url = {https://doi.org/10.1109/ICSA.2019.00009},
  doi = {10.1109/ICSA.2019.00009},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/seifermann2019b.pdf}
}

@inproceedings{al-ali2019,
  author = {Al-Ali, Rima and Hnetynka, Petr and Havlik, Jiri and Krivka, Vlastimil and Heinrich, Robert and Seifermann, Stephan and Walter, Maximilian and Juan-Verdejo, Adrian},
  title = {Dynamic Security Rules for Legacy Systems},
  booktitle = {Proceedings of the 13th European Conference on Software Architecture - Volume 2},
  series = {ECSA '19},
  year = {2019},
  isbn = {978-1-4503-7142-1},
  location = {Paris, France},
  pages = {277--284},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/3344948.3344974},
  doi = {10.1145/3344948.3344974},
  acmid = {3344974},
  publisher = {ACM},
  address = {New York, NY, USA},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/al-ali2019.pdf},
  keywords = {Industry 4.0, access control, autonomic systems, legacy systems, security rules, self-adaptive architecture}
}

@inproceedings{seifermann2019c,
  author = {Seifermann, Stephan and Werle, Dominik and Ebada, Mazen},
  series = {Softwaretechnik Trends},
  booktitle = {Proceedings of the 10th Symposium on Software Performance (SSP)},
  title = {Mapping Data Flow Models to the Palladio Component Model},
  year = {2019},
  pages = {41-43},
  pdf = {http://pi.informatik.uni-siegen.de/stt/39_4/01_Fachgruppenberichte/SSP2019/SSP2019_Seifermann.pdf}
}

@inproceedings{werle2019b,
  author = {Werle, Dominik and Seifermann, Stephan and Koziolek, Anne},
  series = {Softwaretechnik Trends},
  booktitle = {Proceedings of the 10th Symposium on Software Performance (SSP)},
  title = {Data Stream Operations as First-Class Entities in Palladio},
  year = {2019},
  pages = {47-49},
  pdf = {http://pi.informatik.uni-siegen.de/stt/39_4/01_Fachgruppenberichte/SSP2019/SSP2019_Werle.pdf}
}

@inproceedings{seifermann2020a,
  author = {Seifermann, Stephan and Heinrich, Robert and Reussner, Ralf H.},
  editor = {Michael Felderer and Wilhelm Hasselbring and Rick Rabiser and Reiner Jung},
  title = {{Datenzentrische Softwarearchitekturen}},
  booktitle = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria},
  series = {{LNI}},
  volume = {{P-300}},
  pages = {47--48},
  publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
  year = {2020},
  url = {https://doi.org/10.18420/SE2020_11},
  doi = {10.18420/SE2020_11}
}

@inproceedings{werle2020ecsa,
  author = {Dominik Werle and Stephan Seifermann and Anne Koziolek},
  title = {Data Stream Operations as First-Class Entities in Component-Based Performance Models},
  booktitle = {Proceedings of the 14th European Conference on Software Architecture, {ECSA} 2020},
  publisher = {Springer},
  year = {2020},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/werle2020ecsa.pdf},
  editor = {Anton Jansen and Ivano Malavolta and Henry Muccini and Ipek Ozkaya and Olaf Zimmermann},
  series = {Lecture Notes in Computer Science},
  volume = {12292},
  pages = {148--164},
  doi = {10.1007/978-3-030-58923-3\_10}
}

@inproceedings{Walter2020WSRE,
  author = {Maximilian Walter and Stephan Seifermann and Robert Heinrich},
  title = {A Taxonomy of Dynamic Changes Affecting Confidentiality},
  booktitle = {11th Workshop Design For Future – Langlebige Softwaresysteme},
  year = {2020},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Walter2020WSRE.pdf}
}

@inproceedings{reimann2020,
  author = {Reimann, Malte and Seifermann, Stephan and Walter, Maximilian and Heinrich, Robert and Bures, Tomas and Hnetynka, Petr},
  series = {Softwaretechnik Trends},
  booktitle = {Proceedings of the 11th Symposium on Software Performance (SSP)},
  title = {Towards Language-Agnostic Reuse of Palladio Quality Analyses},
  year = {2020},
  pages = {46-48},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/reimann2020.pdf}
}

@inproceedings{seifermann2020b,
  author = {Seifermann, Stephan and Krach, Sebastian},
  series = {Softwaretechnik Trends},
  booktitle = {Proceedings of the 11th Symposium on Software Performance (SSP)},
  title = {Catching Up with State of the Art Continuous Integration Pipelines in Palladio - An Experience Report},
  year = {2020},
  pages = {52-54},
  pdf = {https://pi.informatik.uni-siegen.de/stt/40_3/01_Fachgruppenberichte/SSP2019/SSP2020_Seifermann.pdf}
}

@inproceedings{Heinrich2020ISOLA,
  author = {Bures, Tomas and Hnetynka, Petr and Heinrich, Robert and Seifermann, Stephan and Walter, Maximilian},
  title = {Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns},
  booktitle = {ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles},
  publisher = {Springer International Publishing},
  doi = {10.1007/978-3-030-61470-6_18},
  pages = {295--310},
  isbn = {978-3-030-61470-6},
  year = {2020},
  pdf = {http://sdqweb.ipd.kit.edu/publications/pdfs/Heinrich2020ISOLA.pdf}
}

@inproceedings{hahner2021b,
  place = {Virtual},
  title = {Modeling Data Flow Constraints for Design-Time Confidentiality Analyses},
  isbn = {978-0-7381-3356-0},
  doi = {10.1109/ICSA-C52384.2021.00009},
  booktitle = {2021 IEEE International Conference on Software Architecture Companion (ICSA-C)},
  publisher = {IEEE},
  author = {Hahner, Sebastian and Seifermann, Stephan and Heinrich, Robert and Walter, Maximilian and Bures, Tomas and Hnetynka, Petr},
  year = {2021},
  pages = {15-21},
  pdf = {https://sdqweb.ipd.kit.edu/publications/pdfs/hahner2021b.pdf}
}

@inproceedings{seifermann2021a,
  author = {Seifermann, Stephan and Werle, Dominik and Heinrich, Robert and Reussner, Ralf},
  title = {A Unified Model to Detect Information Flow and Access Control Violations in Software Architectures},
  booktitle = {Proceedings of the 18th International Conference on Security and Cryptography (SECRYPT 2021)},
  year = {2021},
  pages = {26-37},
  publisher = {ScitePress},
  doi = {10.5220/0010515300260037}
}

@inproceedings{pilipchuk2021b,
  author = {Pilipchuk, Roman and Seifermann, Stephan and Heinrich, Robert and Reussner, Ralf},
  title = {Challenges in Aligning Enterprise Application Architectures to Business Process Access Control Requirements in Evolutional Changes},
  booktitle = {Proceedings of the 18th International Conference on e-Business (ICE-B 2021)},
  year = {2021},
  pages = {13-24},
  publisher = {ScitePress},
  doi = {10.5220/0010511800130024}
}

@inproceedings{seifermann2021b,
  title = {Aspect-Oriented Adaptation of Access Control Rules},
  author = {Bures, Tomas and Gerostathopoulos, Ilias and Hnetynka, Petr and Seifermann, Stephan and Walter, Maximilian and Heinrich, Robert},
  booktitle = {2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)},
  publisher = {IEEE},
  note = {accepted, to appear},
  year = {2021}
}