Accueil › Annuaire des chercheurs › Brahim Hamid

Brahim Hamid

إبراهيم حميد(transcription automatique)

Affiliation : Institut de Recherche en Informatique de Toulouse · Université de Toulouse

• 7Publications (affiliation française)
• 110Publications au total
• 603Citations
• 14Indice h

ORCIDOpenAlex

Domaines de recherche

• Model-Driven Software Engineering Techniques
• Advanced Software Engineering Methodologies
• Safety Systems Engineering in Autonomy
• Formal Methods in Verification
• Distributed systems and fault tolerance

Publications (7)

• Development of reconfigurable distributed embedded systems with a model‐driven approach
  2013 · Concurrency and Computation Practice and Experience · cité 11 fois
• A Middleware for Reconfigurable Distributed Real-Time Embedded Systems
  2012 · Studies in computational intelligence · cité 6 fois
• Design-Time Verification of Reconfigurable Real-time Embedded Systems
  2012 · IEEE International Conference on High Performance Computing and Communications; IEEE International Conference on Smart City; IEEE International Conference on Data Science and Systems (HPCC/SmartCity/DSS) · cité 3 fois
• An MDE-Based Approach for Reconfigurable DRE Systems
  2012 · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · cité 2 fois
• Towards a Model-Based Approach for Reconfigurable DRE Systems
  2011 · Lecture notes in computer science · cité 18 fois
• Designing dynamic reconfiguration for distributed real time embedded systems
  2010 · International Conference on New Technologies of Distributed Systems (NOTERE) · cité 4 fois
• Solving geometric constraints by a graph-constructive approach
  2003 · IEEE Conference on Information Visualization (IV) · cité 10 fois

Co-auteurs

• Bernard Coulette

Données bibliographiques issues d’OpenAlex (base ouverte).