Program

Details:

Session 1: Graph

• - Meryam Zeryouh, Mohamed El Marraki and Mohamed Essalih, « A Measure for Quantifying the Topological Structure of Some Networks »
• - Muktikanta Sa, « Maintenance of Strongly Connected Component in Shared-memory Graph » (short paper)

Session 2: Verification

• - Sylvain Conchon, Giorgio Delzanno and Angelo Ferrando, « Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols »
• - Ahmed Bouajjani, Constantin Enea, Madhavan Mukund and Rajarshi Roy, « On Verifying TSO Robustness for Event-Driven Asynchronous Programs »
• - Marcio Diaz and Tayssir Touili, « Model Checking Dynamic Pushdown Networks with Locks and Priorities »

Session 3: Distribution 1

• - Antonio Fernandez Anta, Chryssis Georgiou, Kishori Konwar and Nicolas Nicolaou, « Formalizing and Implementing Distributed Ledger Objects »
• - Rachid Guerraoui and Jingjing Wang, « On the Unfairness of Blockchain »
• - Anass Rachdi, Abdeslam En-Nouaary and Mohamed Dahchour, « BPMN Process Analysis: A formal Validation and Verification Eclipse Plugin for BPMN Process Models » (short paper)

Session 4: Concurency 1

• - Vitaly Aksenov, Petr Kuznetsov and Anatoly Shalyto, « On Helping and Stacks »
• - Michel Raynal and Jiannong Cao, « Anonymity in Distributed Read/Write – Systems: a Short Introduction »
• - Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum and Nayuta Yanagisawa, « An anonymous wait-free weak-set object implementation »

Session 5: Security

• - Sébastien Vaucher, Valerio Schiavoni and Pascal Felber, « Stress-SGX: Load and Stress your Enclaves for Fun and Profit » (short paper)
• - Ayidh Alharbi and Tahar M Kechadi, « Application of Noisy Attacks on Image Steganography. » (short paper)
• - Ahmed Khoumsi and Mohammed Erradi, « Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions »

Session 6: Self-Stabilization

• - Dianne Foreback, Mikhail Nesterenko and Sebastien Tixeuil, « Churn Possibilities and Impossibilities »
• - Iosif Salem and Elad Michael Schiller, « Practically-Self-Stabilizing Vector Clocks in the Absence of Execution Fairness »
• - Michiko Inoue and Sebastien Tixeuil, « Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching » (short paper)

Session 7: Distribution 2

• - Gadi Taubenfeld, « Weak Failures: Definitions, Algorithms and Impossibility Results »
• - Gokarna Sharma, Costas Busch and Supratik Mukhopadhyay, « Complete Visibility for Oblivious Robots in O(N) Time »
• - Masashi Tsuchida, Fukuhito Ooshita and Michiko Inoue, « Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards »

Session 8: Concurency 2

• - Sathya Peri, Ajay Singh and Archit Somani, « Efficient means of Achieving Composability using Object based Semantics in Transactional Memory Systems »
• - Chryssis Georgiou, Theophanis Hadjistasi, Nicolas Nicolaou and Alexander Schwarzmann, « Unleashing and Speeding Up Readers in Atomic Object Implementations »
• - Prasad Jayanti, Siddhartha Jayanti and Anup Joshi, « Optimal Recoverable Mutual Exclusion using only FASAS »

Session 9: Middleware

• - Khadija Letrache, Omar El Beggar and Mohammed Ramdani, « Comparative analysis of our association rules based approach and a genetic approach for OLAP partitioning »
• - Radia Belkeziz and Zahi Jarir, « IoT Context-Driven Architecture: Characterization of the Behavioral Aspect » (short paper)

Session 10: Networking

• - Baddi Youssef and Ech-Chrif El Kettani Mohammed Dafir, « OSM-GKM Optimal Shared Multicast-based solution for group key management in mobile IPv6″
• - Driss Ait Omar, Mohamed EL AMRANI, Mohamed Baslam and Mohamed Fakir, « A Game-Theoretic Approach for the Internet Content Distribution Chain »
• - Hamid Garmani, M’hamed Outanoute, Mohamed Baslam and Mustapha Jourhmane, « New Competition-Based Approach for Caching Popular Content in ICN »

Poster Session:

• - Rachid Guerraoui, Anne-Marie Kermarrec, Olivier Ruas and Francois Taiani. Fingerprinting Big Data.
• - Kaoutar Sefrioui Boujemaa, Ismail Berrada and Khalid Fardousse. Arabic Text Recognition in Highway Traffic Panels.
• - Manal Zettam, Jalal Laassiri and Nourdddine Enneya. A MapReduce-based Adjoint Method to Predict the Levenson Self Report Psychopathy Scale Value.
• - Sliman Rajaa, Abdellah Boulouz and Mohamed Bensalah. Optimization of RPL Objective Function based on Combined Metrics.
• - Youness Madani, Mohammed Erritali and Jamaa Bengourram. A Hybrid Multilingual Sentiment Classification using Fuzzy Logic and Semantic Similarity.
• - Salah-Eddine Ramah, Karim Bouhbouh, Afaf Bouhoute and Ismail Berrada. Driving Maneuver Recognition Using Phone Sensors.
• - Mohamed Amine Belhamra and El Mamoun Souidi. Network coding and Applications.
• - Nadir Sahllal and El Mamoun Souidi. Steganography on QR Codes.
• - Chirag Juyal, Sandeep Kulkarni, Sweta Kumari, Sathya Peri and Archit Somani. Innovative Approach to Achieve Compositionality Efficiently using Multi-Version Object Based Transactional Systems.
• - Hafsa Benaddi and Khalil Ibrahimi. Study of the intrusion detection system with KNN method for KDD99 data set.