NETYS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 324

2024

Static Data Race Detection via Lazy SequentializationBernd Fischer 0002, Giulio Garbi, Salvatore La Torre, Gennaro Parlato, Peter Schrammel. netys 2024: 124-141 [doi]

Sharding in Permissionless Systems in Presence of an Adaptive AdversaryEmmanuelle Anceaume, Davide Frey, Arthur Rauch. netys 2024: 1-31 [doi]

Concurrent Wait-Free Graph Snapshots Using Multi-versioningGaurav Bhardwaj, Ayaz Ahmed, Sathya Peri. netys 2024: 32-49 [doi]

Networked Systems - 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, ProceedingsArmando Castañeda, Constantin Enea, Nirupam Gupta, editors, Volume 14783 of Lecture Notes in Computer Science, Springer, 2024. [doi]

Agent-Driven BFS Tree in Anonymous Graphs with ApplicationsPrabhat Kumar Chand, Manish Kumar, Anisur Rahaman Molla. netys 2024: 67-82 [doi]

Some New Results With k-Set AgreementCarole Delporte-Gallet, Hugues Fauconnier, Mouna Safir. netys 2024: 83-99 [doi]

Distributed Station Assignment Through LearningLu Dong, Miguel A. Mosteiro, Michelle Wang. netys 2024: 188-203 [doi]

A Domain Specific Language for Testing Distributed Protocol ImplementationsCezara Dragoi, Srinidhi Nagendra, Mandayam Srivas. netys 2024: 100-117 [doi]

Tool Augmented LLMs for Big Data AnalysisMohammed Ali Essabri, Jamal Rebii, Mohammed Erradi. netys 2024: 118-123 [doi]

Challenger: Blockchain-based Massively Multiplayer Online Game ArchitectureBoris Chan Yip Hon, Bilel Zaghdoudi, Maria Potop-Butucaru, Sébastien Tixeuil, Serge Fdida. netys 2024: 50-66 [doi]

Algebraic Computations in Anonymous VANETDariusz R. Kowalski, Miguel A. Mosteiro, Austin Powlette. netys 2024: 142-156 [doi]

Federated Learning for Enhanced Medical Image AnalysisSanaa Lakrouni, Slimane Bah, Marouane Sebgui. netys 2024: 157-170 [doi]

Towards Stronger Blockchains: Security Against Front-Running AttacksAnshuman Misra, Ajay D. Kshemkalyani. netys 2024: 171-187 [doi]

Short Paper: An Efficient Framework for Supporting Nested Transaction in STMsNischay Ranjan, Rohit Kapoor, Sathya Peri. netys 2024: 204-210 [doi]

Enhancing Cost and Latency Efficiency Through Service Placement in Containerized Fog-Cloud Computing EnvironmentsDriss Riane, Widad Ettazi, Ahmed Ettalbi. netys 2024: 211-224 [doi]

Towards Generating a Dataset for Failure Prediction in Microservices ApplicationsIlyass Tarhri, Driss Allaki, Hamza Kamal Idrissi. netys 2024: 225-230 [doi]

Dynamic Resource Allocation for 5G Device-to-Device Communication Based on Expected SARSAShashini Thamarasie Wanniarachchi, Volker Turau. netys 2024: 231-246 [doi]

BeRGeR: Byzantine-Robust Geometric RoutingBrown Zaz, Mikhail Nesterenko, Gokarna Sharma. netys 2024: 247-263 [doi]

2023

Detection of Fake News Through Heterogeneous Graph InteractionsRaed Alharbi, Tre' R. Jeter, My T. Thai. netys 2023: 3-16 [doi]

Comparing Causal Convergence Consistency ModelsSidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea. netys 2023: 62-77 [doi]

Edge-Based Bird Species Recognition via Active LearningHicham Bellafkir, Markus Vogelbacher, Daniel Schneider 0011, Markus Mühling, Nikolaus Korfhage, Bernd Freisleben. netys 2023: 17-34 [doi]

