You are here

Accepted Papers

Full research papers

  • Saida Aissi, Mohamed Salah Gouider and Tarek Sboui. Enhancing Spatial Data data warehouse Exploitation: A SOLAP recommendation approach
  • Ahmed Kheldoun, Kamel Barkaoui, Malika Ioualalen and Djaouida Dahmani. High level Petri net modelling and analysis of flexible Web Services Composition
  • Erh-Wen Hu, Bogong Su and Jian Wang. Instruction level Loop De-optimization -- Loop Rerolling and Software De-pipelining
  • Faten Fakhfakh, Mohamed Tounsi, Ahmed Hadj Kacem and Mohamed Mosbah.  Towards a Formal Model for Dynamic Networks Through Refinement and Evolving Graphs
  • Fatma Ezzahra Gmati, Nadia Yacoubi-Ayadi, Afef Bahri, Salem Chakhar and Alessio Ishizaka. PMRF: Parameterized Matching-Ranking Framework
  • Wafa Gabsi and Bechir Zalila. Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL
  • Manel Ammar, Mouna Baklouti, Maxime Pelcat, Karol Desnos and Mohamed Abid.  Automatic Generation of S-LAM Descriptions from UML/MARTE for the DSE of Massively Parallel Embedded Systems
  • Ali Idri, Ibtissam Abnane and Alain Abran.  Systematic Mapping Study of Missing Values Techniques in Software Engineering Data
  • Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson and Riadh Robbana.  Conformance Testing for Timed Recursive programs
  • Sahar Kallel, Chouki Tibermacine, Bastien Tramoni, Christophe Dony and Ahmed Hadj Kacem.  Automatic Translation of OCL Meta-Level Constraints into Java Meta-programs: Towards Checking Architecture Constraints on OO Code
  • Fairouz Fakhfakh, Hatem Hadj Kacem and Ahmed Hadj Kacem.  RP4DW: Resources Provisioning For Dynamic Workflows
  • Afef Walha, Faiza Ghozzi and Faïez Gargouri.  ETL design toward social network opinion analysis
  • Imèn Khanchouch, Malika Charrad and Mohamed Limam.  An Improved Multi-SOM Algorithm for Determining the Optimal Number of Clusters
  • João M. Fernandes. Comparing AHP and ELECTRE I for prioritizing software requirements
  • Nousseiba Guidoum, Meriem Bensouyad and Djamel-Eddine Saïdouni.  A New and Fast Variant of the Strict Strong Coloring based Graph Distribution Algorithm
  • Mustapha Bourahla.  A Technique for Repairing Stochastic Programs
  • Sondes Ajili, Mohamed Ali Hajjeji and Abdellatif Mtiba.  Frequency watermarking and encryption technique for medical image safe transfer: method based on DCT
  • Ilhem Khlif, Mohamed Hadj Kacem, Patricia Stolf and Ahmed Hadj Kacem.  Software architectures: multi-scale refinement
  • Javier Berrocal, Jose García-Alonso, Cristina Vicente-Chicote and Juan Manuel Murillo Rodríguez.  Modeling Requirements Relationships to Facilitate Architectural Decision Making
  • Magne Joergensen.  The use of precision of software development effort estimates to communicate uncertainty
  • Sébastien Salva, Patrice Laurençot and Stassia R. Zafimiharisoa.  Model inference of Mobile Applications with dynamic state abstraction
  • Fareeha Choudhry.  Rule Based Inference Engine to forecast the Prevalence of Congenital Malformations in live births
  • Soumaya Sassi Mahfoudh, Walid Khaznaji and Monia Bellalouna.  A Branch and Bound Algorithm for the Probabilistic Traveling Salesman Problem
  • Messaoud Rahim, Malika Boukala-Ioualalen and Ahmed Hammad.  Towards the Formal Verification of SysML Specifications : Translation of Activity Diagrams into Modular Petri Nets
  • Hela Ben Salah, Adel Benzina and Mohamed Khalgui.  Petri Nets-based Design of Real-Time Reconfigurable Networks on Chips
  • Haithem Mezni and Sellami Mokhtar. AWS-Ont: an Ontology for the Self-management of Service-based Systems
  • Hamza Chniter, Fethi Jarray and Mohamed Khalgui.  New Adaptive Middleware for Real-Time Embedded Operating Systems
  • Sihem Cherif, Raoudha Ben Djemaa and Ikram Amous.  SABPEL: Creating Self-Adaptive Business Processes
  • Motoi Iwashita and Shigeaki Tanimoto.  A Method for Service and Billing Management using Connection Paths
  • Hamdi Hassen.  Distributed Architectures For Specific And Real Applications: Optical Character Recognition (OCR) application As A Case.
  • Issam Hamdi.  2LPA-RTDW: A Two-Level Data Partitioning Approach for Real-time Data Warehouse
  • Ahmed Absi and Dae-Ki Kang.  Efficient Memory Utilization on Hadoop MapReduce using Data Reduction
  • Nesrine Khabou and Ismael Bouassida Rodriguez.  Analysis Process for Context Aware Applications in Pervasive Environments
  • Mohamed Garoui.  The EventB2PN Tool: From Event-B Specification to Petri Nets through Model Transformation

