Thomas Santen

A comparison of security requirements engineering methods

Benjamin Fabian, Seda Gürses, Maritta Heisel et al. · Requirements Engineering · 2009 · 238 citations

Hardware Security, Software Requirement, Security Modelling +9

VCC: Contract-based modular verification of concurrent C

Markus Dahlweid, Michał Moskal, Thomas Santen et al. · 2009 · 87 citations

Engineering, Hardware Verification Language, Verification +23

Components, platforms and possibilities

Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid et al. · 2010 · 61 citations

Engineering, Software Systems, Computer Architecture +28

Multilateral security requirements analysis for preserving privacy in ubiquitous environments

Seda Gürses, Bettina Berendt, Thomas Santen · Lirias (KU Leuven) · 2006 · 34 citations · Full text

Eliciting confidentiality requirements in practice

Seda Gürses, Jens H. Jahnke, C. Obry et al. · Conference of the Centre for Advanced Studies on Collaborative Research · 2005 · 33 citations

Engineering, Information Security, Confidentiality Requirements Engineering +18