Concepedia

Stephan Seifermann

SS

Statistics

Publications

8

Citations

146

H-Index

8

Active since

2015

Affiliations

Karlsruhe Institute of Technology(Current)

Charles University

FZI Research Center for Information Technology

Stephan Seifermann is an author at Karlsruhe Institute of Technology specializing in computer science, engineering, and system software.

Top concepts

EngineeringComputer ScienceSystem SoftwareData SecuritySoftware DesignProgram AnalysisSoftware AnalysisFormal VerificationSoftware EngineeringFormal Methods

Publications per year

2015–2021

8

Publications

8

Detecting violations of access control and information flow policies in data flow diagrams

Stephan Seifermann, Robert Heinrich, Dominik Werle et al. · Journal of Systems and Software · 2021 · 38 citations · Full text

Data-Driven Software Architecture for Analyzing Confidentiality

Stephan Seifermann, Robert Heinrich, Ralf Reussner · 2019 · 25 citations · Full text

Engineering, Information Security, Data-centric Security +23

Change-Driven Consistency for Component Code, Architectural Models, and Contracts

Max Kramer, Michael Langhammer, Dominik Messinger et al. · 2015 · 23 citations · Full text

Software Maintenance, Engineering, Verification +21

Modeling of dynamic trust contracts for industry 4.0 systems

Rima Al-Ali, Robert Heinrich, Petr Hnětynka et al. · 2018 · 14 citations · Full text

Dynamic Trust Contracts, Secure Service, Engineering +24

Dynamic security rules for legacy systems

Rima Al-Ali, Petr Hnětynka, Jiri Havlik et al. · 2019 · 13 citations · Full text

Engineering, Information Security, Data-centric Security +18

1–5 of 8