Accéder directement au contenu Accéder directement à la navigation

hal-02303242v1  Article dans une revue
Ahcène BounceurBezoui MadaniMohammad HammoudehLoïc LagadecReinhardt Euler. Finding the polygon hull of a network without conditions on the starting vertex
Transactions on emerging telecommunications technologies, Wiley-Blackwell, In press, pp.e3696. ⟨10.1002/ett.3696⟩
hal-02303250v1  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariReinhardt EulerLoïc Lagadec et al.  Temperature-based models of batteries for the simulation of Wireless Sensor Networks
3rd International Conferenceon on Future Networks and Distributed Systems, Jul 2019, Paris, France. pp.1-6, ⟨10.1145/3341325.3342013⟩
hal-02501870v1  Chapitre d'ouvrage
Ahcène BounceurBezoui MadaniLoïc LagadecReinhardt EulerAbdelkader Laouid et al.  DoTRo: A New Dominating Tree Routing Algorithm for Efficient and Fault-Tolerant Leader Election in WSNs and IoT Networks
Renault É., Boumerdassi S., Bouzefrane S. (eds). Mobile, Secure, and Programmable Networking. MSPN 2018, 11005, Springer, Cham, pp.42-53, 2019, Lecture Notes in Computer Science, 978-3-030-03100-8. ⟨10.1007/978-3-030-03101-5_5⟩
hal-02303247v2  Communication dans un congrès
Nabil KadjouhAhcène BounceurAbdelkamel TariLoïc LagadecReinhardt Euler et al.  A New Leader Election Algorithm based on the WBS Algorithm Dedicated to Smart-cities
3rd International Conference on Future Networks and Distributed Systems (ICFNDS '19), Jul 2019, Paris, France. pp.1-5, ⟨10.1145/3341325.3342014⟩
hal-02434620v1  Communication dans un congrès
Luka Le RouxCiprian Teodorov. Partially Bounded Context-Aware Verification
17th International Conference on Software Engineering and Formal Methods, SEFM 2019, Sep 2019, Oslo, Norway. pp.532-548, ⟨10.1007/978-3-030-30446-1_28⟩
hal-02433749v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach
22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, 2019, Munich, Germany. pp.161-171, ⟨10.1109/MODELS.2019.000-5⟩
hal-02515160v1  Communication dans un congrès
Ousmane DialloPhilippe DhaussyCiprian Teodorov. Data Management Mechanisms for Internet of Things: A position paper
CSCI 2019, The American Council on Science and Education, Dec 2019, Las Vegas, United States. pp.61, ⟨10.1109/CSCI49370.2019⟩
hal-02149584v1  Communication dans un congrès
Fahad Rafique GolraJoël ChampeauCiprian Teodorov. Early Validation Framework for Critical and Complex Process-Centric Systems
20th International Conference (BPMDS 2019) and 24th International Conference (EMMSAD 2019), Jun 2019, Rome, Italy. pp.35-50, ⟨10.1007/978-3-030-20618-5_3⟩
hal-02375996v1  Communication dans un congrès
Valentin BesnardCiprian TeodorovFrédéric JouaultMatthias BrunPhilippe Dhaussy. A Model Checkable UML Soccer Player
3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany