BHBrahim Hamid
Brahim Hamid
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
Brahim Hamid has a total of 125 co-authors. Here are the top co-authors by number of shared publications:
- Jason Jaskolka
Carleton University
16 shared publications Jean-Michel Bruel
8 shared publicationsAdel Ziani
IRIT - University of Toulouse, 118 Route de Narbonne, 31062 Toulouse Cedex 9, France
7 shared publicationsBechir Zalila
ReDCAD, National Engineering School of Sfax, University of Sfax Tunisia
5 shared publicationsFatma Krichen
5 shared publicationsJacob Geisel
5 shared publications
Latest Publications
- 29 September 2026
- Published by Springer Nature
- p. 103-116
A Model-Based Decision-Making Support Framework for Security Architecture Design Decisions
- 29 September 2026
- Published by Springer Nature
- p. 103-116
A Model-Based Decision-Making Support Framework for Security Architecture Design Decisions
- 6 September 2026
- Published by Springer Nature in Innovations in Systems and Software Engineering
- Vol. 22 (2) , 35
Towards formal security analysis of deep neural network architectures
- 6 September 2026
- Published by Springer Nature in Innovations in Systems and Software Engineering
- Vol. 22 (2) , 35
Towards formal security analysis of deep neural network architectures
- 17 April 2025
- Published by Springer Nature
- p. 143-158
A Formal Approach for Verifying and Validating Security Objectives in Software Architecture
- 17 April 2025
- Published by Springer Nature
- p. 143-158
A Formal Approach for Verifying and Validating Security Objectives in Software Architecture
- 17 April 2025
- Published by Springer Nature
- p. 97-112
Formal Security Analysis of Deep Neural Network Architecture
- 17 April 2025
- Published by Springer Nature
- p. 97-112
Formal Security Analysis of Deep Neural Network Architecture
- 9 April 2025
- Published by Springer Nature
- p. 55-63
Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B
- 9 April 2025
- Published by Springer Nature
- p. 55-63
Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B
- 9 April 2025
- Published by Springer Nature
- p. 82-90
A Tool Support Methodology for Creating Security Cases Using Argument Patterns
- 9 April 2025
- Published by Springer Nature
- p. 82-90
A Tool Support Methodology for Creating Security Cases Using Argument Patterns
- 13 March 2025
- Published by Springer Nature
- p. 1-13
Work in Progress: Considering Human Factors in Collaborative Decision Making for Secure Architecture Design
- 13 March 2025
- Published by Springer Nature
- p. 1-13
Work in Progress: Considering Human Factors in Collaborative Decision Making for Secure Architecture Design
- 1 February 2025
- Published by Springer Nature in Soft Computing
- Vol. 29 (4) , 2189-2214
Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games
- 1 February 2025
- Published by Springer Nature in Soft Computing
- Vol. 29 (4) , 2189-2214
Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games
- 18 January 2025
- Published by Elsevier in Ad Hoc Networks
- Vol. 170
Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations
- 18 January 2025
- Published by Elsevier in Ad Hoc Networks
- Vol. 170
Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations