SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. - Karen Godary-Dejean; Isabelle Augé-Blum; Anne Mignotte (FDL, 2004)

Temporal Bounds for TTA: Validation. - Karen Godary-Dejean; Isabelle Augé-Blum; Anne Mignotte (DIPES, 2004)

Proposition of a Hard Real-Time MAC Protocol for Wireless Sensor Networks. - Thomas Watteyne; Isabelle Augé-Blum (MASCOTS, 2005)

Dual-mode real-time MAC protocol for wireless sensor networks: a validation/simulation approach. - Thomas Watteyne; Isabelle Augé-Blum; Stéphane Ubéda (InterSense, 2006)

1-hopMAC: An Energy-Efficient MAC Protocol for Avoiding 1 -hop Neighborhood Knowledge. - Thomas Watteyne; Abdelmalik Bachir; Mischa Dohler; Dominique Barthel; Isabelle Augé-Blum (SECON, 2006)

AnyBody: a self-organization protocol for body area networks. - Thomas Watteyne; Isabelle Augé-Blum; Mischa Dohler; Dominique Barthel (BODYNETS, 2007)

Reducing Collision Probability in Wireless Sensor Network Backoff-Based Election Mechanisms. - Thomas Watteyne; Isabelle Augé-Blum; Mischa Dohler; Dominique Barthel (GLOBECOM, 2007)

Geographic Forwarding in Wireless Sensor Networks with Loose Position-Awareness. - Thomas Watteyne; Isabelle Augé-Blum; Mischa Dohler; Dominique Barthel (PIMRC, 2007)

On using Virtual Coordinates for Routing in the Context of Wireless Sensor Networks. - Thomas Watteyne; David Simplot-Ryl; Isabelle Augé-Blum; Mischa Dohler (PIMRC, 2007)

WiFly: experimenting with Wireless Sensor Networks and Virtual coordinates - Thomas Watteyne; Dominique Barthel; Mischa Dohler; Isabelle Augé-Blum (CoRR, 2008)

Implementation of Gradient Routing in Wireless Sensor Networks. - Thomas Watteyne; Kris Pister; Dominique Barthel; Mischa Dohler; Isabelle Augé-Blum (GLOBECOM, 2009)

Constructing virtual coordinate for routing in wireless sensor networks under unreliable links. - Fei Yang; Isabelle Augé-Blum (IWCMC, 2009)

On maximizing the delivery ratio of ultra low duty-cycle WSNs under real-time constraints. - Fei Yang; Isabelle Augé-Blum (MASCOTS, 2009)

Using virtual coordinates for wireless sensor networks: Proof-of-concept experimentation. - Thomas Watteyne; Dominique Barthel; Mischa Dohler; Isabelle Augé-Blum (TRIDENTCOM, 2009)

Centroid virtual coordinates - A novel near-shortest path routing paradigm. - Thomas Watteyne; Isabelle Augé-Blum; Mischa Dohler; Stéphane Ubéda; Dominique Barthel (Comput. Networks, 2009)

Delivery ratio-maximized wakeup scheduling for ultra-low duty-cycled WSNs under real-time constraints. - Fei Yang; Isabelle Augé-Blum (Comput. Networks, 2011)

1-D Coordinate Based on Local Information for MAC and Routing Issues in WSNs. - Alexandre Mouradian; Isabelle Augé-Blum (ADHOC-NOW, 2012)

Capillary networks: a novel networking paradigm for urban environments. - Isabelle Augé-Blum; Khaled Boussetta; Hervé Rivano; Razvan Stanica; Fabrice Valois (UrBaNe@CoNEXT, 2012)

Exploiting long-range opportunistic links to improve delivery, delay and energy consumption in wireless sensor networks. - Quentin Lampin; Dominique Barthel; Isabelle Augé-Blum; Fabrice Valois (MASS, 2012)

Cascading Tournament MAC: Low power, high capacity medium sharing for wireless sensor networks. - Quentin Lampin; Dominique Barthel; Isabelle Augé-Blum; Fabrice Valois (WCNC, 2012)

QoS oriented Opportunistic Routing protocol for Wireless Sensor Networks. - Quentin Lampin; Dominique Barthel; Isabelle Augé-Blum; Fabrice Valois (Wireless Days, 2012)

SARI-MAC: The Self Adapting Receiver Initiated MAC protocol for Wireless Sensor Networks. - Quentin Lampin; Dominique Barthel; Isabelle Augé-Blum; Fabrice Valois (WiMob, 2012)

On the Reliability of Wireless Sensor Networks Communications. - Alexandre Mouradian; Isabelle Augé-Blum (ADHOC-NOW, 2013)

Formal verification of real-time wireless sensor networks protocols with realistic radio links. - Alexandre Mouradian; Isabelle Augé-Blum (RTNS, 2013)

A Traffic-Based Local Gradient Maintenance Protocol: Making Gradient Broadcast More Robust. - Alexandre Mouradian; Isabelle Augé-Blum (ADHOC-NOW, 2014)

Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling Up. - Alexandre Mouradian; Isabelle Augé-Blum (ECRTS, 2014)

Preventing alarm storms in WSNs anomaly detection applications. - Alexandre Mouradian; Xuan Linh Nguyen; Isabelle Augé-Blum (PIMRC, 2014)

RTXP: A localized real-time MAC-routing protocol for wireless sensor networks. - Alexandre Mouradian; Isabelle Augé-Blum; Fabrice Valois (Comput. Networks, 2014)