Follow
Stephan Seifermann
Stephan Seifermann
Verified email at kit.edu
Title
Cited by
Cited by
Year
Data-Driven Software Architecture for Analyzing Confidentiality
S Seifermann, R Heinrich, R Reussner
2019 IEEE International Conference on Software Architecture (ICSA), 1-10, 2019
522019
Detecting violations of access control and information flow policies in data flow diagrams
S Seifermann, R Heinrich, D Werle, R Reussner
Journal of Systems and Software 184, 111138, 2022
452022
Change-driven consistency for component code, architectural models, and contracts
ME Kramer, M Langhammer, D Messinger, S Seifermann, E Burger
Proceedings of the 18th international acm sigsoft symposium on component …, 2015
332015
Modeling Data Flow Constraints for Design-Time Confidentiality Analyses
S Hahner, S Seifermann, R Heinrich, M Walter, T Bureš, P Hnětynka
2021 IEEE 18th International Conference on Software Architecture Companion …, 2021
282021
A Unified Model to Detect Information Flow and Access Control Violations in Software Architectures
S Seifermann, R Heinrich, D Werle, R Reussner
SECRYPT 21, 26-37, 2021
172021
Dynamic security rules for legacy systems
R Al-Ali, P Hnetynka, J Havlik, V Krivka, R Heinrich, S Seifermann, ...
Proceedings of the 13th European Conference on Software Architecture-Volume …, 2019
172019
Modeling of dynamic trust contracts for industry 4.0 systems
R Al-Ali, R Heinrich, P Hnetynka, A Juan-Verdejo, S Seifermann, M Walter
Proceedings of the 12th European Conference on Software Architecture …, 2018
172018
Architectural data flow analysis
S Seifermann
2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA), 270-271, 2016
162016
Survey on textual notations for the Unified Modeling Language
S Seifermann, H Groenda
2016 4th International Conference on Model-Driven Engineering and Software …, 2016
162016
Capturing dynamicity and uncertainty in security and trust via situational patterns
T Bures, P Hnetynka, R Heinrich, S Seifermann, M Walter
International Symposium on Leveraging Applications of Formal Methods, 295-310, 2020
132020
Challenges in secure software evolution-the role of software architecture
S Seifermann, E Taspolatoglu, R Heinrich, R Reussner
3rd Collaborative Workshop on Evolution and Maintenance of Long-Living …, 2016
112016
Aligning Business Process Access Control Policies with Enterprise Architecture
R Pilipchuk, S Seifermann, R Heinrich
Proceedings of the Central European Cybersecurity Conference 2018, 1-4, 2018
102018
Realizing change-driven consistency for component code, architectural models, and contracts in vitruvius
ME Kramer, M Langhammer, D Messinger, S Seifermann, E Burger
KIT, Fakultät für Informatik, 2015
82015
UML4ALL Syntax–A Textual Notation for UML Diagrams
C Loitsch, K Müller, S Seifermann, J Henß, S Krach, G Jaworek, ...
International Conference on Computers Helping People with Special Needs, 598-605, 2018
72018
Guidelines for accessible textual UML modeling notations
V Petrausch, S Seifermann, K Müller
International Conference on Computers Helping People with Special Needs, 67-74, 2016
72016
Data Stream Operations as First-Class Entities in Component-Based Performance Models
D Werle, S Seifermann, A Koziolek
European Conference on Software Architecture, 148-164, 2020
62020
Use cases in dataflow-based privacy and trust modeling and analysis in industry 4.0 systems
R Al-Ali, T Bures, BO Hartmann, J Havlik, R Heinrich, P Hnetynka, ...
KIT, 2018
62018
Defining a Security-Oriented Evolution Scenario for the CoCoME Case Study
R Pilipchuk, S Seifermann, E Taspolatoglu
EMLS 17, 60-77, 2017
52017
Identifying confidentiality violations in architectural design using palladio
S Seifermann, M Walter, S Hahner, R Heinrich, R Reussner, R Heinrich
15th European Conference on Software Architecture-Companion, ECSA-C 2021 …, 2021
42021
Mapping Data Flow Models to the Palladio Component Model
S Seifermann, D Werle, M Ebada
Softwaretechnik-Trends, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20