Search dblp for Publications

export results for "toc:db/conf/netys/netys2016.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.