Pebble Guided Treasure Hunt in PlaneAdri Bhattacharya, Barun Gorain, Partha Sarathi Mandal 0001. netys 2023: 141-156 [doi]

A Peer to Peer Federated Graph Neural Network for Threat IntelligenceMouad Bouharoun, Bilal Taghdouti, Mohammed Erradi. netys 2023: 35-40 [doi]

Approximation Algorithms for Drone Delivery Scheduling ProblemSaswata Jana, Partha Sarathi Mandal 0001. netys 2023: 125-140 [doi]

Distance-2-Dispersion: Dispersion with Further ConstraintsTanvir Kaur, Kaushik Mondal 0001. netys 2023: 157-173 [doi]

Networked Systems - 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, ProceedingsDavid Mohaisen, Thomas Wies, editors, Volume 14067 of Lecture Notes in Computer Science, Springer, 2023. [doi]

Case Study on the Performance of ML-Based Network Intrusion Detection Systems in SDNAdnane Mzibri, Rédouane Benaini, Mouad Ben Mamoun. netys 2023: 90-95 [doi]

Beyond Locks and Keys: Structural Equation Modeling Based Framework to Explore Security Breaches Through the Lens of Crime TheoriesNarjisse Nejjari, Karim Zkik, Houda Benbrahim, Mounir Ghogho. netys 2023: 96-101 [doi]

Encrypted Search: Not Enough to Ensure PrivacyAchraf Nia, Hossam Tarouchi, Mohammed Erradi. netys 2023: 81-89 [doi]

Consensus on an Unknown Torus with Dense Byzantine FaultsJoseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko. netys 2023: 105-121 [doi]

A Formal Analysis of Karn's AlgorithmMax von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck. netys 2023: 43-61 [doi]

2022

Verifying Reachability for TSO Programs with Dynamic Thread CreationParosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan. netys 2022: 283-300 [doi]

Chromatic and Spatial Analysis of One-Pixel Attacks Against an Image ClassifierJanne Alatalo, Joni Korpihalkola, Tuomo Sipola, Tero Kokkonen. netys 2022: 303-316 [doi]

IoT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural NetworksSalima Attache, Ikram Remadna, Labib Sadek Terrissa, Ikram Maouche, Noureddine Zerhouni. netys 2022: 252-262 [doi]

Relaxed Reliable Broadcast for Decentralized TrustJoão Paulo Bezerra, Petr Kuznetsov, Alice Koroleva. netys 2022: 104-118 [doi]

A Snapshot-Based Introduction to the Linearizability HierarchyArmando Castañeda, Sergio Rajsbaum, Michel Raynal. netys 2022: 3-15 [doi]

Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety CommunicationImane Chakour, Cherki Daoui, Mohamed Baslam. netys 2022: 222-235 [doi]

Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio NetworkLhoussaine Daoudi, Mohamed Baslam, Said Safi. netys 2022: 236-251 [doi]

Making CSMA Collision-Free and Stable Using Collaborative IndexingJ. J. Garcia-Luna-Aceves, Dylan Cirimelli-Low. netys 2022: 167-183 [doi]

Analysis of Interactions Among Infrastructure Provider Fronting Content ProviderHamid Garmani, Mohamed El Amrani, Driss Ait Omar, Mohamed Ouaskou, Mohamed Baslam. netys 2022: 136-146 [doi]

Bird@Edge: Bird Species Recognition at the EdgeJonas Höchst, Hicham Bellafkir, Patrick Lampe, Markus Vogelbacher, Markus Mühling, Daniel Schneider, Kim Lindner, Sascha Rösner, Dana G. Schabo, Nina Farwig, Bernd Freisleben. netys 2022: 69-86 [doi]

Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, ProceedingsMohammed-Amine Koulali, Mira Mezini, editors, Volume 13464 of Lecture Notes in Computer Science, Springer, 2022. [doi]

FEBR: Expert-Based Recommendation Framework for Beneficial and Personalized ContentMohamed Lechiakh, Alexandre Maurer. netys 2022: 52-68 [doi]

