Solving Geometric Constraints by a Graph-Constructive Approach. - Samy Ait-Aoudia; Brahim Hamid; Adel Moussaoui; Toufik Saadi (IV, 1999)

Visualization of Self-Stabilizing Distributed Algorithms. - Brahim Hamid; Mohamed Mosbah 001 (IV, 2005)

An Implementation of a Failure Detector for Local Computations in Graphs. - Brahim Hamid; Mohamed Mosbah 001 (Parallel and Distributed Computing and Networks, 2005)

A Formal Model for Fault-Tolerance in Distributed Systems. - Brahim Hamid; Mohamed Mosbah 001 (SAFECOMP, 2005)

An Automatic Approach to Self-Stabilization. - Brahim Hamid; Mohamed Mosbah 001 (SNPD, 2005)

The Poster Session of SSS 2005 - Brahim Hamid; Ted Herman; Morten Mjelde (CoRR, 2005)

A Local Self-stabilizing Enumeration Algorithm. - Brahim Hamid; Mohamed Mosbah 001 (DAIS, 2006)

A Local Enumeration Protocol in Spite of Corrupted Data. - Brahim Hamid; Mohamed Mosbah 001 (J. Comput., 2006)

Distributed Local 2-Connectivity Test of Graphs and Applications. - Brahim Hamid; Bertrand Le Saëc; Mohamed Mosbah 001 (ISPA, 2007)

A Self-stabilizing Distributed Algorithm for Resolving Conflicts. - Brahim Hamid; Mohamed Mosbah 001; Akka Zemmari (OTM Workshops (2), 2007)

A Fault-tolerance Framework for Distributed Component Systems. - Brahim Hamid; Ansgar Radermacher; Patrick Vanuxeem; Agnes Lanusse; Sebastien Gerard (EUROMICRO-SEAA, 2008)

Designing Fault-Tolerant Component Based Applications with a Model Driven Approach. - Brahim Hamid; Ansgar Radermacher; Agnes Lanusse; Christophe Jouvray; Sébastien Gérard; François Terrier (SEUS, 2008)

Model-based engineering for dynamic reconfiguration in DRTES. - Brahim Hamid; Fatma Krichen (ECSA Companion Volume, 2010)

An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES. - Brahim Hamid; Adel Ziani (EUC, 2010)

Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Bernard Coulette (NOTERE, 2010)

Towards a Model-Based Approach for Reconfigurable DRE Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel (ECSA, 2011)

Towards a Unified Meta-model for Resources-Constrained Embedded Systems. - Adel Ziani; Brahim Hamid; Salvador Trujillo (EUROMICRO-SEAA, 2011)

Towards a Better Integration of Patterns in Secure Component-Based Systems Design. - Rahma Bouaziz 001; Brahim Hamid; Nicolas Desnos (ICCSA (5), 2011)

Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. - Brahim Hamid; Sigrid Gürgens; Christophe Jouvray; Nicolas Desnos (MoDELS, 2011)

Towards variability support for security and dependability patterns: a case study. - Salvador Trujillo; Iñaki Alonso; Brahim Hamid; David González; Manuel Blanco; Huaxi (Yulin) Zhang (SPLC Workshops, 2011)

First Experiment on Modeling Safety LifeCycle Process in Railway Systems. - Brahim Hamid; Huaxi (Yulin) Zhang; Jacob Geisel; David González (Int. J. Dependable Trust. Inf. Syst., 2011)

A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design. - Adel Ziani; Brahim Hamid; Jean-Michel Bruel (EUROMICRO-SEAA, 2012)

A methodology for integration of patterns with validation purpose. - Brahim Hamid; Christian Percebois; Damien Gouteux (EuroPLoP, 2012)

Design-Time Verification of Reconfigurable Real-time Embedded Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel (HPCC-ICESS, 2012)

A Middleware for Reconfigurable Distributed Real-Time Embedded Systems. - Fatma Krichen; Bechir Zalila; Mohamed Jmaiel; Brahim Hamid (SERA (selected papers), 2012)