Emerging research papers

  • Chahrazed Labba, Narjes Bellamine and Julie Dugdale.  Towards a Conceptual Framework to support Adaptative Agent-Based Systems Partitioning
  • Fairouz Dahi and Bounour Nora.  Aspect Identification Approach based on Method Invocation Model
  • Chaker Ben Mahmoud, Ikbel Azaiez, Fathia Bettahar, Marie-Hélène Abel and Faïez Gargouri.  A Learning Semantic Web Service for Generating Learning Paths
  • Wael Hamdi.  DDFCSA: A new QoS Management Approach in Distributed Real-Time Data Warehouses
  • Emna Kallel.  Automatic C code manipulation and transformation to rapid embedded systems design
  • Maha Maalej, Achraf Mtibaa and Faiez Gargouri.  Enriching User Model Ontology for Handicraft domain by FOAF
  • Wiem Khlif and Hanene Ben-Abdallah.  Integrating semantics and structural information for BPMN model refactoring
  • Afef Ghabri and Monia Bellalouna.  Wireless Sensor Networks Modeling as a Probabilistic Combinatorial Optimization Problem
  • Hamza Gharsellaoui.  Real-Time Reconfigurable Scheduling of OS Tasks Using Hybrid Genetic Based Approach
  • Imene Hadded, Mahjoub Langar and Riadh Robbana.  Automated Detection Of Critical Code in Composite Web Services
  • Hany Elyamany and Amer Alkhairi.  IoT-Academia Architecture: A profound approach
  • Sirine Rebai, Hatem Hadj Kacem, Karaa Mohamed, Saùl E. Pomares and Ahmed Hadj Kacem.  A Service-Oriented Architecture (SOA) Framework for Choreography Verification

Research challenge papers

  • Emna Ben Ayed, Mounir Ben Ayed, Christophe Kolski, Houcine Ezzedine and Faiez Gargouri.  Context aware criteria for the evaluation of mobile decision support systems
  • Bing Li, Linhai Cao, Changquan Wang, Peng Hou, Jian Sun, Yuejun Fu, Wei Du, Guanglin Feng, Zongjin Zhang, Longwei Zhang and Bin Li.  Design and implementation of tobacco production and precision fertilization management information system based on RIA WebGIS
  • Emna Guermazi, Mounir Ben Ayed and Hanêne Ben-Abdallah.  Adaptive Security for Cloud Data Warehouse as a Service
  • Ammar Lahlouhi.  aOP: adaptive Organization Partitioning
  • Ibrahim Nassar and Faisal Khamayseh.  A Semi-Automated Generation of Activity Diagrams from Arabic User Requirements
  • Eduardo Nazaré and Maria Lencastre.  Evaluation of quality level on mobile-friendliness at best universities’ websites
  • Nahla Haddar, Mohamed Tmar and Faiez Gargouri.  Opus Framework: A Proof-of-Concept Implementation