Distributed Blockchain Price OracleLéonard Lys, Maria Potop-Butucaru. netys 2022: 37-51 [doi]

Applying Custom Patterns in Semantic Equality AnalysisViktor Malík, Petr Silling, Tomás Vojnar. netys 2022: 265-282 [doi]

Solvability of Byzantine Fault-Tolerant Causal Ordering ProblemsAnshuman Misra, Ajay D. Kshemkalyani. netys 2022: 87-103 [doi]

Varda: A Framework for Compositional Distributed ProgrammingLaurent Prosperi, Ahmed Bouajjani, Marc Shapiro 0001. netys 2022: 16-30 [doi]

An Eventually Perfect Failure Detector on ADD Channels Using ClusteringLaine E. Rumreich, Paolo A. G. Sivilotti. netys 2022: 149-166 [doi]

Recycling Memory in Recoverable Mutex LocksAravind Segu, Wojciech Golab. netys 2022: 31-36 [doi]

A Self-stabilizing Minimum Average Stretch Spanning Tree ConstructionSinchan Sengupta, Sathya Peri, Parwat Singh Anjana. netys 2022: 119-135 [doi]

ProgDTN: Programmable Disruption-Tolerant NetworkingMarkus Sommer, Jonas Höchst, Artur Sterz, Alvar Penning, Bernd Freisleben. netys 2022: 184-200 [doi]

Distributed Oracle for Estimating Global Network Delay with Known Error BoundsKarla Vargas, Gregory Chockler. netys 2022: 201-221 [doi]

2021

Blockchain Using Proof-of-InteractionJean-Philippe Abegg, Quentin Bramas, Thomas Noël. netys 2021: 129-143 [doi]

LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer SystemImane El Abid, Yahya Benkaouz, Ahmed Khoumsi. netys 2021: 144-160 [doi]

Weak Amnesiac Flooding of Multiple MessagesZahra Bayramzadeh, Ajay D. Kshemkalyani, Anisur Rahaman Molla, Gokarna Sharma. netys 2021: 88-94 [doi]

Efficient and Secure TSA for the TangleQuentin Bramas. netys 2021: 161-166 [doi]

Petri Net Invariant SynthesisPeter Chini, Florian Furbach. netys 2021: 187-205 [doi]

Separating Map Variables in a Logic-Based Intermediate Verification LanguageDaniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski. netys 2021: 169-186 [doi]

Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, ProceedingsKarima Echihabi, Roland Meyer 0001, editors, Volume 12754 of Lecture Notes in Computer Science, Springer, 2021. [doi]

Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, ProceedingsChryssis Georgiou, Rupak Majumdar, editors, Volume 12129 of Lecture Notes in Computer Science, Springer, 2021. [doi]

Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing SystemsChryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller. netys 2021: 36-53 [doi]

Deciding S1S: Down the Rabbit Hole and Through the Looking GlassVojtech Havlena, Ondrej Lengál, Barbora Smahlíková. netys 2021: 215-222 [doi]

Towards Efficient Shape Analysis with Tree AutomataMartin Hruska, Lukás Holík. netys 2021: 206-214 [doi]

Fault-Tolerant Termination Detection with Safra's AlgorithmGeorgios Karlos, Wan J. Fokkink, Per Fuchs. netys 2021: 71-87 [doi]

BAM: Efficient Model Checking for BarriersMichalis Kokologiannakis, Viktor Vafeiadis. netys 2021: 223-239 [doi]

Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel ReliabilityCarlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas. netys 2021: 54-70 [doi]

Verifying and Optimizing the HMCS Lock for Arm ServersJonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis. netys 2021: 240-260 [doi]

Byzantine GeoconsensusJoseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko. netys 2021: 19-35 [doi]

AUCCCR: Agent Utility Centered Clustering for Cooperation RecommendationAmaury Bouchra Pilet, Davide Frey, François Taïani. netys 2021: 111-125 [doi]

Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common ChiralityArthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001, Anissa Lamani. netys 2021: 95-110 [doi]

On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File SystemsElena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa. netys 2021: 3-18 [doi]

