Brahim Hamid - RankMe

86 papers A* 1A 1B 10C 17Misc 8Journal 16Unranked 32

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