Brahim Hamid

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 30

Top Topics

Collaborative Decision Making

Empirical Validation

Security Patterns

Software Systems

Top Venues

SAFECOMP Workshops

Publications

Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka
Formalizing the Relationship between Security Policies and Objectives in Software Architectures. ICSA-C (2023)
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
ormal model-based argument patterns for security cases. EuroPLoP (2023)
Loïc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix
Specification and Verification of Communication Paradigms for CBSE in Event B. ICECCS (2023)
Megha Quamara, Christina Kolb, Brahim Hamid
Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. SAFECOMP Workshops (2023)
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. SAFECOMP Workshops (2023)
Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka
Towards logical specification of adversarial examples in machine learning. TrustCom (2022)
Jason Jaskolka, Brahim Hamid, Sahar Kokaly
Software Design Trends Supporting Multiconcern Assurance. IEEE Softw. 39 (4) (2022)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling. DASC/PiCom/CBDCom/CyberSciTech (2022)
Jason Jaskolka, Brahim Hamid
Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design. ASE (2022)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. EDCC Workshops (2022)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. QRS Companion (2021)
Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid
A Security Property Decomposition Argument Pattern for Structured Assurance Case Models. EuroPLoP (2021)
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. MoDELS (Companion) (2021)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. J. Syst. Archit. 117 (2021)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Reusable Formal Models for Threat Specification, Detection, and Treatment. ICSR (2020)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formal specification and verification of reusable communication models for distributed systems architecture. Future Gener. Comput. Syst. 108 (2020)
Brahim Hamid, Quentin Rouland, Jason Jaskolka
Distributed Maintenance of a Spanning Tree of k-Connected Graphs. PRDC (2019)
Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali
A Formal Methods Approach to Security Requirements Specification and Verification. ICECCS (2019)
Brahim Hamid, Donatus Weber
Engineering secure systems: Models, patterns and empirical validation. Comput. Secur. 77 (2018)
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formalizing Reusable Communication Models for Distributed Systems Architecture. MEDI (2018)
Eduardo B. Fernández, Brahim Hamid
Two safety patterns: Safety Assertion and Safety Assertion Enforcer. EuroPLoP (2017)
Brahim Hamid
A model-driven approach for developing a model repository: Methodology and tool support. Future Gener. Comput. Syst. 68 (2017)
Brahim Hamid
Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering. MEDI (2017)
Brahim Hamid, Jon Pérez
Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation. J. Syst. Softw. 122 (2016)
Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. SAFECOMP Workshops (2016)
Brahim Hamid
A Model Repository Description Language - MRDL. ICSR (2016)
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Towards the integration of security patterns in UML component-based applications. PAME/VOLT@MoDELS (2016)
Jacob Geisel, Brahim Hamid, David González, Jean-Michel Bruel
Towards a Methodological Tool Support for Modeling Security-Oriented Processes. MEDI (2016)
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the Selection of Security Patterns for Real-Time Systems. ICECCS (2016)
Brahim Hamid, Sigrid Gürgens, Andreas Fuchs
Security patterns modeling and formalization for pattern-based development of secure software systems. Innov. Syst. Softw. Eng. 12 (2) (2016)
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the selection of security patterns based on security requirements and pattern classification. EuroPLoP (2015)
Eduardo B. Fernández, Brahim Hamid
A pattern for network functions virtualization. EuroPLoP (2015)
Brahim Hamid
Interplay of Security&Dependability and Resource Using Model-Driven and Pattern-Based Development. TrustCom/BigDataSE/ISPA (1) (2015)
Jacob Geisel, Brahim Hamid, Jean-Michel Bruel
Security Concepts as Add-On for Process Models. ICECCS (2015)
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Bernard Coulette
Development of reconfigurable distributed embedded systems with a model-driven approach. Concurr. Comput. Pract. Exp. 27 (6) (2015)
Brahim Hamid, Christian Percebois
A Modeling and Formal Approach for the Precise Specification of Security Patterns. ESSoS (2014)
Brahim Hamid
A Model-Driven Methodology Approach for Developing a Repository of Models. MEDI (2014)
Brahim Hamid, Adel Ziani, Jacob Geisel
Towards tool support for pattern-based secure and dependable systems development. ACME@ECOOP (2013)
Frédéric Mayart, Jean-Michel Bruel, Brahim Hamid
How to Analyze Modeling Approach Comparison Criteria. CMA@MoDELS (2013)
Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Pérez
Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. SDL Forum (2013)
Jacob Geisel, Brahim Hamid, Jean-Michel Bruel
Repository-Centric Process Modeling - Example of a Pattern Based Development Process. SERA (selected papers) (2013)
Ansgar Radermacher, Brahim Hamid, Manel Fredj, Jean-Louis Profizi
Process and tool support for design patterns with safety requirements. EuroPLoP (2013)
Adel Ziani, Brahim Hamid, Jacob Geisel, Jean-Michel Bruel
A model-based repository of security and dependability patterns for trusted RCES. IRI (2013)
Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, Brahim Hamid
Split of composite components for distributed applications. FDL (2013)
Brahim Hamid, Christian Percebois
Model-Based Specification and Validation of Security and Dependability Patterns. FPS (2013)
Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid
A Middleware for Reconfigurable Distributed Real-Time Embedded Systems. SERA (selected papers) (2012)
Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems. SWQD (2012)
Brahim Hamid, Christian Percebois, Damien Gouteux
A methodology for integration of patterns with validation purpose. EuroPLoP (2012)
Brahim Hamid, Jacob Geisel, Adel Ziani, David González
Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain. SERENE (2012)
Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila
An MDE-Based Approach for Reconfigurable DRE Systems. WETICE (2012)
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Design-Time Verification of Reconfigurable Real-time Embedded Systems. HPCC-ICESS (2012)
Adel Ziani, Brahim Hamid, Jean-Michel Bruel
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design. EUROMICRO-SEAA (2012)
Salvador Trujillo, Iñaki Alonso, Brahim Hamid, David González, Manuel Blanco, Huaxi (Yulin) Zhang
Towards variability support for security and dependability patterns: a case study. SPLC Workshops (2011)
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Towards a Model-Based Approach for Reconfigurable DRE Systems. ECSA (2011)
Rahma Bouaziz, Brahim Hamid, Nicolas Desnos
Towards a Better Integration of Patterns in Secure Component-Based Systems Design. ICCSA (5) (2011)
Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. MoDELS (2011)
Brahim Hamid, Huaxi (Yulin) Zhang, Jacob Geisel, David González
First Experiment on Modeling Safety LifeCycle Process in Railway Systems. Int. J. Dependable Trust. Inf. Syst. 2 (2) (2011)
Adel Ziani, Brahim Hamid, Salvador Trujillo
Towards a Unified Meta-model for Resources-Constrained Embedded Systems. EUROMICRO-SEAA (2011)
Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette
Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems. NOTERE (2010)
Brahim Hamid, Adel Ziani
An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES. EUC (2010)
Brahim Hamid, Fatma Krichen
Model-based engineering for dynamic reconfiguration in DRTES. ECSA Companion Volume (2010)
Brahim Hamid, Ansgar Radermacher, Patrick Vanuxeem, Agnes Lanusse, Sebastien Gerard
A Fault-tolerance Framework for Distributed Component Systems. EUROMICRO-SEAA (2008)
Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, Sébastien Gérard, François Terrier
Designing Fault-Tolerant Component Based Applications with a Model Driven Approach. SEUS (2008)
Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah
Distributed Local 2-Connectivity Test of Graphs and Applications. ISPA (2007)
Brahim Hamid, Mohamed Mosbah, Akka Zemmari
A Self-stabilizing Distributed Algorithm for Resolving Conflicts. OTM Workshops (2) (2007)
Brahim Hamid, Mohamed Mosbah
A Local Enumeration Protocol in Spite of Corrupted Data. J. Comput. 1 (7) (2006)
Brahim Hamid, Mohamed Mosbah
A Local Self-stabilizing Enumeration Algorithm. DAIS (2006)
Brahim Hamid, Ted Herman, Morten Mjelde
The Poster Session of SSS 2005 CoRR (2005)
Brahim Hamid, Mohamed Mosbah
A Formal Model for Fault-Tolerance in Distributed Systems. SAFECOMP (2005)
Brahim Hamid, Mohamed Mosbah
An Automatic Approach to Self-Stabilization. SNPD (2005)
Brahim Hamid, Mohamed Mosbah
Visualization of Self-Stabilizing Distributed Algorithms. IV (2005)
Brahim Hamid, Mohamed Mosbah
An Implementation of a Failure Detector for Local Computations in Graphs. Parallel and Distributed Computing and Networks (2005)
Samy Ait-Aoudia, Brahim Hamid, Adel Moussaoui, Toufik Saadi
Solving Geometric Constraints by a Graph-Constructive Approach. IV (1999)