Search results for "Ahmed Hadj Kacem"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem	Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles.	ICSOFT	2011	DBLP BibTeX RDF
1	Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem	P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration.	Journal of Systems and Software	2010	DBLP DOI BibTeX RDF
1	Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira	A Formal Approach to Enforcing Consistency in Self-adaptive Systems.	ECSA	2010	DBLP DOI BibTeX RDF
1	Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel (eds.)	NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings	NOTERE	2010	DBLP BibTeX RDF
1	Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira	Orchestrating Safe Behavioural Adaptations of Component-Based Systems.	ICAS	2010	DBLP DOI BibTeX RDF
1	Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem	$\mathcal{F}_{or}\mathcal{MAAD}$ : Towards a Model Driven Approach for Agent Based Application Design.	AOSE	2010	DBLP DOI BibTeX RDF
1	Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem	RDyMASS: Reliable and Dynamic Enforcement of Security Policies for Mobile Agent Systems.	DPM/SETOP	2009	DBLP DOI BibTeX RDF
1	Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel	Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.	ICDCN	2008	DBLP DOI BibTeX RDF	distributed algorithms, mobile agents, spanning tree, proofs
1	Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah	A formal security framework for mobile agent systems: Specification and verification.	CRiSIS	2008	DBLP DOI BibTeX RDF
1	Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Towards modelling and analysis of a coordination protocol for dynamic software adaptation.	CSTST	2008	DBLP DOI BibTeX RDF	consistency preservation, coordination protocol, modelling, analysis, self-adaptation, adaptation process
1	Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel	Electing a leader in the local computation model using mobile agents.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel	ForMAAD: A formal method for agent-based application design.	Web Intelligence and Agent Systems	2007	DBLP BibTeX RDF
1	Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles.	ECSA	2007	DBLP DOI BibTeX RDF	publish/subscribe style, style composition, software architecture, formal specification, architecture modeling, graph rewriting, dynamic architecture
1	Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel	A Formal Approach to prevent Attacks on Mobile Agent Systems.	SECURWARE	2007	DBLP DOI BibTeX RDF
1	Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel	A Distributed Computational Model for Mobile Agents.	PRIMA	2007	DBLP DOI BibTeX RDF	distributed algorithms, mobile agent, computations model, transition systems
1	Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel	ForMAAD Method: An Experimental Design for Air Traffic Control.	ITSSA	2006	DBLP BibTeX RDF
1	Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	An UML-Based Approach for Validation of Software Architecture Descriptions.	TEAA	2006	DBLP DOI BibTeX RDF
1	Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Describing dynamic software architectures using an extended UML model.	SAC	2006	DBLP DOI BibTeX RDF	structural and dynamic views, software architecture, profile, UML extension
1	Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Compositional specification of event-based software architectural styles.	AICCSA	2006	DBLP DOI BibTeX RDF
1	Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures.	ICEIS	2005	DBLP BibTeX RDF
1	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel	Towards a Formal Methodology for Designing Multi-agent Applications.	MATES	2005	DBLP DOI BibTeX RDF
1	Mohamed Hadj Kacem, Mohammed Nadhmi Miladi, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	Towards a UML profile for the description of dynamic software architectures.	COEA	2005	DBLP BibTeX RDF
1	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel	Towards a formal methodology for developing multi-agent applications using temporal Z.	AICCSA	2005	DBLP DOI BibTeX RDF
1	Hany Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel	A formal model for mobile agent systems using Z.	AICCSA	2005	DBLP DOI BibTeX RDF
1	Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira	Using UML2.0 and GG for Describing the Dynamic of Software Architectures.	ICITA	2005	DBLP DOI BibTeX RDF
1	Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel	Formalization of Cooperation in MAS: Towards a Generic Conceptual Model.	IBERAMIA	2004	DBLP DOI BibTeX RDF
1	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel	Specification and Verification of Multi-Agent Applications using Temporal Z.	IAT	2004	DBLP DOI BibTeX RDF
1	Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Towards a Unified Graph-Based Framework for Dynamic Component-Based Architectures Description in Z.	ICPS	2004	DBLP DOI BibTeX RDF	component-based applications, software architecture, formal specification, architectural style, graph rewriting, dynamic architecture
1	Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel	Specification and Design of Multi-agent Applications Using Temporal Z.	PRIMA	2004	DBLP DOI BibTeX RDF
1	Chafik Aloulou, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Lamia Hadrich Belguith	Apport des approches agent pour l'analyse syntaxique de l'arabe.	Technique et Science Informatiques	2003	DBLP BibTeX RDF
1	Mohamed Jmaiel, Ahmed Hadj Kacem	An Operational Semantics for Negotiating Agents.	PRIMA	2002	DBLP DOI BibTeX RDF
1	Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem	Cooperative Systems for Information Sharing and Exchange. (PDF / PS)	WETICE	2001	DBLP DOI BibTeX RDF	component-oriented software architecture, middleware, coordination, information sharing, Cooperative Systems
1	Ahmed Hadj Kacem, J.-L. Soubie, J. Frontin	A Software Architecture for Cooperative Knowledge Based Systems.	HCI	1993	DBLP BibTeX RDF

Publications of "Ahmed Hadj Kacem" ( http://dblp.L3S.de/Authors/Ahmed_Hadj_Kacem )