Publications de Brahim HAMID
Fatima Zohra Medjaoui, Azzedine Hamid, Yacine Guettaf, Pierre Spitéri, Vincent Bley
Conception and Manufacturing of a Planar Inductance on NiFe Substrate
Transactions on Electrical and Electronic Materials, 2019, 2 (8), pp.269-279. ⟨10.1007/s42341-019-00105-x⟩
Engineering secure systems: Models, patterns and empirical validation
Computers and Security, 2018, 77, pp.315-348. ⟨10.1016/j.cose.2018.03.016⟩
A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support
Future Generation Computer Systems, 2017, vol. 68, pp. 473-490. ⟨10.1016/j.future.2016.04.018⟩
Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation
Dans : Journal of Systems and Software (JSS), Elsevier, Vol. 122, p. 239-273, novembre 2016.
Brahim Hamid, Sigrid Gürgens, Andreas Fuchs
Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 12 N. 2, p. 109-140, 2016.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Bernard Coulette
Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach
Dans : Concurrency and Computation:Practice and Experience, Wiley, Vol. 27 N. 6, p. 1391-1411, 2015.
Modeling of Secure and Dependable Applications Based on a Repository of Patterns: The SEMCO Approach
Dans : Reliability Digest, IEEE Reliability Society, Numéro spécial Trustworthy Computing and Cybersecurity, Vol. 1 N. 1, p. 9-17, novembre 2014.
Brahim Hamid, Yulin Zhang, Jacob Geisel, David Gonzalez
First Experiment on Modeling Safety LifeCycle Process in Railway Systems
Dans : International Journal of Dependable and Trustworthy Information Systems (IJDTIS), IGI Global, Hershey – USA, Vol. 2 N. 2, p. 17-39, novembre 2011.
Brahim Hamid, Nicolas Desnos, Christophe Jouvray
Vers une Technique de Développement de Patrons de Sécurité et de Fiabilité pour les Systèmes Embarqués Contraints en Ressources
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, p. 53-58, mai 2011.
Rahma Bouaziz, Brahim Hamid, Nicolas Desnos
Droits d’accès aux services offerts par des composants logiciels– Profil UML à base de patrons de sécurité
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 94, p. 6-11, septembre 2010.
A Local Enumeration Protocol in Spite of Corrupted Data
Dans : Journal of Computers, Academy Publisher, Finland, Vol. 1 N. 7, p. 9-20, 2006.
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Formal analysis approach for multi-layered system safety and security co-engineering
14th International Workshop on Software Engineering for Resilient Systems (SERENE 2022), Sep 2022, Zaragoza, Spain. pp.18-31, ⟨10.1007/978-3-031-16245-9_2⟩
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Facilitating safety and security co-design and formal analysis in multi-layered system modeling
20th IEEE International Conference on Dependable, Autonomic & Secure Computing (DASC 2022), Sep 2022, Calabria, Italy. pp.1-8, ⟨10.1109/DASC/PiCom/CBDCom/Cy55231.2022.9927773⟩
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Introducing a multi-layered model-based design approach towards safety-security co-engineering
IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C 2021), Dec 2021, Hainan Island, China. pp.1163-1164, ⟨10.1109/QRS-C55045.2021.00175⟩
Megha Quamara, Gabriel Pedroza, Brahim Hamid
Multi-layered model-based design approach towards system safety and security co-engineering
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C 2021), Oct 2021, Fukuoka (virtual event), Japan. pp.274-283, ⟨10.1109/MODELS-C53483.2021.00048⟩
Jean-Baptiste Blanc-Rouchossé, Anne Blavette, Hamid Ben Ahmed, Guy Camilleri, Marie-Pierre Gleizes
Multi-Agent System for Smart-Grid Control with Commitment Mismatch and Congestion
IEEE PES Innovative Smart Grid Technologies (ISGT-Europe 2019), IEEE, Sep 2019, Bucarest, Romania. ⟨10.1109/ISGTEurope.2019.8905760⟩
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Formalizing Reusable Communication Models for Distributed Systems Architecture
8th International Conference On Model and Data Engineering (MEDI 2018), Oct 2018, Marrakesh, Morocco. pp.198-216
Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering
International Conference On Model and Data Engineering (MEDI 2017), Oct 2017, Barcelona, Spain. pp.111-125
Eduardo B. Fernandez, Brahim Hamid
Two safety patterns: Safety Assertion and Safety Assertion Enforcer.
22nd European Conference on Pattern Language of Programs (EuroPlop 2017), Jul 2017, Irsee, Germany. pp.1-9
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the selection of security patterns for real-time systems (regular paper)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2016), Dubai, UAE, 06/11/16-08/11/16, IEEE : Institute of Electrical and Electronics Engineers, p. 155-164, novembre 2016.
Anas Motii, Agnes Lanusse, Brahim Hamid, Jean-Michel Bruel
Model-Based Real-Time Evaluation of Security Patterns: A SCADA System Case Study (regular paper)
Dans : TIPS Workshop (Safecomp 2016), Trondheim, Norway, 20/09/16-20/09/16, Vol. 9923, Springer, p. 375-389, septembre 2016.
Jacob Geisel, Brahim Hamid, David Gonzalez, Jean-Michel Bruel
Towards a Methodological Tool Support for Modeling Security-Oriented Processes (regular paper)
Dans : International Conference On Model and Data Engineering (MEDI 2016), Almeria, Spain, 21/09/16-23/09/16, Vol. 9893, Springer, p. 31-41, septembre 2016.
A Model Repository Description Language – MRDL (regular paper)
Dans : International Conference on Software Reuse (ICSR 2016), Limassol, Cyprus, 05/06/16-07/06/16, Vol. 9679, Springer, LNCS, p. 350-367, juin 2016.
Interplay of Security&Dependability and Resource using Model-driven and Pattern-based Development (regular paper)
Dans : IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2015), Helsinki, Finland, 20/08/15-22/08/15, IEEE Computer Society, p. 254-262, 2015.
Jacob Geisel, Brahim Hamid, Jean-Michel Bruel
Security Concepts as Add-On for Process Models (regular paper)
Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2015), Gold Coast, Australia, 09/12/15-12/12/15, IEEE Computer Society, p. 190-193, décembre 2015.
Eduardo B. Fernandez, Brahim Hamid
A pattern for Network Functions Virtualization (regular paper)
Dans : European Conference on Pattern Language of Programs (EuroPlop 2015), Kloster Irsee in Bavaria, Germany, 06/07/15-10/07/15, ACM Digital Library, p. 1-9, 2015.
Anas Motii, Brahim Hamid, Agnes Lanusse, Jean-Michel Bruel
Guiding the selection of security patterns based on security requirements and pattern classification (regular paper)
Dans : European Conference on Pattern Language of Programs (EuroPlop 2015), Kloster Irsee in Bavaria, Germany., 06/07/15-10/07/15, ACM Digital Library, p. 1-17, 2015.
A Model-Driven Methodology Approach for Developing a Repository of Models (regular paper)
Dans : International Conference On Model and Data Engineering (MEDI 2014), Larnaca, Cyprus, 24/09/14-26/09/14, Vol. 8748, Springer, p. 29-44, septembre 2014.
Brahim Hamid, Christian Percebois
A Modeling and Formal Approach for the Precise Specification of Security Patterns (regular paper)
Dans : International Symposium on Engineering Secure Software and Systems (Essos 2014), Munich, Germany, 26/02/14-28/02/14, Vol. 8364, Springer, p. 95-112, février 2014.
Frédéric Mayart, Jean-Michel Bruel, Brahim Hamid
How to Analyze Modeling Approach Comparison Criteria (short paper)
Dans : Comparing Modeling Approaches Workshop, Miami, 01/10/13, Vol. 1076, CEUR-WS : Workshop proceedings, (en ligne), octobre 2013.
Accès : http://ceur-ws.org/Vol-1076/paper7.pdf – https://oatao.univ-toulouse.fr/12759/
BibTeXJacob Geisel, Brahim Hamid, Adel Ziani, Ansgar Radermacher
Common Pattern Modeling Language for Object and Component Architectures (regular paper)
Dans : Pattern Languages of Programs Conference (PLOP 2013), Allerton Park in Monticello, IL, USA, 23/10/13-26/10/13, ACM Digital Library, p. 1-16, 2013.
Brahim Hamid, Christian Percebois
Model-based Specification and Validation of Security and Dependability Patterns (regular paper)
Dans : International Symposium on Foundations & Practice of Security (FPS 2013), La Rochelle, France, 21/10/13-22/10/13, Springer, p. 1-18, octobre 2013.
Ansgar Radermacher, Arnaud Cuccuru, Sébastien Gérard, Brahim Hamid
Split of Composite Components for Distributed Applications (regular paper)
Dans : Forum on Specification & Design Languages (FDL 2013), Paris, France, 24/09/13-26/09/13, IEEE Computer Society, p. 1-6, 2013.
Brahim Hamid, Adel Ziani, Jacob Geisel
Towards Tool Support for Pattern-Based Secure and Dependable Systems Development (regular paper)
Dans : ACadeMics Tooling with Eclipse (ACME 2013), Montpellier, France, 02/07/13-02/07/13, ACM Digital Library, p. 1-10, 2013.
Adel Ziani, Brahim Hamid, Jacob Geisel, Jean-Michel Bruel
A Model-based Repository of Security and Dependability Patterns for Trusted RCES (regular paper)
Dans : IEEE International Conference on Information Reuse and Integration (IRI 2013), San Francisco, CA. USA, 14/08/13-16/08/13, IEEE : Institute of Electrical and Electronics Engineers, p. 448-457, 2013.
Ansgar Radermacher, Brahim Hamid, Manel Fredj , Jean-Louis Profizi
S&D Patterns for Component-Based Applications with Safety Requirements (regular paper)
Dans : European Conference on Pattern Language of Programs (EuroPlop 2013), Kloster Irsee in Bavaria, Germany, 10/07/13-14/07/13, ACM Digital Library, p. 1-16, juillet 2013.
Brahim Hamid, Jacob Geisel, Adel Ziani, Jean-Michel Bruel, Jon Perez
Model-Driven Engineering for Trusted Embedded Systems based on Security and Dependability Patterns (regular paper)
Dans : System Design Languages Forum, Montreal, Canada, 26/06/13-28/06/13, Springer, LNCS, p. 73-91, juin 2013.
Brahim Hamid, Jacob Geisel, Adel Ziani, David Gonzalez
Safety Lifecycle Development Process Modeling for Embedded Systems – Example of Railway Domain (regular paper)
Dans : Software Engineering for Resilient Systems (SERENE 2012), Pisa, Italy, 27/09/12-28/09/12, Vol. 7527, Springer, LNCS, p. 63-75, septembre 2012.
Adel Ziani, Brahim Hamid, Jean-Michel Bruel
A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design (regular paper)
Dans : Euromicro conference on Software Engineering and Advanced Applications, Cesme, Izmir, Turkey, 05/09/12-08/09/12, IEEE : Institute of Electrical and Electronics Engineers, p. 166-169, septembre 2012.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Design-Time Verification of Reconfigurable Real-Time Embedded Systems (regular paper)
Dans : IEEE International Conference on Embedded Software and Systems, Liverpool, 25/06/12-27/06/12, IEEE Computer Society, p. 1487-1494, 2012.
Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila
An MDE-Based Approach for Reconfigurable DRE Systems (regular paper)
Dans : Workshop on Knowledge Media Networking – IEEE Ninth International Workshops on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE 2012), Toulouse, 25/06/12-27/06/12, IEEE Communications Society, p. 78-83, juin 2012.
Brahim Hamid, Christian Percebois, Damien Gouteux
A Methodology for Integration of Patterns with Validation Purpose (regular paper)
Dans : European Conference on Pattern Language of Programs (EuroPlop 2012), Kloster Irsee, Germany, 11/07/12-15/07/12, ACM Digital Library, p. 1-14, 2012.
Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux
Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems (regular paper)
Dans : Software Quality Days (SWQD 2012), Vienna, 17/01/12-19/01/12, Springer, p. 193-204, janvier 2012.
Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos
Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), wellington, 16/10/11-21/10/11, Vol. 6981, Jon Whittle (Eds.), Springer, p. 319-333, octobre 2011.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Towards a Model-Based Approach for Reconfigurable Distributed Real Time Embedded Systems (regular paper)
Dans : European Conference on Software Architecture (ECSA 2011), Essen, Germany, 13/09/11-16/09/11, Springer, p. 295-302, septembre 2011.
Adel Ziani, Brahim Hamid, Salvador Trujillo
Towards a Unified Meta-model for Resources-Constrained Embedded Systems (regular paper)
Dans : Euromicro conference on Software Engineering and Advanced Applications, Oulu, Finland, 30/08/11-02/09/11, IEEE Computer Society, p. 485-492, septembre 2011.
Rahma Bouaziz, Brahim Hamid, Nicolas Desnos
Towards a Better Integration of Patterns in Secure Component-Based Systems Design (regular paper)
Dans : International Conference on Computational Science and Applications (ICCSA 2011), University of Cantabria, 20/06/11-23/06/11, Vol. 5, Springer, p. 607-621, juin 2011.
Alternative Paths to Components and Systems: Challenge objectives and Success Stories
Dans : International Networking Event on Med-EU ICT Co-operation, Hammamet, Tunisia, 08/11/10-10/11/10 (conférencier invité).
An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES (regular paper)
Dans : IEEE International Conference on Embedded and Ubiquitous Computing (EUC 2010), Hong Kong SAR, China, 11/12/10-13/12/10, IEEE Computer Society – Conference Publishing Services, p. 60-67, décembre 2010.
Salvador Trujillo, Antonio Perez, David Gonzalez, Brahim Hamid
Towards the Integration of Advanced Engineering Paradigms into RCES: Raising the issues for the Safety-Critical Model-Driven Product-Line Case (short paper)
Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienna, 14/09/10-14/09/10, ACM : Association for Computing Machinery, p. 1-4, septembre 2010.
Brahim Hamid, Nicolas Desnos, Cyril Grepet, Christophe Jouvray
Model-Based Security and Dependability Patterns in RCES the TERESA Approach (short paper)
Dans : International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES 2010), Vienna, 14/09/10-14/09/10, Brahim Hamid, Carsten Rudolph, Christoph Ruland (Eds.), ACM : Association for Computing Machinery, p. 1-4, septembre 2010.
Model-Based Engineering for Dynamic Reconfiguration in DRTES (regular paper)
Dans : Nordic Workshop on Model Driven Software Engineering (NW-MODE 2010), Copenhagen, Denmark, 23/08/10-24/08/10, ACM : Association for Computing Machinery, p. 269-276, août 2010.
Clock Synchronization Modeling in DRTES (regular paper)
Dans : Hands-on Platforms and tools for model-based engineering of Embedded Systems (workshop at ECMFA 2010) (HoPES 2010), Paris, 15/06/10-16/06/10, CEA LIST, p. 51-56, 2010.
Rahma Bouaziz, Brahim Hamid, Nicolas Desnos
Droits daccès aux services offerts par des composants logiciels (regular paper)
Dans : Sécurité des Systèmes d’Information et les Environnements Collaboratifs – INFORSID 2010 (SEC-SY 2010), Marseilles, 25/05/10-25/05/10, IRIT, p. 13-25, mai 2010.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette
Designing Dynamic Reconfiguration of Distributed Real Time Embedded Systems (regular paper)
Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisie, 31/05/10-02/06/10, IEEE Computer Society, p. 249-254, juin 2010.
Mohamed-Lamine Boukhanoufa, Brahim Hamid, Agnes Lanusse, Ansgar Radermacher
Démarche de développement à base de composant d’applications embarquées tolérantes aux fautes (regular paper)
Dans : Journées sur l’Ingénierie Dirigée par les Modèles (IDM 2009), Nancy, France, 25/03/09-26/03/09, Hermès, p. 65-72, 2009.
Brahim Hamid, Agnes Lanusse, Ansgar Radermacher, Sébastien Gérard
Designing Reconfigurable Component Systems with a Model Based Approach
Dans : ARTIST Workshop on Adaptive and Reconfigurable Embedded Systems, Saint Louis, MO, USA, 21/04/08-21/04/08, ARTIST (European Network of Excellence on Embedded Systems), p. 69-73, avril 2008.
Brahim Hamid, Ansgar Radermacher, Patrick Vanuxeem, Agnes Lanusse, Sébastien Gérard
A fault-tolerance framework for distributed component systems
Dans : Euromicro conference on Software Engineering and Advanced Applications, Parma, Italy, 03/09/08-05/09/08, IEEE Computer Society, p. 84–91, septembre 2008.
Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, François Terrier
Designing fault-tolerant component based applications with a model driven approach (regular paper)
Dans : IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2008), Capri Island, Italy, 01/10/08-03/10/08, Vol. 5287, Springer-Verlag, Lecture Notes in Computer Science, p. 9-20, octobre 2008.
Accès : http://www.springerlink.com/content/978-3-540-87784-4
BibTeXBrahim Hamid, Bertrand Le Saëc, Mohamed Mosbah
A Simple distributed algorithm for the maintenance of a spanning tree
Dans : International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), USTHB, Alger, Algérie, 05/05/07-06/05/07, British Computer Society, Electronic Workshops in Computing series (eWiC), p. 1-14, 2007.
Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah
Distributed local 2-connectivity test of graphs and applications
Dans : International Symposium on Parallel and Distributed Processing and Applications, Niagara Falls, ON, CANADA, 29/08/07-31/08/07, Vol. 4742, Springer-Verlag, LNCS, p. 195-207, 2007.
Brahim Hamid, Mohamed Mosbah, Akka Zemmari
Self-stabilizing distributed algorithm for resolving conflicts
Dans : International Workshop on Reliability in Decentralized Distributed Systems, Vilamoura, Algarve, Portugal, 25/11/07-30/11/07, Vol. 4806, Springer-Verlag, LNCS, p. 1024-1051, novembre 2007.
Distributed maintenance of spanning trees using graph relabeling systems
Dans : Workshop on Graph Computation Models (GCM’06), a satellite event of the The third International Conference on Graph Transformation (ICGT’06), Natal, Brazil, 18/09/06-18/09/06.
A tool to design and prototype fault-tolerant distributed algorithms
Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2006), Toulouse, France, 06/06/06-09/06/06, Hermès, p. 311-322, juin 2006.
A local self-stabilizing enumeration algorithm
Dans : IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2006), Bologna, Italy, 14/06/06-16/06/06, Vol. 4025, Springer-Verlag, LNCS, p. 289-302, juin 2006.
A formal model for snap-stabilization in distributed systems
Dans : The Poster Session of the symposium on self-stabilizing systems (SSS’05), Barcelona, Spain, 25/10/05-27/10/05.
A model for self-stabilization using relabeling systems
Dans : Cinquième journées scientifiques des jeunes chercheurs en génie électrique et informatique (GEI’05), Sousse, Tunisie, 25/03/05-27/03/05.
A formal model for fault-tolerance in distributed systems
Dans : International Conference on Computer Safety, Reliability and Security (SAFECOMP 2005), Fredrikstad, Norway, 26/09/05-30/09/05, Vol. 3688, Springer, LNCS, p. 108-121, septembre 2005.
An automatic approach to self-stabilization
Dans : ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2005), Towson University, Maryland, U. S. A., 23/05/05-25/05/05, IEEE Computer Society, p. 123-128, mai 2005.
Visualization of self-stabilizing distributed algorithms
Dans : International conference on information visualization (IV 2005), Londres, UK, 01/07/05-05/07/05, IEEE Computer Society, p. 550-555, juillet 2005.
Détection de pannes dans un système distribué par échange local de messages,
Dans : Journées Scientifiques Francophones (JSF’03), Tozeur, Tunisie, 20/12/03-21/12/03.
Brahim Hamid, Carsten Rudolph, Antonio Mana, Simin Nadjm-Tehrani
International Workshop on Security and Dependability for Resource Constrained Embedded Systems (SD4RCES) in conjunction with SAFECOMP 2011, Naples, Italy, 22/09/11 – 22/09/11, ACM Digital Library, septembre 2011.
Brahim Hamid, François Terrier
International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE) in conjunction with SEAA 2011, Oulu, Finland, 01/09/11 – 02/09/11, IEEE Computer Society, septembre 2011.
Brahim Hamid, François Terrier
International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE), Tozeur, Tunisia, 29/05/10 – 30/05/10, IEEE : Institute of Electrical and Electronics Engineers, mai 2010.
Brahim Hamid, Carsten Rudolph, Christoph Ruland
International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES) in conjunction with SAFECOMP 2010, Vienna, Austria, 14/09/10 – 14/09/10, ACM : Association for Computing Machinery, septembre 2010.
Jacob Geisel, Brahim Hamid, Jean-Michel Bruel
Repository-Centric Process Modeling – Example of a Pattern Based Development Process
Dans : Software Engineering Research, Management and Applications. Roger Lee (Eds.) , Springer, 16, p. 247-261, Vol. 496, Studies in Computational Intelligence, 2014.
Ansgar Radermacher, Önder Gürcan, Arnaud Cuccuru, Sébastien Gérard, Brahim Hamid
Split of Composite Components for Distributed Applications
Dans : Languages, design methods, and tools for electronic system design. Marie-Minerve Louër, Torsten Maehne (Eds.) , Springer, V, p. 265-280, mai 2014.
Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid
A Middleware for Reconfigurable Distributed Real-Time Embedded Systems
Dans : Software Engineering Research, Management and Applications. Roger Lee (Eds.) , Springer, 6, p. 81-96, Vol. 430, Studies in Computational Intelligence, 2012.
Engineering secure systems: patterns, properties, models, analysis and experimental evaluations
Habilitation à diriger des recherches, Université de Toulouse-le-Mirail, décembre 2016.
Hamid Brahim, Gallina Barbara, Shabtai Asaf, Elovici Yuval, Joaquin Garcia-Alfaro
Security and safety interplay of intelligent software systems: ESORICS 2018 international workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6-7, 2018, revised selected papers
Springer, pp.173, 2019, Security and Cryptology, LNCS, vol. 11552, Security and Cryptology, LNCS, vol. 11552, 978-3-030-16873-5
Sharyal Zafar, Anne Blavette, Guy Camilleri, Hamid Ben Ahmed, Jesse James Arthur Prince Agbodjan
Decentralized optimal management of a large-scale EV fleet: optimality and computational complexity comparison between an Adaptive MAS and MILP
2022