2020

Stateless Distributed LedgersFrançois Bonnet 0001, Quentin Bramas, Xavier Défago. netys 2021: 349-354 [doi]

On the State Reachability Problem for Concurrent Programs Under PowerParosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer 0001. netys 2021: 47-59 [doi]

On Network Topologies and the Decidability of Reachability ProblemC. Aiswarya. netys 2021: 3-10 [doi]

Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network MethodDriss El Alaoui, Jamal Riffi, Badraddine Aghoutane, Abdelouahed Sabri, Ali Yahyaouy, Hamid Tairi. netys 2021: 361-367 [doi]

On the Encoding and Solving of Partial Information GamesYackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil. netys 2021: 60-76 [doi]

Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional MemoryParwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri, Archit Somani. netys 2021: 77-93 [doi]

Staleness and Local Progress in Transactional MemoryHagit Attiya, Panagiota Fatourou, Sandeep Hans, Eleni Kanellou. netys 2021: 227-243 [doi]

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic ExecutionBoutheina Bannour, Arnault Lapitre, Pascale Le Gall. netys 2021: 94-111 [doi]

Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine FaultsSilvia Bonomi, Giovanni Farina, Sébastien Tixeuil. netys 2021: 112-128 [doi]

Infinite Grid Exploration by Disoriented RobotsQuentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001. netys 2021: 129-145 [doi]

Wireless Broadcast with Short LabelsGewu Bu, Maria Potop-Butucaru, Mikaël Rabie. netys 2021: 146-169 [doi]

Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract)Vicent Cholvi, Juan Echagüe, Antonio Fernández Anta, Christopher Thraves Caro. netys 2021: 355-360 [doi]

The Imitation Game: Algorithm Selection by Exploiting Black-Box RecommendersGeorgios Damaskinos, Rachid Guerraoui, Erwan Le Merrer, Christoph Neumann. netys 2021: 170-182 [doi]

Byzantine k-Set AgreementCarole Delporte-Gallet, Hugues Fauconnier, Mouna Safir. netys 2021: 183-191 [doi]

Fissile LocksDave Dice, Alex Kogan. netys 2021: 192-208 [doi]

Verifying Safety of Parameterized Heard-Of AlgorithmsZeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng. netys 2021: 209-226 [doi]

Generic Framework for Optimization of Local Dissemination in Wireless NetworksDariusz R. Kowalski, Miguel A. Mosteiro, Krutika Wadhwa. netys 2021: 244-260 [doi]

NetSheriff: Sheltering Software-Defined Networks from Rogue SwitchesPaolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues, Etienne Rivière, Ramin Sadre. netys 2021: 279-295 [doi]

Self-stabilizing Uniform Reliable BroadcastOskar Lundström, Michel Raynal, Elad Michael Schiller. netys 2021: 296-313 [doi]

Hide Me: Enabling Location Privacy in Heterogeneous Vehicular NetworksTobias Meuser, Oluwasegun Taiwo Ojo, Daniel Bischoff 0001, Antonio Fernández Anta, Ioannis Stavrakakis, Ralf Steinmetz. netys 2021: 11-27 [doi]

Verifying Weakly Consistent Transactional Programs Using Symbolic ExecutionBurcu Kulahcioglu Ozkan. netys 2021: 261-278 [doi]

Blockchains and the CommonsMaria Potop-Butucaru. netys 2021: 28-44 [doi]

Fully Anonymous Consensus and Set Agreement AlgorithmsMichel Raynal, Gadi Taubenfeld. netys 2021: 314-328 [doi]

Routing in Generalized Geometric Inhomogeneous Random Graphs - (Extended Abstract)Andrés Sevilla, Antonio Fernández Anta. netys 2021: 368-373 [doi]

Cutoffs for Symmetric Point-to-Point Distributed AlgorithmsThanh-Hai Tran, Igor Konnov 0001, Josef Widder. netys 2021: 329-346 [doi]

2019

Sign in or sign up to see more results.

runs on WebDSL