Isabelle Augé-Blum

Dominique Barthel, Thomas Watteyne, Mischa Dohler, 2009, 2009 5th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities and Workshops.

1-D Coordinate Based on Local Information for MAC and Routing Issues in WSNs pdf

Alexandre Mouradian, Isabelle Augé-Blum, 2012, ADHOC-NOW.

Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up

Alexandre Mouradian, Isabelle Augé-Blum, I. Augé-Blum, 2014, 2014 26th Euromicro Conference on Real-Time Systems.

On using Virtual Coordinates for Routing in the Context of Wireless Sensor Networks

David Simplot-Ryl, Thomas Watteyne, Mischa Dohler, 2007, 2007 IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications.

Exploiting long-range opportunistic links to improve delivery, delay and energy consumption in wireless sensor networks

Fabrice Valois, Dominique Barthel, Isabelle Augé-Blum, 2012, 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012).

Validating temporal properties of a deployed application with an MDA approach

Jean-Philippe Babau, Isabelle Augé-Blum, Pierre Combes, 2005 .

SARI-MAC: The Self Adapting Receiver Initiated MAC protocol for Wireless Sensor Networks

Fabrice Valois, Dominique Barthel, Isabelle Augé-Blum, 2012, 2012 IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob).

Abstractions de modèles en automates temporisés pour la validation temporelle d'architectures embarquées

Karen Godary, Isabelle Augé-Blum, 2005 .

Cascading Tournament MAC: Low power, high capacity medium sharing for wireless sensor networks

Fabrice Valois, Dominique Barthel, Isabelle Augé-Blum, 2012, 2012 IEEE Wireless Communications and Networking Conference (WCNC).

Modeling local broadcast behavior of wireless sensor networks with timed automata for model checking of WCTT

Alexandre Mouradian, Isabelle Augé-Blum, I. Augé-Blum, 2012, WCTT '12.

RTXP: A localized real-time MAC-routing protocol for wireless sensor networks

Fabrice Valois, Alexandre Mouradian, Isabelle Augé-Blum, 2012, Comput. Networks.

Preventing alarm storms in WSNs anomaly detection applications

Alexandre Mouradian, Isabelle Augé-Blum, Xuan Linh Nguyen, 2014, 2014 IEEE 25th Annual International Symposium on Personal, Indoor, and Mobile Radio Communication (PIMRC).

SDL and Time Petri Nets link for TTA temporal validation

Anne Mignotte, Karen Godary, Isabelle Augé-Blum, 2003 .

A low-energy adaptive cross-layer communication protocol for avoiding 1-hop neighborhood knowledge

Dominique Barthel, Abdelmalik Bachir, Thomas Watteyne, 2006 .

Communications method, sending and receiving stations and associated computer programs.

Abdelmalik Bachir, Thomas Watteyne, Isabelle Augé-Blum, 2007 .

On the Reliability of Wireless Sensor Networks Communications

Alexandre Mouradian, Isabelle Augé-Blum, 2013, ADHOC-NOW.

New Results - Protocols design

Fabrice Theoleyre, Fabrice Valois, Eric Fleury, 2005 .

Scientific Foundations - Protocols design

Fabrice Theoleyre, Fabrice Valois, Elyes Ben Hamida, 2007 .

AnyBody: a self-organization protocol for body area networks

Dominique Barthel, Thomas Watteyne, Mischa Dohler, 2007, BODYNETS.

Beyond localization: communicating using virtual coordinates

Dominique Barthel, Thomas Watteyne, Mischa Dohler, 2009 .

Geographic Forwarding in Wireless Sensor Networks with Loose Position-Awareness

Dominique Barthel, Thomas Watteyne, Mischa Dohler, 2007, 2007 IEEE 18th International Symposium on Personal, Indoor and Mobile Radio Communications.

Proposition of a hard real-time MAC protocol for wireless sensor networks

Thomas Watteyne, Isabelle Augé-Blum, T. Watteyne, 2005, 13th IEEE International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

La problématique de l'initialisation du protocole CSMA/CA ARINC 629 CP : modélisation et validation.

Guy Juanole, Laurent Gallon, Isabelle Augé-Blum, 1998 .

Temporal Bounds for TTA: Validation

Anne Mignotte, Karen Godary, Isabelle Augé-Blum, 2004, DIPES.

Wireless Access Networks for Smart Cities

Hervé Rivano, Fabrice Valois, Walid Bechkit, 2015 .

SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive

Anne Mignotte, Karen Godary, Isabelle Augé-Blum, 2004, FDL.

Implementation of Gradient Routing in Wireless Sensor Networks

Dominique Barthel, Thomas Watteyne, Kristofer S. J. Pister, 2009, GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference.

Formal QoS Validation Approach on a Real-Time MAC Protocol for Wireless Sensor Networks

Thomas Watteyne, Isabelle Augé-Blum, Stéphane Ubéda, 2005 .

Formal verification of real-time wireless sensor networks protocols with realistic radio links

Alexandre Mouradian, Isabelle Augé-Blum, 2013, RTNS '13.

Architecture de réseaux de services

Fei Yang, Fabrice Theoleyre, Fabrice Valois, 2006 .

Proposition et validation formelle d'un protocole MAC temps réel pour réseaux de capteurs linéaires sans fils

Thomas Watteyne, Isabelle Augé-Blum, Laboratoire Citi, 2005 .

1-hopMAC: An Energy-Efficient MAC Protocol for Avoiding 1 -hop Neighborhood Knowledge

Dominique Barthel, Abdelmalik Bachir, Thomas Watteyne, 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

Capillary networks: a novel networking paradigm for urban environments

Hervé Rivano, Fabrice Valois, Khaled Boussetta, 2012, UrbaNe '12.