|
[100]
|
F. Krichen, B. Hamid, B. Zalila, and M. Jmaiel.
Towards a Model-Based Approach for Reconfigurable Distributed Real
Time Embedded Systems.
In European Conference on Software Architecture, pages
295-302. Springer, septembre 2011.
[ BibTeX ]
|
|
[99]
|
E. Fki, C. Dupuy, S. Tazi, and M. Jmaiel.
Vers une composition de services basée sur les patrons de services
et dirigée par les intentions.
In 5ème Conférence Internationale Francophone sur les
Architectures Logicielles, pages 39-48, Lille (France), 2011.
[ BibTeX ]
|
|
[98]
|
I. Lahyani and M. Jmaiel.
Experimentations for QoS Evaluation of Publish/Subscribe Systems
Deployed on Ad-hoc Network. IEEE Workshops of International Conference on Advanced Information Networking and Applications, pages 676-681, CA, USA, 2011. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
|
[97]
|
A. Chaabane, W. Louati, and M. Jmaiel.
A framework for managing composed multimedia delivery in personal
networks.
In Second International Conference on Multimedia Computing and
Systems, ICMCS, pages 1-6. IEEE digital library, April 2011.
[ BibTeX |
DOI ]
|
|
[96]
|
M. Sellami, W. Gaaloul, S. Tata, and M. Jmaiel.
Using Recommendation to Limit Search Space in Web Services Discovery.
In 24th IEEE International Conference on Advanced Information
Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010,
pages 974-981, 2010.
[ BibTeX |
DOI ]
|
|
[95]
|
A. Mdhaffar, S. Marzouk, R. Ben Halima, and M. Jmaiel.
A Runtime Performance Analysis for Web Service-Based Applications.
In F. Daniel and F.M. Facca (Eds.), editors, Current Trends in
Web Engineering, volume 6385 of Lecture Notes in Computer Science. 1st
Workshop on Engineering SOA and the Web (ESW‘2010) Held in conjunction With
the 10th International Conference on Web Engineering (ICWE’2010), 2010
Proceedings, pages 313-324. Springer-Verlag Berlin Heidelberg, Vienna,
Austria, July 2010.
[ BibTeX |
DOI ]
|
|
[94]
|
M. Lahami, M. Krichen, A. Idani, and M. Jmaiel.
A generic process to build reliable distributed software components
from early to late stages of software development.
In Proceedings of the Sixth International Conference on Computer
Engineering and Systems, ICCES 2010, December 2010.
[ BibTeX ]
|
|
[93]
|
M. Ben Brahim and M. Ben Jemaa and M. Jmaiel.
Security Mapping To Enhance Matching Fine-Grained Security
Policies.
In Proceedings of the Second International Conference on
Networked Digital Technologies (NDT 2010), Communications in Computer and
Information Science, pages 183-196, Prague, Czech Republic, July 2010.
Springer.
[ BibTeX |
DOI ]
|
|
[92]
|
S. Loukil, S. Kallel, B. Zalila, and M. Jmaiel.
Aspect Oriented ADL for Embedded Systems.
In the 4th European Conference on Software Architecture -
ECSA'2010, Research Challenge Paper, Copenhagen - Denmark, August 2010.
[ BibTeX |
DOI ]
|
|
[91]
|
E. Fki, C. Soule Dupuy, S. Tazi, and M. Jmaiel.
Intention Driven Service Composition With Service Patterns.
In 12th International Conference on Enterprise Information
Systems (ICEIS 2010), pages 236-241, Funchal, Madeira (Portugal), 2010.
[ BibTeX ]
|
|
[90]
|
K. Fakhfakh, S. Tazi, K. Drira, T. Chaari, and M. Jmaiel.
Implementing and Testing a Semantic-Driven Approach Towards a Better
Comprehension Between Service Consumers and Providers.
In AINA Workshops, pages 183-188. IEEE Computer Society, 2010.
[ BibTeX |
DOI ]
|
|
[89]
|
K. Fakhfakh, S. Tazi, K. Drira, T. Chaari, and M. Jmaiel.
Enhancing Client Intentions Analysis for Service Level Agreements
Establishment Assistance.
In First International Conference on Models and Ontology-based
Design of Protocols, Architectures and Services. IEEE Computer Society,
2010.
[ BibTeX ]
|
|
[88]
|
I. Bouassida, C. Chassot, and M. Jmaiel.
Graph grammar-based transformation for context-aware architectures
supporting group communication.
In 4ème Conférence francophone sur les Architectures
Logicielles, pages 29-42, Pau (FRANCE), 2010.
[ BibTeX ]
|
|
[87]
|
M. N. Miladi, F. Krichen, M. Jmaiel, and K. Drira.
A UML based deployment and management modeling for cooperative and
distributed applications.
In Proceedings of the 8th ACIS International Conference on
Software Engineering Research, Management & Applications (SERA 2010),
Studies in Computational Intelligence, pages 87-101, Monreal, Canada, May
2010. Springer.
[ BibTeX ]
|
|
[86]
|
M. N. Miladi, I. Krichen, M. Jmaiel, and K. Drira.
An xADL Extension for Managing Dynamic Deployment in Distributed
Service Oriented Architectures.
In F. Arbab and M. Sirjani, editors, FSEN, volume 5961 of
Lecture Notes in Computer Science, pages 439-446. Springer, 2009.
[ BibTeX |
DOI ]
|
|
[85]
|
S. Marzouk, A. Jmal, I. Bouassida, and M. Jmaiel.
Periodic checkpointing for strong mobility of orchestrated web
services.
In International Workshop on Self-Healing Web Services (SHWS
2009) at the 7th IEEE International Conference on Web Services ( ICWS 2009),
pages 203-210, Los Angeles (USA), 2009.
[ BibTeX |
DOI ]
|
|
[84]
|
M. N. Miladi, I. Krichen, M. Jmaiel, and K. Drira.
An xADL Extension for Managing Dynamic Deployment in Distributed
Service Oriented Architectures.
In F. Arbab and M. Sirjani, editors, FSEN, volume 5961 of
Lecture Notes in Computer Science, pages 439-446. Springer, 2009.
[ BibTeX |
DOI ]
|
|
[83]
|
I. Loulou, I. Tounsi, M. Hadj-Kacem, A. Hadj-Kacem, and M. Jmaiel.
A formal architecture-centric approach for safe self-repair.
In In Second International Conference on Web and Information
Technologies (ICWIT'09), Kerkennah Island, Sfax, Tunisia, June 2009.
[ BibTeX |
PDF ]
|
|
[82]
|
I. Loulou, I. Tounsi, M. Hadj-Kacem, A. Hadj-Kacem, and M. Jmaiel.
Making sound policies for self-healing systems.
In 9ème Conférence Internationale sur les Nouvelles
Technologies de lREpartition (NOTERE'09), pages 178-185, Montreal - Canada,
July 2009.
[ BibTeX |
PDF ]
|
|
[81]
|
S. Kallel, A. Charfi, M. Mezini, M. Jmaiel, and K. Klose.
From Formal Access Control Policies to Runtime Enforcement Aspects.
In F. AMassacci, S. Redwine, and N. Zannone, editors,
Proceedings of the 1st International Symposium on Engineering Secure Software
and Systems (ESSoS), volume 5429 of Lecture Notes on Computer Science,
pages 16-31, Leuven, Belguim, Fevrier 2009. Springer.
[ BibTeX |
DOI ]
|
|
[80]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
Fault tolerant distributed algorithms for mobile agents.
In 9ème Conférence Internationale sur les Nouvelles
Technologies de REpartition (NOTERE'09), pages 108-117, Montreal - Canada,
July 2009.
[ BibTeX |
PDF ]
|
|
[79]
|
S. Kallel, A. Charfi, T. Dinkelaker, M. Mezini, and M. Jmaiel.
Specifying and monitoring temporal properties in web services
compositions.
In Proceedings of the 7th IEEE European Conference on Web
Services (ECOWS), pages 148-157, Eindhoven, The Netherland, November 2009.
IEEE computer society.
[ BibTeX ]
|
|
[78]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
A distributed computational model for mobile agents.
In A. Ghose, G. Governatori, and R. Sadananda, editors,
Proceedings of the 10th International Conference on Principals of Practice in
Multi-Agent Systems PRIMA 2007, volume 5044 of Lecture Notes in
Artificial Intelligence, pages 416-421. Springer, 2009.
[ BibTeX |
DOI ]
|
|
[77]
|
I. Bouassida, K. Drira, Ch. Chassot, and M. Jmaiel.
A model-based multi-level architectural reconfiguration applied to
adaptability management in context-aware cooperative communication support
systems.
In Joint Working IEEE/IFIP Conference on Software Architecture
2009 and European Conference on Software Architecture, Cambridge (UK), 2009.
[ BibTeX ]
|
|
[76]
|
A. Chaabane and M. Jmaiel.
A secure content-based publish/subscribe middleware.
In Third International Conference on Information Technology: New
Generations, pages 619-622, Los Alamitos, CA, USA, 2009. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
|
[75]
|
A. Chaabane and M. Jmaiel.
Security aware content-based publish/subscribe system.
In Proceedings of the 14th IEEE Symposium on Computers and
Communications (ISCC 2009), pages 538-543, Sousse, Tunisia, 2009. IEEE
Computer Society.
[ BibTeX |
DOI ]
|
|
[74]
|
M. Ben-Abderrahmen, B. Gargouri, and M. Jmaiel.
Lmf-ql: A graphical tool to query lmf databases for nlp and editorial
use.
In Z. Vetulani and H. Uszkoreit, editors, Proceedings of the 4th
Language & Technology Conference LTC 2007, volume 5603 of Lecture
Notes in Artificial Intelligence, page 279–290. Springer, 2009.
[ BibTeX |
DOI ]
|
|
[73]
|
R. Ben-Halima, E. Fki, M. Jmaiel, and K. Drira.
Experiments results and large scale measurement data for web services
performance assessment.
In Proceedings of the 14th IEEE Symposium on Computers and
Communications (ISCC 2009), pages 83-88, Sousse, Tunisia, July 2009. IEEE
Computer Society.
[ BibTeX |
DOI ]
|
|
[72]
|
O. Nabuco, R. Ben Halima, K. Drira, M. G. Fugini, S. Modafferi, and E. Mussi.
Model-Based QoS-Enabled Self-Healing Web Services.
In DEXA '08: Proceedings of the 2008 19th International
Conference on Database and Expert Systems Application, pages 711-715,
Washington, DC, USA, 2008. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[71]
|
Renê Pegoraro, Riadh Ben Halima, Khalil Drira, Karim Guennoun, and
João Maurício Rosário.
A framework for monitoring and runtime recovery of web service-based
applications.
In 10th International Conference on Enterprise Information
Systems (ICEIS 2008), pages 201-206, Barcelone (Espagne), 2008.
[ BibTeX |
PDF ]
|
|
[70]
|
S. Marzouk and M. Jmaiel.
Towards Making WSRF Based Web Services Strongly Mobile.
In Proceedings of the 17th IEEE International Workshops on
Enabling Technologies: Infrastructure for Collaborative Enterprises
(WETICE'08), pages 339-344, Rome, Italy, 23-25 June 2008. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
|
[69]
|
M. N. Miledi, M. Hadj-Kacem, A. Boukhriss, M. Jmaiel, and K. Drira.
A UML rule-based approach for describing and checking dynamic
software architectures.
In Proceedings of the 8th ACS/IEEE International Conference on
Computer Systems and Applications (AICCSA'08), Doha, Qatar, April 2008.
[ BibTeX |
DOI ]
|
|
[68]
|
R. Ben-Halima, K. Guennoun, K. Drira, and M. Jmaiel.
Non-intrusive QoS monitoring and analysis for self-healing Web
services.
In Proceedings of the first IEEE International Conference on the
Applications of Digital Information and Web Technologies (ICADIWT'08),
Ostrava, Czech Republic, August 2008. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[67]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
A QoS-oriented reconfigurable middleware for self-healing Web
services.
In Proceedings of the IEEE International Conference on Web
Services (ICWS'08), Beijing, China, September 2008. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[66]
|
I. Bouassida, K. Drira, Ch. Chassot, and M. Jmaiel.
Multi-layer coordinated adaptation based on graph refinement for
cooperative activities.
In Army L. Murphy and Jan Vitek, editors, Proceedings of the 4th
International Conference on Self-organization and Adaptation of Computing and
Communications (SSCC'2008), volume 4904 of System and Information
Sciences Notes, pages 286-291, Glasgow, UK, July 2008. Springer.
[ BibTeX |
DOI ]
|
|
[65]
|
I. Bouassida, K. Guennoun, K. Drira, Ch. Chassot, and M. Jmaiel.
Implementing a rule-driven approach for architectural self
configuration in collaborative activities using a graph rewriting formalism.
In CSTST '08: Proceedings of the 5th international conference on
Soft computing as transdisciplinary science and technology, pages 484-491,
New York, NY, USA, 2008. ACM.
[ BibTeX |
DOI ]
|
|
[64]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
Proving Distributed Algorithms for Mobile Agents: Examples of
Spanning Tree Computation in Anonymous Networks.
In Army L. Murphy and Jan Vitek, editors, Proceedings of the 9th
International Conference on Distributed Computing and Networking ICDCN'2008,
volume 4904 of Lecture Notes in Computer Sciences, pages 286-291,
Kolkata, India, January 2008. Springer.
[ BibTeX |
DOI ]
|
|
[63]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
Electing a Leader in the Local Computation Model Using Mobile
Agents.
In Proceedings of the 8th ACS/IEEE International Conference on
Computer Systems and Applications (AICCSA'08), Doha, Qatar, April 2008.
[ BibTeX |
DOI ]
|
|
[62]
|
N. Hadj-Kacem, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Towards modelling and analysis of a coordination protocol for dynamic
software adaptation.
In CSTST '08: Proceedings of the 5th international conference on
Soft computing as transdisciplinary science and technology, pages 499-507,
New York, NY, USA, 2008. ACM.
[ BibTeX |
DOI ]
|
|
[61]
|
M. Ben-Brahim, M. Ben-Jemaa, and M. Jmaiel.
Improving java card grid dependability with fault prevention and
fault tolerance.
In Proceedings of the 1st International Conference in Embedded
Systems and Critical Applications, Tunis, Tunisia, May 2008.
[ BibTeX |
PDF ]
|
|
[60]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Formal Design of Structural and Dynamic Features of
Publish/Subscribe Architectural Styles.
In In ECSA'07 The First European Conference on Software
Architecture, volume 4758 of Lecture Notes in Computer Science, pages
44-59, Madrid - Spain, September 2007. Springer-Verlag.
[ BibTeX |
DOI ]
|
|
[59]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Consistent Reconfiguration for Publish/Subscribe Architecture
Styles.
In In proceedings of the 1st International Workshop on
Verification and Evaluation of Computer and Communication Systems, Algiers,
Algeria, May 2007. Electronic Workshops in Computing EWIC Series, The British
Computer Society.
[ BibTeX |
DOI ]
|
|
[58]
|
M. Loulou, M. Tounsi, A. Hadj-Kacem, M. Jmaiel, and M. Mosbah.
A formal approach to prevent attacks on mobile agent systems.
In Proceedings of the International Conference on Emerging
Security Information, Systems and Technologies, pages 42-47, Valencia,
Spain, 2007. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[57]
|
S. Marzouk, M. Ben-Jemaa, and M. Jmaiel.
A Serialisation Based Approach for Processes Strong Mobility.
In Jadwiga Indulska and Kerry Raymond, editors, Proceedings of
the 7th IFIP International Conference on Distributed Applications and
Interoperable Systems (Dais), volume 4531 of Lecture Notes in Computer
Sciences, pages 153-166, Paphos, Cyprus, June 2007. Springer.
[ BibTeX |
DOI ]
|
|
[56]
|
S. Marzouk, M. Ben-Jemaa, and M. Jmaiel.
A Serialisation Based Approach for Strong Mobility of Shared
Object.
In Proceedings of the 1st International Workshop on Java for
Mobility (Ja4Mo 07) as part of the International Conf. on Principles and
Practices of Programming In Java (PPPJ 2007), pages 237-242, Lisbon,
Portugal, September 2007. ACM.
[ BibTeX |
DOI ]
|
|
[55]
|
M. N. Miladi, M. Jmaiel, and M. Hadj-Kacem.
An UML Profile and a FUJABA PlugIn for modelling dynamic software
architectures.
In Proceedings of the Workshop on Model-Driven Software
Evolution MoDSE2007, number 4. European Conference on Software Maintenance
and Reengineering, CSMR2007, IEEE, March 2007.
[ BibTeX |
DOI ]
|
|
[54]
|
M. Sellami and M. Jmaiel.
A Secured Service-Oriented Architecture for E-government in
Tunisia.
In Proceedings of the eGovernment Interoperability Campus 2007
Conference (eGovINTEROP'07), Paris, France, October 2007.
[ BibTeX |
PDF ]
|
|
[53]
|
S. Kallel, A. Charfi, and M. Jmaiel.
Using Aspects for Enforcing Formal Architectural Invariants.
In Markus Lumpe and Eric Madelaine, editors, Proceedings of the
4th International Workshop on Formal Aspect of Component Software (FACS),
pages 1-15, Sophia-Antipolis,Nice, France, Semptember 2007. ENTCS, Elsevier.
[ BibTeX |
DOI ]
|
|
[52]
|
S. Kallel, A. Charfi, M. Mezini, and M. Jmaiel.
Combining Formal Methods and Aspects for Specifying and Enforcing
Architectural Invariants.
In Army L. Murphy and Jan Vitek, editors, Proceedings of the 9th
International Conference on Coordination Models and Languages
(Coordination), volume 4467 of Lecture Notes in Computer Sciences,
pages 211-230, Paphos, Cyprus, June 2007. Springer.
[ BibTeX |
DOI ]
|
|
[51]
|
M. A. Haddar, A. Hadj-Kacem, Y. Métivier, M. Mosbah, and M. Jmaiel.
A Distributed Computational Model for Mobile Agents.
In Proceedings of the Pacific Rim International WorkShop On
Multi-Agents, Lecture Notes in Computer Science. Springer-Verlag, 2007.
[ BibTeX |
DOI ]
|
|
[50]
|
M. Ben-Abderrahmen, B. Gargouri, and M. Jmaiel.
LMF-QL: A Graphical Tool to Query LMF databases.
In Zygmut Vetulani, editor, Proc. of the 3rd Language &
Technology Conference: Human Language Technologies as a Challenge for
Computer Science and Linguistics, pages 300-304, Poznan, Poland, October
2007. Wydawnictwp Poznanskie.
[ BibTeX |
DOI ]
|
|
[49]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
Une approche orientée règle pour la spécification
formelle des architectures dynamiquement configurables.
In Actes de la 7ème Conférence Internationale sur les
NOuvelles TEchnologies de la REpartition NOTERE 2007, pages 405-412,
Marrakech, Maroc, June 2007.
[ BibTeX |
PDF ]
|
|
[48]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
A qos-driven reconfiguration management system extending web services
with self-healing properties.
In Proceeding of the 16th IEEE International Workshops on
Enabling Technologies: Infrastructures for Collaborative Enterprises WETICE;
In Workshop on Information Systems & Web Services ISWS, pages 339-344,
Paris, France, 18-20 June 2007. IEEE Computer Society.
[ BibTeX |
DOI ]
|
|
[47]
|
M. Hadj-Kacem, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
An uml-based approach for validation of software architecture
descriptions.
In Dirk Draheim and Gerald Weber, editors, Trends in Enterprise
Application Architecture, 2nd International Conference, TEAA 2006, Berlin,
Germany, November 29 - December 1, 2006, Revised Selected Papers, volume
4473 of Lecture Notes in Computer Science, pages 158-171. Springer,
2006.
[ BibTeX |
DOI ]
|
|
[46]
|
M. Hadj-Kacem, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Describing dynamic software architecture using an extended UML
model.
In Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright,
Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, and Christophe Nicolle,
editors, Proceeding of the 2006 ACM Symposium on Applied Computing :
Session track Model Transformation, Applied Computing, pages 1245-1249,
Dijon, France, April 2006. ACM SIGAPP, ACM.
[ BibTeX |
DOI ]
|
|
[45]
|
I.Loulou, A.Hahj-Kacem, M.Jmaiel, and K.Drira.
Compositional specification of event-based software architectural
styles.
In The 4th ACS/IEEE International Conference on Computer Systems
and Applications (AICCSA'06), Dubai/Sharjah, UAE, March 2006.
[ BibTeX |
DOI ]
|
|
[44]
|
S. Khemakhem, K. Drira, and M. Jmaiel.
SEC : A search engine for component based software engineering.
In Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright,
Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, and Christophe Nicolle,
editors, Proceeding of the 2006 ACM Symposium on Applied Computing :
Session track Software Engineering, Applied Computing, pages 1745-1750,
Dijon, France, April 2006. ACM SIGAPP, ACM.
[ BibTeX |
DOI ]
|
|
[43]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
A formally specified framework for elaborating event-based
architectural styles correct by design.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence (MCSEAI'06), pages 132-138, Agadir,
Morocco, December 2006.
[ BibTeX |
PDF ]
|
|
[42]
|
M. Loulou, A. Hadj-Kacem, M. Jmaiel, and M. Mosbah.
A conceptual model for secure mobile agent systems.
In In Proceedings of the IEEE International Conference on
Computational Intelligence and Security (CIS'2006), Bejing, China, 3-6
November 2006.
[ BibTeX |
DOI ]
|
|
[41]
|
M. Ben-Abderrahmen, F. Chaâri, B. Gargouri, and M. Jmaiel.
Des services orientés besoin pour l'exploitation des bases
lexicales normalisées.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence (MCSEAI'06), pages 451-456, Agadir,
Morocco, December 2006.
[ BibTeX |
PDF ]
|
|
[40]
|
M. Loulou, A. Hadj-Kacem, and M. Jmaiel.
A formal model for mobile agent systems using Z.
In The 3rd ACS/IEEE International Conference on Computer Systems
and Applications (AICCSA'05), Cairo, Egypt, January 2005.
[ BibTeX |
DOI ]
|
|
[39]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Towards a formal methodology for designing multi-agent applications.
In T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch, and M.N. Huhns,
editors, Proceedings of Third German Conference on Multi-Agent
Technologis MATES 2005, volume 3550 of Lecture Notes in Artificial
Intelligence, pages 153-164. Springer, 2005.
[ BibTeX |
DOI ]
|
|
[38]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Towards a formal methodology for developing multi-agent applications
using temporal Z.
In The 3rd ACS/IEEE International Conference on Computer Systems
and Applications (AICCSA'05), Cairo, Egypt, January 2005.
[ BibTeX |
DOI ]
|
|
[37]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
A simulation based process for the construction of correct models.
In Proceedings of the International Conference on Conceptual
Modeling and Simulation (CMS2005), Marseilles, France, October 2005.
[ BibTeX |
PDF ]
|
|
[36]
|
R. Ben-Halima, M. Jmaiel, and K. Drira.
Graphical simulation of the dynamic evolution of the software
architectures specified in Z.
In Proceedings of the 8th International Workshop on Principles
of Software Evolution (IWPSE), Lisbon, Portugal, September 2005.
[ BibTeX |
DOI ]
|
|
[35]
|
S. Bouaziz, B. Gargouri, and M. Jmaiel.
Component based lingware development using the EJB model and XML
linguistic interface.
In Proceedings of the L&TC'05, Poland, 2005.
[ BibTeX |
PDF ]
|
|
[34]
|
M. Hadj-Kacem, M. Jmaiel, A. Hadj-Kacem, and K. Drira.
Evaluation and comparison of ADL based approaches for the
description of dynamic software architectures.
In Proceedings of the Seventh International Conference on
Enterprise Information Systems ICEIS'05, pages 189-195, Miami, USA, MAy
2005.
[ BibTeX |
PDF ]
|
|
[33]
|
M. Hadj-Kacem, M. Jmaiel, A. Hadj-Kacem, and K. Drira.
Using UML2.0 and graph grammars for describing the dynamic
software architectures.
In Proceedings of the IEEE International Conference on
Information Technology and Applications ICITA'05, pages 46-51, Sydney,
Australia, July 2005.
[ BibTeX |
DOI ]
|
|
[32]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Toward a unified graph-based framework for dynamic component-based
architectures descriptionin Z.
In Proceedings of the IEEE/ACS International Conference on
Pervasive Services (ICPS'2004), pages 227-234, Beirut, Lebanon, July 2004.
[ BibTeX |
DOI ]
|
|
[31]
|
I. Loulou, A. Hadj-Kacem, M. Jmaiel, and K. Drira.
Approche formelle intégrée pour la spécification des
architectures dynamiques orientées composants.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence, pages 125-136, Sousse, Tunisia,
May 2004.
[ BibTeX |
PDF ]
|
|
[30]
|
M. Loulou, A. Hadj-Kacem, and M. Jmaiel.
Formalization of cooperation in mas: Towards a generic conceptual
model.
In C. Lemaître, C.A. Reyes, , and J.A. Gonzalez, editors,
Proceedings of the IX Ibero-American Conference on Artificial Intelligence
(IBERAMIA), volume 3315 of Lecture Notes in Artificial Intelligence,
pages 43-52. Springer, 2004.
[ BibTeX |
DOI ]
|
|
[29]
|
M. Loulou, A. Hadj-Kacem, and M. Jmaiel.
Agent et sma : Modélisation de la coopération et de la
négociation selon la notation z.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence, pages 85-98, Sousse, Tunisia, May
2004.
[ BibTeX ]
|
|
[28]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Specification and design of multi-agent applications using temporal
z.
In M.W. Barley and N. Kasabov, editors, Proceedings of Pacific
Rim International Workshop on Multi-Agents, volume 3371 of Lecture
Notes in Artificial Intelligence, pages 228-242. Springer, 2004.
[ BibTeX |
DOI ]
|
|
[27]
|
A. Regayeg, A. Hadj-Kacem, and M. Jmaiel.
Specification and verification of multi-agent applications using
temporal Z.
In Proceedings of the IEEE/WIC/ACM International Conference on
Intelligent Agent Technology 2004 (IAT'2004), pages 260-266, Beijing,
China, September 2004.
[ BibTeX |
DOI ]
|
|
[26]
|
R. Ben-Djemaa, M. Jmaiel, and A. Ben-Hamadou.
Vers une méthode centrée-acteur pour la conception des
applications web.
In Proceedings of the eigth Maghrebian Conference on Software
Engineering and Artificial Intelligence, pages 247-260, Sousse, Tunisia,
May 2004.
[ BibTeX |
PDF ]
|
|
[25]
|
A. Jmal, M. Jmaiel, and A. Hadj-Kacem.
Support de communication asynchrone dédié aux agents
distribués.
In Actes des Journées Scientifiques Francophones JSF'03 en
Electronique, Télécommunication et Informatique, pages 301-307,
Tozeur, Tunisie, Décembre 2003.
[ BibTeX |
PDF ]
|
|
[24]
|
B. Bouaziz, B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
EFLE : An environment for generating lingware systems code
from formal requirements specification.
In Proceedings of the ACS/IEEE International Conference on
Computer Systems and Applications, Tunis, Tunisia, July 2003.
[ BibTeX |
PDF ]
|
|
[23]
|
M. Jmaiel and A. Hadj-Kacem.
An operational semantics for negotiating agents.
In Intelligent Agents and Multi-Agent Systems, volume 2413 of
Lecture Notes in Artificial Intelligence, pages 77-91. Springer, 2002.
[ BibTeX |
DOI ]
|
|
[22]
|
M. Jmaiel, A. Hadj-Kacem, and A. Regayeg.
An operational semantics dedicated to the coordination of cooperating
agents.
In Proceedings of the IEEE International Conference on Systems,
Man and Cybernetics, Hammamet, Tunisia, October 2002.
[ BibTeX |
PDF ]
|
|
[21]
|
K. Drira, M. Diaz, Th. Villemur, M. Jmaiel, A. Ben-Hamadou, and A. Hadj-Kacem.
Cooperative systems for information sharing and exchange.
In Proceedings of 10th IEEE Workshops on Enabling Technologies:
Infrastructre for Collaborative Entreprise8, Messachussets Institute of
Technology, Cambridge, MA, USA, June 2001.
[ BibTeX |
DOI ]
|
|
[20]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
An environment for formal specification and verification of lingware.
In L. Monostori and A. Moonis J. Váncza, editors, Engineering
of Intelligent Systems, volume 2070 of Lecture Notes in Artificial
Intelligence, pages 539-545. Springer, 2001.
[ BibTeX |
DOI ]
|
|
[19]
|
A. Hadj-Kacem and M. Jmaiel.
A formal negociation model for cooperating agents.
In Proceedings of the AAAI Workshop on Negotiation Methods for
Autonomous Cooperative Systems, North Falmouth, Massachusetts, USA, November
2001.
[ BibTeX |
DOI ]
|
|
[18]
|
M. Jmaiel and A. Hadj-Kacem.
A formal definition of cooperation and agency among multi-agent
systems.
In Proceedings of the International Conference on Artificial and
Computational Intelligence for Decision, Control and Automation in
Engineering and Industrial Applications, Monastir, Tunisia, March 2000.
[ BibTeX |
PDF ]
|
|
[17]
|
M. Jmaiel.
A unified algebraic framework for specifying communication protocols.
In Proceedings of the 3rd IEEE International Conference on
Formal Engineering Methods, pages 57-67, York, England, September 2000.
Chapman and Hall.
[ BibTeX |
DOI ]
|
|
[16]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
Using a formal approach to evaluate grammars.
In Proceedings of Second International Conference on Language
Resources and Evaluation (LREC'2000), 31 May - 02 June 2000.
[ BibTeX ]
|
|
[15]
|
A. Hadj-Kacem and M. Jmaiel.
Towards a formal definition of the cooperation among multi-agent
systems.
In Proceedings of the first IFAC Workshop on Multi-Agent-Systems
in production, Vienna, Austria, December 1999.
[ BibTeX ]
|
|
[14]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
A formal approach to lingware development.
In F. Imam, Y. Kodratoff, A. El-Dessouki, and A. Moonis, editors,
Industrial and Engineering Applications of Artificial Intelligence and
Expert Systems, volume 1611 of Lecture Notes in Computer Science,
pages 859-868. Springer, 1999.
[ BibTeX |
DOI ]
|
|
[13]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
Vers l'utilisation des méthodes formelles pour le développement
de linguiciels.
In Proceedings of the 36th Annual Meeting of the Association for
Computational Linguistics and 17th International Conference on Computational
Linguistics COLING/ACL, pages 438-443, Montréal, Québec, CANADA, Aug.
1998. Morgan Kaufmann Publishers.
[ BibTeX |
DOI ]
|
|
[12]
|
B. Gargouri, M. Jmaiel, and A. Ben-Hamadou.
Intérêts des méthodes formelles en génie linguistique.
In Proceedings of the TALN98, Paris, France, Juin 1998.
[ BibTeX ]
|
|
[11]
|
N. Fourati, A. Ben-Hamadou, and M. Jmaiel.
RSOO : Une représentation sémantique orientée
Objets de requêtes en langage naturel.
In Proceedings of the International conference on Natural
Language Processing and Industrial Applications; NLP+IA 98, Moncton,
New-Brunswick, CANADA, Aug 1998.
[ BibTeX ]
|
|
[10]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
Conception, behavioral semantics and formal specification of
multi-agent systems.
In C. Zhang and D. Lukose, editors, Proceedings of the 4th
Australian Workshop on Distributed Artificial Intelligence on Multi-Agent
Systems : Theories, Languages, and Applications (DAI-98), volume 1544 of
Lecture Notes in Artificial Intelligence, pages 16-28. Springer, 1998.
[ BibTeX |
DOI ]
|
|
[9]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
A new approach to the conception and the behavioral semantics of a
multi-agent system.
In Proceedings of the 2nd IEEE International Conference on
Intelligent Processing Systems -ICIPS'98, Goald Coast, Queensland,
Australia, Aug. 1998.
[ BibTeX ]
|
|
[8]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
Multi-agent systems : from conception to behavioral semantics.
In Proceeding of the IEEE International Conference on
Intelligent Engineering Systems - INES'98, Vienna, Austria, Sep. 1998.
[ BibTeX ]
|
|
[7]
|
W. Chainbi, M. Jmaiel, and A. Ben-Hamadou.
A new approach to the conception and the behavioral semantics of a
multi-agent system.
In Proceedings of the fifth Maghrebian Conference on Software
Engineering and Artificial Intelligence MCSEAI'98, Tunis, Tunisia, Dec.
1998.
[ BibTeX ]
|
|
[6]
|
M. Jmaiel.
A methodology for developing communication protocols.
In Proceedings of the first workshop on many facets of
processes, Tunis, Tunisia, Sep. 1997.
[ BibTeX ]
|
|
[5]
|
M. Jmaiel.
An algebraic-temporal specification of a csma/cd-protocol.
In Proceedings of the IFIP WG 6.1 Fifteenth International
Symposium on Protocol Specification, Testing and Verification, Warsaw,
Poland, June 1995. Chapman and Hall.
[ BibTeX ]
|
|
[4]
|
M. Jmaiel.
Development of communication protocols by composing and refining
temporal specifications.
In Proceedings of the 4th Software Quality Conference.
University of Abertay Dundee, Scotland, UK, July 1995.
[ BibTeX ]
|
|
[3]
|
M. Jmaiel.
Development of communication protocols using algebraic and temporal
specifications.
In G. Hommel, editor, Contributions to the Quality of
Communication-Based Systems, Forschungsbericht 94-27, pages 73-84. FB
Informatik, Technische Universität Berlin, Aug. 1994.
[ BibTeX ]
|
|
[2]
|
M. Jmaiel and P. Pepper.
Development of communication protocols using algebraic and temporal
specifications.
In Proceedings of the International Workshop on Advanced
Software Technology, Shanghai, Sept. 1994. Jiao Tong University.
[ BibTeX ]
|
|
[1]
|
M. Jmaiel.
Development of communication protocols.
In G. Hommel, editor, Forschungsprojekte des Graduiertenkollegs
'Kommunikationsbasierte Systeme', Forschungsbericht 93-19, pages 73-84. FB
Informatik, Technische Universität Berlin, Aug. 1993.
[ BibTeX ]
|
