Skip to main content

Research Repository

Advanced Search

Dr Djamel Djenouri's Outputs (6)

Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method (2017)
Journal Article

© 2016 - Society for Design and Process Science. All rights reserved. The challenging problem of formal verification of SMIL (Synchronized Multimedia Integration Language Specification) documents is considered in this paper, where we propose a hybrid... Read More about Temporal and spatial coherence verification in SMIL documents with hoare logic and disjunctive constraints: A hybrid formal method.

Energy Harvesting Aware Minimum Spanning Tree for Survivable WSN with Minimum Relay Node Addition (2017)
Presentation / Conference Contribution

Survivable wireless sensor networks that take advantage of green energy resources from the environment is considered in this paper. The particular problem of constrained relay nodes (RNs) placement to ensure communication coverage in the single-tiere... Read More about Energy Harvesting Aware Minimum Spanning Tree for Survivable WSN with Minimum Relay Node Addition.