| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Mohamed Amine Rguibi, Najem Moussa |
A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks.  |
NETYS  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryem Ait El Hadj, Ahmed Khoumsi, Yahya Benkaouz, Mohammed Erradi |
Efficient Security Policy Management Using Suspicious Rules Through Access Log Analysis. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen 0001, Hsiao-chen Chung, Wen-Chi Hung, Ming-Hsien Tsai 0001, Bow-Yaw Wang, Farn Wang |
Synthesize Models for Quantitative Analysis Using Automata Learning. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Meryem Cherkaoui Semmouni, Abderrahmane Nitaj, Mostafa Belkasmi |
Bitcoin Security with Post Quantum Cryptography. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Chini, Roland Meyer 0001, Prakash Saivasan |
Liveness in Broadcast Networks. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Baddi, Mohamed Dâfir Ech-Cherif El Kettani |
OSM-GKM Optimal Shared Multicast-Based Solution for Group Key Management in Mobile IPv6. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gadi Taubenfeld |
Weak Failures: Definitions, Algorithms and Impossibility Results. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Driss Ait Omar, Mohamed El Amrani, Mohamed Baslam, Mohamed Fakir |
A Game-Theoretic Approach for the Internet Content Distribution Chain. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayidh Alharbi, M. Tahar Kechadi |
Short Paper: Application of Noisy Attacks on Image Steganography. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Iosif Salem, Elad Michael Schiller |
Practically-Self-stabilizing Vector Clocks in the Absence of Execution Fairness. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Fernández Anta, Chryssis Georgiou, Kishori M. Konwar, Nicolas C. Nicolaou |
Formalizing and Implementing Distributed Ledger Objects. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Muktikanta Sa |
Short Paper: Maintenance of Strongly Connected Component in Shared-Memory Graph. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour |
Short Paper: BPMN Process Analysis: A Formal Validation and Verification Eclipse Plugin for BPMN Process Models. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Radia Belkeziz, Zahi Jarir |
Short Paper: IoT Context-Driven Architecture: Characterization of the Behavioral Aspect. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michiko Inoue, Sébastien Tixeuil |
Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing 1-Maximal Matching. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianne Foreback, Mikhail Nesterenko, Sébastien Tixeuil |
Churn Possibilities and Impossibilities. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Masashi Tsuchida, Fukuhito Ooshita, Michiko Inoue |
Gathering of Mobile Agents in Asynchronous Byzantine Environments with Authenticated Whiteboards. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Constantin Enea, Madhavan Mukund, Rajarshi Roy 0002 |
On Verifying TSO Robustness for Event-Driven Asynchronous Programs. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum, Nayuta Yanagisawa |
An Anonymous Wait-Free Weak-Set Object Implementation. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chryssis Georgiou, Theophanis Hadjistasi, Nicolas C. Nicolaou, Alexander A. Schwarzmann |
Unleashing and Speeding Up Readers in Atomic Object Implementations. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sathya Peri, Ajay Singh 0002, Archit Somani |
Efficient Means of Achieving Composability Using Object Based Semantics in Transactional Memory Systems. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Vaucher, Valerio Schiavoni, Pascal Felber |
Short Paper: Stress-SGX: Load and Stress Your Enclaves for Fun and Profit. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio Diaz, Tayssir Touili |
Model Checking Dynamic Pushdown Networks with Locks and Priorities. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps |
Program Analyses Using Newton's Method (Invited Paper). |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitaly Aksenov, Petr Kuznetsov, Anatoly Shalyto 0001 |
On Helping and Stacks. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Khadija Letrache, Omar El Beggar, Mohammed Ramdani |
Comparative Analysis of Our Association Rules Based Approach and a Genetic Approach for OLAP Partitioning. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Meryam Zeryouh, Mohamed El Marraki, Mohamed Essalih |
A Measure for Quantifying the Topological Structure of Some Networks. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Mohammed Erradi |
Automata-Based Bottom-Up Design of Conflict-Free Security Policies Specified as Policy Expressions. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamid Garmani, M'hamed Outanoute, Mohamed Baslam, Mostafa Jourhmane |
New Competition-Based Approach for Caching Popular Content in ICN. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasad Jayanti, Siddhartha V. Jayanti, Anup Joshi |
Optimal Recoverable Mutual Exclusion Using only FASAS. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Jingjing Wang 0007 |
On the Unfairness of Blockchain. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando 0001 |
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gokarna Sharma, Costas Busch, Supratik Mukhopadhyay |
Complete Visibility for Oblivious Robots in 풪(N) Time. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Raynal, Jiannong Cao 0001 |
Anonymity in Distributed Read/Write Systems: An Introductory Survey. |
NETYS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne-Marie Kermarrec, Nupur Mittal, Javier Olivares |
Multithreading Approach to Process Real-Time Updates in KNN Algorithms. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Arielle Moro, Benoît Garbinato |
A Location Privacy Estimator Based on Spatio-Temporal Location Uncertainties. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachida Hassani, Younès El Bouzekri El Idrissi, Abdellah Abouabdellah |
Software Project Management in the Era of Digital Transformation. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Castañeda, Yoram Moses, Michel Raynal, Matthieu Roy |
Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Meryeme Ayache, Mohammed Erradi, Bernd Freisleben, Ahmed Khoumsi |
Aspect-Oriented State Machines for Resolving Conflicts in XACML Policies. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Amira Soliman 0001, Sarunas Girdzijauskas |
AdaGraph: Adaptive Graph-Based Algorithms for Spam Detection in Social Networks. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Avin, Louis Cohen, Stefan Schmid 0001 |
Competitive Clustering of Stochastic Communication Patterns on a Ring. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryem Ait El Hadj, Yahya Benkaouz, Bernd Freisleben, Mohammed Erradi |
ABAC Rule Reduction via Similarity Computation. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Debasish Pattanayak, Kaushik Mondal 0001, Partha Sarathi Mandal 0001, Stefan Schmid 0001 |
Convergence of Even Simpler Robots without Position Information. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Meriem Atifi, Abdelaziz Mamouni, Abdelaziz Marzak 0001 |
A Comparative Study of Software Testing Techniques. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Theophanis Hadjistasi, Nicolas C. Nicolaou, Alexander A. Schwarzmann |
Oh-RAM! One and a Half Round Atomic Memory. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Er-rouidi, Houda Moudni, Hassan Faouzi, Hicham Mouncif, Abdelkrim Merbouha |
A Fuzzy-Based Routing Strategy to Improve Route Stability in MANET Based on AODV. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Faouzi, Mohamed Er-rouidi, Houda Moudni, Hicham Mouncif, Mohamed Lamsaadi |
Improving Network Lifetime of Ad Hoc Network Using Energy Aodv (E-AODV) Routing Protocol in Real Radio Environments. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcio Diaz, Tayssir Touili |
Reachability Analysis of Dynamic Pushdown Networks with Priorities. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Talmage, Jennifer L. Welch |
Anomalies and Similarities Among Consensus Numbers of Variously-Relaxed Queues. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wafa Neji, Kaouther Blibech, Narjes Ben Rajeb |
Incoercible Fully-Remote Electronic Voting Protocol. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Egor Derevenetc, Roland Meyer 0001, Sebastian Schweizer |
Locality and Singularity for Store-Atomic Memory Models. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Chryssis Georgiou, Ioannis Marcoullis, Elad Michael Schiller |
Self-stabilizing Reconfiguration. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Amr El Abbadi, Benoît Garbinato (eds.) |
Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Achraf Ait-Beni-Ifit, Othmane Alaoui Fdili, Patrick Corlay, François-Xavier Coudoux, Driss Aboutajdine |
Profiling and Modelling of HEVC Intra Video Encoder's Energy Consumption for Next Generation WVSNS. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Moufida Rahmani, Mahfoud Benchaïba |
Toward a Resource Availability Measurement in Peer to Peer Systems. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Karolos Antoniadis, Rachid Guerraoui, Julien Stainer, Vasileios Trigonakis |
Sequential Proximity - Towards Provably Scalable Concurrent Search Algorithms. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouâd Mansouri, Leghris Cherkaoui |
Using Fuzzy Gray Relational Analysis in the Vertical Handover Process in Wireless Networks. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Laghmari, Christophe Marsala, Mohammed Ramdani |
A Distributed Recommender System Based on Graded Multi-label Classification. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Parity Games on Bounded Phase Multi-pushdown Systems. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Rezwana Reaz, Hrishikesh B. Acharya, Ehab S. Elmallah, Jorge Arturo Cobb, Mohamed G. Gouda |
Policy Expressions and the Bottom-Up Design of Computing Policies. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Kuznetsov, Thibault Rieutord |
Agreement Functions for Distributed Computing Models. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Truc L. Nguyen, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato |
Concurrent Program Verification with Lazy Sequentialization and Interval Analysis. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Peva Blanchard, Rachid Guerraoui, Julien Stainer, Igor Zablotchi |
The Disclosure Power of Shared Objects. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen 0001, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha 0001, Bow-Yaw Wang |
An Executable Sequential Specification for Spark Aggregation. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Gabli, Soufiane Dahmani, El Bekkaye Mermri, Abdelhafid Serghini |
A Dynamic Genetic Algorithm Approach to the Problem of UMTS Network Assignment. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Driss Ait Omar, M'hamed Outanoute, Mohamed Baslam, Mohamed Fakir, Belaid Bouikhalene |
Joint Price and QoS Competition with Bounded Rational Customers. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
Long-Lived Tasks. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Raihana Mokhlissi, Dounia Lotfi, Joyati C. Debnath, Mohamed El Marraki |
An Innovative Combinatorial Approach for the Spanning Tree Entropy in Flower Network. |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shlomi Dolev, Daniel Khankin |
Monitorability Bounds via Expander, Sparsifier and Random Walks - The Interplay Between On-Demand Monitoring and Anonymity (Extendend Abstract). |
NETYS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Suha Orhun Mutluergil, Serdar Tasiran |
A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof System. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Khaled Ben Hafaiedh, Gregor von Bochmann, Guy-Vincent Jourdan, Iosif-Viorel Onut |
Fault Tolerant P2P RIA Crawling. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël P. Barazzutti, Yaroslav Hayduk, Pascal Felber, Etienne Rivière |
Exploiting Concurrency in Domain-Specific Data Structures: A Concurrent Order Book and Workload Generator for Online Trading. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Asma El Hamzaoui, Hicham Bensaid, Abdeslam En-Nouaary |
A Formal Model for WebRTC Signaling Using SDL. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Ekström, Seif Haridi |
A Fault-Tolerant Sequentially Consistent DSM with a Compositional Correctness Proof. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Achour Mostéfaoui, Michel Raynal |
Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing Systems. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruma R. Paul, Peter Van Roy, Vladimir Vlassov |
Reversible Phase Transitions in a Structured Overlay Network with Churn. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nitin Chiluka, Anne-Marie Kermarrec, Javier Olivares |
The Out-of-core KNN Awakens: - The Light Side of Computation Force on Large Datasets. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanae El Mimouni, Mohamed Bouhdadi |
An Incremental Proof-Based Process of the NetBill Electronic Commerce Protocol. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Oucheikh, Ismail Berrada, Outman El Hichami |
The 4-Octahedron Abstract Domain. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zouheir Labbi, Ahmed Maarof, Mohamed Senhadji, Mostafa Belkasmi |
Hybrid Encryption Approach Using Dynamic Key Generation and Symmetric Key Algorithm for RFID Systems. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mouhcine Elgarej, Khalifa Mansouri, Mohamed Youssfi |
Traffic Lights Optimization with Distributed Ant Colony Optimization Based on Multi-agent System. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alami Chaibrassou, Ahmed Mouhsen |
A Multi-channel Energy Efficient Cooperative MIMO Routing Protocol for Clustered WSNs. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carole Delporte-Gallet, Hugues Fauconnier |
Asynchronous Consensus with Bounded Memory. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Aissam Berrahou |
Accurate Optimization Method for Allocation of Heterogeneous Resources in Embedded Systems. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Carpen-Amarie, Dave Dice, Gaël Thomas 0001, Pascal Felber |
Transactional Pointers: Experiences with HTM-Based Reference Counting in C++. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Muqeet Ali, Rezwana Reaz, Mohamed G. Gouda |
Nonrepudiation Protocols Without a Trusted Party. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maitri Chakraborty, Alessia Milani, Miguel A. Mosteiro |
Counting in Practical Anonymous Dynamic Networks is Polynomial. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nada Sbihi, Mounir Ghogho |
Is Youtube Popularity Prediction a Good Way to Improve Caching Efficiency? |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Quentin Bramas, Sébastien Tixeuil |
Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor Networks. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara El Aouad, Christophe Dupuy, Renata Teixeira, Francis R. Bach, Christophe Diot |
Exploiting Crowd Sourced Reviews to Explain Movie Recommendation. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Maroua Drissi, Mohammed Oumsis, Driss Aboutajdine |
A Fuzzy AHP Approach to Network Selection Improvement in Heterogeneous Wireless Networks. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yahya Benkaouz, Mohammed Erradi, Anne-Marie Kermarrec |
Nearest Neighbors Graph Construction: Peer Sampling to the Rescue. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Jensen, Tyler O'Meara, Mohamed G. Gouda |
Securing NFC Credit Card Payments Against Malicious Retailers. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Khoumsi, Mohamed Erradi, Meryeme Ayache, Wadie Krombi |
An Approach to Resolve NP-Hard Problems of Firewalls. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller |
Understanding the Memory Consumption of the MiBench Embedded Benchmark. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anass Rachdi, Abdeslam En-Nouaary, Mohamed Dahchour |
Verification of Common Business Rules in BPMN Process Models. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gadi Taubenfeld |
Waiting in Concurrent Algorithms. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Imane Zaimi, Zineb Squalli Houssaini, Abdelali Boushaba, Mohammed Oumsis, Driss Aboutajdine |
Vehicular Ad-Hoc Network: Evaluation of QoS and QoE for Multimedia Application. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgenia Christoforou, Antonio Fernández Anta, Chryssis Georgiou, Miguel A. Mosteiro |
Internet Computing: Using Reputation to Select Workers from a Pool. |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Carole Delporte-Gallet (eds.) |
Networked Systems - 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers |
NETYS |
2016 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license