| 2024 | MEDI | Reusable Formal Model Libraries for Specifying and Analyzing Security Objectives in Event-B. | Loc Thierry, Brahim Hamid, Jason Jaskolka |
| 2024 | MEDI | A Tool Support Methodology for Creating Security Cases Using Argument Patterns. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2024 | VECoS | A Formal Approach for Verifying and Validating Security Objectives in Software Architecture. | Loc Thierry, Brahim Hamid, Jason Jaskolka |
| 2024 | VECoS | Formal Security Analysis of Deep Neural Network Architecture. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2023 | EuroPLop | Formal model-based argument patterns for security cases. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2023 | ICECCS | Specification and Verification of Communication Paradigms for CBSE in Event B. | Loc Thierry, Jason Jaskolka, Brahim Hamid, Jean-Paul Bodeveix |
| 2023 | ICSA | Formalizing the Relationship between Security Policies and Objectives in Software Architectures. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Jason Jaskolka |
| 2023 | SAFECOMP | Analyzing Origins of Safety and Security Interactions Using Feared Events Trees and Multi-level Model. | Megha Quamara, Christina Kolb, Brahim Hamid |
| 2023 | SAFECOMP | Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2022 | DASC | Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2022 | EDCC | Formal Analysis Approach for Multi-layered System Safety and Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2022 | TrustCom | Towards logical specification of adversarial examples in machine learning. | Marwa Zeroual, Brahim Hamid, Morayo Adedjouma, Jason Jaskolka |
| 2021 | EuroPLop | A Security Property Decomposition Argument Pattern for Structured Assurance Case Models. | Jason Jaskolka, Alvi Jawad, Joe Samuel, Brahim Hamid |
| 2021 | MODELS | Multi-layered Model-based Design Approach towards System Safety and Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2021 | QRS | Introducing a Multi-layered Model-based Design Approach towards Safety-Security Co-engineering. | Megha Quamara, Gabriel Pedroza, Brahim Hamid |
| 2020 | ICSR | Reusable Formal Models for Threat Specification, Detection, and Treatment. | Quentin Rouland, Brahim Hamid, Jason Jaskolka |
| 2019 | ICECCS | A Formal Methods Approach to Security Requirements Specification and Verification. | Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix, Mamoun Filali |
| 2019 | PRDC | Distributed Maintenance of a Spanning Tree of k-Connected Graphs. | Brahim Hamid, Quentin Rouland, Jason Jaskolka |
| 2018 | MEDI | Formalizing Reusable Communication Models for Distributed Systems Architecture. | Quentin Rouland, Brahim Hamid, Jason Jaskolka |
| 2017 | EuroPLop | Two safety patterns: Safety Assertion and Safety Assertion Enforcer. | Eduardo B. Fernndez, Brahim Hamid |
| 2017 | MEDI | Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering. | Brahim Hamid |
| 2016 | ICECCS | Guiding the Selection of Security Patterns for Real-Time Systems. | Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel |
| 2016 | ICSR | A Model Repository Description Language - MRDL. | Brahim Hamid |
| 2016 | MEDI | Towards a Methodological Tool Support for Modeling Security-Oriented Processes. | Jacob Geisel, Brahim Hamid, David Gonzlez, Jean-Michel Bruel |
| 2016 | MODELS | Towards the integration of security patterns in UML component-based applications. | Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel |
| 2016 | SAFECOMP | Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study. | Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel |
| 2015 | EuroPLop | A pattern for network functions virtualization. | Eduardo B. Fernndez, Brahim Hamid |
| 2015 | EuroPLop | Guiding the selection of security patterns based on security requirements and pattern classification. | Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel |
| 2015 | ICECCS | Security Concepts as Add-On for Process Models. | Jacob Geisel, Brahim Hamid, Jean-Michel Bruel |
| 2015 | TrustCom | Interplay of Security&Dependability and Resource Using Model-Driven and Pattern-Based Development. | Brahim Hamid |
| 2014 | MEDI | A Model-Driven Methodology Approach for Developing a Repository of Models. | Brahim Hamid |
| 2013 | ECOOP | Towards tool support for pattern-based secure and dependable systems development. | Brahim Hamid, Adel Ziani, Jacob Geisel |
| 2013 | EuroPLop | Process and tool support for design patterns with safety requirements. | Ansgar Radermacher, Brahim Hamid, Manel Fredj, Jean-Louis Profizi |
| 2013 | FDL | Split of composite components for distributed applications. | Ansgar Radermacher, Arnaud Cuccuru, Sebastien Gerard, Brahim Hamid |
| 2013 | IRI | A model-based repository of security and dependability patterns for trusted RCES. | Adel Ziani, Brahim Hamid, Jacob Geisel, Jean-Michel Bruel |
| 2013 | MODELS | How to Analyze Modeling Approach Comparison Criteria. | Frdric Mayart, Jean-Michel Bruel, Brahim Hamid |
| 2013 | SERA | Repository-Centric Process Modeling - Example of a Pattern Based Development Process. | Jacob Geisel, Brahim Hamid, Jean-Michel Bruel |
| 2012 | EuroPLop | A methodology for integration of patterns with validation purpose. | Brahim Hamid, Christian Percebois, Damien Gouteux |
| 2012 | HPCC | Design-Time Verification of Reconfigurable Real-time Embedded Systems. | Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel |
| 2012 | WETICE | An MDE-Based Approach for Reconfigurable DRE Systems. | Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila |
| 2012 | SERA | A Middleware for Reconfigurable Distributed Real-Time Embedded Systems. | Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid |
| 2011 | ECSA | Towards a Model-Based Approach for Reconfigurable DRE Systems. | Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel |
| 2011 | ICCSA | Towards a Better Integration of Patterns in Secure Component-Based Systems Design. | Rahma Bouaziz, Brahim Hamid, Nicolas Desnos |
| 2011 | MODELS | Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. | Brahim Hamid, Sigrid Grgens, Christophe Jouvray, Nicolas Desnos |
| 2011 | SPLC | Towards variability support for security and dependability patterns: a case study. | Salvador Trujillo, Iaki Alonso, Brahim Hamid, David Gonzlez, Manuel Blanco, Huaxi (Yulin) Zhang |
| 2010 | ECSA | Model-based engineering for dynamic reconfiguration in DRTES. | Brahim Hamid, Fatma Krichen |
| 2010 | EUC | An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES. | Brahim Hamid, Adel Ziani |
| 2008 | SEAA | A Fault-tolerance Framework for Distributed Component Systems. | Brahim Hamid, Ansgar Radermacher, Patrick Vanuxeem, Agnes Lanusse, Sebastien Gerard |
| 2007 | ISPA | Distributed Local 2-Connectivity Test of Graphs and Applications. | Brahim Hamid, Bertrand Le Sac, Mohamed Mosbah |
| 2006 | DAIS | A Local Self-stabilizing Enumeration Algorithm. | Brahim Hamid, Mohamed Mosbah |
| 2005 | IV | Visualization of Self-Stabilizing Distributed Algorithms. | Brahim Hamid, Mohamed Mosbah |
| 2005 | SNPD | An Automatic Approach to Self-Stabilization. | Brahim Hamid, Mohamed Mosbah |
| 2005 | SAFECOMP | A Formal Model for Fault-Tolerance in Distributed Systems. | Brahim Hamid, Mohamed Mosbah |
| 1999 | IV | Solving Geometric Constraints by a Graph-Constructive Approach. | Samy Ait-Aoudia, Brahim Hamid, Adel Moussaoui, Toufik Saadi |