Publications of Stephan Seifermann

A list of my publications is available below as well as on

Bibliography


Book Chapters
Case Studies for the Community
Bougouffa, S.; Busch, K.; Heinrich, R.; Hoorn, A. van; Konersmann, M.; Seifermann, S.; Taşpolatoğlu, E.; Ocker, F.; Vargas, C.; Fahimipirehgalin, M.; Reussner, R.; Vogel-Heuser, B.
2019. Managed Software Evolution. Ed.: R. Reussner, 335–374, Springer International Publishing. doi:10.1007/978-3-030-13499-0_12
Survey on the Applicability of Textual Notations for the Unified Modeling Language
Seifermann, S.; Groenda, H.
2017. Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers. Ed.: S. Hammoudi, 3–24, Springer International Publishing. doi:10.1007/978-3-319-66302-9_1Full textFull text of the publication as PDF document
Journal Articles
Detecting Violations of Access Control and Information Flow Policies in Data Flow Diagrams
Seifermann, S.; Heinrich, R.; Werle, D.; Reussner, R.
2022. The journal of systems and software, 184, Art.-Nr. 111138. doi:10.1016/j.jss.2021.111138Full textFull text of the publication as PDF document
UML4ALL: Gemeinsam in Diversity Teams Software modellieren – Für Menschen mit und ohne Seheinschränkung
Müller, K.; Petrausch, V.; Jaworek, G.; Henß, J.; Seifermann, S.; Loitsch, C.; Stiefelhagen, R.
2017. Informatik-Spektrum, 40 (6), 562–572. doi:10.1007/s00287-017-1073-yFull textFull text of the publication as PDF document
Conference Papers
Attuning Adaptation Rules via a Rule-Specific Neural Network
Bureš, T.; Hnětynka, P.; Kruliš, M.; Plášil, F.; Khalyeyev, D.; Hahner, S.; Seifermann, S.; Walter, M.; Heinrich, R.
2022. Leveraging Applications of Formal Methods, Verification and Validation. Proceedings. Vol. 3. Ed.: T. Margaria, 215–230, Springer Nature Switzerland AG. doi:10.1007/978-3-031-19759-8_14
Accurate Performance Predictions with Component-Based Models of Data Streaming Applications
Werle, D.; Seifermann, S.; Koziolek, A.
2022. Software Architecture – 16th European Conference, ECSA 2022, Prague, Czech Republic, September 19–23, 2022, Proceedings. Ed.: I. Gerostathopoulos, 83–98, Springer International Publishing. doi:10.1007/978-3-031-16697-6_6
Architectural Optimization for Confidentiality Under Structural Uncertainty
Walter, M.; Hahner, S.; Seifermann, S.; Bures, T.; Hnetynka, P.; Pacovský, J.; Heinrich, R.
2022. Software Architecture : 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021 : Revised Selected Papers. Ed.: P. Scandurra, 309–332, Springer Nature Switzerland AG. doi:10.1007/978-3-031-15116-3_14
Aspect-Oriented Adaptation of Access Control Rules
Bures, T.; Gerostathopoulos, I.; Hnetynka, P.; Seifermann, S.; Walter, M.; Heinrich, R.
2021. 2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 363–370, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/SEAA53835.2021.00054Full textFull text of the publication as PDF document
Identifying confidentiality violations in architectural design using palladio
Seifermann, S.; Walter, M.; Hahner, S.; Heinrich, R.; Reussner, R.
2021. W. D. W. D. Heinrich R. Mirandola R. (Ed.), 15th European Conference on Software Architecture - Companion, ECSA-C 2021, Virtual, Online, 13 September 2021 through 17 September 2021. Ed.: R. Heinrich, Code 172547, CEUR-WS.org Full textFull text of the publication as PDF document
Challenges in aligning enterprise application architectures to business process access control requirements in evolutional changes
Pilipchuk, R.; Seifermann, S.; Heinrich, R.; Reussner, R.
2021. Proceedings of the 18th International Conference on e-Business, ICE-B 2021, Virtual, Online, 7 July 2021 - 9 July 2021, 13–24, SciTePress. doi:10.5220/0010511800130024Full textFull text of the publication as PDF document
A unified model to detect information flow and access control violations in software architectures
Seifermann, S.; Heinrich, R.; Werle, D.; Reussner, R.
2021. Proceedings of the 18th International Conference on Security and Cryptography, SECRYPT 2021, Virtual, Online, 6 July 2021 - 8 July 2021, 26–37, SciTePress. doi:10.5220/0010515300260037Full textFull text of the publication as PDF document
Modeling Data Flow Constraints for Design-Time Confidentiality Analyses
Hahner, S.; Seifermann, S.; Heinrich, R.; Walter, M.; Bures, T.; Hnetynka, P.
2021. Proceedings IEEE 18th International Conference on Software Architecture - Companion: ICSA-C 2021 ; 22 - 26 March 2021 ; virtual conference, 15–21, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C52384.2021.00009Full textFull text of the publication as PDF document
A Taxonomy of Dynamic Changes Affecting Confidentiality
Walter, M.; Seifermann, S.; Heinrich, R.
2020. 11th Workshop Design For Future – Langlebige Softwaresysteme Full textFull text of the publication as PDF document
Datenzentrische Softwarearchitekturen zur Analyse von Vertraulichkeit
Seifermann, S.; Heinrich, R.; Reussner, R. H.
2020. Software Engineering 2020 : Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria. Hrsg.: M. Felderer, 47–48, Gesellschaft für Informatik (GI). doi:10.18420/SE2020_11Full textFull text of the publication as PDF document
Capturing Dynamicity and Uncertainty in Security and Trust via Situational Patterns
Bures, T.; Hnetynka, P.; Heinrich, R.; Seifermann, S.; Walter, M.
2020. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II. T. Margaria, 295–310, Springer Verlag. doi:10.1007/978-3-030-61470-6_18Full textFull text of the publication as PDF document
Data stream operations as first-class entities in component-based performance models
Werle, D.; Seifermann, S.; Koziolek, A.
2020. Software Architecture: 14th European Conference, ECSA 2020, L’Aquila, Italy, September 14–18, 2020, Proceedings. Ed.: A. Jansen, 148–164, Springer. doi:10.1007/978-3-030-58923-3_10Full textFull text of the publication as PDF document
Evolving a use case for industry 4.0 environments towards integration of physical access control
Seifermann, S.; Walter, M.
2019. Workshops of the Software Engineering Conference, Stuttgart, February 18-22, 2019. Ed.: M. Konersmann, 106–108, RWTH Aachen Full textFull text of the publication as PDF document
Dynamic security rules for legacy systems
Al-Ali, R.; Hnetynka, P.; Havlik, J.; Krivka, V.; Heinrich, R.; Seifermann, S.; Walter, M.; Juan-Verdejo, A.
2019. Proceedings of the 13th European Conference on Software Architecture - ECSA ’19. Vol. 2, 277–284, ACM Digital Library. doi:10.1145/3344948.3344974Full textFull text of the publication as PDF document
Data-driven software architecture for analyzing confidentiality
Seifermann, S.; Heinrich, R.; Reussner, R.
2019. 2019 IEEE International Conference on Software Architecture (ICSA 2019), Hamburg, 25.-29. März 2019, Art. Nr.: 8703910, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA.2019.00009Full textFull text of the publication as PDF document
Aligning Business Process Access Control Policies with Enterprise Architecture
Pilipchuk, R.; Seifermann, S.; Heinrich, R.
2018. Proceedings of the Central European Cybersecurity Conference 2018 (CECC 2018), Ljubljana, SLO, November 15-16, 2018, Article no 17, Association for Computing Machinery (ACM). doi:10.1145/3277570.3277588Full textFull text of the publication as PDF document
Modeling of dynamic trust contracts for industry 4.0 systems
Al-Ali, R.; Heinrich, R.; Hnetynka, P.; Juan-Verdejo, A.; Seifermann, S.; Walter, M.
2018. Proceedings of the 12th European Conference on Software Architecture: Companion Proceedings (ECSA 2018), Madrid, E, September 24-28, 2018, 45:1–45:4, Association for Computing Machinery (ACM). doi:10.1145/3241403.3241450Full textFull text of the publication as PDF document
UML4ALL syntax – A textual notation for UML diagrams
Loitsch, C.; Müller, K.; Seifermann, S.; Henß, J.; Krach, S.; Jaworek, G.; Stiefelhagen, R.
2018. 16th International Conference on Computers Helping People with Special Needs, ICCHP 2018; Linz; Austria; 11 July 2018 through 13 July 2018, 598–605, Springer. doi:10.1007/978-3-319-94277-3_93
Comparison of QVT-O and Henshin-TGG for Synchronization of Concrete Syntax Models
Seifermann, S.; Henß, J.
2017. R. Eramo & M. Johnson (Eds.), Proceedings of the 6th International Workshop on Bidirectional Transformations co-located with The European Joint Conferences on Theory and Practice of Software, BX@ETAPS 2017, etaps.jpg Uppsala, Sweden, 29th April 2017, 6–14, RWTH Aachen Full textFull text of the publication as PDF document
Defining a Security-Oriented Evolution Scenario for the CoCoME Case Study
Pilipchuk, R.; Seifermann, S.; Taspolatoglu, E.
2017. 4nd Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS’17), Hannover, 21. Februar 2017, 70–73, Universität Duisburg-Essen Full textFull text of the publication as PDF document
Survey on Textual Notations for the Unified Modeling Language
Seifermann, S.; Groenda, H.
2016. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, 28–39, SCITEPRESS - Science and and Technology Publications. doi:10.5220/0005644900280039Full textFull text of the publication as PDF document
Architectural Data Flow Analysis
Seifermann, S.
2016. 13th Working IEEE/IFIP Conference on Software Architecture, WICSA 2016, Venice, I, April 5-8, 2016, 270–271, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/WICSA.2016.49Full textFull text of the publication as PDF document
Guidelines for accessible textual UML modeling notations
Petrausch, V.; Seifermann, S.; Müller, K.
2016. 15th International Conference on Computers Helping People with Special Needs, ICCHP 2016, Linz, Austria, 13 - 15 July, 2016, 67–74, Springer. doi:10.1007/978-3-319-41264-1_9
Change-Driven Consistency for Component Code, Architectural Models, and Contracts
Kramer, M. E.; Langhammer, M.; Messinger, D.; Seifermann, S.; Burger, E.
2015. Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE’15), Montreal, QC, Canada, May 04 - 08, 2015, 21–26, Association for Computing Machinery (ACM). doi:10.1145/2737166.2737177Full textFull text of the publication as PDF document
The Cooperate Assistive Teamwork Environment for Software Description Languages
Groenda, H.; Seifermann, S.; Müller, K.; Jaworek, G.
2015. Proceedings of the 13th European conference of the Association for the Advancement of Assistive Technology in Europe (AAATE 2015), Budapest; Hungary; 9 September 2015 through 12 September 2015. Ed.: C. Sik-Lányi, 111–118, IOS Press. doi:10.3233/978-1-61499-566-1-111Full textFull text of the publication as PDF document
Towards Collaboration on Accessible UML Models
Seifermann, S.; Groenda, H.
2015. Mensch und Computer 2015 - Workshopband. Hrsg.: A. Weisbecker, 411–417, Oldenbourg Verlag Full textFull text of the publication as PDF document
Reports/Preprints
Use Cases in Dataflow-Based Privacy and Trust Modeling and Analysis in Industry 4.0 Systems
Al-Ali, R.; Bures, T.; Hartmann, B.-O.; Havlik, J.; Heinrich, R.; Hnetynka, P.; Juan-Verdejo, A.; Parizek, P.; Seifermann, S.; Walter, M.
2018. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000085169Full textFull text of the publication as PDF document
Realizing Change-Driven Consistency for Component Code, Architectural Models, and Contracts in Vitruvius
Kramer, M. E.; Langhammer, M.; Messinger, D.; Seifermann, S.; Burger, E.
2015. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000045654Full textFull text of the publication as PDF document
Posters
Change-Driven Multi-View Consistency for Component Models, Code, and Contracts
Kramer, M. E.; Langhammer, M.; Messinger, D.; Seifermann, S.; Burger, E.
2015. Poster at the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 04. - 08.05.2014, Montréal, QC, Canada

Publications at Symposium on Software Performance


Towards Language-Agnostic Reuse of Palladio Quality Analyses
Reimann, M.; Seifermann, S.; Walter, M.; Heinrich, R.; Bures, T.; Hnetynka, P.
2020. Softwaretechnik-Trends, 40 (3), 46–48 Full textFull text of the publication as PDF document
Data Stream Operations as First-Class Entities in Palladio
Werle, D.; Seifermann, S.; Koziolek, A.
2019. Softwaretechnik-Trends, 39 (4), 47–49 Full textFull text of the publication as PDF document
Mapping Data Flow Models to the Palladio Component Model
Seifermann, S.; Werle, D.; Ebada, M.
2019. Softwaretechnik-Trends, 39 (4), 41–43 Full textFull text of the publication as PDF document
Challenges in Secure Software Evolution - The Role of Software Architecture
Seifermann, S.; Taspolatoglu, E.; Reussner, R. H.; Heinrich, R.
2016. Softwaretechnik-Trends, 36 (1) Full textFull text of the publication as PDF document