Program

Details:

Session 1: Networking I

• - Raihana Mokhlissi, Dounia Lotfi, Joyati Debnath and Mohamed El Marraki. An Innovative Combinatorial Approach for the Spanning Tree Entropy in Flower Network
• - Mohammed Gabli, Soufiane Dahmani, El Bekkaye Mermri and Abdelhafid Serghini. A Dynamic Genetic Algorithm Approach to the Problem of UMTS Network Assignment

Session 2: Distributed Algorithms I

• - Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis and Elad Michael Schiller. Self-Stabilizing Reconfiguration
• - Debasish Pattanayak, Kaushik Mondal, Partha Sarathi Mandal and Stefan Schmid. Convergence of Even Simpler Robots without Location Information

Session 3: Atomicity

• - Theophanis Hadjistasi, Nicolas Nicolaou and Alexander Schwarzmann. Oh-RAM! One and a Half Round Atomic Memory
• - Egor Derevenetc, Roland Meyer and Sebastian Schweizer. Locality and Singularity for Store-Atomic Memory Models

Session 4: Policies

• - Rezwana Reaz, H. B. Acharya, Ehab S. Elmallah, Jorge A. Cobb and Mohamed G. Gouda. Policy Expressions and the Bottom-Up Design of Computing Policies
• - (Short) Meryeme Ayache, Mohammed Erradi, Bernd Freisleben and Ahmed Khoumsi. Using Aspect-Oriented State Machines for Resolving Conflicts in XACML Policies

Session 5: Clustering based Techniques

• - Chen Avin, Louis Cohen and Stefan Schmid. Competitive Clustering of Stochastic Communication Patterns on the Ring
• - (Short) Moufida Rahmani and Mahfoud Benchaïba. Toward a Resource Availability Measurement in Peer to Peer Systems

Session 6: Verification

• - Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre and Gennaro Parlato. Concurrent Program Verification with Lazy Sequentialization and Interval Analysis
• - Armando Castaneda, Sergio Rajsbaum and Michel Raynal. Long-Lived Tasks
• - Marcio Diaz and Tayssir Touili. Reachability Analysis of Dynamic Pushdown Networks with Priorities

Session 7: Security and Privacy

• - Shlomi Dolev and Daniel Khankin. Monitorability Bounds via Expander, Sparsifier and Random Walks. The Interplay Between On-Demand Monitoring and Anonymity
• - Arielle Moro and Benoît Garbinato. A location privacy estimator based on spatio-temporal location uncertainties
• - Amira Soliman and Sarunas Girdzijauskas. AdaGraph: Adaptive Graph-based Algorithms for Spam Detection in Social Networks
• - Wafa Neji, Kaouther Blibech and Narjes Ben Rajeb. Incoercible fully-remote electronic voting protocol

Session 8: Agreement and Consensus

• - Petr Kuznetsov and Thibault Rieutord. Agreement Functions for Distributed Computing Models
• - Edward Talmage and Jennifer Welch. Anomalies and Similarities among Consensus Numbers of Variously-Relaxed Queues
• - Armando Castaneda, Yoram Moses, Michel Raynal and Matthieu Roy. Early Decision and Stopping in Synchronous Consensus: a Predicate-Based Guided Tour
• - (Short) Peva Blanchard, Rachid Guerraoui, Julien Stainer and Igor Zablotchi. The Disclosure Power of Shared Objects

Session 9: Concurrency and Specifications

• - Karolos Antoniadis, Rachid Guerraoui, Julien Stainer and Vasileios Trigonakis. Sequential Proximity: Towards Provably Scalable Concurrent Search Algorithms
• - Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengal, Shin-Cheng Mu, Nishant Sinha and Bow Yaw Wang. An Executable Sequential Specification for Spark Aggregation
• - Prakash Saivasan, Mohamed Faouzi Atig, Ahmed Bouajjani and K. Narayan Kumar. Parity games over bounded phase multi-pushdown systems

Session 10: Networking II

• - Hassan Faouzi, Mohamed Er-Erouidi, Houda Moudni, Hicham Mouncif and Mohamed Lamsaadi. Improving network lifetime of ad hoc network using energy AODV (E-AODV) routing protocol in real radio environment-
• - Mohamed Er-Rouidi, Houda Moudni, Hassan Faouzi, Hicham Mouncif and Abdelkrim Merbouha. A Fuzzy-based Routing Strategy to Improve Route Stability in MANET Based on AODV

Session 11: Distributed Algorithms II

• - Maryem Ait El Hadj, Yahya Benkaouz, Bernd Freisleben and Mohammed Erradi. ABAC Rule Reduction via Similarity Computation
• - Khalil Laghmari, Christophe Marsala and Mohammed Ramdani. A distributed recommender system based on graded multi-label classification
• - (Short) Anne-Marie Kermarrec, Nupur Mittal and Javier Olivares. Multithreading approach to process real-time updates in KNN algorithms

Session 12: Communication

• - Ait Omar Driss, Outanoute M’Hamed, Baslam Mohamed, Fakir Mohamed and Bouikhalene Belaid. Joint price and QoS competition with bounded rational costumers
• - Achraf Ait Beni Ifit, Othmane Alaoui Fdili, Patrick Corlay, Francois-Xavier Coudoux and Driss Aboutajdine. Profiling and modelling of HEVC intra video encoder’s energy consumption for next generation WVSNS

Session 13: Software Engineering

• - Meriem Atifi, Abdelaziz Marzak and Abdelaziz Mamouni. A Comparative Study of Software Testing Techniques
• - (Short) Rachida Hassani, Younès El Bouzekri El Idrissi and Abdellah Abouabdellah. Software Project Management in the era of Digital Transformation
• - (Short) Mouad Mansouri and Leghris Cherkaoui. Using fuzzy Gray Relational Analysis in the vertical handover process in wireless networks