• GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks

  • Particle-based methodology for representing mobile ad-hoc networks

  • IP-enabled wireless sensor networks and their integration into the internet

  • Issues in designing a compilation framework for macroprogrammed networked sensor systems

  • Programming wireless sensor networks with logical neighborhoods

  • A context-aware middleware platform for autonomous application services in dynamic wireless networks

  • Middleware for distributed services and mobile applications

  • A software framework for integrated sensor network applications

  • MarathonNet: adding value to large scale sport events - a connectivity analysis

  • Adaptive sink mobility in event-driven multi-hop wireless sensor networks