807 citations
- Université de RennesFR75 papers
- Centre National de la Recherche ScientifiqueFR38 papers
- Université Paris-SaclayFR26 papers
- Université Paris CitéFR24 papers
- Université de MontréalCA23 papers
- Observatoire de la Côte d’AzurFR22 papers
- Polytechnique MontréalCA22 papers
- Sorbonne UniversitéFR22 papers
- University of BirminghamGB22 papers
- University of CambridgeGB22 papers
- University of MichiganUS22 papers
- University of PisaIT22 papers
Showing 2014Show all
2 papers · 1 filter
cs.NI2014★ 5 cited
Implementation of an adaptive energy-efficient MAC protocol in OMNeT++/MiXiM
Van-Thiep Nguyen, Matthieu Gautier, Olivier Berder
In recent years, many MAC protocols for wireless sensor networks have been proposed and most of them are evaluated using Matlab simulator and/or network simulators (OMNeT++, NS2, e…
cs.LO2014★ 2 cited
Automata Techniques for Epistemic Protocol Synthesis
Guillaume Aucher, Bastien Maubert, Sophie Pinchinat
In this work we aim at applying automata techniques to problems studied in Dynamic Epistemic Logic, such as epistemic planning. To do so, we first remark that repeatedly executing…