Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Adri Bhattacharya, Barun Gorain, Partha Sarathi Mandal 0001 |
Pebble Guided Treasure Hunt in Plane. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hicham Bellafkir, Markus Vogelbacher 0001, Daniel Schneider 0011, Markus Mühling, Nikolaus Korfhage, Bernd Freisleben |
Edge-Based Bird Species Recognition via Active Learning. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mouad Bouharoun, Bilal Taghdouti, Mohammed Erradi |
A Peer to Peer Federated Graph Neural Network for Threat Intelligence. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Saswata Jana, Partha Sarathi Mandal 0001 |
Approximation Algorithms for Drone Delivery Scheduling Problem. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Narjisse Nejjari, Karim Zkik, Houda Benbrahim, Mounir Ghogho |
Beyond Locks and Keys: Structural Equation Modeling Based Framework to Explore Security Breaches Through the Lens of Crime Theories. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | David Mohaisen, Thomas Wies (eds.) |
Networked Systems - 11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023, Proceedings |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Adnane Mzibri, Rédouane Benaini, Mouad Ben Mamoun |
Case Study on the Performance of ML-Based Network Intrusion Detection Systems in SDN. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tanvir Kaur, Kaushik Mondal 0001 |
Distance-2-Dispersion: Dispersion with Further Constraints. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko |
Consensus on an Unknown Torus with Dense Byzantine Faults. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea |
Comparing Causal Convergence Consistency Models. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Achraf Nia, Hossam Tarouchi, Mohammed Erradi |
Encrypted Search: Not Enough to Ensure Privacy. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Raed Alharbi, Tre' R. Jeter, My T. Thai |
Detection of Fake News Through Heterogeneous Graph Interactions. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Max von Hippel, Kenneth L. McMillan, Cristina Nita-Rotaru, Lenore D. Zuck |
A Formal Analysis of Karn's Algorithm. |
NETYS |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Imane Chakour, Cherki Daoui, Mohamed Baslam |
Mechanical Energy Minimization UAV-Mounted Base Station Path Plan for Public Safety Communication. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Höchst, Hicham Bellafkir, Patrick Lampe, Markus Vogelbacher 0001, Markus Mühling, Daniel Schneider 0011, Kim Lindner, Sascha Rösner, Dana G. Schabo, Nina Farwig, Bernd Freisleben |
Bird@Edge: Bird Species Recognition at the Edge. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Anshuman Misra, Ajay D. Kshemkalyani |
Solvability of Byzantine Fault-Tolerant Causal Ordering Problems. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Janne Alatalo, Joni Korpihalkola, Tuomo Sipola, Tero Kokkonen |
Chromatic and Spatial Analysis of One-Pixel Attacks Against an Image Classifier. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Lechiakh, Alexandre Maurer |
FEBR: Expert-Based Recommendation Framework for Beneficial and Personalized Content. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Malík, Petr Silling, Tomás Vojnar |
Applying Custom Patterns in Semantic Equality Analysis. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hamid Garmani, Mohamed El Amrani, Driss Ait Omar, Mohamed Ouaskou, Mohamed Baslam |
Analysis of Interactions Among Infrastructure Provider Fronting Content Provider. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Aravind Segu, Wojciech Golab |
Recycling Memory in Recoverable Mutex Locks. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan |
Verifying Reachability for TSO Programs with Dynamic Thread Creation. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | João Paulo Bezerra, Petr Kuznetsov, Alice Koroleva |
Relaxed Reliable Broadcast for Decentralized Trust. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Markus Sommer, Jonas Höchst, Artur Sterz, Alvar Penning, Bernd Freisleben |
ProgDTN: Programmable Disruption-Tolerant Networking. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
A Snapshot-Based Introduction to the Linearizability Hierarchy. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Lhoussaine Daoudi, Mohamed Baslam, Said Safi |
Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive Radio Network. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sinchan Sengupta, Sathya Peri, Parwat Singh Anjana |
A Self-stabilizing Minimum Average Stretch Spanning Tree Construction. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | J. J. Garcia-Luna-Aceves, Dylan Cirimelli-Low |
Making CSMA Collision-Free and Stable Using Collaborative Indexing. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mohammed-Amine Koulali, Mira Mezini (eds.) |
Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Léonard Lys, Maria Potop-Butucaru |
Distributed Blockchain Price Oracle. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Laine E. Rumreich, Paolo A. G. Sivilotti |
An Eventually Perfect Failure Detector on ADD Channels Using Clustering. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Karla Vargas, Gregory V. Chockler |
Distributed Oracle for Estimating Global Network Delay with Known Error Bounds. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Prosperi, Ahmed Bouajjani, Marc Shapiro 0001 |
Varda: A Framework for Compositional Distributed Programming. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Salima Attache, Ikram Remadna, Labib Sadek Terrissa, Ikram Maouche, Noureddine Zerhouni |
IoT Based Prediction of Active and Passive Earth Pressure Coefficients Using Artificial Neural Networks. |
NETYS |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Abegg, Quentin Bramas, Thomas Noël |
Blockchain Using Proof-of-Interaction. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Zahra Bayramzadeh, Ajay D. Kshemkalyani, Anisur Rahaman Molla, Gokarna Sharma |
Weak Amnesiac Flooding of Multiple Messages. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hruska, Lukás Holík |
Towards Efficient Shape Analysis with Tree Automata. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Kokologiannakis, Viktor Vafeiadis |
BAM: Efficient Model Checking for Barriers. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Amaury Bouchra Pilet, Davide Frey, François Taïani |
AUCCCR: Agent Utility Centered Clustering for Cooperation Recommendation. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001, Anissa Lamani |
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chryssis Georgiou, Ioannis Marcoullis, Michel Raynal, Elad Michael Schiller |
Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free Message-Passing Systems. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková |
Deciding S1S: Down the Rabbit Hole and Through the Looking Glass. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Elena Yanakieva, Michael Youssef, Ahmad Hussein Rezae, Annette Bieniusa |
On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Oglio, Kendric Hood, Gokarna Sharma, Mikhail Nesterenko |
Byzantine Geoconsensus. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Imane El Abid, Yahya Benkaouz, Ahmed Khoumsi |
LighTx: A Lightweight Proof-of-Bandwidth Transactions Transfer System. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chryssis Georgiou, Rupak Majumdar (eds.) |
Networked Systems - 8th International Conference, NETYS 2020, Marrakech, Morocco, June 3-5, 2020, Proceedings |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Oberhauser, Lilith Oberhauser, Antonio Paolillo, Diogo Behrens, Ming Fu, Viktor Vafeiadis |
Verifying and Optimizing the HMCS Lock for Arm Servers. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Karima Echihabi, Roland Meyer 0001 (eds.) |
Networked Systems - 9th International Conference, NETYS 2021, Virtual Event, May 19-21, 2021, Proceedings |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas |
Efficient and Secure TSA for the Tangle. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski |
Separating Map Variables in a Logic-Based Intermediate Verification Language. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Carlos López, Sergio Rajsbaum, Michel Raynal, Karla Vargas |
Leader Election in Arbitrarily Connected Networks with Process Crashes and Weak Channel Reliability. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Karlos, Wan J. Fokkink, Per Fuchs |
Fault-Tolerant Termination Detection with Safra's Algorithm. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Peter Chini, Florian Furbach |
Petri Net Invariant Synthesis. |
NETYS |
2021 |
DBLP DOI BibTeX RDF |
|
1 | François Bonnet 0001, Quentin Bramas, Xavier Défago |
Stateless Distributed Ledgers. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Silvia Bonomi, Giovanni Farina, Sébastien Tixeuil |
Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine Faults. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thanh-Hai Tran 0002, Igor Konnov 0001, Josef Widder |
Cutoffs for Symmetric Point-to-Point Distributed Algorithms. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Driss El Alaoui, Jamal Riffi, Badraddine Aghoutane, My Abdelouahed Sabri, Ali Yahyaouy, Hamid Tairi |
Collaborative Filtering: Comparative Study Between Matrix Factorization and Neural Network Method. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Vicent Cholvi, Juan Echagüe, Antonio Fernández Anta, Christopher Thraves Caro |
Stability Under Adversarial Injection of Dependent Tasks (Extended Abstract). |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dave Dice, Alex Kogan |
Fissile Locks. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz R. Kowalski, Miguel A. Mosteiro, Krutika Wadhwa |
Generic Framework for Optimization of Local Dissemination in Wireless Networks. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Burcu Kulahcioglu Ozkan |
Verifying Weakly Consistent Transactional Programs Using Symbolic Execution. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Parwat Singh Anjana, Hagit Attiya, Sweta Kumari, Sathya Peri, Archit Somani |
Efficient Concurrent Execution of Smart Contracts in Blockchains Using Object-Based Transactional Memory. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Maria Potop-Butucaru |
Blockchains and the Commons. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Damaskinos, Rachid Guerraoui, Erwan Le Merrer, Christoph Neumann |
The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Boutheina Bannour, Arnault Lapitre, Pascale Le Gall |
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng |
Verifying Safety of Parameterized Heard-Of Algorithms. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michel Raynal, Gadi Taubenfeld |
Fully Anonymous Consensus and Set Agreement Algorithms. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, Egor Derevenetc, Carl Leonardsson, Roland Meyer 0001 |
On the State Reachability Problem for Concurrent Programs Under Power. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | C. Aiswarya |
On Network Topologies and the Decidability of Reachability Problem. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Meuser, Oluwasegun Taiwo Ojo, Daniel Bischoff 0001, Antonio Fernández Anta, Ioannis Stavrakakis, Ralf Steinmetz |
Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Carole Delporte-Gallet, Hugues Fauconnier, Mouna Safir |
Byzantine k-Set Agreement. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Yackolley Amoussou-Guenou, Souheib Baarir, Maria Potop-Butucaru, Nathalie Sznajder, Léo Tible, Sébastien Tixeuil |
On the Encoding and Solving of Partial Information Games. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Laffranchini, João Miranda, Nuno Machado, Luís Rodrigues 0001, Etienne Rivière, Ramin Sadre |
NetSheriff: Sheltering Software-Defined Networks from Rogue Switches. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hagit Attiya, Panagiota Fatourou, Sandeep Hans, Eleni Kanellou |
Staleness and Local Progress in Transactional Memory. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gewu Bu, Maria Potop-Butucaru, Mikaël Rabie |
Wireless Broadcast with Short Labels. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Sevilla, Antonio Fernández Anta |
Routing in Generalized Geometric Inhomogeneous Random Graphs - (Extended Abstract). |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas, Stéphane Devismes, Pascal Lafourcade 0001 |
Infinite Grid Exploration by Disoriented Robots. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Oskar Lundström, Michel Raynal, Elad Michael Schiller |
Self-stabilizing Uniform Reliable Broadcast. |
NETYS |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chryssis Georgiou, Oskar Lundström, Elad Michael Schiller |
Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ved Prakash Chaudhary, Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri |
Achieving Starvation-Freedom in Multi-version Transactional Memory Systems. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz R. Kowalski, Jaroslaw Mirek |
On the Complexity of Fault-Tolerant Consensus. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Achraf Lyazidi, Salma Mouline |
Formal Verification of UML State Machine Diagrams Using Petri Nets. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson 0001, Tuan Phong Ngo |
Dynamic Partial Order Reduction Under the Release-Acquire Semantics (Tutorial). |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Vidal Attias, Quentin Bramas |
How to Choose Its Parents in the Tangle. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi |
Checking Causal Consistency of Distributed Databases. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Faouzi Atig, Alexander A. Schwarzmann (eds.) |
Networked Systems - 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jabrane Kachaoui, Abdessamad Belangour |
A Multi-criteria Group Decision Making Method for Big Data Storage Selection. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sathya Peri, Muktikanta Sa, Nandini Singhal |
A Pragmatic Non-blocking Concurrent Directed Acyclic Graph. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Antoine Durand, Emmanuelle Anceaume, Romaric Ludinard |
StakeCube: Combining Sharding and Proof-of-Stake to Build Fork-Free Secure Permissionless Distributed Ledgers. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Oana Balmau, Rachid Guerraoui, Anne-Marie Kermarrec, Alexandre Maurer, Matej Pavlovic, Willy Zwaenepoel |
The Fake News Vaccine - A Content-Agnostic System for Preventing Fake News from Becoming Viral. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Carole Delporte-Gallet, Hugues Fauconnier, Yan Jurski, François Laroussinie, Arnaud Sangnier |
Towards Synthesis of Distributed Algorithms with SMT Solvers. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Balabonski, Pierre Courtieu, Robin Pelle, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain |
Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Podelski, François Taïani (eds.) |
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chryssis Georgiou, Robert Gustafsson, Andreas Lindhé, Elad Michael Schiller |
Self-stabilization Overhead: A Case Study on Coded Atomic Storage. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Godard, Damien Imbs, Michel Raynal, Gadi Taubenfeld |
Mutex-Based De-anonymization of an Anonymous Read/Write Memory. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zouhair Chiba, Noreddine Abghour, Khalid Moussaid, Amina El Omri, Mohamed Rida |
An Efficient Network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-adaptive Heuristic Search Algorithm. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Bramas, Toshimitsu Masuzawa, Sébastien Tixeuil |
Distributed Online Data Aggregation in Dynamic Graphs. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Irving, Sui Chen, Lu Peng 0001, Costas Busch, Maurice Herlihy, Christopher J. Michael 0001 |
CUDA-DTM: Distributed Transactional Memory for GPU Clusters. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Prasad Jayanti, Anup Joshi |
Recoverable Mutual Exclusion with Abortability. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni |
Dissecting Tendermint. |
NETYS |
2019 |
DBLP DOI BibTeX RDF |
|