Concepedia

Brahim Hamid

BH

14

Publications

258

Citations

12

H-Index

2003

Active since

Affiliations

Université Toulouse III - Paul Sabatier(Current)

Université Toulouse - Jean Jaurès

Institut Polytechnique de Bordeaux

Institut de Recherche en Informatique de Toulouse

Université Toulouse-I-Capitole

Brahim Hamid is an author at Université Toulouse III - Paul Sabatier specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringSystems EngineeringComputer ScienceSoftware EngineeringFormal MethodsSoftware DesignSystem SoftwareFormal VerificationSoftware AnalysisComputer Engineering

Publications per year

2003–2021

14

Publications

14

Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support

Quentin Rouland, Brahim Hamid, Jason Jaskolka · Journal of Systems Architecture · 2021 · 44 citations

Software Maintenance, Engineering, Tool Support +17

Security patterns modeling and formalization for pattern-based development of secure software systems

Brahim Hamid, Sigrid Gürgens, Andreas Fuchs · Innovations in Systems and Software Engineering · 2015 · 27 citations · Full text

Engineering, Information Security, Security Patterns +17

Engineering secure systems: Models, patterns and empirical validation

Brahim Hamid, Donatus Weber · Computers & Security · 2018 · 27 citations

Security Modelling, Engineering, Information Security +8

Formal specification and verification of reusable communication models for distributed systems architecture

Quentin Rouland, Brahim Hamid, Jason Jaskolka · Future Generation Computer Systems · 2020 · 21 citations

Formal Specification, Engineering, Formal Modeling +11

Guiding the selection of security patterns based on security requirements and pattern classification

Anas Motii, Brahim Hamid, Agnès Lanusse et al. · 2015 · 20 citations · Full text

Engineering, Information Security, Security Patterns +21

Rows per page

1–5 of 14