Safety Lifecycle Development Process Modeling for Embedded Systems - Example of Railway Domain. - Brahim Hamid; Jacob Geisel; Adel Ziani; David González (SERENE, 2012)

Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems. - Nicolas Desnos; Brahim Hamid; Christian Percebois; Damien Gouteux (SWQD, 2012)

An MDE-Based Approach for Reconfigurable DRE Systems. - Fatma Krichen; Amal Ghorbel; Brahim Hamid; Bechir Zalila (WETICE, 2012)

Towards tool support for pattern-based secure and dependable systems development. - Brahim Hamid; Adel Ziani; Jacob Geisel (ACME@ECOOP, 2013)

Process and tool support for design patterns with safety requirements. - Ansgar Radermacher; Brahim Hamid; Manel Fredj; Jean-Louis Profizi (EuroPLoP, 2013)

Split of composite components for distributed applications. - Ansgar Radermacher; Arnaud Cuccuru; Sebastien Gerard; Brahim Hamid (FDL, 2013)

Model-Based Specification and Validation of Security and Dependability Patterns. - Brahim Hamid; Christian Percebois (FPS, 2013)

A model-based repository of security and dependability patterns for trusted RCES. - Adel Ziani; Brahim Hamid; Jacob Geisel; Jean-Michel Bruel (IRI, 2013)

How to Analyze Modeling Approach Comparison Criteria. - Frédéric Mayart; Jean-Michel Bruel; Brahim Hamid (CMA@MoDELS, 2013)

Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns. - Brahim Hamid; Jacob Geisel; Adel Ziani; Jean-Michel Bruel; Jon Pérez 001 (SDL Forum, 2013)

Repository-Centric Process Modeling - Example of a Pattern Based Development Process. - Jacob Geisel; Brahim Hamid; Jean-Michel Bruel (SERA (selected papers), 2013)

A Modeling and Formal Approach for the Precise Specification of Security Patterns. - Brahim Hamid; Christian Percebois (ESSoS, 2014)

A Model-Driven Methodology Approach for Developing a Repository of Models. - Brahim Hamid (MEDI, 2014)

A pattern for network functions virtualization. - Eduardo B. Fernández; Brahim Hamid (EuroPLoP, 2015)

Guiding the selection of security patterns based on security requirements and pattern classification. - Anas Motii; Brahim Hamid; Agnes Lanusse; Jean-Michel Bruel (EuroPLoP, 2015)

Security Concepts as Add-On for Process Models. - Jacob Geisel; Brahim Hamid; Jean-Michel Bruel (ICECCS, 2015)

Interplay of Security&Dependability and Resource Using Model-Driven and Pattern-Based Development. - Brahim Hamid (TrustCom/BigDataSE/ISPA (1), 2015)

Development of reconfigurable distributed embedded systems with a model-driven approach. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel; Bernard Coulette (Concurr. Comput. Pract. Exp., 2015)

Guiding the Selection of Security Patterns for Real-Time Systems. - Anas Motii; Brahim Hamid; Agnes Lanusse; Jean-Michel Bruel (ICECCS, 2016)

A Model Repository Description Language - MRDL. - Brahim Hamid (ICSR, 2016)

Towards a Methodological Tool Support for Modeling Security-Oriented Processes. - Jacob Geisel; Brahim Hamid; David González; Jean-Michel Bruel (MEDI, 2016)

Towards the integration of security patterns in UML component-based applications. - Anas Motii; Brahim Hamid; Agnes Lanusse; Jean-Michel Bruel (PAME/VOLT@MoDELS, 2016)

Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. - Anas Motii; Agnes Lanusse; Brahim Hamid; Jean-Michel Bruel (SAFECOMP Workshops, 2016)

Security patterns modeling and formalization for pattern-based development of secure software systems. - Brahim Hamid; Sigrid Gürgens; Andreas Fuchs 002 (Innov. Syst. Softw. Eng., 2016)

Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation. - Brahim Hamid; Jon Pérez 001 (J. Syst. Softw., 2016)

Two safety patterns: Safety Assertion and Safety Assertion Enforcer. - Eduardo B. Fernández; Brahim Hamid (EuroPLoP, 2017)

Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering. - Brahim Hamid (MEDI, 2017)

