Search results for "Brahim Hamid"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Nicolas Desnos, Brahim Hamid, Christian Percebois, Damien Gouteux	Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems.	SWQD	2012	DBLP DOI BibTeX RDF
1	Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel	Towards a Model-Based Approach for Reconfigurable DRE Systems.	ECSA	2011	DBLP DOI BibTeX RDF
1	Salvador Trujillo, Iñaki Alonso, Brahim Hamid, David Gonzalez, Manuel Blanco, Huaxi (Yulin) Zhang	Towards variability support for security and dependability patterns: a case study.	SPLC Workshops	2011	DBLP DOI BibTeX RDF
1	Brahim Hamid, Sigrid Gürgens, Christophe Jouvray, Nicolas Desnos	Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches.	MoDELS	2011	DBLP DOI BibTeX RDF
1	Rahma Bouaziz, Brahim Hamid, Nicolas Desnos	Towards a Better Integration of Patterns in Secure Component-Based Systems Design.	ICCSA	2011	DBLP DOI BibTeX RDF
1	Adel Ziani, Brahim Hamid, Salvador Trujillo	Towards a Unified Meta-model for Resources-Constrained Embedded Systems.	EUROMICRO-SEAA	2011	DBLP DOI BibTeX RDF
1	Brahim Hamid, Fatma Krichen	Model-based engineering for dynamic reconfiguration in DRTES.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	model driven engineering, dynamic reconfiguration, meta-model, UML profiles, component-based architecture, distributed real time embedded systems
1	Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette	Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems.	NOTERE	2010	DBLP DOI BibTeX RDF
1	Brahim Hamid, Adel Ziani	An Environment for Design Software and Hardware Aspects of Clock Synchronization and Communication in DRTES.	EUC	2010	DBLP DOI BibTeX RDF
1	Brahim Hamid, Ansgar Radermacher, Patrick Vanuxeem, Agnes Lanusse, Sebastien Gerard	A Fault-tolerance Framework for Distributed Component Systems.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
1	Brahim Hamid, Ansgar Radermacher, Agnes Lanusse, Christophe Jouvray, Sébastien Gérard, François Terrier	Designing Fault-Tolerant Component Based Applications with a Model Driven Approach.	SEUS	2008	DBLP DOI BibTeX RDF	Profile QoS+FT, Replication, Distributed applications, Connector, CORBA Component Model, Model-driven approach
1	Brahim Hamid, Mohamed Mosbah, Akka Zemmari	A Self-stabilizing Distributed Algorithm for Resolving Conflicts.	OTM Workshops	2007	DBLP DOI BibTeX RDF
1	Brahim Hamid, Bertrand Le Saëc, Mohamed Mosbah	Distributed Local 2-Connectivity Test of Graphs and Applications.	ISPA	2007	DBLP DOI BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	A Local Enumeration Protocol in Spite of Corrupted Data.	JCP	2006	DBLP DOI BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	A Local Self-stabilizing Enumeration Algorithm.	DAIS	2006	DBLP DOI BibTeX RDF
1	Brahim Hamid, Ted Herman, Morten Mjelde	The Poster Session of SSS 2005	CoRR	2005	DBLP BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	An Automatic Approach to Self-Stabilization.	SNPD	2005	DBLP DOI BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	A Formal Model for Fault-Tolerance in Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF	Fault-tolerance, Distributed systems, Local computations, Graph rewriting systems
1	Brahim Hamid, Mohamed Mosbah	An Implementation of a Failure Detector for Local Computations in Graphs.	Parallel and Distributed Computing and Networks	2005	DBLP BibTeX RDF
1	Brahim Hamid, Mohamed Mosbah	Visualization of Self-Stabilizing Distributed Algorithms.	IV	2005	DBLP DOI BibTeX RDF
1	Samy Ait-Aoudia, Brahim Hamid, Adel Moussaoui, Toufik Saadi	Solving Geometric Constraints by a Graph-Constructive Approach. (PDF / PS)	IV	1999	DBLP DOI BibTeX RDF	graph-based solver, over- and under-constrained schemes, Computer aided design, constraints solving, geometric constraints

Publications of "Brahim Hamid" ( http://dblp.L3S.de/Authors/Brahim_Hamid )