SCSS 2017 Program

Thursday 6th of April, 2017

  • 14:00 Arravial at Symposium Venue

Friday 7th of April, 2017

  • 08h:30 - 10:00 Registration
  • 10:00 - 11:00 Welcome Speeches
  • 11:00 - 12:00 Invited Talk

    Gérard Huet.
    Algebraic techniques for computational linguistics and their application to cultural heritage

  • 12:00 - 14:00 Lunch Break
  • 14:00 - 15:30 Regular Papers - Session 1

    Nirina Andrianarivelo, Vivien Pelletier and Pierre Réty.
    Transforming Prefix-constrained or Controlled Rewrite Systems

    Jon Hael Brenas, Rachid Echahed and Martin Strecker.
    C2PDLS: A Combination of Combinatory and Converse PDL with Substitutions

    Tetsuo Ida and Stephen Watt.
    Origami folds in higher-dimension

  • 15:30 - 16:00 Coffee Break
  • 16:00 - 17:00 Short Papers

    Puneet Bhateja.
    Asynchronous testing of real-time systems

    Pierrette Annie Evina, Faten Labbene Ayachi, Faouzi Jaidi and Adel Bouhoula.
    Towards a Reliable Formal Framework for Enhancing Risk Assessment in Access Control Systems

    Jaweher Zouari, Mohamed Hamdi and Tai-Hoon Kim.
    Fuzzy Vault Based Profile Matching For Mobile Social Networks

Saturday 8th of April, 2017

  • 09:00 - 10:00 Invited Talk

    Riadh Ksantini.
    Linear Models for Information-Assisted Visualization

  • 10:00 - 10:30 Coffee Break
  • 10:30 - 12:00 Regular Papers - Session 2

    David Cerna and Wolfgang Schreiner.
    Measuring the Gap: Algorithmic Approximation Bounds for the Space Complexity of Stream Specifications

    Hiba Ouni, Kais Klai, Chiheb Ameur Abid and Belhassen Zouari.
    A Parallel Construction of the Symbolic Observation Graph: the Basis for Efficient Model Checking of Concurrent Systems

    Maha Boussabbeh, Mohamed Tounsi and Ahmed Hadj Kacem and Mohamed Mosbah.
    Formal Development of Distributed Enumeration Algorithms By Refinement-Based Techniques

  • 12:00 - 14:00 Lunch Break
  • 14:00 - 15:30 Regular Papers - Session 3

    Faouzi Jaidi, Faten Labbene Ayachi and Adel Bouhoula.
    A Comprehensive Formal Solution for Access Control Policies Management: Defect Detection, Analysis and Risk Assessment

    Amina Saâdaoui, Nihel Ben Youssef and Adel Bouhoula.
    Automatic detection and correction of firewall misconfigurations- A formal approach

    Seyed Hossein Haeri and Sibylle Schupp.
    Integration of a Decentralised Pattern Matching: Venue for a New Paradigm Intermarriage

  • 15:30 - 16:00 Coffee Break
  • 16:00 - 17:00 PHD Students Papers- session 4

    Maherzia Belaazi.
    Formal integration of privacy legislation in data access controls

    Wejden Saeid.
    Policy Modeling, Deployement and Formal verification

    Ons Chikhaoui.
    A tickets based conditional privacy preserving authentication scheme for VANETs

    Hana Rhimi.
    Contributing to rooting, security and annonymisation in dynamic networks

    Soumaya Nheri.
    Novel Text-Document Recognition Method based on Subclass Low Variances Guided Support Vector Machine

  • 19:00 Symposium Official Dinner

Sunday 9th of April, 2017

09:00 - 14:00 Symposium Excursion (Visit to the Medina of Tunis, Sidi Bousaid and Carthage)

Invited talk 1:

Gérard Huet, Inria Paris Center

Algebraic techniques for computational linguistics and their application to cultural heritage.

Abstract: We present an application to cultural heritage management based on computational linguistics tools implemented as Web services. A core functional programming library of regular transducers based on effective Eilenberg machines (the Zen toolkit implemented in Ocaml) allows the efficient treatment of lexical resources, morphological computation, segmentation and shallow parsing of natural language enunciations. A graphical user interface yields an interactive tagger usable for a fine-grained hypertext annotation of digital libraries storing literature corpus. Such a digital humanities platform offer philologists proper tools for critical editions management, and may be used by the general public for browsing the corpus.The talk will emphasize the algebraico-logical relevant techniques issued from software engineering research.

Invited talk 2:

Riadh Ksantini, SUPCOM University of Carthage

Linear Models for Information-Assisted Visualization

Abstract: In Direct Volume Rendering (DVR), the Transfer Function (TF) to map voxel values to color and opacity values is difficult to obtain. Existing TF design tools are complex and non-intuitive for the end user, who is more likely to be a medical professional than an expert in image processing or data modeling. We propose a novel image-centric volume visualization method where the user directly works on the volume data to simply select the parts he/she would like to visualize. The user's work is further simplified by presenting only the most informative volume slices for selection. Based on the selected parts, all the voxels are classified using our Sparse Nonparametric Support Vector Machine (SN-SVM) classifier, which combines both local and near-global distributional information of the training data to obtain accurate results. The voxel classes are then mapped to color and opacity values using the concept of harmonic colors, which provides easily distinguishable and aesthetically pleasing results. The need for visualization emerged from the necessity of informative exploration of data in several domains, such as, medical imaging, seismology, computer network analysis, traffic analysis ans organizational management. For example, in medical visualization, Magnetic Resonance Imaging (MRI) or Computed Tomography (CT) scan data shows the visual representation of the patient's inner organs with an overlay of necessary information (e.g.intensity of the voxels).


Ksantini, R., Ziou, D., Colin, B., and Dubeau, F. (2008) A Weighted Pseudo-Metric Discriminatory Power Improvement Using a Bayesian Logistic Regression Model Based on a Variational Method. IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI). 30(2):253-266.

Ksantini, R., Boufama, B., Ziou, D., and Colin, B. (2010) A Novel Bayesian Logistic Discriminant Model: An Application to Face Recognition. Pattern Recognition (PR) (Elsevier). 43:1421-1430.

Ksantini, R., Khan, N.,Ahmad, I.S., and Boufama, B. (2012) A Novel SVM + NDA Model for Classification with an Application to Face Recognition. Pattern Recognition(PR) (Elsevier). 45(1):66-79.

Khan, N., Ksantini, R., Ahmad, I.S., and Guan, L. (2014) Covariance-guided One-Class Support Vector Machines. Pattern Recognition (Elsevier). 47(6):2165-2177.

Memar, S.,Ksantini, R., and Boufama, B. (2016) Feature based Active Contour Model and Occluding Object Detection. The Journal of Optical Society of America A (JOSA). 33(4):648-662.