A model-driven approach for developing a model repository: Methodology and tool support. - Brahim Hamid (Future Gener. Comput. Syst., 2017)

Formalizing Reusable Communication Models for Distributed Systems Architecture. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (MEDI, 2018)

Engineering secure systems: Models, patterns and empirical validation. - Brahim Hamid; Donatus Weber (Comput. Secur., 2018)

A Formal Methods Approach to Security Requirements Specification and Verification. - Quentin Rouland; Brahim Hamid; Jean-Paul Bodeveix; Mamoun Filali (ICECCS, 2019)

Distributed Maintenance of a Spanning Tree of k-Connected Graphs. - Brahim Hamid; Quentin Rouland; Jason Jaskolka (PRDC, 2019)

Reusable Formal Models for Threat Specification, Detection, and Treatment. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (ICSR, 2020)

Formal specification and verification of reusable communication models for distributed systems architecture. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (Future Gener. Comput. Syst., 2020)

A Security Property Decomposition Argument Pattern for Structured Assurance Case Models. - Jason Jaskolka; Alvi Jawad; Joe Samuel; Brahim Hamid (EuroPLoP, 2021)

Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. - Megha Quamara; Gabriel Pedroza; Brahim Hamid (MoDELS (Companion), 2021)

Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. - Megha Quamara; Gabriel Pedroza; Brahim Hamid (QRS Companion, 2021)

Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (J. Syst. Archit., 2021)

Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling. - Megha Quamara; Gabriel Pedroza; Brahim Hamid (DASC/PiCom/CBDCom/CyberSciTech, 2022)

Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. - Megha Quamara; Gabriel Pedroza; Brahim Hamid (EDCC Workshops, 2022)

Towards the Integration of Human Factors in Collaborative Decision Making for Secure Architecture Design. - Jason Jaskolka; Brahim Hamid (ASE, 2022)

Work in Progress: Considering Human Factors in Collaborative Decision Making for Secure Architecture Design. - Brahim Hamid; Jason Jaskolka (STAST, 2022)

Towards logical specification of adversarial examples in machine learning. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (TrustCom, 2022)

Software Design Trends Supporting Multiconcern Assurance. - Jason Jaskolka; Brahim Hamid; Sahar Kokaly (IEEE Softw., 2022)

Formal model-based argument patterns for security cases. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (EuroPLoP, 2023)

Specification and Verification of Communication Paradigms for CBSE in Event B. - Loïc Thierry; Jason Jaskolka; Brahim Hamid; Jean-Paul Bodeveix (ICECCS, 2023)

Formalizing the Relationship between Security Policies and Objectives in Software Architectures. - Quentin Rouland; Brahim Hamid; Jean-Paul Bodeveix; Jason Jaskolka (ICSA-C, 2023)

Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. - Megha Quamara; Christina Kolb; Brahim Hamid (SAFECOMP Workshops, 2023)

Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (SAFECOMP Workshops, 2023)

Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (SEAA, 2024)

Interplay of Human Factors and Secure Architecture Design using Model-Driven Engineering. - Robin Theveniaut; Brahim Hamid; Jason Jaskolka (ASE Workshops, 2024)

Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B. - Loïc Thierry; Brahim Hamid; Jason Jaskolka (MEDI, 2024)

A Tool Support Methodology for Creating Security Cases Using Argument Patterns. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (MEDI, 2024)

A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. - Loïc Thierry; Brahim Hamid; Jason Jaskolka (VECoS, 2024)

Formal Security Analysis of Deep Neural Network Architecture. - Marwa Zeroual; Brahim Hamid; Morayo Adedjouma; Jason Jaskolka (VECoS, 2024)

Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. - Abdelhakim Baouya; Brahim Hamid; Levent Gürgen; Saddek Bensalem (Internet Things, 2024)

Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (Ad Hoc Networks, 2025)

A model-driven formal methods approach to software architectural security vulnerabilities specification and verification. - Quentin Rouland; Brahim Hamid; Jason Jaskolka (J. Syst. Softw., 2025)

Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games. - Abdelhakim Baouya; Brahim Hamid; Levent Gürgen; Saddek Bensalem (Soft Comput., 2025)