Publications & Software Achievement

Publications

List of Important Publications

Note: we used the SJR SCIMAGO (https: // www. scimagojr. com ), the Impact Factor and the CORE (http://www.core.edu.au/) journal and conference ranking

Journals:

  • Q. Rouland, B. Hamid, J. Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture, Future Generation Computer Systems, Elsevier, 2021 (SJR Q1, IF 5.768, Rank A)
  • Q. Rouland, B. Hamid, J. Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture, Future Generation Computer Systems, Elsevier, 2020 (SJR Q1, IF 5.768, Rank A)
  • B. Hamid, D. Weber. Engineering Secure Systems: Models, Patterns and Empirical Validation, Computers & Security Journal, Elsevier, 2018 (SJR Q1, IF 3.062, Rank A)
  • B. Hamid. A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support, Future Generation Computer Systems, Elsevier, 2017 (SJR Q1, IF 5.768, Rank A)
  • B. Hamid, J. Perez. Supporting Pattern-Based Dependability Engineering via Model-Driven Development: Approach, tool-support and empirical validation, Journal of Systems and Software, Elsevier, 2016 (SJR Q1, IF 2.444, Rank A)
  • B. Hamid, S. Gurgens, A. Fuchs. Security Patterns Modeling and Formalization for Pattern-based Development of Secure Software Systems. Innovations in Systems and Software Engineering, Springer, 2016 (SJR Q4, Rank B)
  • F. Krichen, B. Hamid, B. Zalila, M. Jmaiel, B. Coulette. Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach. International Journal of Concurrency and Computation : Practice and Experience, Wiley, 2015 (SJR Q2, IF 1.167, Rank A)

Conferences:

  • B. Hamid. A Model Repository Description Language – MRDL. ICSR 2016 (Rank A)
  • A. Motii, B. Hamid, A. Lanusse, J-M. Bruel. Guiding the selection of security patterns for real-time systems. ICECCS 2016 (Rank A)
  • J. Geisel, B. Hamid, J-M. Bruel. Security Concepts as Add-On for Process Models. ICECCS 2015 (rank A)
  • B. Hamid. Interplay of Security &Dependability and Resource using Model-driven and Pattern-based Development. TrustCom 2015 (Rank A)
  • F. Krichen, B. Hamid, B. Zalila, M. Jmaiel. Towards a Model-Based Approach for Reconfigurable Distributed Real Time Embedded Systems. ECSA 2011 (Rank A)
  • B. Hamid, S.Gurgens, C. Jouvray, N. Desnos. Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches. MoDELS 2011 (Rank B)

Edited proceedings :

  • Brahim Hamid, Barbara Gallina, Asaf Shabtai, Yuval Elovici, Joaqu ́ın Garc ́ıa-Alfaro : Security and Safety Interplay of Intelligent Software Systems (ISSA/CSITS), with ESORICS 2018
  • B. Hamid, P. Avgeriou, U. Zdun, Proceedings of the International workshop on Interplay of Security, Safety and System/Software Architecture (ISSA) in conjunction with ECSA 2016, ACM ICPS, 28/11/2016, Copenhagen, Denmark, 2016.
  • B. Hamid, C. Rudolph, A. Mana, S. Nadjm-Tehrani. Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES) in conjunction with SAFECOMP 2011, Naples, Italy, 22/09/2011 – 22/09/2011, ACM DL, septembre 2011.
  • B. Hamid, F. Terrier. Proceedings of the International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE) in conjunction with SEAA 2011, Oulu, Finland, 01/09/2011 – 02/09/2011, IEEE Computer Society, septembre 2011.
  • B. Hamid, F. Terrier. Proceedings of the International workshop on Distributed Architecture
    modeling for Novel Component based Embedded systems (DANCE), Tozeur, Tunisia, 29/05/2010 – 30/05/2010, IEEE, mai 2010.
  • B. Hamid, C. Rudolph, C. Ruland. Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems (S&D4RCES) in conjunction with SAFECOMP 2010, Vienna, Austria, 14/09/2010 – 14/09/2010, ACM, septembre 2010.

Software

  • SEMCO (http://www.semcomdt.org/): promotes an approach based on a repository of models and systems of patterns, as well as a pattern-based development methodology. Based on the foundations of Model-Driven Engineering, SEMCO is based on a set of DSMLs and search and model transformation engines. The DSMLs are used to specify patterns and systems of patterns,as well as a model framework to organize, analyze, evaluate and to validate these artefacts for reuse. The search and transformation engines allow to find artefacts and to transform these to domain specific development environments. We are developing an MDE Tool-chain, with EMF editors and a CDO based repository, supporting the approach. Currently the tool suite named semcomdt is provided as Eclipse plugins. It was successfully applied for security and dependability (S&D) system engineering using S&D patterns in the context of the TERESA project.
Thème : Overlay par Kaira. Texte supplémentaire
Le Cap, Afrique du sud