Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/netys:"
download as .bib file
@inproceedings{DBLP:conf/netys/AlharbiJT23,
author = {Raed Alharbi and
Tre' R. Jeter and
My T. Thai},
editor = {David Mohaisen and
Thomas Wies},
title = {Detection of Fake News Through Heterogeneous Graph Interactions},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {3--16},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_1},
doi = {10.1007/978-3-031-37765-5\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AlharbiJT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BeillahiBE23,
author = {Sidi Mohamed Beillahi and
Ahmed Bouajjani and
Constantin Enea},
editor = {David Mohaisen and
Thomas Wies},
title = {Comparing Causal Convergence Consistency Models},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {62--77},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_5},
doi = {10.1007/978-3-031-37765-5\_5},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BeillahiBE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BellafkirVSMKF23,
author = {Hicham Bellafkir and
Markus Vogelbacher and
Daniel Schneider and
Markus M{\"{u}}hling and
Nikolaus Korfhage and
Bernd Freisleben},
editor = {David Mohaisen and
Thomas Wies},
title = {Edge-Based Bird Species Recognition via Active Learning},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {17--34},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_2},
doi = {10.1007/978-3-031-37765-5\_2},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BellafkirVSMKF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BhattacharyaGM23,
author = {Adri Bhattacharya and
Barun Gorain and
Partha Sarathi Mandal},
editor = {David Mohaisen and
Thomas Wies},
title = {Pebble Guided Treasure Hunt in Plane},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {141--156},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_11},
doi = {10.1007/978-3-031-37765-5\_11},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BhattacharyaGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BouharounTE23,
author = {Mouad Bouharoun and
Bilal Taghdouti and
Mohammed Erradi},
editor = {David Mohaisen and
Thomas Wies},
title = {A Peer to Peer Federated Graph Neural Network for Threat Intelligence},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {35--40},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_3},
doi = {10.1007/978-3-031-37765-5\_3},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BouharounTE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HippelMNZ23,
author = {Max von Hippel and
Kenneth L. McMillan and
Cristina Nita{-}Rotaru and
Lenore D. Zuck},
editor = {David Mohaisen and
Thomas Wies},
title = {A Formal Analysis of Karn's Algorithm},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {43--61},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_4},
doi = {10.1007/978-3-031-37765-5\_4},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HippelMNZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/JanaM23,
author = {Saswata Jana and
Partha Sarathi Mandal},
editor = {David Mohaisen and
Thomas Wies},
title = {Approximation Algorithms for Drone Delivery Scheduling Problem},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {125--140},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_10},
doi = {10.1007/978-3-031-37765-5\_10},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/JanaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KaurM23,
author = {Tanvir Kaur and
Kaushik Mondal},
editor = {David Mohaisen and
Thomas Wies},
title = {Distance-2-Dispersion: Dispersion with Further Constraints},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {157--173},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_12},
doi = {10.1007/978-3-031-37765-5\_12},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KaurM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MzibriBM23,
author = {Adnane Mzibri and
R{\'{e}}douane Benaini and
Mouad Ben Mamoun},
editor = {David Mohaisen and
Thomas Wies},
title = {Case Study on the Performance of ML-Based Network Intrusion Detection
Systems in {SDN}},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {90--95},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_7},
doi = {10.1007/978-3-031-37765-5\_7},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MzibriBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/NejjariZBG23,
author = {Narjisse Nejjari and
Karim Zkik and
Houda Benbrahim and
Mounir Ghogho},
editor = {David Mohaisen and
Thomas Wies},
title = {Beyond Locks and Keys: Structural Equation Modeling Based Framework
to Explore Security Breaches Through the Lens of Crime Theories},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {96--101},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_8},
doi = {10.1007/978-3-031-37765-5\_8},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/NejjariZBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/NiaTE23,
author = {Achraf Nia and
Hossam Tarouchi and
Mohammed Erradi},
editor = {David Mohaisen and
Thomas Wies},
title = {Encrypted Search: Not Enough to Ensure Privacy},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {81--89},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_6},
doi = {10.1007/978-3-031-37765-5\_6},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/NiaTE23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OglioHSN23,
author = {Joseph Oglio and
Kendric Hood and
Gokarna Sharma and
Mikhail Nesterenko},
editor = {David Mohaisen and
Thomas Wies},
title = {Consensus on an Unknown Torus with Dense Byzantine Faults},
booktitle = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
pages = {105--121},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5\_9},
doi = {10.1007/978-3-031-37765-5\_9},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OglioHSN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2023,
editor = {David Mohaisen and
Thomas Wies},
title = {Networked Systems - 11th International Conference, {NETYS} 2023, Benguerir,
Morocco, May 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14067},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-37765-5},
doi = {10.1007/978-3-031-37765-5},
isbn = {978-3-031-37764-8},
timestamp = {Thu, 13 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaABKS22,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Ahmed Bouajjani and
K. Narayan Kumar and
Prakash Saivasan},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Verifying Reachability for {TSO} Programs with Dynamic Thread Creation},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {283--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_19},
doi = {10.1007/978-3-031-17436-0\_19},
timestamp = {Tue, 04 Oct 2022 18:09:10 +0200},
biburl = {https://dblp.org/rec/conf/netys/AbdullaABKS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AlataloKSK22,
author = {Janne Alatalo and
Joni Korpihalkola and
Tuomo Sipola and
Tero Kokkonen},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Chromatic and Spatial Analysis of One-Pixel Attacks Against an Image
Classifier},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {303--316},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_20},
doi = {10.1007/978-3-031-17436-0\_20},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AlataloKSK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AttacheRTMZ22,
author = {Salima Attache and
Ikram Remadna and
Labib Sadek Terrissa and
Ikram Maouche and
Noureddine Zerhouni},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {IoT Based Prediction of Active and Passive Earth Pressure Coefficients
Using Artificial Neural Networks},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {252--262},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_17},
doi = {10.1007/978-3-031-17436-0\_17},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AttacheRTMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BezerraKK22,
author = {Jo{\~{a}}o Paulo Bezerra and
Petr Kuznetsov and
Alice Koroleva},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Relaxed Reliable Broadcast for Decentralized Trust},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {104--118},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_8},
doi = {10.1007/978-3-031-17436-0\_8},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BezerraKK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaRR22,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {A Snapshot-Based Introduction to the Linearizability Hierarchy},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {3--15},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_1},
doi = {10.1007/978-3-031-17436-0\_1},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/CastanedaRR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChakourDB22,
author = {Imane Chakour and
Cherki Daoui and
Mohamed Baslam},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Mechanical Energy Minimization UAV-Mounted Base Station Path Plan
for Public Safety Communication},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {222--235},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_15},
doi = {10.1007/978-3-031-17436-0\_15},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChakourDB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DaoudiBS22,
author = {Lhoussaine Daoudi and
Mohamed Baslam and
Said Safi},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Dynamics Analysis for a Duopoly Game with Bounded Rationality in Cognitive
Radio Network},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {236--251},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_16},
doi = {10.1007/978-3-031-17436-0\_16},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DaoudiBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Garcia-Luna-Aceves22,
author = {J. J. Garcia{-}Luna{-}Aceves and
Dylan Cirimelli{-}Low},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Making {CSMA} Collision-Free and Stable Using Collaborative Indexing},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {167--183},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_12},
doi = {10.1007/978-3-031-17436-0\_12},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Garcia-Luna-Aceves22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GarmaniAOOB22,
author = {Hamid Garmani and
Mohamed El Amrani and
Driss {Ait Omar} and
Mohamed Ouaskou and
Mohamed Baslam},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Analysis of Interactions Among Infrastructure Provider Fronting Content
Provider},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {136--146},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_10},
doi = {10.1007/978-3-031-17436-0\_10},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/GarmaniAOOB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HochstBLVMSLRSF22,
author = {Jonas H{\"{o}}chst and
Hicham Bellafkir and
Patrick Lampe and
Markus Vogelbacher and
Markus M{\"{u}}hling and
Daniel Schneider and
Kim Lindner and
Sascha R{\"{o}}sner and
Dana G. Schabo and
Nina Farwig and
Bernd Freisleben},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Bird@Edge: Bird Species Recognition at the Edge},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {69--86},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_6},
doi = {10.1007/978-3-031-17436-0\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/HochstBLVMSLRSF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LechiakhM22,
author = {Mohamed Lechiakh and
Alexandre Maurer},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {{FEBR:} Expert-Based Recommendation Framework for Beneficial and Personalized
Content},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {52--68},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_5},
doi = {10.1007/978-3-031-17436-0\_5},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LechiakhM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LysP22,
author = {L{\'{e}}onard Lys and
Maria Potop{-}Butucaru},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Distributed Blockchain Price Oracle},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {37--51},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_4},
doi = {10.1007/978-3-031-17436-0\_4},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/LysP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MalikSV22,
author = {Viktor Mal{\'{\i}}k and
Petr Silling and
Tom{\'{a}}s Vojnar},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Applying Custom Patterns in Semantic Equality Analysis},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {265--282},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_18},
doi = {10.1007/978-3-031-17436-0\_18},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/MalikSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MisraK22,
author = {Anshuman Misra and
Ajay D. Kshemkalyani},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Solvability of Byzantine Fault-Tolerant Causal Ordering Problems},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {87--103},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_7},
doi = {10.1007/978-3-031-17436-0\_7},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MisraK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ProsperiBS22,
author = {Laurent Prosperi and
Ahmed Bouajjani and
Marc Shapiro},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Varda: {A} Framework for Compositional Distributed Programming},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {16--30},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_2},
doi = {10.1007/978-3-031-17436-0\_2},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ProsperiBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RumreichS22,
author = {Laine E. Rumreich and
Paolo A. G. Sivilotti},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {An Eventually Perfect Failure Detector on {ADD} Channels Using Clustering},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {149--166},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_11},
doi = {10.1007/978-3-031-17436-0\_11},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/RumreichS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SeguG22,
author = {Aravind Segu and
Wojciech Golab},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Recycling Memory in Recoverable Mutex Locks},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {31--36},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_3},
doi = {10.1007/978-3-031-17436-0\_3},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SeguG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SenguptaPA22,
author = {Sinchan Sengupta and
Sathya Peri and
Parwat Singh Anjana},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {A Self-stabilizing Minimum Average Stretch Spanning Tree Construction},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {119--135},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_9},
doi = {10.1007/978-3-031-17436-0\_9},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SenguptaPA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SommerHSPF22,
author = {Markus Sommer and
Jonas H{\"{o}}chst and
Artur Sterz and
Alvar Penning and
Bernd Freisleben},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {ProgDTN: Programmable Disruption-Tolerant Networking},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {184--200},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_13},
doi = {10.1007/978-3-031-17436-0\_13},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SommerHSPF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/VargasC22,
author = {Karla Vargas and
Gregory V. Chockler},
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Distributed Oracle for Estimating Global Network Delay with Known
Error Bounds},
booktitle = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
pages = {201--221},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0\_14},
doi = {10.1007/978-3-031-17436-0\_14},
timestamp = {Mon, 07 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/VargasC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2022,
editor = {Mohammed{-}Amine Koulali and
Mira Mezini},
title = {Networked Systems - 10th International Conference, {NETYS} 2022, Virtual
Event, May 17-19, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13464},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17436-0},
doi = {10.1007/978-3-031-17436-0},
isbn = {978-3-031-17435-3},
timestamp = {Tue, 04 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbeggBN21,
author = {Jean{-}Philippe Abegg and
Quentin Bramas and
Thomas No{\"{e}}l},
editor = {Karima Echihabi and
Roland Meyer},
title = {Blockchain Using Proof-of-Interaction},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {129--143},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_9},
doi = {10.1007/978-3-030-91014-3\_9},
timestamp = {Fri, 03 Dec 2021 17:36:17 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbeggBN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbidBK21,
author = {Imane El Abid and
Yahya Benkaouz and
Ahmed Khoumsi},
editor = {Karima Echihabi and
Roland Meyer},
title = {LighTx: {A} Lightweight Proof-of-Bandwidth Transactions Transfer System},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {144--160},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_10},
doi = {10.1007/978-3-030-91014-3\_10},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbidBK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BayramzadehKMS21,
author = {Zahra Bayramzadeh and
Ajay D. Kshemkalyani and
Anisur Rahaman Molla and
Gokarna Sharma},
editor = {Karima Echihabi and
Roland Meyer},
title = {Weak Amnesiac Flooding of Multiple Messages},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {88--94},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_6},
doi = {10.1007/978-3-030-91014-3\_6},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BayramzadehKMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Bramas21,
author = {Quentin Bramas},
editor = {Karima Echihabi and
Roland Meyer},
title = {Efficient and Secure {TSA} for the Tangle},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {161--166},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_11},
doi = {10.1007/978-3-030-91014-3\_11},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Bramas21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChiniF21,
author = {Peter Chini and
Florian Furbach},
editor = {Karima Echihabi and
Roland Meyer},
title = {Petri Net Invariant Synthesis},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {187--205},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_13},
doi = {10.1007/978-3-030-91014-3\_13},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ChiniF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DietschHHNP21,
author = {Daniel Dietsch and
Matthias Heizmann and
Jochen Hoenicke and
Alexander Nutz and
Andreas Podelski},
editor = {Karima Echihabi and
Roland Meyer},
title = {Separating Map Variables in a Logic-Based Intermediate Verification
Language},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {169--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_12},
doi = {10.1007/978-3-030-91014-3\_12},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DietschHHNP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GeorgiouMRS21,
author = {Chryssis Georgiou and
Ioannis Marcoullis and
Michel Raynal and
Elad Michael Schiller},
editor = {Karima Echihabi and
Roland Meyer},
title = {Loosely-self-stabilizing Byzantine-Tolerant Binary Consensus for Signature-Free
Message-Passing Systems},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {36--53},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_3},
doi = {10.1007/978-3-030-91014-3\_3},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/GeorgiouMRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HavlenaLS21,
author = {Vojtech Havlena and
Ondrej Leng{\'{a}}l and
Barbora Smahl{\'{\i}}kov{\'{a}}},
editor = {Karima Echihabi and
Roland Meyer},
title = {Deciding {S1S:} Down the Rabbit Hole and Through the Looking Glass},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {215--222},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_15},
doi = {10.1007/978-3-030-91014-3\_15},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/HavlenaLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HruskaH21,
author = {Martin Hruska and
Luk{\'{a}}s Hol{\'{\i}}k},
editor = {Karima Echihabi and
Roland Meyer},
title = {Towards Efficient Shape Analysis with Tree Automata},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {206--214},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_14},
doi = {10.1007/978-3-030-91014-3\_14},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/HruskaH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KarlosFF21,
author = {Georgios Karlos and
Wan J. Fokkink and
Per Fuchs},
editor = {Karima Echihabi and
Roland Meyer},
title = {Fault-Tolerant Termination Detection with Safra's Algorithm},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {71--87},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_5},
doi = {10.1007/978-3-030-91014-3\_5},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KarlosFF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Kokologiannakis21,
author = {Michalis Kokologiannakis and
Viktor Vafeiadis},
editor = {Karima Echihabi and
Roland Meyer},
title = {{BAM:} Efficient Model Checking for Barriers},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {223--239},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_16},
doi = {10.1007/978-3-030-91014-3\_16},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Kokologiannakis21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LopezRRV21,
author = {Carlos L{\'{o}}pez and
Sergio Rajsbaum and
Michel Raynal and
Karla Vargas},
editor = {Karima Echihabi and
Roland Meyer},
title = {Leader Election in Arbitrarily Connected Networks with Process Crashes
and Weak Channel Reliability},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {54--70},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_4},
doi = {10.1007/978-3-030-91014-3\_4},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/LopezRRV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OberhauserOPBFV21,
author = {Jonas Oberhauser and
Lilith Oberhauser and
Antonio Paolillo and
Diogo Behrens and
Ming Fu and
Viktor Vafeiadis},
editor = {Karima Echihabi and
Roland Meyer},
title = {Verifying and Optimizing the {HMCS} Lock for Arm Servers},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {240--260},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_17},
doi = {10.1007/978-3-030-91014-3\_17},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OberhauserOPBFV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OglioHSN21,
author = {Joseph Oglio and
Kendric Hood and
Gokarna Sharma and
Mikhail Nesterenko},
editor = {Karima Echihabi and
Roland Meyer},
title = {Byzantine Geoconsensus},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {19--35},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_2},
doi = {10.1007/978-3-030-91014-3\_2},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/OglioHSN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PiletFT21,
author = {Amaury Bouchra Pilet and
Davide Frey and
Fran{\c{c}}ois Ta{\"{\i}}ani},
editor = {Karima Echihabi and
Roland Meyer},
title = {{AUCCCR:} Agent Utility Centered Clustering for Cooperation Recommendation},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {111--125},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_8},
doi = {10.1007/978-3-030-91014-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/PiletFT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RauchBDLL21,
author = {Arthur Rauch and
Quentin Bramas and
St{\'{e}}phane Devismes and
Pascal Lafourcade and
Anissa Lamani},
editor = {Karima Echihabi and
Roland Meyer},
title = {Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots
Without Common Chirality},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {95--110},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_7},
doi = {10.1007/978-3-030-91014-3\_7},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/RauchBDLL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/YanakievaYRB21,
author = {Elena Yanakieva and
Michael Youssef and
Ahmad Hussein Rezae and
Annette Bieniusa},
editor = {Karima Echihabi and
Roland Meyer},
title = {On the Impossibility of Confidentiality, Integrity and Accessibility
in Highly-Available File Systems},
booktitle = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
pages = {3--18},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3\_1},
doi = {10.1007/978-3-030-91014-3\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/YanakievaYRB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2020,
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67087-0},
doi = {10.1007/978-3-030-67087-0},
isbn = {978-3-030-67086-3},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2021,
editor = {Karima Echihabi and
Roland Meyer},
title = {Networked Systems - 9th International Conference, {NETYS} 2021, Virtual
Event, May 19-21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12754},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91014-3},
doi = {10.1007/978-3-030-91014-3},
isbn = {978-3-030-91013-6},
timestamp = {Fri, 03 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaABDLM20,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Ahmed Bouajjani and
Egor Derevenetc and
Carl Leonardsson and
Roland Meyer},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {On the State Reachability Problem for Concurrent Programs Under Power},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {47--59},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_4},
doi = {10.1007/978-3-030-67087-0\_4},
timestamp = {Fri, 15 Jan 2021 14:54:16 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbdullaABDLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Aiswarya20,
author = {C. Aiswarya},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {On Network Topologies and the Decidability of Reachability Problem},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {3--10},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_1},
doi = {10.1007/978-3-030-67087-0\_1},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Aiswarya20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AlaouiRASYT20,
author = {Driss El Alaoui and
Jamal Riffi and
Badraddine Aghoutane and
My Abdelouahed Sabri and
Ali Yahyaouy and
Hamid Tairi},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Collaborative Filtering: Comparative Study Between Matrix Factorization
and Neural Network Method},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {361--367},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_24},
doi = {10.1007/978-3-030-67087-0\_24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AlaouiRASYT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Amoussou-Guenou20,
author = {Yackolley Amoussou{-}Guenou and
Souheib Baarir and
Maria Potop{-}Butucaru and
Nathalie Sznajder and
L{\'{e}}o Tible and
S{\'{e}}bastien Tixeuil},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {On the Encoding and Solving of Partial Information Games},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {60--76},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_5},
doi = {10.1007/978-3-030-67087-0\_5},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Amoussou-Guenou20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AnjanaAKPS20,
author = {Parwat Singh Anjana and
Hagit Attiya and
Sweta Kumari and
Sathya Peri and
Archit Somani},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Efficient Concurrent Execution of Smart Contracts in Blockchains Using
Object-Based Transactional Memory},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {77--93},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_6},
doi = {10.1007/978-3-030-67087-0\_6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AnjanaAKPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AttiyaFHK20,
author = {Hagit Attiya and
Panagiota Fatourou and
Sandeep Hans and
Eleni Kanellou},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Staleness and Local Progress in Transactional Memory},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {227--243},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_15},
doi = {10.1007/978-3-030-67087-0\_15},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/AttiyaFHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BannourLG20,
author = {Boutheina Bannour and
Arnault Lapitre and
Pascale Le Gall},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking
and Symbolic Execution},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {94--111},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_7},
doi = {10.1007/978-3-030-67087-0\_7},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BannourLG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BonnetBD20,
author = {Fran{\c{c}}ois Bonnet and
Quentin Bramas and
Xavier D{\'{e}}fago},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Stateless Distributed Ledgers},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {349--354},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_22},
doi = {10.1007/978-3-030-67087-0\_22},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BonnetBD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BonomiFT20,
author = {Silvia Bonomi and
Giovanni Farina and
S{\'{e}}bastien Tixeuil},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Broadcasting Information in Multi-hop Networks Prone to Mobile Byzantine
Faults},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {112--128},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_8},
doi = {10.1007/978-3-030-67087-0\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BonomiFT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BramasDL20,
author = {Quentin Bramas and
St{\'{e}}phane Devismes and
Pascal Lafourcade},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Infinite Grid Exploration by Disoriented Robots},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {129--145},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_9},
doi = {10.1007/978-3-030-67087-0\_9},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BramasDL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BuPR20,
author = {Gewu Bu and
Maria Potop{-}Butucaru and
Mika{\"{e}}l Rabie},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Wireless Broadcast with Short Labels},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {146--169},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_10},
doi = {10.1007/978-3-030-67087-0\_10},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BuPR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CholviEAC20,
author = {Vicent Cholvi and
Juan Echag{\"{u}}e and
Antonio Fern{\'{a}}ndez Anta and
Christopher Thraves Caro},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Stability Under Adversarial Injection of Dependent Tasks (Extended
Abstract)},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {355--360},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_23},
doi = {10.1007/978-3-030-67087-0\_23},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/CholviEAC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DamaskinosGMN20,
author = {Georgios Damaskinos and
Rachid Guerraoui and
Erwan Le Merrer and
Christoph Neumann},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {170--182},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_11},
doi = {10.1007/978-3-030-67087-0\_11},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DamaskinosGMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Delporte-Gallet20,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Mouna Safir},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Byzantine k-Set Agreement},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {183--191},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_12},
doi = {10.1007/978-3-030-67087-0\_12},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Delporte-Gallet20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DiceK20,
author = {Dave Dice and
Alex Kogan},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Fissile Locks},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {192--208},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_13},
doi = {10.1007/978-3-030-67087-0\_13},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DiceK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GanjeiREP20,
author = {Zeinab Ganjei and
Ahmed Rezine and
Petru Eles and
Zebo Peng},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Verifying Safety of Parameterized Heard-Of Algorithms},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {209--226},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_14},
doi = {10.1007/978-3-030-67087-0\_14},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/GanjeiREP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KowalskiMW20,
author = {Dariusz R. Kowalski and
Miguel A. Mosteiro and
Krutika Wadhwa},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Generic Framework for Optimization of Local Dissemination in Wireless
Networks},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {244--260},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_16},
doi = {10.1007/978-3-030-67087-0\_16},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/KowalskiMW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LaffranchiniMMR20,
author = {Paolo Laffranchini and
Jo{\~{a}}o Miranda and
Nuno Machado and
Lu{\'{\i}}s Rodrigues and
Etienne Rivi{\`{e}}re and
Ramin Sadre},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {NetSheriff: Sheltering Software-Defined Networks from Rogue Switches},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {279--295},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_18},
doi = {10.1007/978-3-030-67087-0\_18},
timestamp = {Fri, 15 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LaffranchiniMMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LundstromRS20,
author = {Oskar Lundstr{\"{o}}m and
Michel Raynal and
Elad Michael Schiller},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Self-stabilizing Uniform Reliable Broadcast},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {296--313},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_19},
doi = {10.1007/978-3-030-67087-0\_19},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/LundstromRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MeuserOBASS20,
author = {Tobias Meuser and
Oluwasegun Taiwo Ojo and
Daniel Bischoff and
Antonio Fern{\'{a}}ndez Anta and
Ioannis Stavrakakis and
Ralf Steinmetz},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Hide Me: Enabling Location Privacy in Heterogeneous Vehicular Networks},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {11--27},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_2},
doi = {10.1007/978-3-030-67087-0\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MeuserOBASS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Ozkan20,
author = {Burcu Kulahcioglu Ozkan},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Verifying Weakly Consistent Transactional Programs Using Symbolic
Execution},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {261--278},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_17},
doi = {10.1007/978-3-030-67087-0\_17},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Ozkan20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Potop-Butucaru20,
author = {Maria Potop{-}Butucaru},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Blockchains and the Commons},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {28--44},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_3},
doi = {10.1007/978-3-030-67087-0\_3},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Potop-Butucaru20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RaynalT20,
author = {Michel Raynal and
Gadi Taubenfeld},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Fully Anonymous Consensus and Set Agreement Algorithms},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {314--328},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_20},
doi = {10.1007/978-3-030-67087-0\_20},
timestamp = {Fri, 15 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/RaynalT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SevillaA20,
author = {Andr{\'{e}}s Sevilla and
Antonio Fern{\'{a}}ndez Anta},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Routing in Generalized Geometric Inhomogeneous Random Graphs - (Extended
Abstract)},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {368--373},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_25},
doi = {10.1007/978-3-030-67087-0\_25},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/SevillaA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/TranKW20,
author = {Thanh{-}Hai Tran and
Igor Konnov and
Josef Widder},
editor = {Chryssis Georgiou and
Rupak Majumdar},
title = {Cutoffs for Symmetric Point-to-Point Distributed Algorithms},
booktitle = {Networked Systems - 8th International Conference, {NETYS} 2020, Marrakech,
Morocco, June 3-5, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12129},
pages = {329--346},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-67087-0\_21},
doi = {10.1007/978-3-030-67087-0\_21},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/TranKW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaAJN19,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Bengt Jonsson and
Tuan Phong Ngo},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Dynamic Partial Order Reduction Under the Release-Acquire Semantics
(Tutorial)},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {3--18},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_1},
doi = {10.1007/978-3-030-31277-0\_1},
timestamp = {Mon, 03 Jan 2022 22:16:19 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbdullaAJN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Amoussou-Guenou19,
author = {Yackolley Amoussou{-}Guenou and
Antonella Del Pozzo and
Maria Potop{-}Butucaru and
Sara {Tucci Piergiovanni}},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Dissecting Tendermint},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {166--182},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_11},
doi = {10.1007/978-3-030-31277-0\_11},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Amoussou-Guenou19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AttiasB19,
author = {Vidal Attias and
Quentin Bramas},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {How to Choose Its Parents in the Tangle},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {275--280},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_18},
doi = {10.1007/978-3-030-31277-0\_18},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AttiasB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BalabonskiCPRTU19,
author = {Thibaut Balabonski and
Pierre Courtieu and
Robin Pelle and
Lionel Rieg and
S{\'{e}}bastien Tixeuil and
Xavier Urbain},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Continuous vs. Discrete Asynchronous Moves: {A} Certified Approach
for Mobile Robots},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {93--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_7},
doi = {10.1007/978-3-030-31277-0\_7},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BalabonskiCPRTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BalmauGKMPZ19,
author = {Oana Balmau and
Rachid Guerraoui and
Anne{-}Marie Kermarrec and
Alexandre Maurer and
Matej Pavlovic and
Willy Zwaenepoel},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {The Fake News Vaccine - {A} Content-Agnostic System for Preventing
Fake News from Becoming Viral},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {347--364},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_23},
doi = {10.1007/978-3-030-31277-0\_23},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BalmauGKMPZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BramasMT19,
author = {Quentin Bramas and
Toshimitsu Masuzawa and
S{\'{e}}bastien Tixeuil},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Distributed Online Data Aggregation in Dynamic Graphs},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {365--380},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_24},
doi = {10.1007/978-3-030-31277-0\_24},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BramasMT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChaudharyJKKP19,
author = {Ved Prakash Chaudhary and
Chirag Juyal and
Sandeep S. Kulkarni and
Sweta Kumari and
Sathya Peri},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Achieving Starvation-Freedom in Multi-version Transactional Memory
Systems},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {291--310},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_20},
doi = {10.1007/978-3-030-31277-0\_20},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChaudharyJKKP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChenCHTWW19,
author = {Yu{-}Fang Chen and
Hsiao{-}chen Chung and
Wen{-}Chi Hung and
Ming{-}Hsien Tsai and
Bow{-}Yaw Wang and
Farn Wang},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Synthesize Models for Quantitative Analysis Using Automata Learning},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {75--92},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_6},
doi = {10.1007/978-3-030-31277-0\_6},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ChenCHTWW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChibaAMOR19,
author = {Zouhair Chiba and
Noreddine Abghour and
Khalid Moussaid and
Amina El Omri and
Mohamed Rida},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {An Efficient Network {IDS} for Cloud Environments Based on a Combination
of Deep Learning and an Optimized Self-adaptive Heuristic Search Algorithm},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {235--249},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_15},
doi = {10.1007/978-3-030-31277-0\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChibaAMOR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Chini0S19,
author = {Peter Chini and
Roland Meyer and
Prakash Saivasan},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Liveness in Broadcast Networks},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {52--66},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_4},
doi = {10.1007/978-3-030-31277-0\_4},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Chini0S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Delporte-Gallet19,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Yan Jurski and
Fran{\c{c}}ois Laroussinie and
Arnaud Sangnier},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Towards Synthesis of Distributed Algorithms with {SMT} Solvers},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {200--216},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_13},
doi = {10.1007/978-3-030-31277-0\_13},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Delporte-Gallet19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DurandAL19,
author = {Antoine Durand and
Emmanuelle Anceaume and
Romaric Ludinard},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {StakeCube: Combining Sharding and Proof-of-Stake to Build Fork-Free
Secure Permissionless Distributed Ledgers},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {148--165},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_10},
doi = {10.1007/978-3-030-31277-0\_10},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DurandAL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GeorgiouGLS19,
author = {Chryssis Georgiou and
Robert Gustafsson and
Andreas Lindh{\'{e}} and
Elad Michael Schiller},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Self-stabilization Overhead: {A} Case Study on Coded Atomic Storage},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {131--147},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_9},
doi = {10.1007/978-3-030-31277-0\_9},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GeorgiouGLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GeorgiouLS19,
author = {Chryssis Georgiou and
Oskar Lundstr{\"{o}}m and
Elad Michael Schiller},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Self-stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked
Systems},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {113--130},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_8},
doi = {10.1007/978-3-030-31277-0\_8},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GeorgiouLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GodardIRT19,
author = {Emmanuel Godard and
Damien Imbs and
Michel Raynal and
Gadi Taubenfeld},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Mutex-Based De-anonymization of an Anonymous Read/Write Memory},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {311--326},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_21},
doi = {10.1007/978-3-030-31277-0\_21},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GodardIRT19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HadjKBE19,
author = {Maryem Ait El Hadj and
Ahmed Khoumsi and
Yahya Benkaouz and
Mohammed Erradi},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Efficient Security Policy Management Using Suspicious Rules Through
Access Log Analysis},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {250--266},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_16},
doi = {10.1007/978-3-030-31277-0\_16},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HadjKBE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/IrvingCPBHM19,
author = {Samuel Irving and
Sui Chen and
Lu Peng and
Costas Busch and
Maurice Herlihy and
Christopher J. Michael},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {{CUDA-DTM:} Distributed Transactional Memory for {GPU} Clusters},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {183--199},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_12},
doi = {10.1007/978-3-030-31277-0\_12},
timestamp = {Sun, 26 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/IrvingCPBHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/JayantiJ19,
author = {Prasad Jayanti and
Anup Joshi},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Recoverable Mutual Exclusion with Abortability},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {217--232},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_14},
doi = {10.1007/978-3-030-31277-0\_14},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/JayantiJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KachaouiB19,
author = {Jabrane Kachaoui and
Abdessamad Belangour},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {A Multi-criteria Group Decision Making Method for Big Data Storage
Selection},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {381--386},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_25},
doi = {10.1007/978-3-030-31277-0\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KachaouiB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KowalskiM19,
author = {Dariusz R. Kowalski and
Jaroslaw Mirek},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {On the Complexity of Fault-Tolerant Consensus},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {19--31},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_2},
doi = {10.1007/978-3-030-31277-0\_2},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KowalskiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LyazidiM19,
author = {Achraf Lyazidi and
Salma Mouline},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Formal Verification of {UML} State Machine Diagrams Using Petri Nets},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {67--74},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_5},
doi = {10.1007/978-3-030-31277-0\_5},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LyazidiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PeriSS19,
author = {Sathya Peri and
Muktikanta Sa and
Nandini Singhal},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {A Pragmatic Non-blocking Concurrent Directed Acyclic Graph},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {327--344},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_22},
doi = {10.1007/978-3-030-31277-0\_22},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/PeriSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RguibiM19,
author = {Mohamed Amine Rguibi and
Najem Moussa},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {A Vaccination Game for Mitigation Active Worms Propagation in {P2P}
Networks},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {267--274},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_17},
doi = {10.1007/978-3-030-31277-0\_17},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/RguibiM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SemmouniNB19,
author = {Meryem Cherkaoui Semmouni and
Abderrahmane Nitaj and
Mostafa Belkasmi},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Bitcoin Security with Post Quantum Cryptography},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {281--288},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_19},
doi = {10.1007/978-3-030-31277-0\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SemmouniNB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ZennouBBEE19,
author = {Rachid Zennou and
Ranadeep Biswas and
Ahmed Bouajjani and
Constantin Enea and
Mohammed Erradi},
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Checking Causal Consistency of Distributed Databases},
booktitle = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
pages = {35--51},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0\_3},
doi = {10.1007/978-3-030-31277-0\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ZennouBBEE19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2018,
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05529-5},
doi = {10.1007/978-3-030-05529-5},
isbn = {978-3-030-05528-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2019,
editor = {Mohamed Faouzi Atig and
Alexander A. Schwarzmann},
title = {Networked Systems - 7th International Conference, {NETYS} 2019, Marrakech,
Morocco, June 19-21, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11704},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31277-0},
doi = {10.1007/978-3-030-31277-0},
isbn = {978-3-030-31276-3},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AksenovKS18,
author = {Vitaly Aksenov and
Petr Kuznetsov and
Anatoly Shalyto},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {On Helping and Stacks},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {107--121},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_8},
doi = {10.1007/978-3-030-05529-5\_8},
timestamp = {Tue, 21 Mar 2023 21:02:48 +0100},
biburl = {https://dblp.org/rec/conf/netys/AksenovKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AlharbiK18,
author = {Ayidh Alharbi and
M. Tahar Kechadi},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Short Paper: Application of Noisy Attacks on Image Steganography},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {364--368},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_25},
doi = {10.1007/978-3-030-05529-5\_25},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AlharbiK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AntaGKN18,
author = {Antonio Fern{\'{a}}ndez Anta and
Chryssis Georgiou and
Kishori M. Konwar and
Nicolas C. Nicolaou},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Formalizing and Implementing Distributed Ledger Objects},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {19--35},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_2},
doi = {10.1007/978-3-030-05529-5\_2},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/AntaGKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BaddiK18,
author = {Youssef Baddi and
Mohamed D{\^{a}}fir Ech{-}Cherif El Kettani},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {{OSM-GKM} Optimal Shared Multicast-Based Solution for Group Key Management
in Mobile IPv6},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {255--269},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_17},
doi = {10.1007/978-3-030-05529-5\_17},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BaddiK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BouajjaniEMR18,
author = {Ahmed Bouajjani and
Constantin Enea and
Madhavan Mukund and
Rajarshi Roy},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {On Verifying {TSO} Robustness for Event-Driven Asynchronous Programs},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {225--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_15},
doi = {10.1007/978-3-030-05529-5\_15},
timestamp = {Thu, 16 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BouajjaniEMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ConchonDF18,
author = {Sylvain Conchon and
Giorgio Delzanno and
Angelo Ferrando},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Declarative Parameterized Verification of Topology-Sensitive Distributed
Protocols},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {209--224},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_14},
doi = {10.1007/978-3-030-05529-5\_14},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ConchonDF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Delporte-Gallet18,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Sergio Rajsbaum and
Nayuta Yanagisawa},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {An Anonymous Wait-Free Weak-Set Object Implementation},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {141--156},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_10},
doi = {10.1007/978-3-030-05529-5\_10},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Delporte-Gallet18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DiazT18,
author = {Marcio Diaz and
Tayssir Touili},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Model Checking Dynamic Pushdown Networks with Locks and Priorities},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {240--251},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_16},
doi = {10.1007/978-3-030-05529-5\_16},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DiazT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ForebackNT18,
author = {Dianne Foreback and
Mikhail Nesterenko and
S{\'{e}}bastien Tixeuil},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Churn Possibilities and Impossibilities},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {303--317},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_20},
doi = {10.1007/978-3-030-05529-5\_20},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ForebackNT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GarmaniOBJ18,
author = {Hamid Garmani and
M'hamed Outanoute and
Mohamed Baslam and
Mostafa Jourhmane},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {New Competition-Based Approach for Caching Popular Content in {ICN}},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {286--300},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_19},
doi = {10.1007/978-3-030-05529-5\_19},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GarmaniOBJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GeorgiouHNS18,
author = {Chryssis Georgiou and
Theophanis Hadjistasi and
Nicolas C. Nicolaou and
Alexander A. Schwarzmann},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Unleashing and Speeding Up Readers in Atomic Object Implementations},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {175--190},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_12},
doi = {10.1007/978-3-030-05529-5\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GeorgiouHNS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GuerraouiW18,
author = {Rachid Guerraoui and
Jingjing Wang},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {On the Unfairness of Blockchain},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {36--50},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_3},
doi = {10.1007/978-3-030-05529-5\_3},
timestamp = {Thu, 09 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/GuerraouiW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/InoueT18,
author = {Michiko Inoue and
S{\'{e}}bastien Tixeuil},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Short Paper: Tight Bounds for Universal and Cautious Self-stabilizing
1-Maximal Matching},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {334--339},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_22},
doi = {10.1007/978-3-030-05529-5\_22},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/InoueT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/JayantiJJ18,
author = {Prasad Jayanti and
Siddhartha V. Jayanti and
Anup Joshi},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Optimal Recoverable Mutual Exclusion Using only {FASAS}},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {191--206},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_13},
doi = {10.1007/978-3-030-05529-5\_13},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/JayantiJJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KhoumsiE18,
author = {Ahmed Khoumsi and
Mohammed Erradi},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Automata-Based Bottom-Up Design of Conflict-Free Security Policies
Specified as Policy Expressions},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {343--357},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_23},
doi = {10.1007/978-3-030-05529-5\_23},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/KhoumsiE18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LetracheBR18,
author = {Khadija Letrache and
Omar El Beggar and
Mohammed Ramdani},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Comparative Analysis of Our Association Rules Based Approach and a
Genetic Approach for {OLAP} Partitioning},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {391--403},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_28},
doi = {10.1007/978-3-030-05529-5\_28},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LetracheBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OmarABF18,
author = {Driss {Ait Omar} and
Mohamed El Amrani and
Mohamed Baslam and
Mohamed Fakir},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {A Game-Theoretic Approach for the Internet Content Distribution Chain},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {270--285},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_18},
doi = {10.1007/978-3-030-05529-5\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OmarABF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PeriSS18,
author = {Sathya Peri and
Ajay Singh and
Archit Somani},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Efficient Means of Achieving Composability Using Object Based Semantics
in Transactional Memory Systems},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {157--174},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_11},
doi = {10.1007/978-3-030-05529-5\_11},
timestamp = {Fri, 29 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/PeriSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RachdiED18,
author = {Anass Rachdi and
Abdeslam En{-}Nouaary and
Mohamed Dahchour},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Short Paper: {BPMN} Process Analysis: {A} Formal Validation and Verification
Eclipse Plugin for {BPMN} Process Models},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {100--104},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_7},
doi = {10.1007/978-3-030-05529-5\_7},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/RachdiED18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RadiaJ18,
author = {Radia Belkeziz and
Zahi Jarir},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Short Paper: IoT Context-Driven Architecture: Characterization of
the Behavioral Aspect},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {404--409},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_29},
doi = {10.1007/978-3-030-05529-5\_29},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/RadiaJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RaynalC18,
author = {Michel Raynal and
Jiannong Cao},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Anonymity in Distributed Read/Write Systems: An Introductory Survey},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {122--140},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_9},
doi = {10.1007/978-3-030-05529-5\_9},
timestamp = {Tue, 14 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/RaynalC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Reps18,
author = {Thomas W. Reps},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Program Analyses Using Newton's Method (Invited Paper)},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {3--16},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_1},
doi = {10.1007/978-3-030-05529-5\_1},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Reps18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Sa18,
author = {Muktikanta Sa},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Short Paper: Maintenance of Strongly Connected Component in Shared-Memory
Graph},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {382--387},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_27},
doi = {10.1007/978-3-030-05529-5\_27},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Sa18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SalemS18,
author = {Iosif Salem and
Elad Michael Schiller},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Practically-Self-stabilizing Vector Clocks in the Absence of Execution
Fairness},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {318--333},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_21},
doi = {10.1007/978-3-030-05529-5\_21},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/SalemS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SharmaBM18,
author = {Gokarna Sharma and
Costas Busch and
Supratik Mukhopadhyay},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Complete Visibility for Oblivious Robots in {\unicode{54442}}(N) Time},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {67--84},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_5},
doi = {10.1007/978-3-030-05529-5\_5},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/SharmaBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Taubenfeld18,
author = {Gadi Taubenfeld},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Weak Failures: Definitions, Algorithms and Impossibility Results},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {51--66},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_4},
doi = {10.1007/978-3-030-05529-5\_4},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Taubenfeld18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/TsuchidaOI18,
author = {Masashi Tsuchida and
Fukuhito Ooshita and
Michiko Inoue},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Gathering of Mobile Agents in Asynchronous Byzantine Environments
with Authenticated Whiteboards},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {85--99},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_6},
doi = {10.1007/978-3-030-05529-5\_6},
timestamp = {Tue, 08 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/TsuchidaOI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/VaucherSF18,
author = {S{\'{e}}bastien Vaucher and
Valerio Schiavoni and
Pascal Felber},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {Short Paper: Stress-SGX: Load and Stress Your Enclaves for Fun and
Profit},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {358--363},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_24},
doi = {10.1007/978-3-030-05529-5\_24},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/VaucherSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ZeryouhME18,
author = {Meryam Zeryouh and
Mohamed El Marraki and
Mohamed Essalih},
editor = {Andreas Podelski and
Fran{\c{c}}ois Ta{\"{\i}}ani},
title = {A Measure for Quantifying the Topological Structure of Some Networks},
booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018, Essaouira,
Morocco, May 9-11, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11028},
pages = {371--381},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-05529-5\_26},
doi = {10.1007/978-3-030-05529-5\_26},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ZeryouhME18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Ait-Beni-IfitFC17,
author = {Achraf Ait{-}Beni{-}Ifit and
Othmane Alaoui Fdili and
Patrick Corlay and
Fran{\c{c}}ois{-}Xavier Coudoux and
Driss Aboutajdine},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Profiling and Modelling of {HEVC} Intra Video Encoder's Energy Consumption
for Next Generation {WVSNS}},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {472--482},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_34},
doi = {10.1007/978-3-319-59647-1\_34},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/Ait-Beni-IfitFC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AntoniadisGST17,
author = {Karolos Antoniadis and
Rachid Guerraoui and
Julien Stainer and
Vasileios Trigonakis},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Sequential Proximity - Towards Provably Scalable Concurrent Search
Algorithms},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {405--420},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_30},
doi = {10.1007/978-3-319-59647-1\_30},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AntoniadisGST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AtifiMM17,
author = {Meriem Atifi and
Abdelaziz Mamouni and
Abdelaziz Marzak},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {A Comparative Study of Software Testing Techniques},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {373--390},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_27},
doi = {10.1007/978-3-319-59647-1\_27},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AtifiMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AtigBKS17,
author = {Mohamed Faouzi Atig and
Ahmed Bouajjani and
K. Narayan Kumar and
Prakash Saivasan},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Parity Games on Bounded Phase Multi-pushdown Systems},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {272--287},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_21},
doi = {10.1007/978-3-319-59647-1\_21},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AtigBKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AvinCS17,
author = {Chen Avin and
Louis Cohen and
Stefan Schmid},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Competitive Clustering of Stochastic Communication Patterns on a Ring},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {231--247},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_18},
doi = {10.1007/978-3-319-59647-1\_18},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AvinCS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AyacheEFK17,
author = {Meryeme Ayache and
Mohammed Erradi and
Bernd Freisleben and
Ahmed Khoumsi},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Aspect-Oriented State Machines for Resolving Conflicts in {XACML}
Policies},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {166--171},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_13},
doi = {10.1007/978-3-319-59647-1\_13},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AyacheEFK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BlanchardGSZ17,
author = {Peva Blanchard and
Rachid Guerraoui and
Julien Stainer and
Igor Zablotchi},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {The Disclosure Power of Shared Objects},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {222--227},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_17},
doi = {10.1007/978-3-319-59647-1\_17},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BlanchardGSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaMRR17,
author = {Armando Casta{\~{n}}eda and
Yoram Moses and
Michel Raynal and
Matthieu Roy},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Early Decision and Stopping in Synchronous Consensus: {A} Predicate-Based
Guided Tour},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {206--221},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_16},
doi = {10.1007/978-3-319-59647-1\_16},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/CastanedaMRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaRR17,
author = {Armando Casta{\~{n}}eda and
Sergio Rajsbaum and
Michel Raynal},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Long-Lived Tasks},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {439--454},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_32},
doi = {10.1007/978-3-319-59647-1\_32},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/CastanedaRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChenHLMSW17,
author = {Yu{-}Fang Chen and
Chih{-}Duo Hong and
Ondrej Leng{\'{a}}l and
Shin{-}Cheng Mu and
Nishant Sinha and
Bow{-}Yaw Wang},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {An Executable Sequential Specification for Spark Aggregation},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {421--438},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_31},
doi = {10.1007/978-3-319-59647-1\_31},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ChenHLMSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DerevenetcMS17,
author = {Egor Derevenetc and
Roland Meyer and
Sebastian Schweizer},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Locality and Singularity for Store-Atomic Memory Models},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {133--148},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_11},
doi = {10.1007/978-3-319-59647-1\_11},
timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DerevenetcMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DiazT17,
author = {Marcio Diaz and
Tayssir Touili},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Reachability Analysis of Dynamic Pushdown Networks with Priorities},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {288--303},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_22},
doi = {10.1007/978-3-319-59647-1\_22},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DiazT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DolevGMS17,
author = {Shlomi Dolev and
Chryssis Georgiou and
Ioannis Marcoullis and
Elad Michael Schiller},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Self-stabilizing Reconfiguration},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {51--68},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_5},
doi = {10.1007/978-3-319-59647-1\_5},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DolevGMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DolevK17,
author = {Shlomi Dolev and
Daniel Khankin},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Monitorability Bounds via Expander, Sparsifier and Random Walks -
The Interplay Between On-Demand Monitoring and Anonymity (Extendend
Abstract)},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {307--321},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_23},
doi = {10.1007/978-3-319-59647-1\_23},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DolevK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Er-rouidiMFMM17,
author = {Mohamed Er{-}rouidi and
Houda Moudni and
Hassan Faouzi and
Hicham Mouncif and
Abdelkrim Merbouha},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {A Fuzzy-Based Routing Strategy to Improve Route Stability in {MANET}
Based on {AODV}},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {40--48},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_4},
doi = {10.1007/978-3-319-59647-1\_4},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Er-rouidiMFMM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/FaouziEMML17,
author = {Hassan Faouzi and
Mohamed Er{-}rouidi and
Houda Moudni and
Hicham Mouncif and
Mohamed Lamsaadi},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Improving Network Lifetime of Ad Hoc Network Using Energy Aodv {(E-AODV)}
Routing Protocol in Real Radio Environments},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {27--39},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_3},
doi = {10.1007/978-3-319-59647-1\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/FaouziEMML17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GabliDMS17,
author = {Mohammed Gabli and
Soufiane Dahmani and
El Bekkaye Mermri and
Abdelhafid Serghini},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {A Dynamic Genetic Algorithm Approach to the Problem of {UMTS} Network
Assignment},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {15--26},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_2},
doi = {10.1007/978-3-319-59647-1\_2},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GabliDMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HadjBFE17,
author = {Maryem Ait El Hadj and
Yahya Benkaouz and
Bernd Freisleben and
Mohammed Erradi},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {{ABAC} Rule Reduction via Similarity Computation},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {86--100},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_7},
doi = {10.1007/978-3-319-59647-1\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HadjBFE17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HadjistasiNS17,
author = {Theophanis Hadjistasi and
Nicolas C. Nicolaou and
Alexander A. Schwarzmann},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Oh-RAM! One and a Half Round Atomic Memory},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {117--132},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_10},
doi = {10.1007/978-3-319-59647-1\_10},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HadjistasiNS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HassaniIA17,
author = {Rachida Hassani and
Youn{\`{e}}s El Bouzekri El Idrissi and
Abdellah Abouabdellah},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Software Project Management in the Era of Digital Transformation},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {391--395},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_28},
doi = {10.1007/978-3-319-59647-1\_28},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HassaniIA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KermarrecMO17,
author = {Anne{-}Marie Kermarrec and
Nupur Mittal and
Javier Olivares},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Multithreading Approach to Process Real-Time Updates in {KNN} Algorithms},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {109--114},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_9},
doi = {10.1007/978-3-319-59647-1\_9},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KermarrecMO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KuznetsovR17,
author = {Petr Kuznetsov and
Thibault Rieutord},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Agreement Functions for Distributed Computing Models},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {175--190},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_14},
doi = {10.1007/978-3-319-59647-1\_14},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KuznetsovR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LaghmariMR17,
author = {Khalil Laghmari and
Christophe Marsala and
Mohammed Ramdani},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {A Distributed Recommender System Based on Graded Multi-label Classification},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {101--108},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_8},
doi = {10.1007/978-3-319-59647-1\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LaghmariMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MansouriC17,
author = {Mou{\^{a}}d Mansouri and
Leghris Cherkaoui},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Using Fuzzy Gray Relational Analysis in the Vertical Handover Process
in Wireless Networks},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {396--401},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_29},
doi = {10.1007/978-3-319-59647-1\_29},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MansouriC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MokhlissiLDM17,
author = {Raihana Mokhlissi and
Dounia Lotfi and
Joyati C. Debnath and
Mohamed El Marraki},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {An Innovative Combinatorial Approach for the Spanning Tree Entropy
in Flower Network},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {3--14},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_1},
doi = {10.1007/978-3-319-59647-1\_1},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MokhlissiLDM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MoroG17,
author = {Arielle Moro and
Beno{\^{\i}}t Garbinato},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {A Location Privacy Estimator Based on Spatio-Temporal Location Uncertainties},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {322--337},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_24},
doi = {10.1007/978-3-319-59647-1\_24},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MoroG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/NejiBR17,
author = {Wafa Neji and
Kaouther Blibech and
Narjes Ben Rajeb},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Incoercible Fully-Remote Electronic Voting Protocol},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {355--369},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_26},
doi = {10.1007/978-3-319-59647-1\_26},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/NejiBR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Nguyen0TP17,
author = {Truc L. Nguyen and
Bernd Fischer and
Salvatore La Torre and
Gennaro Parlato},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Concurrent Program Verification with Lazy Sequentialization and Interval
Analysis},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {255--271},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_20},
doi = {10.1007/978-3-319-59647-1\_20},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Nguyen0TP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OmarOBFB17,
author = {Driss {Ait Omar} and
M'hamed Outanoute and
Mohamed Baslam and
Mohamed Fakir and
Belaid Bouikhalene},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Joint Price and QoS Competition with Bounded Rational Customers},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {457--471},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_33},
doi = {10.1007/978-3-319-59647-1\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OmarOBFB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PattanayakM0S17,
author = {Debasish Pattanayak and
Kaushik Mondal and
Partha Sarathi Mandal and
Stefan Schmid},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Convergence of Even Simpler Robots without Position Information},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {69--85},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_6},
doi = {10.1007/978-3-319-59647-1\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/PattanayakM0S17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RahmaniB17,
author = {Moufida Rahmani and
Mahfoud Bencha{\"{\i}}ba},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Toward a Resource Availability Measurement in Peer to Peer Systems},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {248--252},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_19},
doi = {10.1007/978-3-319-59647-1\_19},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/RahmaniB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ReazAECG17,
author = {Rezwana Reaz and
Hrishikesh B. Acharya and
Ehab S. Elmallah and
Jorge Arturo Cobb and
Mohamed G. Gouda},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Policy Expressions and the Bottom-Up Design of Computing Policies},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {151--165},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_12},
doi = {10.1007/978-3-319-59647-1\_12},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ReazAECG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SolimanG17,
author = {Amira Soliman and
Sarunas Girdzijauskas},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {AdaGraph: Adaptive Graph-Based Algorithms for Spam Detection in Social
Networks},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {338--354},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_25},
doi = {10.1007/978-3-319-59647-1\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SolimanG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/TalmageW17,
author = {Edward Talmage and
Jennifer L. Welch},
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Anomalies and Similarities Among Consensus Numbers of Variously-Relaxed
Queues},
booktitle = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
pages = {191--205},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1\_15},
doi = {10.1007/978-3-319-59647-1\_15},
timestamp = {Mon, 15 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/TalmageW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2017,
editor = {Amr El Abbadi and
Beno{\^{\i}}t Garbinato},
title = {Networked Systems - 5th International Conference, {NETYS} 2017, Marrakech,
Morocco, May 17-19, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10299},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59647-1},
doi = {10.1007/978-3-319-59647-1},
isbn = {978-3-319-59646-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AliRG16,
author = {Muqeet Ali and
Rezwana Reaz and
Mohamed G. Gouda},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Nonrepudiation Protocols Without a Trusted Party},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {1--15},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_1},
doi = {10.1007/978-3-319-46140-3\_1},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/AliRG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AmarieD0F16,
author = {Maria Carpen{-}Amarie and
Dave Dice and
Ga{\"{e}}l Thomas and
Pascal Felber},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Transactional Pointers: Experiences with HTM-Based Reference Counting
in {C++}},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {102--116},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_8},
doi = {10.1007/978-3-319-46140-3\_8},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/AmarieD0F16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AouadDTBD16,
author = {Sara El Aouad and
Christophe Dupuy and
Renata Teixeira and
Francis R. Bach and
Christophe Diot},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Exploiting Crowd Sourced Reviews to Explain Movie Recommendation},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {193--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_15},
doi = {10.1007/978-3-319-46140-3\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AouadDTBD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BarazzuttiHFR16,
author = {Rapha{\"{e}}l P. Barazzutti and
Yaroslav Hayduk and
Pascal Felber and
Etienne Rivi{\`{e}}re},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Exploiting Concurrency in Domain-Specific Data Structures: {A} Concurrent
Order Book and Workload Generator for Online Trading},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {16--31},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_2},
doi = {10.1007/978-3-319-46140-3\_2},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BarazzuttiHFR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BenkaouzEK16,
author = {Yahya Benkaouz and
Mohammed Erradi and
Anne{-}Marie Kermarrec},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Nearest Neighbors Graph Construction: Peer Sampling to the Rescue},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {48--62},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_4},
doi = {10.1007/978-3-319-46140-3\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BenkaouzEK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Berrahou16,
author = {Aissam Berrahou},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Accurate Optimization Method for Allocation of Heterogeneous Resources
in Embedded Systems},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {63--70},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_5},
doi = {10.1007/978-3-319-46140-3\_5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Berrahou16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BlinCSLM16,
author = {Antoine Blin and
C{\'{e}}dric Courtaud and
Julien Sopena and
Julia Lawall and
Gilles Muller},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Understanding the Memory Consumption of the MiBench Embedded Benchmark},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {71--86},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_6},
doi = {10.1007/978-3-319-46140-3\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BlinCSLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BramasT16,
author = {Quentin Bramas and
S{\'{e}}bastien Tixeuil},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Benchmarking Energy-Centric Broadcast Protocols in Wireless Sensor
Networks},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {87--101},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_7},
doi = {10.1007/978-3-319-46140-3\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BramasT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChaibrassouM16,
author = {Alami Chaibrassou and
Ahmed Mouhsen},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {A Multi-channel Energy Efficient Cooperative {MIMO} Routing Protocol
for Clustered WSNs},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {117--130},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_9},
doi = {10.1007/978-3-319-46140-3\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChaibrassouM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChakrabortyMM16,
author = {Maitri Chakraborty and
Alessia Milani and
Miguel A. Mosteiro},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Counting in Practical Anonymous Dynamic Networks is Polynomial},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {131--136},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_10},
doi = {10.1007/978-3-319-46140-3\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChakrabortyMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChilukaKO16,
author = {Nitin Chiluka and
Anne{-}Marie Kermarrec and
Javier Olivares},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {The Out-of-core {KNN} Awakens: - The Light Side of Computation Force
on Large Datasets},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {295--310},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_24},
doi = {10.1007/978-3-319-46140-3\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChilukaKO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChristoforouAGM16,
author = {Evgenia Christoforou and
Antonio Fern{\'{a}}ndez Anta and
Chryssis Georgiou and
Miguel A. Mosteiro},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Internet Computing: Using Reputation to Select Workers from a Pool},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {137--153},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_11},
doi = {10.1007/978-3-319-46140-3\_11},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChristoforouAGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Delporte-Gallet16,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Asynchronous Consensus with Bounded Memory},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {154--168},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_12},
doi = {10.1007/978-3-319-46140-3\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Delporte-Gallet16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DrissiOA16,
author = {Maroua Drissi and
Mohammed Oumsis and
Driss Aboutajdine},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {A Fuzzy {AHP} Approach to Network Selection Improvement in Heterogeneous
Wireless Networks},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {169--182},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_13},
doi = {10.1007/978-3-319-46140-3\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DrissiOA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/EkstromH16,
author = {Niklas Ekstr{\"{o}}m and
Seif Haridi},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {A Fault-Tolerant Sequentially Consistent {DSM} with a Compositional
Correctness Proof},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {183--192},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_14},
doi = {10.1007/978-3-319-46140-3\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/EkstromH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ElgarejKY16,
author = {Mouhcine Elgarej and
Khalifa Mansouri and
Mohamed Youssfi},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Traffic Lights Optimization with Distributed Ant Colony Optimization
Based on Multi-agent System},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {266--279},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_22},
doi = {10.1007/978-3-319-46140-3\_22},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ElgarejKY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HafaiedhBJO16,
author = {Khaled Ben Hafaiedh and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Fault Tolerant {P2P} {RIA} Crawling},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {32--47},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_3},
doi = {10.1007/978-3-319-46140-3\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HafaiedhBJO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HamzaouiBE16,
author = {Asma El Hamzaoui and
Hicham Bensaid and
Abdeslam En{-}Nouaary},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {A Formal Model for WebRTC Signaling Using {SDL}},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {202--208},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_16},
doi = {10.1007/978-3-319-46140-3\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HamzaouiBE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/JensenOG16,
author = {Oliver Jensen and
Tyler O'Meara and
Mohamed G. Gouda},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Securing {NFC} Credit Card Payments Against Malicious Retailers},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {214--228},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_18},
doi = {10.1007/978-3-319-46140-3\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/JensenOG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KhoumsiEAK16,
author = {Ahmed Khoumsi and
Mohamed Erradi and
Meryeme Ayache and
Wadie Krombi},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {An Approach to Resolve NP-Hard Problems of Firewalls},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {229--243},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_19},
doi = {10.1007/978-3-319-46140-3\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KhoumsiEAK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LabbiMSB16,
author = {Zouheir Labbi and
Ahmed Maarof and
Mohamed Senhadji and
Mostafa Belkasmi},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Hybrid Encryption Approach Using Dynamic Key Generation and Symmetric
Key Algorithm for {RFID} Systems},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {244--249},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_20},
doi = {10.1007/978-3-319-46140-3\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LabbiMSB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MimouniB16,
author = {Sanae El Mimouni and
Mohamed Bouhdadi},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {An Incremental Proof-Based Process of the NetBill Electronic Commerce
Protocol},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {209--213},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_17},
doi = {10.1007/978-3-319-46140-3\_17},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MimouniB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MostefaouiR16,
author = {Achour Most{\'{e}}faoui and
Michel Raynal},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Time-Efficient Read/Write Register in Crash-Prone Asynchronous Message-Passing
Systems},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {250--265},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_21},
doi = {10.1007/978-3-319-46140-3\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MostefaouiR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MutluergilT16,
author = {Suha Orhun Mutluergil and
Serdar Tasiran},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {A Mechanized Refinement Proof of the Chase-Lev Deque Using a Proof
System},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {280--294},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_23},
doi = {10.1007/978-3-319-46140-3\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MutluergilT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OucheikhBH16,
author = {Rachid Oucheikh and
Ismail Berrada and
Outman El Hichami},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {The 4-Octahedron Abstract Domain},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {311--317},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_25},
doi = {10.1007/978-3-319-46140-3\_25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OucheikhBH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PaulRV16,
author = {Ruma R. Paul and
Peter Van Roy and
Vladimir Vlassov},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Reversible Phase Transitions in a Structured Overlay Network with
Churn},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {318--333},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_26},
doi = {10.1007/978-3-319-46140-3\_26},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/PaulRV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RachdiED16,
author = {Anass Rachdi and
Abdeslam En{-}Nouaary and
Mohamed Dahchour},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Verification of Common Business Rules in {BPMN} Process Models},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {334--339},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_27},
doi = {10.1007/978-3-319-46140-3\_27},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/RachdiED16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SbihiG16,
author = {Nada Sbihi and
Mounir Ghogho},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Is Youtube Popularity Prediction a Good Way to Improve Caching Efficiency?},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {340--344},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_28},
doi = {10.1007/978-3-319-46140-3\_28},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SbihiG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Taubenfeld16,
author = {Gadi Taubenfeld},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Waiting in Concurrent Algorithms},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {345--360},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_29},
doi = {10.1007/978-3-319-46140-3\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Taubenfeld16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/YakoubiM16,
author = {Fouad Yakoubi and
Mohamed El Marraki},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Corona Product Complexity of Planar Graph and S-chain Graph},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {361--366},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_30},
doi = {10.1007/978-3-319-46140-3\_30},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/YakoubiM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ZaimiHBOA16,
author = {Imane Zaimi and
Zineb Squalli Houssaini and
Abdelali Boushaba and
Mohammed Oumsis and
Driss Aboutajdine},
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Vehicular Ad-Hoc Network: Evaluation of QoS and QoE for Multimedia
Application},
booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
pages = {367--371},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3\_31},
doi = {10.1007/978-3-319-46140-3\_31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ZaimiHBOA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2016,
editor = {Parosh Aziz Abdulla and
Carole Delporte{-}Gallet},
title = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
Morocco, May 18-20, 2016, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9944},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46140-3},
doi = {10.1007/978-3-319-46140-3},
isbn = {978-3-319-46139-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaAKR15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Ahmet Kara and
Othmane Rezine},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Verification of Buffered Dynamic Register Automata},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {15--31},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_2},
doi = {10.1007/978-3-319-26850-7\_2},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/netys/AbdullaAKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbdullaALN15,
author = {Parosh Aziz Abdulla and
Mohamed Faouzi Atig and
Magnus L{\aa}ng and
Tuan Phong Ngo},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Precise and Sound Automatic Fence Insertion Procedure under {PSO}},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {32--47},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_3},
doi = {10.1007/978-3-319-26850-7\_3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AbdullaALN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Aiswarya15,
author = {C. Aiswarya},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Model Checking Dynamic Distributed Systems},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {48--61},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_4},
doi = {10.1007/978-3-319-26850-7\_4},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/Aiswarya15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AlmeidaSB15,
author = {Paulo S{\'{e}}rgio Almeida and
Ali Shoker and
Carlos Baquero},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Efficient State-Based CRDTs by Delta-Mutation},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {62--76},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_5},
doi = {10.1007/978-3-319-26850-7\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AlmeidaSB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AltisenDD15,
author = {Karine Altisen and
St{\'{e}}phane Devismes and
Ana{\"{\i}}s Durand},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Concurrency in Snap-Stabilizing Local Resource Allocation},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {77--93},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_6},
doi = {10.1007/978-3-319-26850-7\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AltisenDD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AntaGZ15,
author = {Antonio Fern{\'{a}}ndez Anta and
Chryssis Georgiou and
Elli Zavou},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Packet Scheduling over a Wireless Channel: AQT-Based Constrained Jamming},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {230--245},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_16},
doi = {10.1007/978-3-319-26850-7\_16},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AntaGZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BelghitiBE15,
author = {Imane Daha Belghiti and
Ismail Berrada and
Mohamed El{-}Kamili},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Improving Cognitive Radio Wireless Network Performances Using Clustering
Schemes and Coalitional Games},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {170--182},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_12},
doi = {10.1007/978-3-319-26850-7\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BelghitiBE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BenkaouzEF15,
author = {Yahya Benkaouz and
Mohammed Erradi and
Bernd Freisleben},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Distributed Privacy-Preserving Data Aggregation via Anonymization},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {94--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_7},
doi = {10.1007/978-3-319-26850-7\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BenkaouzEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Biely0SSW15,
author = {Martin Biely and
Peter Robinson and
Ulrich Schmid and
Manfred Schwarz and
Kyrill Winkler},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Gracefully Degrading Consensus and k-Set Agreement in Directed Dynamic
Networks},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {109--124},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_8},
doi = {10.1007/978-3-319-26850-7\_8},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Biely0SSW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BournezCR15,
author = {Olivier Bournez and
Johanne Cohen and
Mika{\"{e}}l Rabie},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Homonym Population Protocols},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {125--139},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_9},
doi = {10.1007/978-3-319-26850-7\_9},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BournezCR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChapuisG15,
author = {Bertil Chapuis and
Beno{\^{\i}}t Garbinato},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Knowledgeable Chunking},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {456--460},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_31},
doi = {10.1007/978-3-319-26850-7\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChapuisG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CharfiZ15,
author = {Anis Charfi and
Haolin Zhi},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Aspect-Based Realization of Non-functional Concerns in Business Processes},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {140--154},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_10},
doi = {10.1007/978-3-319-26850-7\_10},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/CharfiZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Che15,
author = {Tong Che},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Verifying Concurrent Data Structures Using Data-Expansion},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {155--169},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_11},
doi = {10.1007/978-3-319-26850-7\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Che15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DevismesLPT15,
author = {St{\'{e}}phane Devismes and
Anissa Lamani and
Franck Petit and
S{\'{e}}bastien Tixeuil},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Optimal Torus Exploration by Oblivious Robots},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {183--199},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_13},
doi = {10.1007/978-3-319-26850-7\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DevismesLPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DiamondJL15,
author = {Michael Diamond and
Prasad Jayanti and
Jake Leichtling},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Enhancing Readers-Writers Exclusion with Upgrade/Downgrade Primitives},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {461--467},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_32},
doi = {10.1007/978-3-319-26850-7\_32},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DiamondJL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DzungGKP15,
author = {Dacfey Dzung and
Rachid Guerraoui and
David Kozhaya and
Yvonne{-}Anne Pignolet},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Source Routing in Time-Varing Lossy Networks},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {200--215},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_14},
doi = {10.1007/978-3-319-26850-7\_14},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DzungGKP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/El-FenniEEBB15,
author = {Mohammed Raiss El{-}Fenni and
Mohamed El{-}Kamili and
Sidi Ahmed Ezzahidi and
Ismail Berrada and
El{-}Houssine Bouyakhf},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Towards an Optimal Pricing for Mobile Virtual Network Operators},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {507--512},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_40},
doi = {10.1007/978-3-319-26850-7\_40},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/El-FenniEEBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ElhammoutiEA15,
author = {Hajar Elhammouti and
Loubna Echabbi and
Rachid El Azouzi},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {A Fully Distributed Learning Algorithm for Power Allocation in Heterogeneous
Networks},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {216--229},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_15},
doi = {10.1007/978-3-319-26850-7\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ElhammoutiEA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/EttaziHN15,
author = {Widad Ettazi and
Hatim Hafiddi and
Mahmoud Nassar},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {A User Centered Design Approach for Transactional Service Adaptation
in Context Aware Environment},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {479--484},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_35},
doi = {10.1007/978-3-319-26850-7\_35},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/EttaziHN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/FantarY15,
author = {Sonia Gaied Fantar and
Habib Youssef},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Peer-to-Peer Full-Text Keyword Search of the Web},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {263--277},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_18},
doi = {10.1007/978-3-319-26850-7\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/FantarY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/FaouziML15,
author = {Hassan Faouzi and
Hicham Mouncif and
Mohamed Lamsaadi},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Performance Evaluation for Ad hoc Routing Protocols in Realistic Physical
Layer},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {496--500},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_38},
doi = {10.1007/978-3-319-26850-7\_38},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/FaouziML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/FriedmanRT15,
author = {Roy Friedman and
Michel Raynal and
Fran{\c{c}}ois Ta{\"{\i}}ani},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Fisheye Consistency: Keeping Data in Synch in a Georeplicated World},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {246--262},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_17},
doi = {10.1007/978-3-319-26850-7\_17},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/FriedmanRT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GhaliQOA15,
author = {Btihal El Ghali and
Abderrahim El Qadi and
Mohamed Ouadou and
Driss Aboutajdine},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Context-Based Query Expansion Method for Short Queries Using Latent
Semantic Analyses},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {468--473},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_33},
doi = {10.1007/978-3-319-26850-7\_33},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GhaliQOA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GramoliGK15,
author = {Vincent Gramoli and
Rachid Guerraoui and
Anne{-}Marie Kermarrec},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Profiling Transactional Applications},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {278--292},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_19},
doi = {10.1007/978-3-319-26850-7\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GramoliGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GramoliJM15,
author = {Vincent Gramoli and
Guillaume Jourjon and
Olivier Mehani},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Disaster-Tolerant Storage with {SDN}},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {293--307},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_20},
doi = {10.1007/978-3-319-26850-7\_20},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GramoliJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HaasHKLPS15,
author = {Andreas Haas and
Thomas H{\"{u}}tter and
Christoph M. Kirsch and
Michael Lippautz and
Mario Preishuber and
Ana Sokolova},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Scal: {A} Benchmarking Suite for Concurrent Data Structures},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {1--14},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_1},
doi = {10.1007/978-3-319-26850-7\_1},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HaasHKLPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Hamza15,
author = {Jad Hamza},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {On the Complexity of Linearizability},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {308--321},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_21},
doi = {10.1007/978-3-319-26850-7\_21},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Hamza15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HichamiNABM15,
author = {Outman El Hichami and
Mohamed Naoum and
Mohammed Al Achhab and
Ismail Berrada and
Badr Eddine El Mohajir},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Towards a Formal Semantics and Analysis of {BPMN} Gateways},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {474--478},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_34},
doi = {10.1007/978-3-319-26850-7\_34},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HichamiNABM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HolikM15,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Roland Meyer},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Antichains for the Verification of Recursive Programs},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {322--336},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_22},
doi = {10.1007/978-3-319-26850-7\_22},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HolikM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/JinVBN15,
author = {Tao Jin and
Triet D. Vo{-}Huu and
Erik{-}Oliver Blass and
Guevara Noubir},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {BaPu: Efficient and Practical Bunching of Access Point Uplinks},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {337--353},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_23},
doi = {10.1007/978-3-319-26850-7\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/JinVBN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Johnen15,
author = {Colette Johnen},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Memory Efficient Self-stabilizing Distance-k Independent Dominating
Set Construction},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {354--366},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_24},
doi = {10.1007/978-3-319-26850-7\_24},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Johnen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/JubranT15,
author = {Oday Jubran and
Oliver E. Theel},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {A Self-stabilizing {PIF} Algorithm for Educated Unique Process Selection},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {485--489},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_36},
doi = {10.1007/978-3-319-26850-7\_36},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/JubranT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MabroukKSK15,
author = {Abdelfettah Mabrouk and
Abdellatif Kobbane and
Essaid Sabir and
Mohammed El Koutbi},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Coalitional Game Theory for Cooperative Transmission in {VANET:} Internet
Access via Fixed and Mobile Gateways},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {490--495},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_37},
doi = {10.1007/978-3-319-26850-7\_37},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MabroukKSK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MekouarEIB15,
author = {Soufiana Mekouar and
Sihame El{-}Hammani and
Khalil Ibrahimi and
El{-}Houssine Bouyakhf},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Optimizing Diffusion Time of the Content Through the Social Networks:
Stochastic Learning Game},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {367--381},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_25},
doi = {10.1007/978-3-319-26850-7\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MekouarEIB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OliveiraCL15,
author = {Daniela Oliveira and
Paulo Carvalho and
Solange Rito Lima},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Understanding Cloud Storage Services Usage: {A} Practical Case Study},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {501--506},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_39},
doi = {10.1007/978-3-319-26850-7\_39},
timestamp = {Wed, 03 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OliveiraCL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PerrinJM15,
author = {Matthieu Perrin and
Claude Jard and
Achour Most{\'{e}}faoui},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Tracking Causal Dependencies in Web Services Orchestrations Defined
in {ORC}},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {382--396},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_26},
doi = {10.1007/978-3-319-26850-7\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/PerrinJM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RazaHDKA15,
author = {Saima Raza and
Waleej Haider and
Nouman M. Durrani and
Nadeem Kafi Khan and
Mohammad Asad Abbasi},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Trust Based Energy Preserving Routing Protocol in Multi-hop {WSN}},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {518--523},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_42},
doi = {10.1007/978-3-319-26850-7\_42},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/RazaHDKA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SaberCEF15,
author = {Mohammed Saber and
Sara Chadli and
Mohamed Emharraf and
Ilhame El Farissi},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Modeling and Implementation Approach to Evaluate the Intrusion Detection
System},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {513--517},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_41},
doi = {10.1007/978-3-319-26850-7\_41},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/SaberCEF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SaoudFMB15,
author = {Zohra Saoud and
Noura Faci and
Zakaria Maamar and
Djamal Benslimane},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Web Services Trust Assessment Based on Probabilistic Databases},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {397--410},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_27},
doi = {10.1007/978-3-319-26850-7\_27},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SaoudFMB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/TiendrebeogoM15,
author = {Telesphore Tiendrebeogo and
Damien Magoni},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Virtual and Consistent Hyperbolic Tree: {A} New Structure for Distributed
Database Management},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {411--425},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_28},
doi = {10.1007/978-3-319-26850-7\_28},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/TiendrebeogoM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Vo-HuuBN15,
author = {Triet D. Vo{-}Huu and
Erik{-}Oliver Blass and
Guevara Noubir},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {EPiC: Efficient Privacy-Preserving Counting for MapReduce},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {426--443},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_29},
doi = {10.1007/978-3-319-26850-7\_29},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Vo-HuuBN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/WangG15,
author = {Cheng Wang and
Rachid Guerraoui},
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {A Thrifty Universal Construction},
booktitle = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
pages = {444--455},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7\_30},
doi = {10.1007/978-3-319-26850-7\_30},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/WangG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2015,
editor = {Ahmed Bouajjani and
Hugues Fauconnier},
title = {Networked Systems - Third International Conference, {NETYS} 2015,
Agadir, Morocco, May 13-15, 2015, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9466},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26850-7},
doi = {10.1007/978-3-319-26850-7},
isbn = {978-3-319-26849-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AnielloBLZB14,
author = {Leonardo Aniello and
Silvia Bonomi and
Federico Lombardi and
Alessandro Zelli and
Roberto Baldoni},
editor = {Guevara Noubir and
Michel Raynal},
title = {An Architecture for Automatic Scaling of Replicated Services},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {122--137},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_9},
doi = {10.1007/978-3-319-09581-3\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AnielloBLZB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AssadEFFOA14,
author = {Noureddine Assad and
Brahim Elbhiri and
Sanaa El Fkihi and
Moulay Ahmed Faqihi and
Mohamed Ouadou and
Driss Aboutajdine},
editor = {Guevara Noubir and
Michel Raynal},
title = {Short: Intrusion Detection Quality Analysis for Homogeneous Wireless
Sensor Networks},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {324--329},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_24},
doi = {10.1007/978-3-319-09581-3\_24},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AssadEFFOA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AvniDFK14,
author = {Hillel Avni and
Shlomi Dolev and
Panagiota Fatourou and
Eleftherios Kosmas},
editor = {Guevara Noubir and
Michel Raynal},
title = {Abort Free SemanticTM by Dependency Aware Scheduling of Transactional
Instructions},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {25--40},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_3},
doi = {10.1007/978-3-319-09581-3\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/AvniDFK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BenamraneMB14,
author = {Fouad Benamrane and
Mouad Ben Mamoun and
R{\'{e}}douane Benaini},
editor = {Guevara Noubir and
Michel Raynal},
title = {Short: {A} Case Study of the Performance of an OpenFlow Controller},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {330--334},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_25},
doi = {10.1007/978-3-319-09581-3\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BenamraneMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BlanchardDBD14,
author = {Peva Blanchard and
Shlomi Dolev and
Joffroy Beauquier and
Sylvie Dela{\"{e}}t},
editor = {Guevara Noubir and
Michel Raynal},
title = {Practically Self-stabilizing Paxos Replicated State-Machine},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {99--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_8},
doi = {10.1007/978-3-319-09581-3\_8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BlanchardDBD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BouhouteBE14,
author = {Afaf Bouhoute and
Ismail Berrada and
Mohamed El{-}Kamili},
editor = {Guevara Noubir and
Michel Raynal},
title = {A Formal Driving Behavior Model for Intelligent Transportation Systems},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {298--312},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_21},
doi = {10.1007/978-3-319-09581-3\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BouhouteBE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BoushabaBBZO14,
author = {Abdelali Boushaba and
Adil Benabbou and
Rachid Benabbou and
Azeddine Zahi and
Mohammed Oumsis},
editor = {Guevara Noubir and
Michel Raynal},
title = {Intelligent Multipath Optimized Link State Routing Protocol for QoS
and QoE Enhancement of Video Transmission in MANETs},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {230--245},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_16},
doi = {10.1007/978-3-319-09581-3\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BoushabaBBZO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BoutetFGJK14,
author = {Antoine Boutet and
Davide Frey and
Rachid Guerraoui and
Arnaud J{\'{e}}gou and
Anne{-}Marie Kermarrec},
editor = {Guevara Noubir and
Michel Raynal},
title = {Privacy-Preserving Distributed Collaborative Filtering},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {169--184},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_12},
doi = {10.1007/978-3-319-09581-3\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BoutetFGJK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Delporte-GalletFT14,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Hung Tran{-}The},
editor = {Guevara Noubir and
Michel Raynal},
title = {Leader Election in Rings with Homonyms},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {9--24},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_2},
doi = {10.1007/978-3-319-09581-3\_2},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Delporte-GalletFT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ElmallahG14,
author = {Ehab S. Elmallah and
Mohamed G. Gouda},
editor = {Guevara Noubir and
Michel Raynal},
title = {Hardness of Firewall Analysis},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {153--168},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_11},
doi = {10.1007/978-3-319-09581-3\_11},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ElmallahG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GabliJM14,
author = {Mohammed Gabli and
El Miloud Ja{\^{a}}ra and
El Bekkaye Mermri},
editor = {Guevara Noubir and
Michel Raynal},
title = {{UMTS} Base-Station Location Problem for Uplink Direction Using Genetic
Algorithms and Fuzzy Logic},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {257--269},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_18},
doi = {10.1007/978-3-319-09581-3\_18},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GabliJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GhaziAO14,
author = {Asmae El Ghazi and
Bela{\"{\i}}d Ahiod and
Aziz Ouaarab},
editor = {Guevara Noubir and
Michel Raynal},
title = {Improved Ant Colony Optimization Routing Protocol for Wireless Sensor
Networks},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {246--256},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_17},
doi = {10.1007/978-3-319-09581-3\_17},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GhaziAO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Gouda14,
author = {Mohamed G. Gouda},
editor = {Guevara Noubir and
Michel Raynal},
title = {Keynote Talk: Communication Without Repudiation: The Unanswered Question},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {1--8},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_1},
doi = {10.1007/978-3-319-09581-3\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Gouda14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GuerraouiL14,
author = {Rachid Guerraoui and
Mihai Letia},
editor = {Guevara Noubir and
Michel Raynal},
title = {Disjoint-Access Parallelism Does Not Entail Scalability},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {41--56},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_4},
doi = {10.1007/978-3-319-09581-3\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GuerraouiL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GuerraouiR14,
author = {Rachid Guerraoui and
Eric Ruppert},
editor = {Guevara Noubir and
Michel Raynal},
title = {Linearizability Is Not Always a Safety Property},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {57--69},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_5},
doi = {10.1007/978-3-319-09581-3\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GuerraouiR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HafaiedhBJO14,
author = {Khaled Ben Hafaiedh and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Guevara Noubir and
Michel Raynal},
title = {A Scalable {P2P} {RIA} Crawling System with Partial Knowledge},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {185--199},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_13},
doi = {10.1007/978-3-319-09581-3\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HafaiedhBJO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/HichamiABM14,
author = {Outman El Hichami and
Mohammed Al Achhab and
Ismail Berrada and
Badr Eddine El Mohajir},
editor = {Guevara Noubir and
Michel Raynal},
title = {Short: Graphical Specification and Automatic Verification of Business
Process},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {341--346},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_27},
doi = {10.1007/978-3-319-09581-3\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/HichamiABM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/KhelghatdoustG14,
author = {Mansour Khelghatdoust and
Sarunas Girdzijauskas},
editor = {Guevara Noubir and
Michel Raynal},
title = {Short: Gossip-Based Sampling in Social Overlays},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {335--340},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_26},
doi = {10.1007/978-3-319-09581-3\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/KhelghatdoustG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MdhaffarHJF14,
author = {Afef Mdhaffar and
Riadh Ben Halima and
Mohamed Jmaiel and
Bernd Freisleben},
editor = {Guevara Noubir and
Michel Raynal},
title = {{CEP4CMA:} Multi-layer Cloud Performance Monitoring and Analysis via
Complex Event Processing},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {138--152},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_10},
doi = {10.1007/978-3-319-09581-3\_10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MdhaffarHJF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MirtaheriBJO14,
author = {Seyed M. Mirtaheri and
Gregor von Bochmann and
Guy{-}Vincent Jourdan and
Iosif{-}Viorel Onut},
editor = {Guevara Noubir and
Michel Raynal},
title = {GDist-RIA Crawler: {A} Greedy Distributed Crawler for Rich Internet
Applications},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {200--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_14},
doi = {10.1007/978-3-319-09581-3\_14},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MirtaheriBJO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MissaouiF14,
author = {Sondess Missaoui and
Rim Faiz},
editor = {Guevara Noubir and
Michel Raynal},
title = {A New Preference Based Model for Relevant Dimension Identification
in Contextual Mobile Search},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {215--229},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_15},
doi = {10.1007/978-3-319-09581-3\_15},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MissaouiF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RiadiMG14,
author = {Salek Riadi and
Abdelilah Maach and
Driss El Ghanami},
editor = {Guevara Noubir and
Michel Raynal},
title = {Loss Minimization and Delay Differentiation for Optical Burst Switching
Over Star Networks},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {282--297},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_20},
doi = {10.1007/978-3-319-09581-3\_20},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/RiadiMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/RouijelMCA14,
author = {Awatif Rouijel and
Khalid Minaoui and
Pierre Comon and
Driss Aboutajdine},
editor = {Guevara Noubir and
Michel Raynal},
title = {Short: Blind Separation of the Multiarray Multisensor Systems Using
the {CP} Decomposition},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {313--318},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_22},
doi = {10.1007/978-3-319-09581-3\_22},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/RouijelMCA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SadqiAA14,
author = {Yassine Sadqi and
Ahmed Asimi and
Younes Asimi},
editor = {Guevara Noubir and
Michel Raynal},
title = {Short: {A} Lightweight and Secure Session Management Protocol},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {319--323},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_23},
doi = {10.1007/978-3-319-09581-3\_23},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SadqiAA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SantosACF14,
author = {Agust{\'{\i}}n Santos and
Antonio Fern{\'{a}}ndez Anta and
Jos{\'{e}} A. Cuesta and
Luis L{\'{o}}pez Fern{\'{a}}ndez},
editor = {Guevara Noubir and
Michel Raynal},
title = {Fair Linking Mechanisms for Resource Allocation with Correlated Player
Types},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {70--83},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_6},
doi = {10.1007/978-3-319-09581-3\_6},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SantosACF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/TouilF14,
author = {Hicham Touil and
Youssef Fakhri},
editor = {Guevara Noubir and
Michel Raynal},
title = {{FL-EDCA:} {A} QoS-Aware and Energy-Efficient Mechanism for {IEEE}
802.11e {EDCA} Standard},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {270--281},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_19},
doi = {10.1007/978-3-319-09581-3\_19},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/TouilF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/TsengV14,
author = {Lewis Tseng and
Nitin H. Vaidya},
editor = {Guevara Noubir and
Michel Raynal},
title = {Iterative Approximate Consensus in the Presence of Byzantine Link
Failures},
booktitle = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
pages = {84--98},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3\_7},
doi = {10.1007/978-3-319-09581-3\_7},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/TsengV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2014,
editor = {Guevara Noubir and
Michel Raynal},
title = {Networked Systems - Second International Conference, {NETYS} 2014,
Marrakech, Morocco, May 15-17, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8593},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09581-3},
doi = {10.1007/978-3-319-09581-3},
isbn = {978-3-319-09580-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/AbidB13,
author = {Mohamed Riduan Abid and
Saad Biaz},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Airtime Ping-Pong Effect in {IEEE} 802.11s Wireless Mesh Networks},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {105--119},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_8},
doi = {10.1007/978-3-642-40148-0\_8},
timestamp = {Wed, 07 Dec 2022 23:13:48 +0100},
biburl = {https://dblp.org/rec/conf/netys/AbidB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ArevaloJT13,
author = {Sergio Ar{\'{e}}valo and
Ernesto Jim{\'{e}}nez and
Jian Tang},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Set Agreement and the Loneliness Failure Detector in Crash-Recovery
Systems},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {13--27},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_2},
doi = {10.1007/978-3-642-40148-0\_2},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ArevaloJT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BakkaliBM13,
author = {Sara Bakkali and
Hafssa Benaboud and
Mouad Ben Mamoun},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {On Ensuring End-to-End Quality of Service in Inter-Domain Environment},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {326--330},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_33},
doi = {10.1007/978-3-642-40148-0\_33},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BakkaliBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BenkaouzE13,
author = {Yahya Benkaouz and
Mohammed Erradi},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {A Distributed Protocol for Privacy Preserving Aggregation},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {221--232},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_16},
doi = {10.1007/978-3-642-40148-0\_16},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BenkaouzE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BenlcouiriBIA13,
author = {Younes Benlcouiri and
Mohammed Benabdellah and
Moulay Chrif Ismaili and
Abdelmalek Azizi},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Video Encryption Based on the Permutation of the ({\(\mathbb{Z}\)}/p{\(\mathbb{Z}\)})
Fields},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {135--143},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_10},
doi = {10.1007/978-3-642-40148-0\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BenlcouiriBIA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BennisZA13,
author = {Ismail Bennis and
Ouadoudi Zytoune and
Driss Aboutajdine},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Enhanced AntNet Protocol for Wireless Multimedia Sensor Networks},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {316--320},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_31},
doi = {10.1007/978-3-642-40148-0\_31},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/BennisZA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BermbachK13,
author = {David Bermbach and
J{\"{o}}rn Kuhlenkamp},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Consistency in Distributed Storage Systems - An Overview of Models,
Metrics and Measurement Approaches},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {175--189},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_13},
doi = {10.1007/978-3-642-40148-0\_13},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BermbachK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BochmannA13,
author = {Gregor von Bochmann and
Shah Asaduzzaman},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Distributed B-Tree with Weak Consistency},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {159--174},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_12},
doi = {10.1007/978-3-642-40148-0\_12},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BochmannA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BoutetFJKR13,
author = {Antoine Boutet and
Davide Frey and
Arnaud J{\'{e}}gou and
Anne{-}Marie Kermarrec and
Heverson B. Ribeiro},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {FreeRec: An Anonymous and Distributed Personalization Architecture},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {58--73},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_5},
doi = {10.1007/978-3-642-40148-0\_5},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BoutetFJKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BoutetKK13,
author = {Antoine Boutet and
Konstantinos Kloudas and
Anne{-}Marie Kermarrec},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {FStream: {A} Decentralized and Social Music Streamer},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {253--257},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_19},
doi = {10.1007/978-3-642-40148-0\_19},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/BoutetKK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/CastanedaR13,
author = {Armando Casta{\~{n}}eda and
Michel Raynal},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {On the Consensus Number of Non-adaptive Perfect Renaming},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {1--12},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_1},
doi = {10.1007/978-3-642-40148-0\_1},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/CastanedaR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ChlebusCK13,
author = {Bogdan S. Chlebus and
Vicent Cholvi and
Dariusz R. Kowalski},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Stability of Adversarial Routing with Feedback},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {206--220},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_15},
doi = {10.1007/978-3-642-40148-0\_15},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ChlebusCK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DadiD13,
author = {Elwardani Dadi and
El Mostafa Daoudi},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Large Scale 3D Shape Retrieval Based on Multi-core Architectures},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {295--299},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_27},
doi = {10.1007/978-3-642-40148-0\_27},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/DadiD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/Delporte-GalletFGR13,
author = {Carole Delporte{-}Gallet and
Hugues Fauconnier and
Eli Gafni and
Sergio Rajsbaum},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Black Art: Obstruction-Free k-set Agreement with {\(\vert\)}MWMR registers{\(\vert\)}
{\textless} {\(\vert\)}proccesses{\(\vert\)}},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {28--41},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_3},
doi = {10.1007/978-3-642-40148-0\_3},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/Delporte-GalletFGR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DidonaFHRS13,
author = {Diego Didona and
Pascal Felber and
Derin Harmanci and
Paolo Romano and
J{\"{o}}rg Schenker},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Identifying the Optimal Level of Parallelism in Transactional Memory
Applications},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {233--247},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_17},
doi = {10.1007/978-3-642-40148-0\_17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DidonaFHRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/DolevLS13,
author = {Shlomi Dolev and
Omri Liba and
Elad Michael Schiller},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Self-stabilizing Byzantine Resilient Topology Discovery and Message
Delivery - (Extended Abstract)},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {42--57},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_4},
doi = {10.1007/978-3-642-40148-0\_4},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/DolevLS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/EchchaachouiCHE13,
author = {Adel Echchaachoui and
Ali Choukri and
Ahmed Habbani and
Mohammed Elkoutbi},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Comparative Performance Analysis of {AODV} and {AOMDV} to Transmit
{H.264} Traffic},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {289--294},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_26},
doi = {10.1007/978-3-642-40148-0\_26},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/EchchaachouiCHE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ErritaliOB13,
author = {Mohammed Erritali and
Bouabid El Ouahidi and
Daniel Bourget},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Secured Geographic Routing Protocol for Vehicular Ad Hoc Networks
(VANETs)},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {311--315},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_30},
doi = {10.1007/978-3-642-40148-0\_30},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ErritaliOB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/EzzouakAA13,
author = {Siham Ezzouak and
Mohammed El Amrani and
Abdelmalek Azizi},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Improving Miller's Algorithm Using the {NAF} and the Window {NAF}},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {279--283},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_24},
doi = {10.1007/978-3-642-40148-0\_24},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/EzzouakAA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/FehervariSE13,
author = {Istv{\'{a}}n Feh{\'{e}}rv{\'{a}}ri and
Anita Sobe and
Wilfried Elmenreich},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Biologically Sound Neural Networks for Embedded Systems Using OpenCL},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {248--252},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_18},
doi = {10.1007/978-3-642-40148-0\_18},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/FehervariSE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/GabliJM13,
author = {Mohammed Gabli and
El Miloud Ja{\^{a}}ra and
El Bekkaye Mermri},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Planning {UMTS} Base Station Location Using Genetic Algorithm with
a Dynamic Trade-Off Parameter},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {120--134},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_9},
doi = {10.1007/978-3-642-40148-0\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/GabliJM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LahbyCA13,
author = {Mohamed Lahby and
Leghris Cherkaoui and
Abdellah Adib},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {New Validation Approach Based on Group {MADM} for Network Selection},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {306--310},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_29},
doi = {10.1007/978-3-642-40148-0\_29},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LahbyCA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/LoukilKJ13,
author = {Sihem Loukil and
Slim Kallel and
Mohamed Jmaiel},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Runtime Adaptation of Component Based Systems},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {284--288},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_25},
doi = {10.1007/978-3-642-40148-0\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/LoukilKJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ManouareGiI13,
author = {Ahmed Zakaria Manouare and
Abdelilah Ghammaz and
Abdelaziz El Idrissi and
Saida Ibnyaich},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Modeling of Human Head Interaction with Planar Antenna for Multi Standard
Cellular Phones},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {263--267},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_21},
doi = {10.1007/978-3-642-40148-0\_21},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/ManouareGiI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MerrerSS13,
author = {Erwan Le Merrer and
Nicolas Le Scouarnec and
Gilles Straub},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Bitbox: Eventually Consistent File Sharing},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {274--278},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_23},
doi = {10.1007/978-3-642-40148-0\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MerrerSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/MillanCLA13,
author = {V{\'{\i}}ctor L{\'{o}}pez Mill{\'{a}}n and
Vicent Cholvi and
Luis L{\'{o}}pez and
Antonio Fern{\'{a}}ndez Anta},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Improving Resource Location with Locally Precomputed Partial Random
Walks},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {144--158},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_11},
doi = {10.1007/978-3-642-40148-0\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/MillanCLA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/NahraouiALM13,
author = {Youssef Nahraoui and
Elhoucein Aassif and
Rachid Latif and
G{\'{e}}rard Maze},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Modeling the Cut-off Frequency of Acoustic Signal with a Fuzzy Logic
System},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {268--273},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_22},
doi = {10.1007/978-3-642-40148-0\_22},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/NahraouiALM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/OuadrhiriEEO13,
author = {Ahmed El Ouadrhiri and
Mohamed El{-}Kamili and
Mohammed Raiss El{-}Fenni and
Lahcen Omari},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {New Forwarding Strategy for {PROPHET} Routing in Delay Tolerant Networks},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {300--305},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_28},
doi = {10.1007/978-3-642-40148-0\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/OuadrhiriEEO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/PignoletST13,
author = {Yvonne{-}Anne Pignolet and
Stefan Schmid and
Gilles Tr{\'{e}}dan},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Request Complexity of VNet Topology Extraction: Dictionary-Based Attacks},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {190--205},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_14},
doi = {10.1007/978-3-642-40148-0\_14},
timestamp = {Wed, 17 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/PignoletST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/SabriK13,
author = {Yassine Sabri and
Najib El Kamoun},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Forest Fire Detection and Localization with Wireless Sensor Networks},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {321--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_32},
doi = {10.1007/978-3-642-40148-0\_32},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/SabriK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/ShokerB13,
author = {Ali Shoker and
Jean Paul Bahsoun},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {{BFT} Selection},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {258--262},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_20},
doi = {10.1007/978-3-642-40148-0\_20},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/ShokerB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/UcanR13,
author = {Ercan Ucan and
Timothy Roscoe},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Establishing Efficient Routes between Personal Clouds},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {74--88},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_6},
doi = {10.1007/978-3-642-40148-0\_6},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/UcanR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/VessazGMH13,
author = {Fran{\c{c}}ois Vessaz and
Beno{\^{\i}}t Garbinato and
Arielle Moro and
Adrian Holzer},
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Developing, Deploying and Evaluating Protocols with ManetLab},
booktitle = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
pages = {89--104},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0\_7},
doi = {10.1007/978-3-642-40148-0\_7},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/netys/VessazGMH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2013,
editor = {Vincent Gramoli and
Rachid Guerraoui},
title = {Networked Systems - First International Conference, {NETYS} 2013,
Marrakech, Morocco, May 2-4, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7853},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40148-0},
doi = {10.1007/978-3-642-40148-0},
isbn = {978-3-642-40147-3},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/netys/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-19 09:44 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
