Publications by Types
 
Publication by dates | Conference A*

Search:

By Type:

All | Books | Book Chapters | Refereed Articles | Conference Papers | PhD Thesis | Master Theisis | Other publications


Books
2016
[15] Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, (Mohamed Hadj Kacem, Ismael Bouassida Rodriguez, Ernesto Exposito, eds.), Hermann-Éditions, volume L-8, 2016. [bibtex] [pdf]
[14] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Special issue Editorial: New technologies of distributed systems, volume 28, 2016. [bibtex] [pdf] [doi]
2015
[13] Wajdi Elleuch, Mobilité Des Sessions Dans Les Communications Multimédias Etude se ma Mobilité ses Sessions basées sur le Protocole SIP avant, durant et après l'établissement des communications., 2015. [bibtex]
[12] Hatem Hadj-Kacem, Riadh Ben Halima, Special issue: provisioning and management of cloud computing services, International Journal of Cloud Computing, volume 4, 2015. [bibtex]
2013
[11] Sumitra Reddy, Mohamed Jmaiel, Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex]
[10] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Special Issue: Towards the optimal synchronization granularity for dynamic scheduling of pipelined computations on heterogeneous computing systems, Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex]
[9] Nouha Baccour, Anis Koubâa, Carlo Alberto Boano, Luca Mottola, Hossein Fotouhi, Mário Alves, Habib Youssef, Marco Antonio Zúñiga, Daniele Puccinelli, Thiemo Voigt, Kay Römer, Claro Noda, Radio Link Quality Estimation in Low-Power Wireless Networks, Springer, 2013. [bibtex] [pdf]
2010
[8] Khalil Drira, Ahmed Hadj Kacem, Mohamed Jmaiel, Proceedings of the 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), IEEE, 2010. [bibtex]
2009
[7] Tarak Chaari, Mohamed Zouari, Frédérique Laforest, Ontology Based Context-Aware Adaptation Approach, 2009. [bibtex]
[6] Khalil Drira, Ahmed Hadj Kacem, Special Issue: The International Conference on Risks and Security of Internet And Systems, International Journal of Information and Computer Security, InderScience Publisher, volume 3/4, 2009. [bibtex]
2008
[5] Mohamed Jmaiel, Mohamed Mosbah, Proceedings of the Third International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE, 2008. [bibtex]
[4] Mohamed Abid, Chafik Aloulou, Mohamed Chaabane, Mohamed Jmaiel, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2008. [bibtex]
2007
[3] Mohamed Abid, Ahmed Hadj Kacem, Mohamed Jmaiel, Mongi Lahiani, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2007. [bibtex]
2006
[2] Mohamed Abid, Ahmed Hadj Kacem, Mohamed Jmaiel, Mongi Lahiani, Nouvelles Tendances Technologiques en Génie Electrique et Informatique, Centre de Publication Universitaire, 2006. [bibtex]
2004
[1] Abdelmajid Ben Hamadou, Faiez Gargouri, Mohamed Jmaiel, Génie Logiciel et Intelligence Artificielle, Centre de Publication Universitaire, 2004. [bibtex]
Book Chapters
2014
[9] Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel, Handbook of Research on Architectural Trends in Service-Driven Computing, Chapter in Discovering Services in Mobile Environments: Discussion and Evaluation of Trends, IGI Global, volume 2, 2014. [bibtex] [doi]
[8] Emna Mezghani, Riadh Ben Halima, Khalil Drira, DRAAS: Dynamically Reconfigurable Architecture for Autonomic Services., Chapter in Web Services Foundations (Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, eds.), Springer, 2014. [bibtex] [doi]
[7] Maissa Ben Jamâa, Anis Koubâa, Nouha Baccour, Yasir Kayani, Khaled Al-Shalfan, Mohamed Jmaiel, EasyLoc: Plug-and-Play RSS-Based Localization in Wireless Sensor Networks, Chapter in Cooperative Robots and Sensor Networks (Anis Koubâa, Abdelmajid Khelil, eds.), Springer Berlin Heidelberg, volume 507, 2014. [bibtex] [doi]
2013
[6] Laurent Pautet, Bechir Zalila, Modélisation et analyse de systèmes embarqués, Chapter in Génération de code à partir du modèle (Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, eds.), Hermes Science, 2013. [bibtex]
[5] Laurent Pautet, Bechir Zalila, Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Chapter in Model-Based Code Generation (Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, eds.), Wiley-ISTE, 2013. [bibtex]
2012
[4] Ismael Bouassida Rodriguez, Riadh Ben Halima, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, A Graph Grammar-Based Dynamic Reconfiguration for Virtualized Web Service-Based Composite Architectures, Chapter in Business System Management and Engineering - From Open Issues to Applications [partially an outcome of the International Workshop on Business System Management and Engineering (BSME), Springer, volume 7350, 2012. [bibtex] [doi]
2011
[3] Mohamed Nadhmi Miladi, Mariam Lahami, Mohamed Jmaiel, Khalil Drira, Methodologies for Non-functional Requirements in Service-oriented Architecture, Chapter in A Unified Deployment and Management Model for Dynamic and Distributed Software Architectures (N. Milanovic (Ed.), ed.), IGI Global, volume ch010, 2011. [bibtex] [doi]
[2] Jerome Lacouture, Ismael Bouassida Rodriguez, Jean-Paul Arcangeli, Christophe Chassot, Thierry Desprats, Khalil Drira, Francisco Garijo, Victor Noel, Michelle Sibilla, Catherine Tessier, Mission-aware adaptive communication for collaborative mobile entities, Chapter in , IGI Global, 2011. [bibtex] [doi]
[1] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, Modern Software Engineering Concepts and Practices: Advanced Approaches, Chapter in Description, classification and discovery approaches for software components: a comparative study (Ali H. Dogru, Veli Biçer, eds.), IGI Global, 2011. [bibtex] [doi]
Refereed Articles
2017
[115] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Recognition of Learner’s Personality Traits through Digital Annotations in Distance Learning, In International Journal of Distance Education Technologies, volume Volume 15, 2017. [bibtex]
[114] Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel, Privacy in cloud computing environments: a survey and research challenges, In The Journal of Supercomputing, Springer, volume 73, 2017. [bibtex]
[113] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira, A bigraphical multi-scale modeling methodology for system of systems, In Computers & Electrical Engineering, volume 58, 2017. [bibtex] [doi]
2016
[112] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Annotation-based Learner’s Personality Modeling in Distance Learning Context, In Turkish Online Journal of Distance Education, volume 17, 2016. [bibtex]
[111] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture, In Revue des Nouvelles Technologies de l'Information, volume Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, RNTI-L-8, 2016. [bibtex]
[110] Mariano Vargas Santiago, Saul Eduardo Pomares Hernandez, Luis Alberto Morales Rosales, Hatem Hadj Kacem, Fault Tolerance Approach Based on Checkpointing towards Dependable Business Processes, In IEEE Latin America Transactions, IEEE, volume 14, 2016. [bibtex]
[109] Houda Khlif, Hatem Hadj Kacem, Saúl E Pomares Hernandez, Ahmed Hadj Kacem, Cédric Eichler, Alberto Calixto Simón, An Efficient Validation Approach for Quasi-Synchronous Checkpointing oriented to Distributed Diagnosability, In Journal of Systems and Software, Elsevier, 2016. [bibtex]
[108] Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, From Event-B specifications to programs for distributed algorithms, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS),, volume 9, 2016. [bibtex] [pdf] [doi]
[107] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Computing of Learner's Personality Traits Based on Digital Annotations, In International Journal of Artificial Intelligence in Education, 2016. [bibtex] [pdf] [doi]
[106] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, An approach based on runtime models for developing dynamically adaptive systems, In Future Generation Computer Systems, Elsevier, volume , 2016. [bibtex] [doi]
[105] Imene Lahyani, Mohamed Jmaiel, Christophe Chassot, Analytical decisional model for latency aware publish/subscribe systems on \MANET\, In Journal of Systems and Software, 2016. () [bibtex] [pdf] [doi]
[104] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, Safe and Efficient Runtime Testing Framework Applied in Dynamic and Distributed Systems, In Science of Computer Programming (SCP), Elsevier, volume 122, 2016. [bibtex]
[103] Slim Kallel, Ismail Bouassida Rodriguez, Khalil Drira, Adaptive and Reconfigurable Software Systems and Architectures, In Journal of Systems and Software, Elsevier, volume , 2016. [bibtex]
[102] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Comparative study of web annotation systems used by learners to enhance educational practices: features and services, In International Journal of Technology Enhanced Learning, Inderscience, volume 8, 2016. [bibtex] [doi]
[101] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Functionalities provided by Annotation Systems for Learners in Educational Context: An Overview, In International Journal of Emerging Technologies in Learning, volume 11, 2016. [bibtex] [doi]
[100] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, Vers une modélisation formelle basée sur le rafinnement des systèmes multi-agents auto-organisateurs, In Revue d'Intelligence Artificielle, volume 30, 2016. [bibtex] [doi]
[99] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In International Journal of Agent-Oriented Software Engineering, 2016. [bibtex]
[98] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Dealing with structural changes on provisioning resources for deadline-constrained workflow, In The Journal of Supercomputing, 2016. [bibtex] [pdf] [doi]
[97] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, volume 9, 2016. [bibtex] [pdf] [doi]
[96] Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel, The SemSPM approach: fine integration of WS-SecurityPolicy semantics to enhance matching security policies in SOA, In Service Oriented Computing and Applications, Springer, 2016. [bibtex] [pdf]
[95] Djamel Belaïd, Imen Ben Lahmar, Walid Gaaloul, Developing correct adapters for software architectural dynamic reconfiguration, In International Journal of Autonomous and Adaptive Communications Systems (IJAACS), volume 9, 2016. [bibtex]
[94] Hajer Ayadi, Mouna Torjmen Khemakhem, Mariam Daoud, Jimmy Xiangji Huang, Maher Ben Jemaa, Mining correlations between medically dependent features and image retrieval models for query classification, In Journal of the Association for Information Science Technology (JASIST 2016), Wiley-Blackwell, 2016. [bibtex]
[93] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, SoLDES: Service-oriented Lexical Database Exploitation System, In Research in Computing Science, volume 109, 2016. [bibtex]
2015
[92] Afef Jmal Maâlej, Moez Krichen, Mohamed Jmaïel, A comparative evaluation of state-of-the-art load and stress testing approaches, In IJCAT, volume 51, 2015. [bibtex] [pdf] [doi]
[91] Afef Jmal Maâlej, Moez Krichen, Study on the Limitations of WS-BPEL Compositions Under Load Conditions, In Comput. J., volume 58, 2015. [bibtex] [pdf] [doi]
[90] Wassef Louati, Walid Ben-Ameur, Djamal Zeghlache, A bottleneck-free tree-based name resolution system for Information-Centric Networking, In Computer Networks, volume 91, 2015. [bibtex] [doi]
[89] Imene Lahyani, Mohamed Jmaiel, Khalil Drira, Christophe Chassot, Latency-aware publish/subscribe systems on MANET, In International Journal of Wireless and Mobile Computing (IJWMC), volume 8, 2015. [bibtex] [pdf] [doi]
[88] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, Runtime testing approach of structural adaptations for dynamic and distributed systems, In Journal of Computer Applications in Technology, volume 51, 2015. [bibtex] [pdf] [doi]
[87] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A Context Change Detection Approach For Ubiquitous Environments, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers, 2015. [bibtex]
[86] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Context analysis approach for context aware applications deployed on pervasive environments, In EAI Endorsed Trans. Context-aware Syst. & Appl., volume 2, 2015. [bibtex] [doi]
[85] Nesrine Khabou, Ismael Bouassida Rodriguez, Threshold-based context analysis approach for ubiquitous systems, In Concurrency and Computation: Practice and Experience (CPE 2013), Wiley, volume 27, 2015. [bibtex] [doi]
[84] Slim Kallel, Mohamed Jmaiel, Sumitra Reddy, Enabling Technologies: Infrastructure for Collaborative Enterprises, In Comput. J., volume 58, 2015. [bibtex] [pdf] [doi]
[83] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, Runtime testing approach of structural adaptations for dynamic and distributed systems, In IJCAT, volume 51, 2015. [bibtex] [pdf] [doi]
[82] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, 2015. [bibtex] [pdf] [doi]
[81] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, CLEVER: Cluster-based Energy-aware Virtual Ring Routing in randomly deployed wireless sensor networks, In Peer-to-Peer Networking and Applications, Springer US, 2015. [bibtex] [pdf] [doi]
[80] Ghofrane Fersi, Middleware for Internet of Things: a study, In , IEEE, 2015. [bibtex] [pdf] [doi]
[79] Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Mohamed Jmaiel, Saïd Tazi, Time-Dependent QoS Aware Best Service Combination Selection, In Int. J. Web Service Res., volume 12, 2015. [bibtex] [pdf] [doi]
[78] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A refinement-based approach for building valid SOA design patterns, In IJCC, volume 4, 2015. [bibtex] [pdf] [doi]
[77] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, The temporal perspective in business process modeling: a survey and research challenges, In Service Oriented Computing and Applications, volume 9, 2015. [bibtex] [pdf] [doi]
[76] Sofien Khemakhem, Semantic web service discovery in a mobile environment, In International Journal of Internet Manufacturing and Services, volume 4, 2015. [bibtex] [doi]
2014
[75] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, D-CEP4CMA: A Dynamic Architecture for Cloud Performance Monitoring and Analysis via Complex Event Processing, In International Journal of Big Data Intelligence, Inderscience Publishers, volume 1, 2014. [bibtex]
[74] Wafa Gabsi, Bechir Zalila, Jérôme Hugues, A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publishers, 2014. [bibtex]
[73] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A Refinement-Based Approach for Building Valid SOA Design Patterns, In International Journal of Cloud Computing, IJCC (to appear), 2014. [bibtex]
[72] Alberto Calixto Simon, Saul E. Hernandez Pomares, Jose Roberto Perez Cruz, Riadh Ben Halima, Hatem Hadj Kacem, Self-healing in autonomic distributed systems based on delayed communication-induced checkpointing, In International Journal of Autonomous and Adaptive Communications Systems, Inderscience Publisher, Inderscience Publishers, 2014. [bibtex]
[71] Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem, Vers une architecture d’auto-réparation sur le Cloud Computing, In Revue des Nouvelles Technologies de l'Information, volume 6ème Conférence francophone sur les Architectures Logicielles, RNTI-L-7, 2014. [bibtex]
[70] Nesrine Khabou, Ismael Bouassida Rodriguez, Ghada Gharbi, Mohamed Jmaiel, A Threshold based Context Change Detection in Pervasive Environments: Application to a Smart Campus, In Procedia Computer Science, volume 32, 2014. (The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)) [bibtex] [doi]
[69] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, A new annotation system based on a semantic analysis of a learner's annotative activity to invoke web services, In IJMSO, volume 9, 2014. [bibtex] [doi]
[68] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, A New Annotation System based on a Semantic Analysis of Learnerís Annotative Activity to Invoke Web Services, In International Journal of Metadata, Semantics and Ontologies, Inderscience, volume 9, 2014. [bibtex] [doi]
[67] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, Interoperability for medical information systems: an overview, In Health and Technology, Springer Berlin Heidelberg, volume 4, 2014. [bibtex] [doi]
2013
[66] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Handling Nodes Mobility and Failure During Bootstrapping in Randomly Deployed Ring-based Wireless Sensor Networks, In International Journal of Recent Contributions from Engineering, Science & IT (iJES), IJES, volume 1, 2013. [bibtex] [doi]
[65] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Distributed Hash table-based routing and data management in wireless sensor networks: a survey, In ACM/Springer Wireless Networks (WINET):The Journal of Mobile Communication, Computation and Information, ACM/Springer, volume 19, 2013. [bibtex] [doi]
[64] Akram Eddahech, Sofien Chtourou, Mohamed Chtourou, Hierarchical neural networks based prediction and control of dynamic reconfiguration for multilevel embedded systems, In ELSEVIER, journal of Systems Architecture, ELSEVIER, volume 59, 2013. [bibtex] [doi]
[63] Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata, Communities of Web service registries: Construction and management, In Journal of Systems and Software, volume 86, 2013. [bibtex] [doi]
[62] Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel, AO4AADL: Aspect oriented extension for AADL, In Central European Journal of Computer Science, Versita, Springer, volume 3, 2013. [bibtex] [doi]
[61] Sirine Rebai, Nawal Guermouche, Hatem Hadj-Kacem, Ahmed Hadj-Kacem, Towards error-handling-aware choreography to orchestration transformation approach, In Intnational Journal of Collaborative Enterprise, volume 3, 2013. [bibtex]
[60] Mohamed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Towards an approach for managing dynamic deployment in distributed service oriented architectures, In International Journal of Collaborative Enterprise, volume Vol.3, 2013. [bibtex] [doi]
[59] Mohamed Jmaiel Soumaya Marzouk, A policy-based approach for strong mobility of composed Web services, In Service Oriented Computing and Applications, Springer-Verlag, volume 7, 2013. [bibtex] [doi]
[58] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Managing Architectural Reconfiguration at Runtime, In International Journal of Web Portals, volume 5, 2013. [bibtex] [doi]
[57] Anis Koubâa, Maissa Ben Jamâa, Taxonomy of Fundamental Concepts of Localization in Cyber-Physical and Sensor Networks, In Wireless Personal Communications, volume 72, 2013. [bibtex] [doi]
[56] Anis Kalboussi, Omar Mazhoud, Nizar Omheni, Ahmed Hadj Kacem, An Approach of Assistance of Learner's Annotative Activity through Web Services, In Australian Journal of Intelligent Information Processing Systems (AJIIPS), volume 13, 2013. [bibtex]
[55] Nasreddine Hajlaoui, Issam Jabri, Maher Ben Jemaa, Experimental Performance Evaluation and Frame Aggregation Enhancement in IEEE 802.11n WLANs, In International Journal of Communication Networks and Information Security, volume 5, 2013. [bibtex]
[54] Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Bernard Coulette, Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach, In Concurrency and Computation:Practice and Experience, Wiley, 2013. [bibtex]
[53] Mouna Torjmen Khemakhem, Karen Pinel-Sauvagnat, Mohand Boughanem, Investigating the document structure as a source of evidence for multimedia fragment retrieval, In Inf. Process. Manage., volume 49, 2013. [bibtex] [doi]
[52] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In International Journal of Web Portals (IJWP), volume 5, 2013. [bibtex] [doi]
[51] Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed Mosbah, Akka Zemmari, Randomized broadcasting in wireless mobile sensor networks, In Concurrency and Computation: Practice and Experience, volume 25, 2013. [bibtex] [doi]
[50] Amina Chaabane, Codé Diop, Wassef Louati, Mohamed Jmaiel, Jorge Gómez-Montalvo, Ernesto Exposito, Towards a semantic-driven and scalable publish/subscribe framework, In International Journal of Internet Protocol Technology, volume 7, 2013. [bibtex] [doi]
[49] Fatma Abdennadher, Maher Ben Jemaa, Mobility Management in Publish/Subscribe Middleware., In Mobility Management in Publish/Subscribe Middleware, IGI, volume 4, 2013. [bibtex] [doi]
2012
[48] Nouha Baccour, Anis Koubaa, Luca Mottola, Marco Antonio Zuniga, Habib Youssef, Carlo Alberto, Boanoand Mario Alves, Radio link quality estimation in wireless sensor networks: A survey, In ACM Trans. Sen. Netw., ACM, volume 8, 2012. [bibtex] [doi]
[47] Moez Krichen, A formal framework for black-box conformance testing of distributed real-time systems, In IJCCBS, volume 3, 2012. [bibtex] [doi]
[46] Nathalie Bertrand, Thierry Jeron, Amelie Stainer, Moez Krichen, Off-line test selection with test purposes for non-deterministic timed automata, In Logical Methods in Computer Science, volume 8, 2012. [bibtex] [doi]
[45] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In In the Journal of New technologies of Information (RNTI), CAL'2011, 2012. [bibtex]
[44] Slim Kallel, Mohamed Hadj Kacem, Mohamed Jmaiel, Modeling and enforcing invariants of dynamic software architectures, In Software and Systems Modeling, Springer, volume 11, 2012. [bibtex] [doi]
[43] Hatem Hadj Kacem, Imen Loulou, Ahmed Hadj Kacem, A formal approach to model and verify the behavior of Publish/Subscribe architectural style, In International Journal of Information Technology, Communications and Convergence, Inderscience publishers, volume , 2012. [bibtex]
[42] Hatem Aouadi, Mouna Torjmen-Khemakhem, Maher Ben Jemaa, Combination of document structure and links for multimedia object retrieval, In Journal of Information Science, volume 38, 2012. [bibtex] [doi]
2011
[41] Nouha Baccour, Anis Koubaa, Maissa Ben Jamaa, Denis do Rosario, Habib Youssef, Mario Alves, Leandro B. Becker, RadiaLE: A framework for designing and assessing link quality estimators in wireless sensor networks, In Ad Hoc Netw., Elsevier Science Publishers B. V., volume 9, 2011. [bibtex] [doi]
[40] Soumaya Ghorbel, Maher Ben Jemaa, Mohamed Chtourou, Object-based Video compression using neural networks, In , 2011. [bibtex]
[39] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Research Article Static Scheduling of Periodic Hardware Tasks with Precedence and Deadline Constraints on Reconfigurable Hardware Devices, In , Hindawi Publishing Corporation, 2011. [bibtex] [doi]
[38] Soumaya Marzouk, Mohamed Jmaiel, A Survey on Software Checkpointing and Mobility Techniques in Distributed Systems, In Concurrency and Computation: Practice and Experience, Wiley, volume 23, 2011. [bibtex] [doi]
2010
[37] Ghofrane Fersi, Wassef Louati, Maher Ben Jemaa, Energy-aware Virtual Ring Routing in Wireless Sensor Networks , In Network Protocols and Algorithms, Macrothink Institute, volume 2, 2010. [bibtex] [doi]
[36] Riadh Ben Halima, Emna Fki, Khalil Drira, Mohamed Jmaiel, A large-scale monitoring and measurement campaign for web services-based applications, In Concurrency and Computation: Practice and Experience, Wiley, volume 22, 2010. [bibtex] [doi]
[35] Imen Loulou, Mohamed Jmaiel, Khalil Drira, Ahmed Hadj Kacem, P/S-CoM: Building Correct by Design Publish/Subscribe Architectural Styles with Safe Reconfiguration, In Journal of Systems and Software, volume 83, 2010. [bibtex] [doi]
[34] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Mohamed Jmaiel, Ikbel Guidara, Modélisation et alignement sémantique des intentions des clients avec les offres des fournisseurs, In revue des nouvelles technologies RNTI L5 CAL 2010, Cépaduès, 2010. [bibtex]
[33] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Khalil Drira, Mohamed Jmaiel, ODACE SLA: Ontology Driven Approach for automatic Establishment of Service Level Agreements, In International Journal of Systems and Service-Oriented Engineering 2010, IGI global, volume 1, 2010. [bibtex]
[32] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, An integration ontology for components composition, In International Journal of Web Portals (IJWP), IGI Global, volume 2, 2010. [bibtex] [doi]
[31] Nasreddine Hajlaoui, Caroline Chaux, Guillaume Perrin, Frédéric Falzon, Amel Benazza-Benyahia, Satellite image restoration in the context of a spatially varying point spread function, In Journal of The Optical Society of America A-optics Image Science and Vision, volume 27, 2010. [bibtex] [doi]
[30] Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe chassot, Mohamed Jmaiel, A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars, In International Journal of Autonomic Computing, volume 1, 2010. [bibtex] [doi]
[29] Ismael Bouassida Rodriguez, Christophe chassot, Mohamed Jmaiel, Graph grammar-based transformation for context-aware architectures supporting group communication, In Revue des Nouvelles Technologies de l'Information, volume L, 2010. [bibtex]
[28] Ismael Bouassida Rodriguez, Khalil Drira, Christophe chassot, Mohamed Jmaiel, An architectural refinement model for group-wide communications with priorities applied to the ROSACE project senario, In International Tarnsactions on Systems Science and Applications, volume 6, 2010. [bibtex]
2009
[27] Mohamed Jmaiel, Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 7, 2009. [bibtex]
[26] Imene Lahyani, Soumaya Marzouk, Mohamed Jmaiel, QoS Aware Publish/Subscribe System Deployed on a Mobile Ad-hoc Network, In Communications of SIWN - The Systemics and Informatics World Network, volume 7, 2009. [bibtex]
[25] Monia Loulou, Mohamed Jmaiel, Mohamed Mosbah, Dynamic security framework for mobile agent systems: specification, verification and enforcement, In International Journal of Information and Computer Security, Inderscience Publishers, volume 3, 2009. [bibtex] [doi]
[24] Moez Krichen, Stavros Tripakis, Conformance testing for real-time systems, In Formal Methods in System Design, volume 34, 2009. [bibtex] [doi]
[23] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Khalil Drira, Mohamed Jmaiel, Semantic Enabled Framework for SLA Monitoring, In International Journal on Advances in Software, IARIA Journal, volume 2, 2009. [bibtex]
[22] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe, A Holistic Approach for Access Control Policies: from Formal Specification to Aspect-Based Enforcement, In International Journal of Information and Computer Security, Inderscience publishers, volume 3, 2009. [bibtex] [doi]
[21] Maher Ben Jemaa, Nahla Abid, Maryline Laurent Maknavicius, Hakima Chaouchi, Experimental measurements of host identity protocol for mobile nodes networks, In Journal of Computer Systems, Networks, and Communications), 2009. [bibtex]
[20] Maher Ben Jemaa, Mariem Kallel Zouari, Bachar Zouari, A new approach to services differentiation between mobile terminals of a wireless LAN , In International Journal of Computer Science and Information Security, volume 3, 2009. [bibtex]
[19] Mohamed Amine Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, A Distributed Computational Model for Mobile Agents, In International Journal of Grid Computing and Multi Agent Systems (GCMAS), volume 1, 2009. [bibtex]
2008
[18] Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel, An experimental evaluation of SEC+, an enhanced search engine for component-based software development, In SIGSOFT Softw. Eng. Notes, ACM, volume 33, 2008. [bibtex] [doi]
[17] Slim Kallel, Anis Charfi, Mohamed Jmaiel, Using Aspects for Enforcing Formal Architectural Invariants, In Electronic Notes in Theoretical Computer Science, Elsevier, volume 215, 2008. [bibtex] [doi]
[16] Ismael Bouassida Rodriguez, N. Van Wambeke, Khalil Drira, Christophe chassot, Mohamed Jmaiel, Multi-layer coordinated adaptation based on graph refinement for cooperative activities, In Communications of SIWN, volume 4, 2008. [bibtex]
[15] Riadh Ben Halima, Karim Guennoun, Khalil Drira, Mohamed Jmaiel, Providing predictive self-healing for web services: a QoS monitoring and analysis-based approach, In Journal of Information Assurance and Security (JIAS), volume 3, 2008. [bibtex] [doi]
2007
[14] Ahmed Hadj Kacem, Najla Hadj Kacem, From Formal Specification to Model Cheking of MAS unsing CSP-Z and SPIN, In International Journal of Computing & Information Sciences, volume 5, 2007. [bibtex] [pdf]
[13] Mohamed Jmaiel, Guest Editorial, In International Journal of Computing & Information Sciences, Special Issue on New Tendencies in Electric and Data Processing, volume 5, 2007. [bibtex]
[12] Ahmed Hadj Kacem, Amira Regayeg, Mohamed Jmaiel, ForMAAD: A Formal Method For Agent-Based Application Design, In Journal of Web Intelligence and Agent Systems, volume 5, 2007. [bibtex]
[11] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, SEC+: an enhanced search engine for component-based software development, In SIGSOFT Software Engineering Notes, ACM Press, volume 32, 2007. [bibtex] [doi]
[10] Ismael Bouassida Rodriguez, Khalil Drira, Christophe chassot, Mohamed Jmaiel, Context-Aware Adaptation for Group Communication Support Applications with Dynamic Architecture, In -System and Information Sciences Notes, volume 2, 2007. [bibtex] [doi]
2006
[9] Amira Regayeg, Slim Kallel, Ahmed Hadj Kacem, Mohamed Jmaiel, ForMAAD method: An experimental Design for Air Traffic Control, In International Transactions on Systems Science and Applications, volume 1, 2006. (Electronic Journal) [bibtex] [doi]
2005
[8] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Approche formelle intégrée pour la spécification des architectures dynamiques orientées composants, In Information Sciences for Decision Making, Special Issue of The 8th MCSEAI'04, 2005. (Electronic Journal) [bibtex] [pdf]
[7] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, Algebraic elimination of epsilon-transitions, In Discrete Mathematics and Theoretical Computer Science, volume 7, 2005. [bibtex] [pdf]
2003
[6] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, An Approach to the Formal Specification of Lingware, In Natural Language Engineering, Cambridge University Press, volume 9, 2003. [bibtex] [doi]
[5] Mohamed Jmaiel, Pepper Pepper, Development of Communication Protocols Using Algebraic and Temporal Specifications, In Computer Networks Journal, Elsevier Science Publisher, volume 42, 2003. [bibtex] [doi]
2002
[4] Kamel Barkaoui, Mohamed Jmaiel, Ali Mili, Guest editorial, In Journal of Systems and Software, volume 60, 2002. [bibtex] [doi]
[3] Kamel Barkaoui, Mohamed Jmaiel, Ali Mili, Guest editorial, In Journal of Systems and Software, , Special Issue on Artificial and Computational Intelligence for Decision Control, and Automation in Engineering and Industrial Applications, volume 60, 2002. [bibtex]
2001
[2] Walid Chainbi, Abdelmajid Ben Hamadou, Mohamed Jmaiel, A Belief-Goal-Role theory for multiagent systems, In International Journal of Pattern Recognition and Artificial Intelligence, World Scientific Publishing Company, volume 15, 2001. [bibtex] [doi]
1996
[1] Mohamed Jmaiel, Specification of Communication Protocols using Temporal Logic, In Journal of Systems and Software, Special Issue on Software Engineering for Distributed Systems, Elsevier Science Inc., volume 33, 1996. [bibtex] [doi]
Refereed Conference Papers
2017
[398] Amal Ghorbel, Mahmoud Ghorbel, Mohamed Jmaiel, A Hybrid Approach for Private Data Protection in the Cloud, In International Conference on Green, Pervasive, and Cloud Computing, 2017. [bibtex]
[397] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Simulation tools for cloud computing: A survey and comparative study, In IEEE/ACIS 16th International Conference on Computer and Information Science (ICIS), 2017. [bibtex]
[396] Faten Fakhfakh, Mohamed Tounsi, Mohamed Mosbah, Dominique Méry, Ahmed Hadj Kacem, A Formal Approach for Maintaining Forest Topologies in Dynamic Networks, In 16th International Conference on Computer and Information Science (ICIS), Springer, 2017. [bibtex]
[395] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, CloudSim4DWf: A CloudSim-extension for simulating dynamic workflows in a cloud environment, In IEEE 15th International Conference on Software Engineering Research, Management and Applications (SERA), 2017. [bibtex]
[394] Mariam Chaabane, Ismael Bouassida Rodriguez, Mohamed Jmaiel, System of systems software architecture description using the ISO/IEC/IEEE 42010 standard, In Proceedings of the 32th Annual ACM Symposium on Applied Computing (SAC), 2017. [bibtex] [doi]
[393] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed Hadj Kacem, From Event to Evidence: An Approach for Multi-tenant Cloud Services' Accountability, In 31st IEEE International Conference on Advanced Information Networking and Applications, AINA 2017, Taipei, Taiwan, March 27-29, 2017, 2017. [bibtex] [doi]
[392] Abir Masmoudi, Emna Mezghani, hatem bellaaj, Khalil drira, Mohamed Jmaiel, A Web-based Knowledge Management System for Scientific Research Team, In Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017. [bibtex] [doi]
[391] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, WSCLim: A Tool for Model-Based Testing of WS-BPEL Compositions Under Load Conditions, In Tests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, 2017. [bibtex] [doi]
[390] Imen Graja, Slim Kallel, Nawal guermouche, Ahmed Hadj Kacem, Modeling and verification of temporal properties in Cyber-Physical Systems, In Proceedings of the 14th Annual IEEE Consumer Communications & Networking Conference (CCNC 2017), 2017. [bibtex]
[389] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A tool for modeling SoS architectures using bigraphs, In Proceedings of the 32th Annual ACM Symposium on Applied Computing (SAC), 2017. [bibtex] [doi]
[388] Amina Chaabane, Salma Bradai, Wassef Louati, Mohamed Jmaiel, Efficient composite event detection based on DHT protocol, In 15th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2017, London, United Kingdom, June 7-9, 2017, 2017. [bibtex] [doi]
[387] Farah Bellaaj, Mohamed Sellami, Sami Bhiri, Zakaria Maamar, Obstacle-Aware Resource Allocation in Business Processes, In Business Information Systems - 20th International Conference, BIS 2017, Poznan, Poland, June 28-30, 2017, Proceedings, 2017. [bibtex] [doi]
2016
[386] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Modeling and Formal Specification Of Multi-scale Software Architectures, In Proceedings of the 11th International Conference on Software Engineering Advances, (ICSEA'2016), 2016. [bibtex]
[385] Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf, Ahmed Hadj Kacem, Software architectures: multi-scale refinement, In Proceedings of the 14th IEEE/ACIS, International Conference on Software Engineering Research, Management and Applications (SERA'2016), IEEE Computer Society, 2016. [bibtex]
[384] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Multiple Software Product Lines for Service Oriented Architecture., In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE'2016), 2016. [bibtex]
[383] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, A Novel Approach for Semantic Web Service Discovery, In 2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi]
[382] Amir Guidara, Faouzi Derbel, Maher Ben Jemaa, Energy-efficient model for indoor localization process based on wireless sensor networks, In 13th International Multi-Conference on Systems, Signals Devices (SSD), 2016. [bibtex] [doi]
[381] Allyx Fontaine, Mohamed Mosbah, Mohamed Tounsi, Akka Zemmari, A Fault-Tolerant Handshake Algorithm for Local Computations, In 30th International Conference on Advanced Information Networking and Applications Workshops (WAINA), 2016. [bibtex] [doi]
[380] Afef Jmal Maalej, Moez Krichen, A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures, In Proceedings of the 10th International Workshop on Verification and Evaluation of Computer and Communication System (VECoS), CEUR-WS.org, volume 1689, 2016. [bibtex]
[379] Nizar Omheni, Ahmed Hadj Kacem, Improving Students’ Reading Comprehension Achievement through Sharing Annotations in Peer Learning Environment, In the 20th Global Chinese Conference on Computers in Education 2016. Hong Kong, 2016. [bibtex]
[378] Nizar Omheni, Ahmed Hadj Kacem, “i-Read”: A Collaborative Learning Environment to Support Students with Low Reading Abilities, In International Conference on Intelligent Tutoring Systems, 2016. [bibtex]
[377] Lamia Ben Amor, Imene Lahyani, Towards Accurate Medical Data in Mobile Health Applications, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016, 2016. [bibtex] [pdf] [doi]
[376] Emna Taktak, Imen Abdennadher, Ismael Bouassida Rodriguez, An Adaptation Approach for Smart Buildings, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi]
[375] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, Khalil Drira, Holistic Link Quality Estimation-based Routing Metric for RPL Networks in Smart Grids, In 2016 IEEE 27th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC): Mobile and Wireless Networks (IEEE PIMRC2016 Mobile and Wireless), 2016. [bibtex]
[374] Mouna Ktari, Mohamed Amine Haddar, Mohamed Mosbah, Ahmed Hadj Kacem, Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents, In Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA),, IEEE Computer Society, 2016. [bibtex]
[373] Nabila Mansouri, Yousra Ben Jemaa, Eric Watelain, Optimized HOG Descriptor for on Road Cars Detection, In Proceedings of the 10th International Conference on Distributed Smart Camera, 2016. [bibtex] [pdf] [doi]
[372] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Designing an Analysis Procedure for Context Aware Applications in Ubiquitous Environments, In Proceedings of The 30-th IEEE International Conference on Advanced Information Networking and Applications (AINA-2016), 2016. [bibtex]
[371] Ahmed Jemal, Henda Ktait, Riadh Ben Halima, Mohamed Jmaiel, OoDAAS: Ontology-Driven Analysis for Self-Adaptive Ambient Systems, In Proceedings of the International Conference on Internet of Things and Cloud Computing, ACM, 2016. [bibtex] [doi]
[370] Marwa Hachicha, Riadh Ben Halima, Ahmed Hadj Kacem, Modeling and Verifying Self-adaptive Systems:A Refinement Approach, In The 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC2016), 2016. [bibtex]
[369] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, BPMN4CPS: A BPMN Extension for modeling cyber-physical systems, In Proceedings of the 25th IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, volume , 2016. [bibtex] [doi]
[368] Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem, Time Patterns for Cyber-Physical Systems, In Proceedings of the 21th IEEE Symposium on Computers and Communications (ISCC), IEEE, volume , 2016. [bibtex] [doi]
[367] Amal Gassara, Ismael Bouassida Rodriguez, A Bigraphical Modeling Methodology for Multi-scale Reconfigurable Systems, In Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2016. [bibtex] [doi]
[366] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Khalil Drira, Encoding Bigraphical Reactive Systems into Graph Transformation Systems, In Proceedings of the 14th Cologne Twente Workshop on Graphs and Combinatorial Optimization, (CTW), 2016. [bibtex]
[365] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance, In Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, 2016. [bibtex] [pdf] [doi]
[364] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems, In 14th IEEE International Conference on Software Engineering Research, Management and Applications, SERA, 2016. [bibtex] [pdf] [doi]
[363] Wafa Gabsi, Bechir Zalila, Mohamed Jmaiel, AspectAda: An aspect oriented extension of ada for real-time systems, In 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2016. [bibtex] [pdf] [doi]
[362] Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, A Refinement-Based Approach for Proving Distributed Algorithms on Evolving Graphs, In 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2016. [bibtex] [doi]
[361] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Recursive and RollingWindows for Medical Time Series Forecasting : a Comparative Study, In 14th IEEE /IFIP International Conference on Embedded and Ubiquitous Computing, EUC, 2016. [bibtex]
[360] Marwa Hachicha, Emna Dammak, Riadh Ben Halima, Ahmed Hadj Kacem, A correct by construction approach for modeling and formalizing self-adaptive systems, In 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2016, Shanghai, China, May 30 - June 1, 2016, 2016. [bibtex] [pdf] [doi]
[359] Ikbel Guidara, Imane Al Jaouhari, Nawal Guermouche, Dynamic Selection for Service Composition Based on Temporal and QoS Constraints, In IEEE International Conference on Services Computing, SCC, 2016. [bibtex] [pdf] [doi]
[358] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Towards a General Framework for Ensuring and Reusing Proofs of Termination Detection in Distributed Computing, In 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2016, Heraklion, Crete, Greece, February 17-19, 2016, 2016. [bibtex] [pdf] [doi]
[357] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions, In Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016. Proceedings, 2016. [bibtex]
[356] Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, and Mohamed Jmaiel., Formal Verification of Time-Aware Cloud Resource Allocation in Business Process, In Proceedings of On the Move to Meaningful Internet Systems: OTM Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, Springer, volume , 2016. [bibtex] [doi]
[355] Hatem Aouadi, Mouna Torjmen Khemakhem, Mohamed Jmaiel, An LDA Topic Model Adaptation for Context-Based Image Retrieval, In 16th International Conference on Electronic Commerce and Web Technologies, 2016. [bibtex]
[354] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, An overview of a decision approach for autonomic applications architectural adaptation, In Proceedings of The 18-th IEEE International Conference on High Performance Computing and Communications (HPCC), 2016. [bibtex] [doi]
[353] Lamia Ben Amor, Imene Lahyani, Mohamed Jmaiel, Towards ODRAH: an Ontology-based Data Reliability Assessment in mobile Health, In 13th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2016. [bibtex]
2015
[352] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A formal Approach for SOA Design Patterns Composition, In Proceedings of the ACS/IEEE 12th International Conference on Computer Systems and Applications (AICCSA), IEEE Computer Society, 2015. [bibtex]
[351] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, An Approach for SOA Design Patterns Composition, In Proceedings of the IEEE 8th International Conference on Service-Oriented Computing and Applications (SOCA), IEEE Computer Society, 2015. [bibtex]
[350] Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed HadjBooktitle=Proceedings of the 14th French Conference on Software Architecture (CAL'15) Hammamet Tunisia Kacem, Traduction de spécifications de contraintes d’architecture en composants exécutables, In , 2015. [bibtex]
[349] Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of OCL Meta-Level Constraints into Java Meta-programs, In Proceedings of the 14th International Conference on Software Engineering Research, Management and Applications (SERA'15), Hammamet, Tunisia, Springer, 2015. [bibtex]
[348] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Maher Ben Jemaa, How to Use Ants for Data Stream Clustering, In Proceedings of the IEEE Congress on Evolutionary Computation (CEC) (IEEE CEC'2015), 2015. [bibtex]
[347] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Towards a Multi-scale Modeling Approach for Software Architectures, In Proceedings of the 30th Annual ACM Symposium on Applied Computing, ACM, 2015. [bibtex] [doi]
[346] Ilhem Khlif, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A UML-based Approach for Multi-scale Software Architectures., In Proceedings of the 17th International Conference on Enterprise Information Systems, (ICEIS'2015), SciTePress, volume 2, 2015. [bibtex] [pdf]
[345] Amir Guidara, Faouzi Derbel, A real-time indoor localization platform based on wireless sensor networks, In 12th International Multi-Conference on Systems, Signals Devices (SSD), 2015. [bibtex] [doi]
[344] Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of Architecture Constraint Specifications into Components, In Proceedings of the European conference on Software Architecture (ECSA), Springer, 2015. [bibtex]
[343] Rim Teyeb Jaouachi, Mouna Torjmen Khemakhem, Nathalie Hernandez, Ollivier Haemmerlé, Maher Ben Jemaa, Semantic Annotation of Images Extracted from the Web using RDF Patterns and a Domain Ontology, In ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015, 2015. [bibtex]
[342] Rim Teyeb Jaouachi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Ollivier Haemmerlé, Nathalie Hernandez, Taking Contextual Parameters into Account and Using RDF Patterns for the Semantic Web Image Annotation, In Enterprise Information Systems - 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers, 2015. [bibtex]
[341] Christophe Dony, Ahmed Hadj Kacem, Automatic Translation of Architecture Constraint Specifications into Components, In Software Architecture: 9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015. Proceedings, volume 9278, 2015. [bibtex]
[340] Rym Teyeb, Mouna Torjmen, Nathalie Hernandez, Ollivier Haemmerlé, Maher Ben Jemaa, Vers une annotation sémantique des images web fondée sur des patrons RDF, In CORIA 2015 - Conférence en Recherche d'Infomations et Applications - 12th French Information Retrieval Conference, Paris, France, March 18-20, 2015., 2015. [bibtex]
[339] Sana Rekik, Nouha Baccour, Mohamed Jmaiel, and Khalil Drira., Low-Power Link Quality Estimation in Smart Grid Environments, In The 11th International Wireless Communications & Mobile Computing Conference (IWCMC 2015), 2015. [bibtex]
[338] Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [pdf] [doi]
[337] Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, A service-oriented architecture (SOA) framework for choreography verification, In 14th IEEE/ACIS International Conference on Computer and Information Science, ICIS, 2015. [bibtex] [pdf] [doi]
[336] Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [pdf] [doi]
[335] Nizar Omheni, Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Modelling Learner's Personality Profile through Analysis of Annotation Digital Traces in Learning Environment, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT 2015, Hualien, Taiwan, July 6-9, 2015, 2015. [bibtex] [pdf] [doi]
[334] Nabil Baklouti, Bilel Gargouri, and Mohamed Jmaiel, Semantic-Based Approach to Improve the Description and the Discovery of Linguistic Web Services, In , Elsevier, 2015. [bibtex]
[333] Nabil Baklouti, Bilel Gargouri, and Mohamed Jmaiel, Towards Patterns-based Linguistic Web Service Composition, In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),, IEEE Computer Society, 2015. [bibtex]
[332] Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah, Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Dynamic Networks, In Proceedings of the 12th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA),, IEEE Computer Society, 2015. [bibtex]
[331] Monia Ben Brahim, Tarak Chaari, Mohamed Jmaiel, XPath translation to enhance the semantic matching of fine-grained Web service security policies, In 2015 12th IEEE/ACS International Conference on Computer Systems and Applications (AICCSA), 2015. [bibtex]
[330] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Maher Ben Jemaa, Clustering Of Binary Data Sets Using Artificial Ants Algorithm, In The 22th International Conference on Neural Information Processing (ICONIP2015), 2015. [bibtex]
[329] Fatma Masmoudi, Mohamed Sellami, Monia Loulou, Ahmed HadjKacem, Analyzing Multi-Tenant Cloud Services’ Accountability, In 12th International Conference on e-Business Engineering, 2015. [bibtex]
[328] Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel, From AADL Model to LNT Specification, In Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Proceedings, 2015. [bibtex] [pdf] [doi]
[327] Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, Mohamed Jmaiel, Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization, In 20th International Conference on Engineering of Complex Computer Systems, ICECCS, 2015. [bibtex] [pdf] [doi]
[326] Mariam Lahami, Moez Krichen, Hajer Barhoumi, Mohamed Jmaiel, Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations, In ICTSS, 2015. [bibtex]
[325] Houda Khlif, Hatem Hadj Kacem, Saúl E. Pomares Hernández, Ahmed Hadj Kacem, A Mechanism for the Causal Ordered Set Representation in Large-Scale Distributed Systems, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [pdf] [doi]
[324] Nesrine Khabou, Ismael Bouassida Rodriguez, Analysis Process for Context Aware Applications in Pervasive Environments, In 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2015), IEEE, 2015. [bibtex]
[323] Karim Gasmi, Mouna Torjmen Khemakhem, Lynda Tamine, Maher Ben Jemaa, Graph-based Methods for Significant Concept Selection, In 19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, KES 2015, Singapore, 7-9 September 2015, 2015. [bibtex] [pdf]
[322] Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel, AROSA 2015 Track Report: Adaptive and Reconfigurable Service-Oriented and Component-Based Applications and Architectures, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [pdf] [doi]
[321] Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem, An Interactive Annotation System to Support the Learner with Web Services Assistance, In 15th IEEE International Conference on Advanced Learning Technologies, ICALT, 2015. [bibtex] [doi]
[320] Anis Kalboussi, Nizar Omheni, Omar Mazhoud, Ahmed Hadj Kacem, How to Organize the Annotation Systems in Human-Computer Environment: Study, Classification and Observations, In Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, 2015. [bibtex] [doi]
[319] Hatem Hadj Kacem, Anderson Santana de Oliveira, Mohamed Sellami, Sylvain Lefebvre, FISA 2015 Track Report: Future Internet Services and Applications, In 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE, 2015. [bibtex] [pdf] [doi]
[318] Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel, From AADL Model to LNT Specification, In Reliable Software Technologies – Ada-Europe 2015 (Juan Antonio de la Puente, Tullio Vardanega, eds.), Springer International Publishing, volume 9111, 2015. [bibtex] [pdf] [doi]
[317] Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira, An Approach for Multiple-Instance Based Service Composition, In 2015 IEEE International Conference on Services Computing, SCC 2015, New York City, NY, USA, June 27 - July 2, 2015, 2015. [bibtex] [pdf] [doi]
[316] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, A multi-scale modeling approach for software architecture deployment, In Proceedings of the 30th Annual ACM Symposium on Applied Computing (SAC), 2015. [bibtex] [doi]
[315] Emna Fki, Saïd Tazi, Mohamed Jmaiel, A Semantic Driven Approach for an Automated Composition Based on Abstract Services, In 12th IEEE International Conference on e-Business Engineering, ICEBE 2015, Beijing, China, October 23-25, 2015, 2015. [bibtex] [doi]
[314] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Towards a Provisioning Algorithm for Dynamic Workflows in the Cloud, In Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE , Larnaca, Cyprus, June 15-17, 2015. [bibtex]
[313] Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs, In Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD, 2015. [bibtex]
[312] Nizar Omheni, Anis Kalboussi, mar Mazhoud, Ahmed Hadj Kacem, Automatic Recognition of Personality from Digital Annotations, In Proceedings of the 11th International Conference on Web Information Systems and Technologies, 2015. [bibtex] [pdf] [doi]
[311] Wafa Gabsi, Bechir Zalila, Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL, In Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015 [revised selected papers from SNPD 2015, Takamatsu, Japan, June 1-3, 2015], 2015. [bibtex] [pdf] [doi]
[310] Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Saïd Tazi, Mohamed Jmaiel, Heuristic Based Time-Aware Service Selection Approach, In 2015 IEEE International Conference on Web Services, ICWS 2015, 2015. [bibtex] [pdf] [doi]
[309] Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari, A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes, In Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, 2015. [bibtex] [pdf]
[308] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Controlling Elasticity Dependencies For Multi-tenant Business Process, In 12th International Conference on e-Business Engineering (ICEBE), Beijing, China, October 23-25, 2015, 2015. [bibtex]
[307] Mariam Chaabane, Fatma Krichen, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Monitoring of Service-Oriented Applications for the Reconstruction of Interactions Models, In Proceedings of the 15th International Conference on Computational Science and its Applications (ICCSA), 2015. [bibtex] [pdf] [doi]
[306] Nabila Belhaj, Djamel Belaïd, An Autonomic Container for the Management of Component-based Applications in Pervasive Environments, In 11th IEEE International Conference on Autonomic and Trusted Computing, 2015. [bibtex]
[305] Nabila Belhaj, Imen Ben Lahmar, Mohamed Mohamed, Djamel Belaïd, Collaborative Autonomic Management of Distributed Component-Based Applications, In On the Move to Meaningful Internet Systems: OTM 2015 Conferences - Confederated International Conferences: CoopIS, ODBASE, and C&TC, 2015. [bibtex]
[304] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, Requirement-based lexical web service generation, In Proceedings of the 15th International Conference on Intelligent Systems Design and Applications, ISDA, 2015. [bibtex] [pdf] [doi]
[303] Imen Abdennadher, Mohamed Jmaiel, Une étude de la décision pour l'adaptation autonomique des systèmes, In Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, 2015. [bibtex]
[302] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Mariano Vargas-Santiago, Saúl E. Pomares Hernández, Towards a Decision Approach for Autonomic Systems Adaptation, In Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, MobiWac 2015, Cancun, Mexico, November 2-6, 2015, 2015. [bibtex] [doi]
[301] Imen Abdennadher, Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Designing energy efficient Smart Buildings in ubiquitous environments, In 15th International Conference on Intelligent Systems Design and Applications, ISDA 2015, Marrakech, Morocco, December 14-16, 2015, 2015. [bibtex] [doi]
2014
[300] Souhir Feki, Wassef Louati, Nadia Masmoudi, Mohamed Jmaiel, Q-learning-based Data Replication for Highly Dynamic Distributed Hash Tables, In Proceedings of the 5nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2014. [bibtex]
[299] Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem, Formal Security Framework For Agent Based Cloud Systems, In 3rd IEEE International Workshop on Advanced Information Systems for Enterprises (IWAISE'14), 2014. [bibtex]
[298] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, CEP4Cloud: Complex Event Processing for Self-Healing Clouds, In the Proceedings of the 23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises (WETICE 2014), IEEE Computer Society Press, 2014. [bibtex]
[297] Randa Hammami, Hatem Bellaaj, Ahmed Hadj Kacem, Interoperability of healthcare information systems, In Networks, Computers and Communications, The 2014 International Symposium on, 2014. [bibtex] [doi]
[296] Fatma Krichen, Mohamed Jmaiel, Fairouz Fakhfakh, Modes Generation of Reconfigurable Embedded Systems, In Conférence internationale francophone sur l'Architecture Logicielle, 2014. [bibtex]
[295] Sahar Kallel, Chouki Tibermacine, Mohamed Reda Skay, Christophe Dony, Ahmed Hadj Kacem, Génération de méta-programmes Java à partir de contraintes d'architecture OCL, In In proceedings of the French Speaking Conference on Software Engineering (CIEL'14), 2014. [bibtex]
[294] Ikbel Guidara, Nawal Guermouche, Tarak Chaari, Said Tazi, Mohamed Jmaiel, Pruning based Service Selection Approach under QoS and Temporal Constraints, In Proceedings of the 21th IEEE International Conference on Web Services (ICWS), IEEE Computer Society, 2014. [bibtex]
[293] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes, In Proceedings of the 11th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2014. [bibtex]
[292] Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem, Prediction of Human Personality Traits From Annotation Activities, In Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014), SciTePress, 2014. [bibtex] [doi]
[291] Hajer Ayadi, Mouna Torjmen Khemakhem, Mariam Daoud, Jimmy Xiangji Huang, Maher Ben Jemaa, Apprentissage de classification des requêtes basée sur la confiance et la couverture, In 11ème Conférence en Recherche d'Infomations et Applications - 11th French Information Retrieval Conference (CORIA-CIFED 2014), ARIA-GRCE, 2014. [bibtex]
[290] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, CEP4CMA: Multi-layer Cloud Performance Monitoring and Analysis via Complex Event Processing, In Proceedings of the 2nd International Conference on NETworked sYStems (NETYS), Springer, 2014. [bibtex]
[289] Souhir Feki, Wassef Louati, Nadia Masmoudi, Mohamed Jmaiel, Q-learning-based Data Replication for Highly Dynamic Distributed Hash Tables, In Proceedings of the 5nd IEEE/IFIP International Conference on the Network of the Future (NoF 14), 2014. [bibtex]
[288] Houda Khlif, Hatem Hadj Kacem, Saul E Pomares Hernandez, Cédric Eichler, Ahmed Hadj Kacem, Alberto Calixto Simon, A Graph Transformation-based Approach for the Validation of Checkpointing Algorithms in Distributed Systems, In Proceedings of the 23nd IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014. [bibtex]
[287] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, On Enabling Time-aware Consistency of Collaborative Cross-Organisational Business Processes, In Proceedings of the 12th International Conference on Service-Oriented Computing, ICSOC 2014, Springer, 2014. [bibtex]
[286] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [pdf] [doi]
[285] Salma Bradai, Sofien Khemakhem, Mohamed Jmaiel, Regularity Of Movement Based Approach for M2M Services Discovery, In Proceedings of the 2014 International Symposium on Networks, Computers and Communications, IEEE, 2014. [bibtex] [doi]
[284] Fatma Masmoudi, Monia Loulou, Ahmed Hadj Kacem, Multi-tenant Services Monitoring for Accountability in Cloud Computing, In Proceedings of the 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 2014. [bibtex] [pdf] [doi]
[283] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Incremental clustering of data stream using real ants behavior, In Proceedings of the 6th IEEE International Conference on Nature and Biologically Inspired Computing (NaBIC), 2014. [bibtex]
[282] Nabila Mansouri, Yousra Ben Jemaa, Cina Motamed, Antonio Pinti, Eric Watelain, A new strategy based on spatiogram similarity association for multi-pedestrian tracking, In 4th International Conference on Image Processing Theory, Tools and Applications, IPTA, 2014. [bibtex] [pdf] [doi]
[281] Ahmed Derbel, Aladine Chetouani, Sylvie Treuillet, Bruno Emile, Nabila Mansouri, Yousra Ben jemaa, Interest Lower Body Point’s Detection For Markerless Gait Analysis, In Proceedings of the 4th International Conference on Image Processing Theory, Tools and Applications (IPTA), 2014. [bibtex]
[280] Sihem Loukil, Slim Kallel, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Monitoring of Quality of Service in Dynamically Adaptive Systems, In Adaptive and Intelligent Systems, Springer International Publishing, volume 8779, 2014. [bibtex] [pdf] [doi]
[279] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Middleware for Dynamically Adaptive Systems, In Proceedingd of the 27th International Conference on Architecture of Computing Systems (ARCS), Springer, 2014. [bibtex]
[278] Linas Laibinis, Elena Troubitsyna, Zeineb Graja, Frédéric Migeon, Ahmed Hadj Kacem, Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B, In Proceedings of the 12 th International Conference on Software Engineering and Formal Methods (SEFM), Springer Verlagkeywords=MAS, Formal, 2014. [bibtex]
[277] Akram Kamoun, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Feature model for modeling compound SOA design patterns, In Proceedings of the 11th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA), 2014. [bibtex]
[276] Ahmed Jemal, Marwa Hachicha, Riadh BEN Halima, Ahmed HADJ Kacem, Khalil Drira, Mohamed Jmaiel, Energy Saving in WSN Using Monitoring Values Prediction, In , volume 32, 2014. (The 5th International Conference on Ambient Systems, Networks and Technologies (ANT-2014), the 4th International Conference on Sustainable Energy Information Technology (SEIT-2014)) [bibtex] [doi]
[275] Hatem Hadj Kacem, Riadh Ben Halima, Samir Tata, PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2014. [bibtex]
[274] Nesrine Ouled Abdallah, Mohamed Jmaiel, Mohamed Mosbah, Akka Zemmari, Greedy Flooding in Redoubtable Sensor Networks, In The 28th IEEE International Conference on Advanced Information Networking and Applications (AINA), 2014. [bibtex]
[273] Imen Graja, Imen Loulou, Ahmed Hadj Kacem, SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE, 2014. [bibtex] [doi]
[272] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, Vers une modélisation formelle basée sur le raffinement des systèmes multi-agents auto-organisateurs, In Actes des 22 ème Journées Francophones sur les Systèmes Multi-Agents (JFSMA), 2014. [bibtex]
[271] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem, A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B, In Proceedings of the 6 th International Conference on Agents and Artificial Intelligence (ICAART), INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 2014. [bibtex]
[270] Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem, A Stepwise Refinemet based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants, In Proceedings of the the 2nd international workshop on Emgineering Multiagent Systems, 2014. [bibtex]
[269] Karim Gasmi, Mouna Torjmen Khemakhem, Lynda Tamine, Maher Ben Jemaa, A New Combination Method Based on Adaptive Genetic Algorithm for Medical Image Retrieval, In Information Retrieval Technology - 10th Asia Information Retrieval Societies Conference, AIRS 2014 Proceedings, 2014. [bibtex] [pdf] [doi]
[268] Ikbel Guidara, Tarak Chaari, Mohamed Jmaiel, An Efficient Service Selection Approach with Time-Dependent QoS, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2014. [bibtex]
[267] Fairouz Fakhfakh, Hatem Hadj Kacem, Ahmed Hadj Kacem, Workflow Scheduling in Cloud Computing: A survey, In Proceedings of the 18th International conference on Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops, Ulm, Germany, September 01-05, 2014. [bibtex]
[266] Imen Graja, Imen Loulou, Ahmed Hadj Kacem, SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties, In ENASE 2014 - Proceedings of the 9th International Conference on Evaluation of Novel Approaches to Software Engineering, Lisbon, Portugal, 28-30 April, 2014, 2014. [bibtex] [pdf] [doi]
[265] Imen Ben Lahmar, Djamel Belaïd, An Autonomic Container for the Management of Component-Based Applications in Pervasive Environments, In 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, Bali, Indonesia, December 9-12, 2014, 2014. [bibtex] [pdf]
[264] Saoussen Cheikhrouhou, Slim Kallel, Mohamed Jmaiel, Toward a Verification of Time-centric Business Process Models, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex]
[263] Mariam Chaabane, Ismael Bouassida Rodriguez, Fatma Krichen, Mohamed Jmaiel, Service-oriented applications monitoring for the reconstruction of architectural interactions models, In Proceedings of the fourth International Symposium on Web Services (WSS), 2014. [bibtex]
[262] Mariam Chaabane, Ismael Bouassida Rodriguez, Construction de modËles d'interactions par Monitoring, In Deuxième conférence francophone sur les Systèmes Collaboratifs (SYSCO), 2014. [bibtex]
[261] Mariam Chaabane, Ismael Bouassida Rodriguez, Le monitoring pour la construction de la reprÈsentation graphique de l'architecture des applications orientÈes services, In HuitiËme Èdition de la ConfÈrence francophone sur l'Architecture Logicielle (CAL), 2014. [bibtex]
[260] Maha Boussabbeh, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Mosbah, Enhancing Proofs of Local Computations Through Formal Event-B Modularization, In 23rd IEE International Conference on Enabling Technologies: Infrastructure for Collaborative Entreprises, IEEE Computer Society, 2014. [bibtex]
[259] Rahma Bouaziz Kammoun, Slim Kallel, Bernad Coulette, A Collaborative Process for Developing Secure Component based Applications, In Proceedings of the the 23rd IEEE International Conference on Collaboration Technologies and Infrastructure (WETICE), IEEE Computer Society, 2014. [bibtex]
[258] Nizar Omheni, Omar Mazhoud, Anis Kalboussi, Ahmed Hadj Kacem, The Annotation: A Track of Reader’s Personality Traits On Paper, In Proceedings of the 52nd Annual ACM Southeast Conference, ACM, 2014. [bibtex] [doi]
[257] Amal Abid, Mouna Torjmen Khemakhem, Soumaya Marzouk, Maher Ben Jemaa, Thierry Monteil, Khalil Drira, Toward Antifragile Cloud Computing Infrastructures, In Proceedings of the 5th International Conference on Ambient Systems, Networks and Technologies (ANT 2014), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2014), 2014. [bibtex] [doi]
[256] Fatma Abdennadher, Maher Ben Jemaa, A Selective Predictive Subscriber Mobility Using the Closest Criterion, In Proceedings of 11th International Conference on Mobile Web Information Systems, 2014. [bibtex] [doi]
[255] Imen Abdennadher, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Approche de sélection d'architecture basée augmentation de désordre pour les Systèmes Collaboratifs Ubiquitaires, In 8 ème Conférence francophone sur les Architectures Logicielles (CAL 2014), 2014. [bibtex]
2013
[254] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni, A Formal Model of Learner's Annotations Dedicated to Web Services Invocation, In Proceedings of the 21st International Conference on Computers in Education (ICEE 2013), Asia-Pacific Society of Computers in Education (APSCE), 2013. [bibtex]
[253] Hajer Ayadi, Mouna Torjmen, Mariam Daoud, Maher Ben Jemaa, Jimmy Xiangji Huang, Correlating Medical-dependent Query Features with Image Retrieval Models Using Association Rules, In Proceedings of the 22nd International ACM Conference on Information and Knowledge Management (CIKM'13), 2013. [bibtex] [doi]
[252] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Nizar Omheni, An Approach of Assistance of Learner’s Annotative Activity through Web Services, In Proceedings of the 8th International Conference on E-Learning and Games (Edutainment 2013), Springer, 2013. [bibtex]
[251] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Building Correct by Construction SOA Design Patterns: Modeling and Refinement, In Software Architecture: Proceedings of the 7th European Conference (ECSA), Springer, volume 7957, 2013. [bibtex] [doi]
[250] Imen Tounsi, Zied Hrichi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), 2013. [bibtex] [doi]
[249] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, An Approach for Modeling and Formalizing SOA Design Patterns, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[248] Anis Kalboussi, Omar Mazhoud, Ahmed Hadj Kacem, Annotative Activity as a Potential Source of Web Service Invocation, In Proceedings of the 9th International Conference on Web Information Systems and Technologies (WEBIST 2013), SciTePress, 2013. [bibtex]
[247] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Emna Mezghani, Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B, In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), ACM, 2013. [bibtex]
[246] Mohamed Zouari, Ismael Bouassida Rodriguez, Towards Automated Deployment of Distributed Adaptation Systems, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi]
[245] Inaya Yahya, Sameh Hbaieb Turki, Anis Charfi, Slim Kallel, Rafik Bouaziz, An Aspect-Oriented Approach to Enforce Security Properties in Business Processes, In ICSOC Workshops - International Workshops on Service-Oriented Computing, Springer, volume 7759, 2013. [bibtex] [doi]
[244] Wafa Gabsi, Rahma Bouaziz, Bechir Zalila, Towards an Aspect Oriented Language Compliant with Real Time Constraints, In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, IEEE Computer Society, 2013. [bibtex] [doi]
[243] Wafa Gabsi, Bechir Zalila, Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation, In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, IEEE Computer Society, 2013. [bibtex] [doi]
[242] Rim Teyeb, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Nathalie Hernandez, Ollivier Haemmerle, Multi-Factor RDF Graph based Image Annotation -Application in Cinema Domain-, In Proceedings of the Fifth International Conference on Web and Information Technologies(ICWIT 2013), 2013. [bibtex]
[241] Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem, Position paper: Multi-tenants context-aware service composition in cloud computing, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex]
[240] Riadh Ben Halima, Hatem Hadj Kacem, Wajdi Louati, PROMASC Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[239] Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, Bernd Freisleben, A Dynamic Complex Event Processing Architecture for Cloud Monitoring and Analysis, In IEEE 5th International Conference on Cloud Computing Technology and Science, 2013. [bibtex] [doi]
[238] Nesrine Masmoudi, Hanane Azzag, Mustapha Lebbah, Cyrille Bertelle, Clustering using chemical and colonial odors of real ants, In Proceedings of the 5thd world congress on Nature and Biologically Inspired Computing(NaBIC), 2013. [bibtex] [doi]
[237] Ahmed Derbel, Nabila Mansouri, Yousra Ben jemaa, Bruno Emile, Sylvie Treuillet, Comparative Study between Spatio/Temporal Descriptors for Pedestrians Recognition by Gait, In Proceedings of the 10th International Conference on Image Analysis and Recognition (ICIAR), 2013. [bibtex]
[236] Emna Mezghani, Riadh Ben Halima, A model driven methodology for enabling autonomic reconfiguration of service oriented architecture, In SAC, 2013. [bibtex] [doi]
[235] Sihem Loukil, Slim Kallel, Mohamed Jmaiel, Runtime Adaptation of Component based Systems, In Proceedings of the first International Conference on Networked Systems (NETYS), Springer, volume 7853, 2013. [bibtex]
[234] Mariam Lahami, Moez Krichen, Test Isolation Policy for Safe Runtime Validation of Evolvable Software Systems, In Proceedings of the 22st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), 2013. [bibtex] [doi]
[233] Afef Jmal Maalej, Manel Hamza, Moez Krichen, Mohamed Jmaiel, Automated Significant Load Testing for WS-BPEL Compositions, In Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), IEEE Computer Society, 2013. [bibtex] [doi]
[232] Afef Jmal Maalej, Manel Hamza, Moez Krichen, WSCLT: A Tool for WS-BPEL Compositions Load Testing, In Proceedings of the 22nd Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[231] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, WSCCT: A Tool for WS-BPEL Compositions Conformance Testing, In Proceedings of the 28th Annual ACM Symposium on Applied Computing (SAC), ACM, 2013. [bibtex] [doi]
[230] Afef Jmal Maalej, Zeineb Ben Makhlouf, Moez Krichen, Mohamed Jmaiel, Conformance testing for quality assurance of clustering architectures, In Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, ACM, 2013. [bibtex] [doi]
[229] Ahmed Jemal, Riadh Ben Halima, A QoS-driven Self-Adaptive Architecture for Wireless Sensor Networks, In Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2013. [bibtex] [doi]
[228] Nasreddine Hajlaoui, Issam Jabri, Maher Ben Jemaa, Analytical study of frame aggregation in error-prone channels, In Proceedings of the 9th International Wireless Communications and Mobile Computing Conference, 2013. [bibtex] [doi]
[227] Mohamed Amine Hannachi, Ismael Bouassida Rodriguez, Khalil Drira, S. E. Pomares Hernández, GMTE: A Tool for Graph Transformation and Exact/Inexact Graph Matching, In GbRPR, 2013. [bibtex] [doi]
[226] Karim Gasmi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, A Conceptual Model for Word Sense Disambiguation in Medical Image Retrieval, In Proceedings of the 9th Asia Information Retrieval Societies Conference (AIRS), 2013. [bibtex] [doi]
[225] Amal Gassara, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Towards a Multi-scale Modeling for Architectural Deployment Based on Bigraphs, In Proceedings of the European Conference on Software Architecture (ECSA), 2013. [bibtex] [doi]
[224] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Time Estimation of a Ring-based Bootstrapping Protocol in Wireless Sensor Networks, In Proceedings of the LiveCity Workshop on Smart and Pervasive Communications for Enhanced Communities (LiveCity) in conjunction with Saconet conference, IEEE, 2013. [bibtex]
[223] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Energy-Aware Distributed Hash Table based Bootstrapping Protocol for Randomly Deployed Heterogeneous Wireless Sensor Networks, In Proceedings of the 28th International Symposium on Computer and Information Sciences (Iscis), Springer, volume 264, 2013. [bibtex] [doi]
[222] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, The optimal transmitting power in randomly deployed heterogeneous Wireless Sensor Networks for predetermined average node degree, In Proceedings of the 9th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC), IEEE, 2013. [bibtex] [doi]
[221] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Mobility and fault tolerance management of the bootstrapping in randomly deployed Wireless Sensor Networks, In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT), 2013. [bibtex]
[220] Ghofrane FERSI, Wassef Louati, Maher Ben Jemaa, Consistent and Efficient Bootstrapping Ring-Based Protocol in Randomly Deployed Wireless Sensor Networks, In Proceedings of the International conference on Telecommunications (ICT), IEEE, 2013. [bibtex]
[219] Khalil Drira, Slim Kallel, Ismael Bouassida Rodriguez, AROSA Track Report, In Proceedings of the International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex] [doi]
[218] Salsabil Dhouib, Riadh Ben Halima, Surveying Collaborative and Content Management Platforms for Enterprise, In Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2013. [bibtex] [doi]
[217] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Toward a Time-centric modeling of Business Processes in BPMN 2.0, In Proceedings of the 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), ACM, 2013. [bibtex]
[216] Olfa Bouchaala, Samir Tata, Mohamed Jmaiel, A Hybrid Approach for Business Environment-Aware Management of Service-Based Business Processes, In Proceedings of the 14th International Conference on E-Commerce and Web Technologies (EC-Web), Springer, volume 152, 2013. [bibtex] [doi]
[215] Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel, Linguistic Web Services Discovery, In Proceedings of the 5th International Conference on Web and Information Technologies (ICWIT), 2013. [bibtex]
[214] Nabil Baklouti, Faten Fakhfakh, Bilel Gargouri, Mohamed Jmaiel, OWL-LingS Editor - A Tool for Semantic Description of Linguistic Web Services, In Proceedings of the Third International Conference on Cloud Computing and Services Science (CLOSER), 2013. [bibtex]
[213] Wajdi Elleuch, Models for multimedia conference between browsers based on WebRTC, In Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on, 2013. [bibtex] [doi]
[212] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Time-aware Automatic Process View Generation Saoussen, In Proceedings of the International Conference on E-Business Engineering (ICEBE), IEEE Computer Society, 2013. [bibtex]
[211] Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche, Mohamed Jmaiel, Survey on Time-aware Business Process Modeling, In Proceedings of the 15th International Conference on Enterprise Information Systems (ICEIS), ScitePress, 2013. [bibtex]
[210] Rahma Bouaziz, Slim Kallel, Bernard Coulette, An engineering process for security patterns application in component based models, In Proceedings of the 22st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2013. [bibtex]
2012
[209] Mariam Lahami, Moez Krichen, Mariam Bouchakwa, Mohamed Jmaiel, Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi]
[208] Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel, Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In The 24th IFIP International Testing Software and Systems Conference (ICTSS) Proceedings, Springer, 2012. [bibtex] [doi]
[207] Amina Chaabane, Fatma Abdennadher, Wassef Louati, Mohamed Jmaiel, Handling Chrun in DHT-based Publish/Subscribe Systems, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex]
[206] Wiem Ben Rhaiem, Wassef Louati, Djamal Zeghlache, mhDHT: a Scalable DHT-based Name Resolution System for the Future Internet, In Proceedings of the 3nd IEEE/IFIP International Conference on the Network of the Future (NoF 12), IEEE Communications Society, 2012. [bibtex]
[205] Imene Lahyani, Lamia Ben Amor, Mohamed Jmaiel, Analytical framework for QoS aware publish/subscribe system deployed on MANET, In Proceedings of The 10th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA 2012), IEEE Computer Society, 2012. [bibtex]
[204] Ikbel Krichen, Imen Loulou, Hedi Dhouib, Ahmed Hadj Kacem, P/S-CoM+: a Formal Approach to Design Correct Publish/Subscribe Architectural Styles, In Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2012, IEEE Computer Society, 2012. [bibtex]
[203] Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel, Towards a Verification Approach for Reconfigurable Embedded Systems, In Computers and Communications (ISCC), 2012 IEEE Symposium on, 2012. [bibtex] [doi]
[202] Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Design-Time Verification of Reconfigurable Real-Time Embedded Systems, In Proceedings of the 9th IEEE International Conference on Embedded Software and Systems (ICESS 2012), IEEE Computer Society, 2012. [bibtex]
[201] Imene Lahyani, Mouna Guassara, Mohamed Jmaiel, Predictive schemes for QoS awareness of publish/subscribe systems on MANET, In Proceedings of the 11th International Symposium on Parallel and Distributed Computing (ISPDC 2012), IEEE Computer Society, 2012. [bibtex]
[200] Imene Lahyani, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Christophe Chassot, Towards self healing publish/subscribe system on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Collaborative Technology for Coordinating Crisis Management (CT2CM 2012), IEEE Computer Society, 2012. [bibtex] [doi]
[199] Imene Lahyani, Wafa Makki, Christophe Chassot, Failure Prediction for Publish/Subscribe System on MANET, In Proceedings of the 21 st International Conference Collaboration Technologies and Infrastructure (WETICE 2012). 2nd Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures (AROSA 2012), IEEE Computer Society, 2012. [bibtex] [doi]
[198] Amina Chaabane, Wassef Louati, Mohamed Jmaiel, Jorge R. Gomez-Montalvo, Code Diop, Ernesto Exposito, Towards an Ontology and DHT-based publish/subscribe scalable system, In 3rd IEEE International Workshop on SmArt COmmunications in NEtwork Technologies (ICC'12 WS - SaCoNet-III), 2012. [bibtex]
[197] Imene Lahyani, Nesrine Khabou, Mohamed Jmaiel, QoS Monitoring and Analysis approach for publish/subscribe systems deployed on MANET, In Proceedings of The 20th Euromicro International Conference on Parallel Distributed and Network-Based Computing(PDP 2012), Conference Publishing Services (CPS), 2012. [bibtex]
[196] Rim Teyeb, Maher Ben Jemaa, Achraf Karray, Adaptation Of "Bees Algorithm" for QOS-based Selection And Replacement of Web Services, In Proceedings of the seventh International Conference on Software Paradigm Trends(ICSOFT 2012), 2012. [bibtex]
[195] Slim Kallel, Monia Loulou, Molka Rekik, Ahmed Hadj Kacem, MDA-Based Approach for Implementing Secure Mobile Agent Systems, In proceedings of the International Workshop on Agent-Oriented Software Engineering (AOSE), Springer, volume 7852, 2012. [bibtex]
[194] Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, The Sender Released Pattern: An SOA Design Pattern for Inter-service Message Exchange, In 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, volume 0, 2012. [bibtex] [doi]
[193] Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel, An Ontology-Based Approach for Linguistic Web Service Description, In WETICE IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, 2012. [bibtex] [doi]
[192] Nesrine Khabou, Ismael Bouassida Rodriguez, Towards a novel analysis approach for collaborative ubiquitous systems, In Second Track on Adaptive and Reconfigurable Service-oriented and component-based Applications and Architectures in 21th IEEE International Conference Collaboration Technologies and Infrastructures (WETICE 2012), 2012. [bibtex] [doi]
[191] Emna Mezghani, Riadh Ben Halima, DRF4SOA: A Dynamic Reconfigurable Framework for Designing Autonomic Application Based on SOA, In Proceedings of the 2012 IEEE 21st International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, IEEE Computer Society, 2012. [bibtex] [doi]
[190] Soumaya Marzouk, Afef Jmal Maalej, Towards Planning Policies for Self-Adaptive Orchestrated Web Services, In WETICE, 2012. [bibtex] [doi]
[189] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, Model-Based Conformance Testing of WS-BPEL Compositions, In COMPSAC Workshops, 2012. [bibtex] [doi]
[188] Afef Jmal Maalej, Moez Krichen, Mohamed Jmaiel, Conformance Testing of WS-BPEL Compositions under Various Load Conditions, In COMPSAC, 2012. [bibtex] [doi]
[187] Mariam Lahami, Fairouz Fakhfakh, Moez Krichen, Mohamed Jmaiel, Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems, In Proceedings of the 24th IFIP International Conference of Testing Software and Systems (ICTSS), 2012. [bibtex] [doi]
[186] Nesrine Khabou, Imene Lahyani, Mohamed Jmaiel, Une approche de monitoring et d’analyse des systèmes publier/souscrire déployés sur MANET. Application: Les systèmes de gestion de crise, In 1ère Conférence francophone sur les Systèmes Collaboratifs (SysCo2012), 2012. [bibtex]
[185] Nasreddine Hajlaoui, Issam Jabri, Maher Ben Jemaa, Experimental study of IEEE 802.11n protocol, In Proceedings of the seventh ACM international workshop on Wireless network testbeds, experimental evaluation and characterization, 2012. [bibtex] [doi]
[184] Nasreddine Hajlaoui, Issam Jabri, On the performance of IEEE 802.11n protocol, In 5th joint IFIP Wireless and Mobile Networking Conference, 2012. [bibtex] [doi]
[183] Nasreddine Hajlaoui, Issam Jabri, Malek Taieb, Maher Ben Jemaa, A frame aggregation scheduler for QoS-sensitive applications in IEEE 802.11n WLANs, In International Conference on Communications and Information Technology, 2012. [bibtex] [doi]
[182] Wael SELLAMI, Hatem Hadj Kacem, Ahmed Hadj Kacem, BPELVT: A tool for formal validation of web service orchestrations., In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[181] Sirine REBAI, Hatem Hadj Kacem, Ahmed Hadj Kacem, Position paper: An integration approach of web service composition models: From choreography to orchestration, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[180] Hatem Hadj Kacem, Wael Sellami, Ahmed Hadj Kacem, A Formal Approach for the Validation of Web Service Orchestrations, In In 21nd IEEE International Conference on Collaboration Technologies and Infrastructures (WETICE'2012), Toulouse, France June 25-27, 2012. [bibtex]
[179] Ikbel Guidara, Tarak Chaari, Kaouthar Fakhfakh, Mohamed Jmaiel, A Comprehensive Survey on Intra and Inter Organizational Agreements, In Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi]
[178] Ikbel Guidara, Tarak Chaari, Kaouthar Fakhfakh, Intention based semantic approach for service sourcing, In Proceedings of the ACM Symposium on Applied Computing(SAC), ACM, 2012. [bibtex] [doi]
[177] Ikbel Guidara, Kaouthar Fakhfakh, Tarak Chaari, A Semantic Scoring Approach for Service Offers, In Proceedings of the 12th International Conference on Web Engineering (ICWE), Springer, volume 7387, 2012. [bibtex] [doi]
[176] Karim Gasmi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Word Indexing Versus Conceptual Indexing in Medical Image Retrieval, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex]
[175] Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid, A Middleware for Reconfigurable Distributed Real-Time Embedded Systems, In Software Engineering Research, Management and Applications, SERA'2012 (Roger Lee, ed.), Springer Berlin / Heidelberg, volume 430, 2012. [bibtex] [doi]
[174] Fatma Krichen, Amal Gassara, Bechir Zalila, Brahim Hamid, Mohamed Jmaiel, Modélisation et vérification des systèmes embarqués temps réel reconfigurables, In 6ème Conférence Internationale Francophone sur les Architectures Logicielles, 2012. [bibtex]
[173] Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila, An MDE-Based Approach for Reconfigurable Embedded Systems, In 21st IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, WETICE 2012, Second trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2012, IEEE Computer Society, 2012. [bibtex] [doi]
[172] Emna Fki, Mohamed Jmaiel, Chantal Soule Dupuy, Said Tazi, A flexible approach for service composition using service patterns, In Proceedings of the 27th Annual ACM Symposium on Applied Computing, ACM, 2012. [bibtex] [doi]
[171] Amina Chaabane, Fatma Abdennadher, Wassef Louati, Mohamed Jmaiel, Handling Churn in DHT-based Publish/Subscribe Systems, In Proceeding of the 3rd IEEE/IFIP International Conference on the Network of the Future (NoF), 2012. [bibtex] [doi]
[170] Cédric Eichler, Ismael Bouassida Rodriguez, Khalil Drira, Thierry Monteil, Patricia Stolf, Caractérisation de la reconfiguration dynamique des architectures logicielles par les grammaires de graphe, In 6ème Conférence francophone sur les Architectures Logicielles (CAL 2012), 2012. [bibtex]
[169] Monia Ben Brahim, Tarak Chaari, Maher Ben Jemaa, Mohamed Jmaiel, Semantic matching of web services security policies, In Proceedings of the 7th International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE Computer Society, 2012. [bibtex] [doi]
[168] Nabil Baklouti, Bilel Gargouri, Mohamed Jmaiel, Enhancing Linguistic Web Service Description with Non-functional NLP Properties, In ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24 - 27 July, 2012, 2012. [bibtex]
[167] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex]
[166] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Applying LDA in Contextual Image Retrieval - ReDCAD participation at ImageCLEF Flickr Photo Retrieval 2012, In Cross Language Evaluation Forum, CLEF (Online Working Notes/Labs/Workshop), 2012. [bibtex]
[165] Mohamed Jmaiel, Slim Kallel, Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures, In Proceedings of the 21st IEEE International conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), IEEE Computer Society, 2012. [bibtex] [doi]
[164] Molka Rekik, Slim Kallel, Monia Loulou, Ahmed Hadj Kacem, Modeling Secure Mobile Agent Systems, In Proceedings of the 6th KES International Conference on Agent and Multi-Agent Systems. Technologies and Applications (KES-AMSTA), Springer, volume 7327, 2012. [bibtex] [doi]
2011
[163] Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem, Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles, In Proceedings of the 6th International Conference on Software and Data Technologies, ICSOFT 2011, SciTePress Digital Library, 2011. [bibtex] [doi]
[162] Bassem Ouni, Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Placement of Hardware Tasks on FPGA Using the Bee Algorithm, In Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systems, Copyright (c) SciTePress, 2011. [bibtex] [doi]
[161] Amina Chaabane, Wassef Louati, Mohamed Jmaiel, A framework for managing composed multimedia delivery in personal networks, In Second International Conference on Multimedia Computing and Systems, ICMCS, IEEE digital library, 2011. [bibtex] [doi]
[160] Rim Teyeb, Maher Ben Jemaa, Achraf Karray, web services' discovery based on Bees Algorithm in a distributed environment, In Workshop Proceedings of the Fifth IFIP WG 11.11 International Conference on Trust Management(IFIPTM 2011), 2011. [bibtex]
[159] Ikbel Belaid, Fabrice Muller, Maher Ben jemaa, Schedulers-Driven Approach for Dynamic Placement/Scheduling of multiple DAGs onto SoPCs, In IEEE International Symposium on Rapid System Prototyping (RSP), 2011. [bibtex]
[158] Emna Fki, Chantal Soule Dupuy, Said Tazi, Mohamed 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, 2011. [bibtex]
[157] Afef Mdhaffar, Riadh Ben Halima, Ernst Juhnke, Mohamed Jmaiel, Bernd Freisleben, AOP4CSM: An Aspect-Oriented Programming Approach for Cloud Service Monitoring, In Proceedings of the 11th IEEE International Conference on Computer and Information Technology, IEEE Press, 2011. [bibtex] [doi]
[156] Imene Lahyani, Mohamed Jmaiel, Experimentations for QoS Evaluation of Publish/Subscribe Systems Deployed on Ad-hoc Network, In , IEEE Computer Society, volume 0, 2011. [bibtex] [doi]
[155] Monia BEN BRAHIM, Tarak Chaari, Maher BEN JEMAA, Mohamed Jmaiel, Semantic matching of WS-SecurityPolicy Assertions, In Proceedings of the 5th Workshop on Non-Functional Properties and SLA Management in Service-Oriented Computing (NFPSLAM-SOC'11), Springer, 2011. [bibtex]
[154] Meriam Mahjoub, Afef Mdhaffar, Riadh Ben Halima, Mohamed Jmaiel, A Comparative Study of the Current Cloud Computing Technologies and Offers, In Proceedings of the 2011 First International Symposium on Network Cloud Computing and Applications, IEEE Computer Society, 2011. [bibtex] [doi]
[153] Mariam Lahami, Moez Krichen, Mohamed Jmaiel, A distributed Test Architecture For Adaptable and Distributed Real-Time Systems, In 5ème Conférence Francophone sur les architectures logicielles, 2011. [bibtex]
[152] Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, Towards a Model-Based Approach for Reconfigurable DRE Systems, In Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings, Springer, volume 6903, 2011. [bibtex] [doi]
[151] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, A New Three-Level Strategy for Off-Line Placement of Hardware Tasks on Partially and Dynamically Reconfigurable Hardware, In Algorithm-Architecture Matching for Signal and Image Processing, Springer Netherlands, volume 73, 2011. (10.1007/978-90-481-9965-5_7) [bibtex] [pdf]
[150] Zeineb Graja, Amira Regayeg, Ahmed Hadj Kacem, ForMAAD: Towards a Model Driven Approach for Agent Based Application Design, In Agent-Oriented Software Engineering XI (D. Weyns, M.-P. Gleizes (Eds.), eds.), Springer-Verlag Berlin Heidelberg, volume 6788, 2011. [bibtex] [doi]
[149] Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel, Modeling and Managing Communities of Web Service Registries, In Proceedings of the 7th International Conference on Web Information Systems and Technologies (WEBIST) - Revised Selected Papers, 2011. [bibtex] [doi]
[148] Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel, Graph-based Management of Communities of Web Service Registries, In WEBIST, 2011. [bibtex]
[147] Nathalie Bertrand, Amelie Stainer, Thierry Jeron, Moez Krichen, A Game Approach to Determinize Timed Automata, In FOSSACS, 2011. [bibtex] [doi]
[146] Nathalie Bertrand, Thierry Jeron, Amelie Stainer, Moez Krichen, Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata, In TACAS, 2011. [bibtex] [doi]
[145] Ismael Bouassida Rodriguez, Soumaya Marzouk, A. Elleuch, Equilibrage de charge sur une grille à travers un modèle économique régulant l'offre et la demande de service, In 11éme édition annuelle de la Conférence Internationale sur les NOuvelles Technologies de la REpartition (NOTERE 2011), 2011. (8 p.) [bibtex] [doi]
[144] Sakkaravarthi Ramanathan, Ismael Bouassida Rodriguez, Khalil Drira, Adaptive Middleware Architecture for Group Communication Activities, In the 11th annual international conference on New Technologies of Distributed Systems (NOTERE), 2011. (7 p.) [bibtex] [doi]
[143] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Evaluating Some Contextual Factors for Image Retrieval - ReDCAD Participation at ImageCLEF Wikipedia 2011, In Cross Language Evaluation Forum (Notebook Papers/Labs/Workshop), CLEF 2011 Labs and Workshop, Notebook Papers, 2011. [bibtex] [pdf]
[142] Hatem Awadi, Mouna Torjmen Khemakhem, Maher Ben Jemaa, Evaluating Some Contextual Factors for Image Retrieval - ReDCAD Participation at ImageCLEF Wikipedia 2011, In CLEF (Notebook Papers/Labs/Workshop), CLEF 2011 Labs and Workshop, Notebook Papers, 19-22 September 2011, Amsterdam, The Netherlands, 2011. [bibtex] [pdf]
2010
[141] Monia Ben Brahim, Maher Ben Jemaa, Mohamed Jmaiel, Security Mapping To Enhance Matching Fine-Grained Security Policies, In Proceedings of the Second International Conference on Networked Digital Technologies (NDT 2010), Springer, 2010. [bibtex] [doi]
[140] Nesrine Ouled Abdallah, Hatem Hadj Kacem, Mohamed MOSBAH, Akka ZEMMARI, Broadcast in wireless mobile sensor networks with population protocols and extension with the rendezvous model, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex]
[139] Emna Fki, Said Tazi, Chantal Soule Dupuy, Towards a user intention aware service composition, In New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on, 2010. [bibtex] [doi]
[138] Fatma Krichen, Position paper: Advances in Reconfigurable Distributed Real Time Embedded Systems, In International workshop on Distributed Architecture modeling for Novel component based Embedded systems (DANCE 2010), IEEE, 2010. [bibtex]
[137] Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette, Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems, In Proceedings of the International Conference on New Technologies of Distributed Systems (NOTERE), 2010. [bibtex] [doi]
[136] Rim Teyeb, Maher Ben Jemaa, Achraf Karray, Using "Bees ALGORITHM" for Qos-Based Selection of Web Services, In Proceedings of the 9th International Conference on Multiple Objective Programming and Goal Programming, 2010. [bibtex]
[135] Nouha Baccour, Anis Koubaa, Habib Youssef, Maissa Ben Jamaa, Rosario do Denis, Mario Alves, Leandro B.Becker, F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In 7th European Conference on Wireless Sensor Networks (EWSN 2010), Springer, 2010. [bibtex]
[134] Hatem Awadi, Mouna Torjmen, Exploitation des liens pour la recherche d'images dans des documents XML, In Proceedings of the 7th French Information Retrieval Conference CORIA 2010 - COnférence en Recherche d'Infomations et Applications, 2010. [bibtex]
[133] Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed 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, 2010. [bibtex] [doi]
[132] Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata, WSRD: A Web Services Registry Description, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex] [doi]
[131] Sihem Loukil, Slim Kallel, Bechir Zalila, Mohamed Jmaiel, Toward an Aspect Oriented ADL for Embedded Systems, In Proccedings of the 4th European Conference on Software Architecture (ECSA), Springer, volume 6285, 2010. [bibtex] [doi]
[130] German Sancho, Ismael Bouassida Rodriguez, Thierry Villemur, Said Tazi, What about collaboration in ubiquitous environments, In 10th annual international conference on New Technologies of Distributed Systems (NOTERE'10), 2010. [bibtex]
[129] Nouha Baccour, Maissa Ben Jamaa, Denis do Rosario, Anis Koubaa, Habib Youssef, Mario Alves, Leandro B. Becker, A TestBed for the Evaluation of Link Quality Estimators in Wireless Sensor Networks, In The IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - The ACS/IEEE Workshop Future Trends on Ad-hoc and Sensor Networks (FT-ASN), IEEE Computer Society, 2010. [bibtex] [doi]
[128] Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, Orchestrating Safe Behavioural Adaptations of Component-based Systems, In Proceedings of the 6th International Conference on Autonomic and Autonomous Systems, IEEE Computer Society, 2010. [bibtex] [doi]
[127] Najla Hadj Kacem, Ahmed Hadj Kacem, Khalil Drira, A Formal Approach to Enforcing Consistency in Self-adaptive Systems, In Proceedings of the 4th European Conference on Software Architecture, Springer, 2010. [bibtex] [doi]
[126] Houssem Aloulou, Monia Loulou, Slim Kallel, Ahmed Hadj Kacem, RDyMASS: Reliable and dynamic enforcement of security policies for mobile agent systems, In International workshop on autonomous and spontaneous security (SETOP 2009) at the 14th European Symposium on Research in Computer Security (ESORICS 2009), Springer-Verlag, volume LNCS 5939, 2010. [bibtex]
[125] Soumaya Marzouk, Afef Jmal Maalej, Mohamed Jmaiel, Aspect-Oriented Checkpointing Approach of Composed Web Services, In ICWE Workshops, 2010. [bibtex] [doi]
[124] Kaouthar Fakhfakh, Tarak CHAARI, Ikbel GUIDARA, Said Tazi, A demonstration paper. ODACE SLA : An efficient tool for the automatic SLA Establishment between service clients and providers, In the 10th Annual International Conference on New Technologies of Distributed Systems - Notere, 2010. [bibtex]
[123] Kaouthar Fakhfakh, Said Tazi, Khalil Drira, Tarak Chaari, Mohamed 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]
[122] Mariam Lahami, Moez Krichen, Akram Idani, Mohamed 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, 2010. [bibtex]
[121] Mohamed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil 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) (Springer's Studies in Computational Intelligence (SCI), ed.), Springer, 2010. [bibtex] [doi]
[120] Moez Krichen, A Formal Framework for Conformance Testing of Distributed Real-Time Systems, In OPODIS, 2010. [bibtex] [doi]
[119] Kaouthar Fakhfakh, Said Tazi, Khalil Drira, Tarak Chaari, Mohamed Jmaiel, Implementing and Testing a Semantic-Driven Approach Towards a Better Comprehension Between Service Consumers and Providers, In AINA Workshops, IEEE Computer Society, 2010. [bibtex] [doi]
[118] Emna Fki, Chantal Soule Dupuy, Said Tazi, Mohamed Jmaiel, Intention Driven Service Composition With Service Patterns, In 12th International Conference on Enterprise Information Systems (ICEIS 2010), 2010. [bibtex]
[117] Brahim Hamid, Fatma Krichen, Model-based engineering for dynamic reconfiguration in DRTES, In ECSA '10: Proceedings of the Fourth European Conference on Software Architecture. WORKSHOP SESSION: VIII Nordic Workshop on Model-Driven Software Engineering, ACM, 2010. [bibtex] [doi]
[116] Khalil Drira, Ismael Bouassida Rodriguez, A Demonstration of an Efficient Tool for Graph Matching and Transformation, In 10ème Conférence Internationale Francophone sur l'Extraction et la Gestion des Connaissances (EGC 2010), 2010. [bibtex]
[115] Nabil Baklouti, Sonia Bouaziz, Bilel Gargouri, Chafik Aloulou, Mohamed Jmaiel, Towards the reuse of lingware systems: a proposed approach with a practical experiment, In Proceedings of the 12th International Conference on Information Integration and Web-based Applications &\38; Services, ACM, 2010. [bibtex] [doi]
[114] Ismael Bouassida Rodriguez, Demo paper: A demonstration of GMTE: the Graph Matching and Transformation Engine, In The 14th International Conference On Principles Of Distributed Systems (OPODIS 2010), 2010. [bibtex]
[113] Ismael Bouassida Rodriguez, Riadh Ben Halima, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, A policy-driven dynamic reconfiguration for virtualized web services-based architectures, In the Business System Management and Engineering workshop (BSME 2010), 2010. (15 p.) [bibtex]
[112] Ismael Bouassida Rodriguez, Christophe Chassot, Mohamed Jmaiel, Graph grammar-based transformation for context-aware architectures supporting group communication, In 4ème Conférence francophone sur les Architectures Logicielles (CAL 2010), 2010. [bibtex]
[111] Ismael Bouassida Rodriguez, Jerome Lacouture, Khalil Drira, Semantic Driven Self-Adaptation of Communications applied to ERCMS, In The 24th IEEE International Conference on Advanced Information Networking and Applications (AINA 2010), 2010. [bibtex] [doi]
[110] Hatem Awadi, Mouna Torjmen, Exploitation des liens pour la recherche d'images dans des documents XML, In Proceedings of the 7th French Information Retrieval Conference CORIA 2010 - COnférence en Recherche d'Infomations et Applications, 2010. [bibtex]
[109] Afef Mdhaffar, Soumaya Marzouk, Riadh Ben Halima, Mohamed Jmaiel, A Runtime Performance Analysis for Web Service-Based Applications, In Proceedings of the 1st Workshop on Engineering SOA and the Web (ESW) Held in conjunction With the 10th International Conference on Web Engineering (ICWE), Springer, volume 6385, 2010. [bibtex] [doi]
2009
[108] Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel, Specifying and Monitoring Temporal Properties in Web services Compositions, In Proceedings of the 7th IEEE European Conference on Web Services (ECOWS), IEEE computer society, 2009. [bibtex] [doi]
[107] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, Fault Tolerant Distributed Algorithms for Mobile Agents, In 9ème Conférence Internationale sur les Nouvelles Technologies de REpartition (NOTERE'09), 2009. [bibtex] [pdf]
[106] Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Making Sound Policies for Self-healing Systems, In 9ème Conférence Internationale sur les Nouvelles Technologies de lREpartition (NOTERE'09), 2009. [bibtex] [pdf]
[105] Riadh Ben Halima, Emna Fki, Mohamed Jmaiel, Khalil 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), IEEE Computer Society, 2009. [bibtex] [doi]
[104] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose, From Formal Access Control Policies to Runtime Enforcement Aspects, In Proceedings of the 1st International Symposium on Engineering Secure Software and Systems (ESSoS), Springer, volume 5429, 2009. [bibtex] [doi]
[103] Soumaya Marzouk, Afef Jmal Maalej, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Periodic Checkpointing for Strong Mobility of Orchestrated Web Services, In , IEEE Computer Society, 2009. [bibtex] [doi]
[102] German Sancho, Ismael Bouassida Rodriguez, Thierry Villemur, Said Tazi, Khalil Drira, A model-driven adaptive framework for collaborative ubiquitous systems, In the 9th annual international conference on New Technologies of Distributed Systems (NOTERE'09), 2009. [bibtex]
[101] Nouha Baccour, Anis Koubaa, Maissa Ben Jamaa, Habib Youssef, Marco Zuniga, Mario Alves, A Comparative Simulation Study of Link Quality Estimators in Wireless Sensor Networks, In 17th IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'09), IEEE, 2009. [bibtex] [doi]
[100] Mohamed Nadhmi Miladi, Ikbel Krichen, Mohamed Jmaiel, Khalil Drira, An xADL Extension for Managing Dynamic Deployment in Distributed Service Oriented Architectures, In FSEN, Springer, volume 5961, 2009. [bibtex] [doi]
[99] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, LMF-QL: A Graphical Tool to Query LMF Databases for NLP and Editorial Use, In Proceedings of the 4th Language & Technology Conference LTC 2007 (Z. Vetulani, H. Uszkoreit, eds.), Springer, volume 5603, 2009. [bibtex] [doi]
[98] Imen Loulou, Imen Tounsi, Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, A formal architecture-centric approach for safe self-repair, In In Second International Conference on Web and Information Technologies (ICWIT'09), 2009. [bibtex] [pdf]
[97] Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, A model-based multi-level architectural reconfiguration applied to adaptability management in context-aware cooperative communication support systems, In Software Architecture, 2009 European Conference on Software Architecture. WICSA/ECSA 2009. Joint Working IEEE/IFIP Conference on, 2009. [bibtex] [doi]
[96] Ismael Bouassida Rodriguez, German Sancho, Thierry Villemur, Said Tazi, Khalil Drira, A model-driven adaptive approach for collaborative ubiquitous systems, In the 3rd workshop on Agent-oriented software engineering challenges for ubiquitous and pervasive computing (AUPC 09), ACM, 2009. [bibtex] [doi]
[95] Maher Ben Jemaa, I. Daly, W. Mansouri, L. Kamoun, Portability of an IEEE 802.11s standard open source implementation on the XOs, In the first International Conference on Communications and Networking (ComNet), 2009. [bibtex]
[94] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Off-Line Placement of Hardware Tasks on FPGA, In IEEE 19th International Conference on Field Programmable Logic and Applications (FPL), 2009. [bibtex]
[93] Ikbel Belaid, Fabrice Muller, Maher Ben Jemaa, Off-line Placement of Reconfigurable Zones and off-line Mapping of Harware Tasks on FPGA, In Conference on Design and Architectures for Signal and Image Processing (DASIP2009), 2009. [bibtex]
[92] Amina Chaabane, Mohamed Jmaiel, Security aware content-based publish/subscribe system, In Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), IEEE Computer Society, 2009. [bibtex] [doi]
[91] Amina Chaabane, Mohamed Jmaiel, A Secure Content-Based Publish/Subscribe Middleware, In Third International Conference on Information Technology: New Generations, IEEE Computer Society, 2009. [bibtex] [doi]
2008
[90] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, A QoS-oriented reconfigurable middleware for self-healing Web services, In Proceedings of the IEEE International Conference on Web Services (ICWS'08), IEEE Computer Society, 2008. [bibtex] [doi]
[89] Riadh Ben Halima, Karim Guennoun, Khalil Drira, Mohamed 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), IEEE Computer Society, 2008. [bibtex] [doi]
[88] Ismael Bouassida Rodriguez, N. Van Wambeke, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, Multi-layer coordinated adaptation based on graph refinement for cooperative activities, In Proceedings of the 4th International Conference on Self-organization and Adaptation of Computing and Communications (SSCC'2008), 2008. [bibtex]
[87] Monia Ben Brahim, Maher Ben Jemaa, Mohamed 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, 2008. [bibtex] [pdf]
[86] Mohamed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhriss, Mohamed Jmaiel, Khalil 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), 2008. [bibtex] [doi]
[85] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed 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), 2008. [bibtex] [doi]
[84] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks, In Proceedings of the 9th International Conference on Distributed Computing and Networking ICDCN'2008 (Army L. Murphy, Jan Vitek, eds.), Springer, volume 4904, 2008. [bibtex] [doi]
[83] Soumaya Marzouk, Mohamed 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), IEEE Computer Society, 2008. [bibtex] [doi]
[82] Najla Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil 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, ACM, 2008. [bibtex] [doi]
[81] Ismael Bouassida Rodriguez, Karim Guennoun, Khalil Drira, Christophe Chassot, Mohamed 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, ACM, 2008. [bibtex] [doi]
[80] Siwar Khelifi, Hatem Hadj Kacem, Ahmed Hadj Kacem, Specification and verification of the structural and behavioural properties of Publish/Subscribe architectures., In Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008),, 2008. [bibtex] [pdf]
[79] Rene Pegoraro, Riadh Ben Halima, Khalil Drira, Karim Guennoun, Joao Mauricio Rosário, A framework for monitoring and runtime recovery of web service-based applications, In 10th International Conference on Enterprise Information Systems (ICEIS 2008), 2008. [bibtex] [pdf]
[78] Kaouthar Fakhfakh, Tarak Chaari, Said Tazi, Khalil Drira, Mohamed Jmaiel, Modélisation et monitoring des contrats de qualité de services en utilisant les ontologies, In , volume 0, 2008. [bibtex] [pdf]
[77] Soumaya Ghorbel, Maher Ben Jemaa, Mohamed Chtourou, SVM synthesis by hierarchical structures of learning automata application for handwritten digits recognition, In IEEE International Multi-Conference on Systems, Signals and Devices (SSD2008), 2008. [bibtex]
[76] Olga Nabuco, Riadh Ben Halima, Khalil Drira, Maria Grazia Fugini, Stefano Modafferi, Enrico 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, IEEE Computer Society, 2008. [bibtex] [doi]
2007
[75] Mohamed Sellami, Mohamed Jmaiel, A Secured Service-Oriented Architecture for E-government in Tunisia, In Proceedings of the eGovernment Interoperability Campus 2007 Conference (eGovINTEROP'07), 2007. [bibtex] [pdf]
[74] Mehdi Ben Abderrahmen, Bilel Gargouri, Mohamed Jmaiel, LMF-QL: A Graphical Tool to Query LMF databases, In Proc. of the 3rd Language & Technology Conference: Human Language Technologies as a Challenge for Computer Science and Linguistics (Zygmut Vetulani, ed.), Wydawnictwp Poznanskie, 2007. [bibtex] [doi]
[73] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Formal Design of Structural and Dynamic Features of Publish/Subscribe Architectural Styles, In In ECSA'07 The First European Conference on Software Architecture, Springer-Verlag, volume 4758, 2007. [bibtex] [doi]
[72] Soumaya Marzouk, Maher Ben Jemaa, Mohamed Jmaiel, A Serialisation Based Approach for Processes Strong Mobility, In Proceedings of the 7th IFIP International Conference on Distributed Applications and Interoperable Systems (Dais) (Jadwiga Indulska, Kerry Raymond, eds.), Springer, volume 4531, 2007. [bibtex] [doi]
[71] Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants, In Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination), Springer, volume 4467, 2007. [bibtex] [doi]
[70] Riadh Ben Halima, Mohamed Jmaiel, Khalil 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, 2007. [bibtex] [pdf]
[69] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Consistent Reconfiguration for Publish/Subscribe Architecture Styles, In proceedings of the 1st International Workshop on Verification and Evaluation of Computer and Communication Systems, Electronic Workshops in Computing EWIC Series, The British Computer Society, 2007. [bibtex] [doi]
[68] Nouha Baccour, Heni Kaaniche, Mohamed Chtourou, Maher Ben Jemaa, F-LQE: A Fuzzy Link Quality Estimator for Wireless Sensor Networks, In International Multi-Conference on Systems, Signals and Devices (SSD 2007), 2007. [bibtex]
[67] Mohamed Nadhmi Miladi, Mohamed Jmaiel, Mohamed 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, IEEE, 2007. [bibtex] [doi]
[66] Riadh Ben Halima, Mohamed Jmaiel, Khalil 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, IEEE Computer Society, 2007. [bibtex] [doi]
[65] Mohamed Amin Haddar, Ahmed Hadj Kacem, Yves Metivier, Mohamed Mosbah, Mohamed Jmaiel, A Distributed Computational Model for Mobile Agents, In Proceedings of the Pacific Rim International WorkShop On Multi-Agents, Springer-Verlag, volume , 2007. [bibtex] [doi]
[64] Fakhreddine Ghaffari, Michel Auguin, Mohamed Abid, Maher Ben Jemaa, Dynamic and On-line Design Space Explora¬tion for Reconfigurable Architecture, In Transactions on HiPEAC I, Lecture Notes in Computer Sciences 4050, 2007. [bibtex]
[63] Ikram Smaoui, Maher Ben Jemaa, Anis Koubaa, QOS-PCF: an enhanced mechanism of PCF for QOS support in IEEE 802.11 wireless LANS, In IASTED European Conference on Proceedings of the IASTED European Conference: internet and multimedia systems and applications, 2007. [bibtex]
[62] Soumaya Marzouk, Maher Ben Jemaa, Mohamed 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), ACM, 2007. [bibtex] [doi]
[61] Monia Loulou, Mohamed Tounsi, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah, A Formal Approach to prevent Attacks on Mobile Agent Systems, In Proceedings of the International Conference on Emerging Security Information, Systems and Technologies, IEEE Computer Society, 2007. [bibtex] [doi]
[60] Luaî Jaff, Gerard H. E. Duchamp, Hatem Hadj Kacem, Cyrille Bertelle, Moderate Growth Time Series Dynamic Combinatorics Modelisation, In International Conference on Economics, Law and Management ICELM2, 2007. [bibtex] [pdf]
[59] Kaouthar Fakhfakh, Hamamache Kheddouci, Hamida Seba, Outils pour le passage à l’échelle dans la composition des protocoles métier, In , volume 0, 2007. [bibtex] [pdf]
[58] Ismael Bouassida Rodriguez, Khalil Drira, Christophe Chassot, Mohamed Jmaiel, Context-aware adaptation for group communication support applications with dynamic architecture, In the 3rd International Conference on Self-Organization and Autonomous Systems in Computing and Communications (SOAS'2007), 2007. [bibtex]
[57] Amin Ben Abdallah, Omar Cheikhrouhou, Maryline LaurentMaknavicius, Hakima Chaouchi, Maher Ben Jemaa, Architecture de sécurité dans un réseau mesh multi sauts, In 8ème Colloque Francophone de Gestion de REseaux et de Services, (GRES2007), 2007. [bibtex]
2006
[56] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil 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), 2006. [bibtex] [pdf]
[55] Mehdi Ben Abderrahmen, Faten Chaari, Bilel Gargouri, Mohamed 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), 2006. [bibtex] [pdf]
[54] Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel, SEC : A search engine for component based software engineering, In Proceeding of the 2006 ACM Symposium on Applied Computing : Session track Software Engineering (Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright, Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, Christophe Nicolle, eds.), ACM, 2006. [bibtex] [doi]
[53] Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Describing Dynamic Software Architecture using an Extended UML Model, In Proceeding of the 2006 ACM Symposium on Applied Computing : Session track Model Transformation (Hisham Haddad, Richard Chbeir, Sascha Ossowski, Roger Wainwright, Lorie Liebrock, Mathew Palakal, Kokou Yetongnon, Christophe Nicolle, eds.), ACM, 2006. [bibtex] [doi]
[52] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Compositional specification of event-based software architectural styles, In Proceedings of the 4th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'06), 2006. [bibtex] [doi]
[51] Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Mohamed Mosbah, A Conceptual Model for Secure Mobile Agent Systems, In Proceedings of the IEEE International Conference on Computational Intelligence and Security (CIS'2006), 2006. [bibtex] [doi]
[50] Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, An UML-based approach for validation of software architecture descriptions, In Trends in Enterprise Application Architecture, 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - December 1, 2006, Revised Selected Papers (Dirk Draheim, Gerald Weber, eds.), Springer, volume 4473, 2006. [bibtex] [doi]
[49] Hakima Kadri, Rawan Ghnemat, Hatem Hadj Kacem, Cyrille Bertelle, Gerard H. E. Duchamp, Emerging Decision Support System for Geographical Information Systems., In International Conference on Economics, Law and Management ICELM2, 2006. [bibtex] [pdf]
[48] Omar Cheikhrouhou, M. Laurent-Maknavicius, Maher Ben Jemaa, Nouvelle méthode d'authentification EAP-EHash, In 12ème Colloque Francophone sur l'Ingénierie des Protocoles CFIP'2006, Hermès Science et Publication, ISBN 978-2-7462-1587-0, 2006. [bibtex]
[47] Maher Ben Jemaa, Fatma Bouzid, Saber Ghribi, Conception d'un Logiciel de Localisation d'un mobile, In Workshop avec école intégrée Méthodologies et Heuristiques pour l'Optimisation des Systèmes Industriels MHOSI'2005), 2006. [bibtex]
[46] Ahmed Ben Jemaa, Maher Ben Jemaa, Yosra Ben Jemaa, Optimization of fractal image compression with genetic algorithms, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP 2006), 2006. [bibtex]
[45] M.A. Ben Ayed, Amine Samet, Soumaya Marzouk, N. Souissi, Maher Ben Jemaa, Nouri Masmoudi, New variable block size motion estimation algorithm for H264/AVC, In Second International Symposium on Communications, Control and Signal Processing (ISCCSP), 2006. [bibtex]
2005
[44] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, A Simulation Based Process for the Construction of Correct Models, In Proceedings of the International Conference on Conceptual Modeling and Simulation (CMS2005), 2005. [bibtex] [pdf]
[43] Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira, Graphical simulation of the dynamic evolution of the software architectures specified in \mboxZ, In Proceedings of the 8th International Workshop on Principles of Software Evolution (IWPSE), 2005. [bibtex] [doi]
[42] Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira, Using \mboxUML2.0 and Graph Grammars for describing the dynamic software architectures, In Proceedings of the IEEE International Conference on Information Technology and Applications ICITA'05, 2005. [bibtex] [doi]
[41] Mohamed Hadj Kacem, Mohamed Jmaiel, Ahmed Hadj Kacem, Khalil Drira, Evaluation and Comparison of \mboxADL based approaches for the description of Dynamic software architectures, In Proceedings of the Seventh International Conference on Enterprise Information Systems ICEIS'05, 2005. [bibtex] [pdf]
[40] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Towards a Formal Methodology for Developing Multi-Agent Applications using Temporal \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex] [doi]
[39] Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, A Formal Model for Mobile Agent Systems Using \mboxZ, In The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA'05), 2005. [bibtex] [doi]
[38] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Towards a Formal Methodology for Designing Multi-agent Applications, In Proceedings of Third German Conference on Multi-Agent Technologis MATES 2005 (T. Eymann, F. Klügl, W. Lamersdorf, M. Klusch, M.N. Huhns, eds.), Springer, volume 3550, 2005. [bibtex] [doi]
[37] Sonia Bouaziz, Bilel Gargouri, Mohamed Jmaiel, Component Based Lingware Development using the EJB Model and XML linguistic interface, In Proceedings of the L&TC'05, 2005. [bibtex] [pdf]
[36] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, On the decomposition of Boolean functions, In Boolean Functions: Cryptography and Applications, BFCA'05 (P. Valarcher JF. Michon, JB. Yunès, eds.), Publications des universités de Rouen et du Havre, 2005. [bibtex] [pdf]
[35] Ines Ben Brahim, Maher Ben Jemaa, Multicast Routing Protocol for Ad Hoc Networks with a Quality of Service 'Qos-AODV', In 12th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2005), 2005. [bibtex]
2004
[34] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Specification and Verification of Multi-agent Applications using Temporal \mboxZ, In Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology 2004 (IAT'2004), 2004. [bibtex] [doi]
[33] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira, Toward a Unified Graph-Based Framework for Dynamic Component-Based Architectures Descriptionin \mboxZ, In Proceedings of the IEEE/ACS International Conference on Pervasive Services (ICPS'2004), 2004. [bibtex] [doi]
[32] Raoudha Ben Jemaa, Mohamed Jmaiel, Abdelmajid 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, 2004. [bibtex] [pdf]
[31] Monia Loulou, Ahmed Hadj Kacem, Mohamed 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, 2004. [bibtex]
[30] Imen Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil 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, 2004. [bibtex] [pdf]
[29] Amira Regayeg, Ahmed Hadj Kacem, Mohamed Jmaiel, Specification and Design of Multi-agent Applications Using Temporal Z, In Proceedings of Pacific Rim International Workshop on Multi-Agents (M.W. Barley, N. Kasabov, eds.), Springer, volume 3371, 2004. [bibtex] [doi]
[28] Monia Loulou, Ahmed Hadj Kacem, Mohamed Jmaiel, Formalization of Cooperation in MAS: Towards a Generic Conceptual Model, In Proceedings of the IX Ibero-American Conference on Artificial Intelligence (IBERAMIA), Springer, volume 3315, 2004. [bibtex] [doi]
[27] Gerard H. E. Duchamp, Hatem Hadj Kacem, Eric Laugerotte, Algebraic erasure of letter-transitions., In Jordan International Conference on Computer Sciences and Engineering, (JICCSE), 2004. [bibtex] [pdf]
2003
[26] Bassem Bouaziz, Bilel Gargouri, Mohamed Jmaiel, Abdelmajid 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, 2003. [bibtex] [pdf]
[25] Ahmed Jmal, Mohamed Jmaiel, Ahmed 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, 2003. [bibtex] [pdf]
2002
[24] Mohamed Jmaiel, Ahmed Hadj Kacem, Amira Regayeg, An Operational Semantics Dedicated to the Coordination of Cooperating Agents, In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2002. [bibtex] [pdf]
[23] Mohamed Jmaiel, Ahmed Hadj Kacem, An Operational Semantics for Negotiating Agents, In Intelligent Agents and Multi-Agent Systems, Springer, volume 2413, 2002. [bibtex] [doi]
2001
[22] Ahmed Hadj Kacem, Mohamed Jmaiel, A formal negociation model for cooperating agents, In Proceedings of the AAAI Workshop on Negotiation Methods for Autonomous Cooperative Systems, 2001. [bibtex] [doi]
[21] Khalil Drira, Michel Diaz, Thierry Villemur, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Ahmed Hadj Kacem, Cooperative systems for information sharing and exchange, In Proceedings of 10th IEEE Workshops on Enabling Technologies: Infrastructre for Collaborative Entreprise8, 2001. [bibtex] [doi]
[20] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, An Environment for Formal Specification and Verification of Lingware, In Engineering of Intelligent Systems, Springer, volume 2070, 2001. [bibtex]
2000
[19] Mohamed Jmaiel, A Unified Algebraic Framework for Specifying Communication Protocols, In Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, Chapman and Hall, 2000. [bibtex] [doi]
[18] Mohamed Jmaiel, Ahmed 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, 2000. [bibtex] [pdf]
[17] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Using a formal approach to evaluate grammars, In Proceedings of Second International Conference on Language Resources and Evaluation (LREC'2000), 2000. [bibtex]
1999
[16] Ahmed Hadj Kacem, Mohamed 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, 1999. [bibtex]
[15] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, A formal approach to lingware development, In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, Springer, volume 1611, 1999. [bibtex]
1998
[14] Najib Fourati, Abdelmajid Ben Hamadou, Mohamed Jmaiel, \mboxRSOO : Une Représentation Sémantique Orientée \mboxObjets de Requêtes en Langage Naturel, In Proceedings of the International conference on Natural Language Processing and Industrial Applications; NLP+IA 98, 1998. [bibtex]
[13] Walid Chainbi, Mohamed Jmaiel, Abdelmajid 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, 1998. [bibtex]
[12] Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Multi-Agent Systems : from conception to Behavioral Semantics, In Proceeding of the IEEE International Conference on Intelligent Engineering Systems - INES'98, 1998. [bibtex]
[11] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid 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, Morgan Kaufmann Publishers, 1998. [bibtex] [doi]
[10] Walid Chainbi, Mohamed Jmaiel, Abdelmajid 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, 1998. [bibtex]
[9] Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Intérêts des Méthodes Formelles en Génie Linguistique, In Proceedings of the TALN98, 1998. [bibtex]
[8] Walid Chainbi, Mohamed Jmaiel, Abdelmajid Ben Hamadou, Conception, Behavioral Semantics and Formal Specification of Multi-Agent Systems, In Proceedings of the 4th Australian Workshop on Distributed Artificial Intelligence on Multi-Agent Systems : Theories, Languages, and Applications (DAI-98), Springer, volume 1544, 1998. [bibtex] [doi]
1997
[7] Mohamed Jmaiel, A methodology for developing communication protocols, In Proceedings of the first workshop on many facets of processes, 1997. [bibtex]
1995
[6] Mohamed Jmaiel, Development of Communication Protocols by Composing and Refining Temporal Specifications, In Proceedings of the 4th Software Quality Conference, 1995. [bibtex]
[5] Mohamed 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, Chapman and Hall, 1995. [bibtex]
1994
[4] Mohamed Jmaiel, Pepper Pepper, Development of Communication Protocols using Algebraic and Temporal Specifications, In Proceedings of the International Workshop on Advanced Software Technology, 1994. [bibtex]
[3] Mohamed Jmaiel, Development of Communication Protocols using Algebraic and Temporal Specifications, In Contributions to the Quality of Communication-Based Systems (G. Hommel, ed.), 1994. [bibtex]
1993
[2] Mohamed Jmaiel, Development of Communication Protocols, In Forschungsprojekte des Graduiertenkollegs 'Kommunikationsbasierte Systeme' (G. Hommel, ed.), 1993. [bibtex]
[1] Nesrine Khabou, Ismael Bouassida Rodriguez, Mohamed Jmaiel, Threshold-based context change detection for ubiquitous environments, In Third International Conference on Context-Aware Systems and Applications (ICCASA 2014), ACMYEAR=2014. [bibtex] [doi]
Masters Thesis
2012
[24] Rahma Bouaziz, Extension et adaptation d'un langage d'aspect pour les systèmes temps réel, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2012. [bibtex] [pdf]
2011
[23] Sellami Wael, Une approche formelle pour la vérification des propriétés non fonctionnelles d'orchestration des services web, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2011. [bibtex] [pdf]
[22] Wafa MEKKI, Définition et validation d’une approche de monitoring et d’analyse proactive des systèmes Publier/Souscrire déployés sur les réseaux mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[21] Wafa Gabsi, Modélisation @Run.Time des Applications à Base de Composants, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[20] Meriam MAHJOUB, Etude et expérimentation du Cloud Computing pour le monitoring des applications orientées services, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[19] Mouna Ktari, Une technique de tolérance aux pannes franches dans les systèmes à base d'agents mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[18] Fatma Abdennadher, Traitement de la forte dynamicité dans un système publier/souscrire basé DHT, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[17] Amal Gassara, Vérification Formelle des Propriétés non Fonctionnelles des RTES Dynamiquement Reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[16] Alvine Boaye Belle, Conception et Développement d'un Support d'Exécution pour systèmes TR\up2E dynamiquement reconfigurables, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
[15] Nesrine Khabou, Définition et validation d'une approche de monitoring et d'analyse des systèmes Publier/Souscrire déployés sur MANET, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2011. [bibtex] [pdf]
2010
[14] Hatem Awadi, Exploitation des liens pour la recherche d'images dans des documents XML, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex] [pdf]
[13] Sihem Loukil, Extension d'un langage de description d'architecture pour la programmation orientée aspect, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2010. [bibtex] [pdf]
[12] Maissa Ben Jamaa, An Experimental Study for the Performance Evaluation and Optimization of Link Quality Estimators in Wireless Sensor Networks, Master's thesis, The Faculty of Economics and Management of Sfax, 2010. [bibtex] [pdf]
[11] Imen Tounsi, Une approche pour la modélisation et la vérification des politiques d'adaptation pour le style P/S, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2010. [bibtex] [pdf]
2009
[10] Afef Mdhaffar, Définition et Validation d'une Approche d'Analyse des Performances des Services Web Mobiles, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex] [pdf]
[9] Afef Jmal Maâlej, Évaluation de Politiques d'Auto-Adaptabilité basées sur la Mobilité des Services Web Orchestrés, Master's thesis, École Nationale d'Ingénieurs de Sfax, 2009. [bibtex] [pdf]
[8] Zeineb Graja, Méthode ForMAAD: vers une approche dirigée par les modèles pour la conception d'applications à base d'agents, Master's thesis, Faculté des Sciences Économiques et de Gestion de Sfax, 2009. [bibtex] [pdf]
2008
[7] Fatma Krichen, Modélisation et Raffinement du Déploiement Dynamique des Architectures Logicielles Distribuées, Master's thesis, Ecole Nationale d'Ingenieurs de Sfax, University de Sfax, Tunisie, 2008. [bibtex] [pdf]
[6] Amina Chaabane, Conception d'un Service d'Évènement Distribué Basé Contenu Sécurisé, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex] [pdf]
[5] Imene Lahyani, Une approche pour l'assurance des qualités de services des systèmes publier/souscrire déployés sur un réseau mobile ad-hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2008. [bibtex] [pdf]
2007
[4] Lamia Yangui Bouaziz, Une démarche de validation de spécifications formelles des architectures logicielles , Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2007. [bibtex] [pdf]
2006
[3] Nouha Baccour, Conception d'une Nouvelle Strategie de Routage Dynamique pour les Reseaux Mobiles ad hoc, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2006. [bibtex] [pdf]
2005
[2] Slim Kallel, Spécification et Vérification Formelles d’une Solution Multi-Agent pour la Résolution de Conflits Aériens, Master's thesis, École Nationale d'Ingénieurs de Sfax, Tunisie, 2005. [bibtex]
2002
[1] Hatem Hadj Kacem, Rationalité et composition d’automate à multiplicités, Master's thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2002. [bibtex]
PhD Thesis
2015
[16] Zeineb Graja, Vérification formelle des systèmes multi-agents auto-adaptatifs, PhD thesis, Université de Toulouse et Université de Sfax (FSEGS), 2015. [bibtex] [pdf]
2013
[15] Fatma Krichen, Architectures logicielles à composants reconfigurables pour les systèmes Temps Réel Répartis Embarqués (TR²E), PhD thesis, Université de Toulouse et Université de Sfax (ENIS), 2013. [bibtex] [pdf]
[14] Soumaya Marzouk, A Policy-based Approach for Instance Migration of Composed Web Services, PhD thesis, Université de Sfax (ENIS), 2013. [bibtex] [pdf]
2011
[13] Slim Kallel, Specifying and Monitoring Non-functional Properties, PhD thesis, Darmstadt University of Technology, 2011. [bibtex] [pdf]
[12] Ismail Bouassida Rodriguez, Dynamic Software Architecture Management for Collaborative Communicating Systems, PhD thesis, University of Sfax and University of Toulouse, 2011. [bibtex] [pdf]
[11] Kaouthar FAKHFAKH, Approche sémantique basée sur les intentions pour la modélisation, la négociation et la surveillance des contrats de qualité de service, PhD thesis, University of Toulouse and University of Sfax, 2011. [bibtex] [pdf]
[10] Sofien Khemakhem, Un environnement de spécification et de découverte pour la réutilisation des composants logiciels dans le développement des logiciels distribués, PhD thesis, Université Paul Sabatier, Toulouse-France and Université de Sfax-Tunisie, 2011. [bibtex] [pdf]
2010
[9] Monia Loulou, Approche Formelle pour la Spécification, la Vérification et le Déploiement des Politiques de Sécurité Dynamiques dans les Systèmes à base d'Agents Mobiles, PhD thesis, Université de Sfax, 2010. [bibtex] [pdf]
[8] Imen Loulou, P/S-COM : a formal method to design correct Publish/Subscribe software architectures, PhD thesis, University of Sfax, 2010. [bibtex] [pdf]
2009
[7] Amira Regayeg, A formal Development Methodology of Multi-agent Applications, PhD thesis, University of Sfax, 2009. [bibtex] [pdf]
[6] Riadh BEN HALIMA, Conception, implantation et expérimentation d’une architecture en bus pour l’auto-réparation des applications distribuées à base de services Web, PhD thesis, Université Paul Sabatier, Toulouse-France et Université de Sfax-Tunisie, 2009. [bibtex] [pdf]
2008
[5] Mohamed Hadj Kacem, Modelling of distributed applications with dynamic architecture: design and validation, PhD thesis, University of Toulouse, 2008. [bibtex] [pdf]
[4] Bechir Zalila, Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture, PhD thesis, École Nationale Supérieure des Télécommunications, 2008. [bibtex] [pdf]
2007
[3] Tarak Chaari, Adaptation d'applications pervasives dans des environnements multi-contextes, PhD thesis, Institut National des Sciences Appliquées de LYON, 2007. [bibtex] [pdf]
2005
[2] Hatem Hadj Kacem, Contribution à la Contributions à la théorie et aux applications des automates à multiplicités, PhD thesis, Faculté des Sciences et Techniques, Université de Rouen, France, 2005. [bibtex]
1996
[1] Mohamed Jmaiel, Development of Communication Protocols with Algebraic-Temporal Specifications, PhD thesis, Technical University of Berlin, 1996. [bibtex] [pdf]
Other Publications
2008
[3] Riadh Ben Halima, Khalil Drira, Karim Guennoun, Rene Pegoraro, Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 2. Deliverable D3.2, Technical report, , 2008. (Projet IST WS-DIAMOND N ° 516933) [bibtex] [pdf]
2007
[2] Riadh Ben Halima, Khalil Drira, Karim Guennoun, Francisco Jose Moo-Mena, Specification of execution mechanisms and composition strategies for self-healing Web services. Phase 1, Technical report, , 2007. (Projet IST WS-DIAMOND N°516933) [bibtex] [pdf]
1994
[1] Mohamed Jmaiel, Specifying Communication Protocols with Temporal Logic, Technical report, Technische Universität Berlin, Fachbereich Informatik, 1994. [bibtex]


ReDCAD


National School of Engineering of Sfax
www.enis.rnu.tn

University of Sfax, Tunisia
www.uss.rnu.tn

Contact


Prof. Dr. Eng. Mohamed Jmaiel

Research Center for Computer Science, Multimedia and Digital Data Processing of Sfax, Send an Email
Phone: +216 74 666 578

Address


National School of Engineers of Sfax
Department of Computer Science and Applied Mathematics
ReDCAD Laboratory
B.P. 1173, 3038 Sfax, Tunisia