Search dblp for Publications

• > Home > Search

@article{DBLP:journals/ijbdcn/RiahlaAT21,
  author       = {Mohamed Amine Riahla and
                  Ryma Abassi and
                  Karim Tamine},
  title        = {Towards a Formal Validation of a Hybrid Multi-Agent Routing Protocol
                  for Ad hoc Networks},
  journal      = {Int. J. Bus. Data Commun. Netw.},
  volume       = {17},
  number       = {2},
  pages        = {1--15},
  year         = {2021},
  url          = {https://doi.org/10.4018/IJBDCN.286703},
  doi          = {10.4018/IJBDCN.286703},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbdcn/RiahlaAT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/EspensenKK08,
  author       = {Kristian L. Espensen and
                  Mads K. Kjeldsen and
                  Lars Michael Kristensen},
  editor       = {Kees M. van Hee and
                  R{\"{u}}diger Valk},
  title        = {Modelling and Initial Validation of the {DYMO} Routing Protocol for
                  Mobile Ad-Hoc Networks},
  booktitle    = {Applications and Theory of Petri Nets, 29th International Conference,
                  {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5062},
  pages        = {152--170},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68746-7\_13},
  doi          = {10.1007/978-3-540-68746-7\_13},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/EspensenKK08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/simulation/LiuYNGNKP05,
  author       = {Jason Liu and
                  Yougu Yuan and
                  David M. Nicol and
                  Robert S. Gray and
                  Calvin C. Newport and
                  David Kotz and
                  Luiz Felipe Perrone},
  title        = {Empirical Validation of Wireless Models in Simulations of Ad Hoc Routing
                  Protocols},
  journal      = {Simul.},
  volume       = {81},
  number       = {4},
  pages        = {307--323},
  year         = {2005},
  url          = {https://doi.org/10.1177/0037549705055017},
  doi          = {10.1177/0037549705055017},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simulation/LiuYNGNKP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pads/LiuYNGNKP04,
  author       = {Jason Liu and
                  Yougu Yuan and
                  David M. Nicol and
                  Robert S. Gray and
                  Calvin C. Newport and
                  David Kotz and
                  L. Felipe Perrone},
  editor       = {Johannes L{\"{u}}thi and
                  Axel Lehmann and
                  Ernest H. Page and
                  Thom McLean},
  title        = {Simulation Validation Using Direct Execution of Wireless Ad-Hoc Routing
                  Protocols},
  booktitle    = {18th Workshop on Parallel and Distributed Simulation, {PADS} 2004,
                  Kufstein, Austria, May 16-19, 2004},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/PADS.2004.1301280},
  doi          = {10.1109/PADS.2004.1301280},
  timestamp    = {Mon, 29 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/pads/LiuYNGNKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}