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.