Brahim Hamid
Orcid: 0000-0002-2199-3916
According to our database1,
Brahim Hamid
authored at least 78 papers
between 1999 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
2025
0
1
2
3
4
5
6
7
8
9
2
1
1
1
1
1
1
2
1
1
1
1
2
5
4
3
1
2
1
2
5
4
2
8
7
5
3
2
2
1
4
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification.
J. Syst. Softw., 2025
Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations.
Ad Hoc Networks, 2025
2024
Internet Things, 2024
Interplay of Human Factors and Secure Architecture Design using Model-Driven Engineering.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2024
Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games.
Proceedings of the 50th Euromicro Conference on Software Engineering and Advanced Applications, 2024
2023
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
Formalizing the Relationship between Security Policies and Objectives in Software Architectures.
Proceedings of the 20th International Conference on Software Architecture, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023
2022
Proceedings of the IEEE International Conference on Trust, 2022
Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering.
Proceedings of the Dependable Computing - EDCC 2022 Workshops, 2022
Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling.
Proceedings of the IEEE Intl. Conf. on Dependable, 2022
2021
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support.
J. Syst. Archit., 2021
Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
A Security Property Decomposition Argument Pattern for Structured Assurance Case Models.
Proceedings of the EuroPLoP'21: European Conference on Pattern Languages of Programs 2021, Graz, Austria, July 7, 2021
2020
Formal specification and verification of reusable communication models for distributed systems architecture.
Future Gener. Comput. Syst., 2020
Proceedings of the Reuse in Emerging Software Engineering Practices, 2020
2019
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
2018
Comput. Secur., 2018
Proceedings of the Model and Data Engineering - 8th International Conference, 2018
2017
A model-driven approach for developing a model repository: Methodology and tool support.
Future Gener. Comput. Syst., 2017
Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017
Proceedings of the 22nd European Conference on Pattern Languages of Programs, 2017
2016
Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation.
J. Syst. Softw., 2016
Security patterns modeling and formalization for pattern-based development of secure software systems.
Innov. Syst. Softw. Eng., 2016
Proceedings of the Computer Safety, Reliability, and Security, 2016
Proceedings of the Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, 2016
Proceedings of the Model and Data Engineering - 6th International Conference, 2016
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
2015
Development of reconfigurable distributed embedded systems with a model-driven approach.
Concurr. Comput. Pract. Exp., 2015
Interplay of Security&Dependability and Resource Using Model-Driven and Pattern-Based Development.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
Guiding the selection of security patterns based on security requirements and pattern classification.
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015
2014
Proceedings of the Model and Data Engineering - 4th International Conference, 2014
Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014
2013
Repository-Centric Process Modeling - Example of a Pattern Based Development Process.
Proceedings of the Software Engineering Research, 2013
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns.
Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013
Proceedings of the Fourth International Comparing Modeling Approaches Workshop 2013 co-located with the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems ( MODELS 2013), 2013
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013
Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013
Proceedings of the 2013 Forum on specification and Design Languages, 2013
Proceedings of the 18th European Conference on Pattern Languages of Program, 2013
Proceedings of the workshop on ACadeMics Tooling with Eclipse, 2013
2012
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems.
Proceedings of the Software Quality. Process Automation in Software Development, 2012
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the Software Engineering Research, 2012
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012
Proceedings of the 17th European Conference on Pattern Languages of Programs, 2012
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012
2011
Int. J. Dependable Trust. Inf. Syst., 2011
Proceedings of the Software Product Lines - 15th International Conference, 2011
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011
Proceedings of the Software Architecture - 5th European Conference, 2011
2010
Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010
An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010
Proceedings of the Software Architecture, 4th European Conference, 2010
2008
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008
2007
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007
Proceedings of the Parallel and Distributed Processing and Applications, 2007
2006
Proceedings of the Distributed Applications and Interoperable Systems, 2006
2005
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005
Proceedings of the Computer Safety, 2005
An Implementation of a Failure Detector for Local Computations in Graphs.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2005
Proceedings of the 9th International Conference on Information Visualisation, 2005
1999
Proceedings of the International Conference on Information Visualisation, 1999