Brahim Hamid

Orcid: 0000-0002-2199-3916

According to our database1, Brahim Hamid authored at least 73 papers between 1999 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Specification and Verification of Communication Paradigms for CBSE in Event B.
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023

Formal model-based argument patterns for security cases.
Proceedings of the 28th European Conference on Pattern Languages of Programs, 2023

2022
Software Design Trends Supporting Multiconcern Assurance.
IEEE Softw., 2022

Towards logical specification of adversarial examples in machine learning.
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

Reusable Formal Models for Threat Specification, Detection, and Treatment.
Proceedings of the Reuse in Emerging Software Engineering Practices, 2020

2019
Distributed Maintenance of a Spanning Tree of k-Connected Graphs.
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

A Formal Methods Approach to Security Requirements Specification and Verification.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018
Engineering secure systems: Models, patterns and empirical validation.
Comput. Secur., 2018

Formalizing Reusable Communication Models for Distributed Systems Architecture.
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

Two safety patterns: Safety Assertion and Safety Assertion Enforcer.
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

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Towards the integration of security patterns in UML component-based applications.
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

Towards a Methodological Tool Support for Modeling Security-Oriented Processes.
Proceedings of the Model and Data Engineering - 6th International Conference, 2016

A Model Repository Description Language - MRDL.
Proceedings of the Software Reuse: Bridging with Social-Awareness, 2016

Guiding the Selection of Security Patterns for Real-Time Systems.
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

Security Concepts as Add-On for Process Models.
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

A pattern for network functions virtualization.
Proceedings of the 20th European Conference on Pattern Languages of Programs, 2015

2014
A Model-Driven Methodology Approach for Developing a Repository of Models.
Proceedings of the Model and Data Engineering - 4th International Conference, 2014

A Modeling and Formal Approach for the Precise Specification of Security Patterns.
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

How to Analyze Modeling Approach Comparison Criteria.
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

A model-based repository of security and dependability patterns for trusted RCES.
Proceedings of the IEEE 14th International Conference on Information Reuse & Integration, 2013

Model-Based Specification and Validation of Security and Dependability Patterns.
Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

Split of composite components for distributed applications.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

Process and tool support for design patterns with safety requirements.
Proceedings of the 18th European Conference on Pattern Languages of Program, 2013

Towards tool support for pattern-based secure and dependable systems development.
Proceedings of the workshop on ACadeMics Tooling with Eclipse, 2013

2012
An MDE-Based Approach for Reconfigurable DRE Systems.
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

A Middleware for Reconfigurable Distributed Real-Time Embedded Systems.
Proceedings of the Software Engineering Research, 2012

Design-Time Verification of Reconfigurable Real-time Embedded Systems.
Proceedings of the 14th IEEE International Conference on High Performance Computing and Communication & 9th IEEE International Conference on Embedded Software and Systems, 2012

A methodology for integration of patterns with validation purpose.
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
First Experiment on Modeling Safety LifeCycle Process in Railway Systems.
Int. J. Dependable Trust. Inf. Syst., 2011

Towards variability support for security and dependability patterns: a case study.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Towards a Better Integration of Patterns in Secure Component-Based Systems Design.
Proceedings of the Computational Science and Its Applications - ICCSA 2011, 2011

Towards a Unified Meta-model for Resources-Constrained Embedded Systems.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Towards a Model-Based Approach for Reconfigurable DRE Systems.
Proceedings of the Software Architecture - 5th European Conference, 2011

2010
Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems.
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

Model-based engineering for dynamic reconfiguration in DRTES.
Proceedings of the Software Architecture, 4th European Conference, 2010

2008
Designing Fault-Tolerant Component Based Applications with a Model Driven Approach.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2008

A Fault-tolerance Framework for Distributed Component Systems.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

2007
A Self-stabilizing Distributed Algorithm for Resolving Conflicts.
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007

Distributed Local 2-Connectivity Test of Graphs and Applications.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

2006
A Local Enumeration Protocol in Spite of Corrupted Data.
J. Comput., 2006

A Local Self-stabilizing Enumeration Algorithm.
Proceedings of the Distributed Applications and Interoperable Systems, 2006

2005
The Poster Session of SSS 2005
CoRR, 2005

An Automatic Approach to Self-Stabilization.
Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

A Formal Model for Fault-Tolerance in Distributed Systems.
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

Visualization of Self-Stabilizing Distributed Algorithms.
Proceedings of the 9th International Conference on Information Visualisation, 2005

1999
Solving Geometric Constraints by a Graph-Constructive Approach.
Proceedings of the International Conference on Information Visualisation, 1999


  Loading...