Hacène Fouchal

Concurr. Comput. Pract. Exp., 2017

Energy and activity monitoring over wireless sensor networks.

[BibT_eX]

[DOI]

Frédéric Blanchard

Michel Herbin

Concurr. Comput. Pract. Exp., 2017

Scheduling approaches in beacon-enabled mode for wireless sensor networks.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2017

Multi-agent architecture for reliable Cyber-Physical Systems (CPS).

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

A cooperative location service for VANETs.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017

A Realistic Location Service for VANETs.

[BibT_eX]

[DOI]

Proceedings of the Innovations for Community Services - 17th International Conference, 2017

An Extended Tester for Cooperative Intelligent Transport Systems.

[BibT_eX]

[DOI]

Proceedings of the Innovations for Community Services - 17th International Conference, 2017

A relay selection scheme for lifetime extension in amplify-and-forward cooperative networks.

[BibT_eX]

[DOI]

Ouadoudi Zytoune

Driss Aboutajdine

Proceedings of the IEEE International Conference on Communications, 2017

A cross-layer scheme for multimedia transfer over AdHoc networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2017

Metrics for Vehicle Density in Urban Environment.

[BibT_eX]

[DOI]

Tawfiq Nebbou

Mohamed Lehsaini

Proceedings of the 2017 IEEE Global Communications Conference, 2017

2016

Carrier sense aware multipath geographic routing protocol.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2016

Towards efficient deployment of wireless sensor networks.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2016

A testing framework for Intelligent Transport Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communication, 2016

Routing over VANET in Urban Environments.

[BibT_eX]

[DOI]

Proceedings of the Innovations for Community Services - 16th International Conference, 2016

An experimentation of VANETs for traffic management.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Communications, 2016

A Framework for Validation of Cooperative Intelligent Transport Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Global Communications Conference, 2016

A Security Scheme for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Octavio Nieto-Taladriz

Proceedings of the 2016 IEEE Global Communications Conference, 2016

Unicast Routing on VANETs.

[BibT_eX]

[DOI]

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015

Welcome message from the Editors.

[BibT_eX]

[DOI]

Gerald Eichler

Christian Erfurth

EAI Endorsed Trans. Ind. Networks Intell. Syst., 2015

Centralized energy monitoring over wireless sensor networks.

[BibT_eX]

[DOI]

Michel Herbin

Frédéric Blanchard

Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015

Scheduling approaches for wireless sensor networks.

[BibT_eX]

[DOI]

Bandar Al-Ghamdi

Proceedings of the 15th International Conference on Innovations for Community Services, 2015

Collecting Data about the Way Dyslexic Children Write.

[BibT_eX]

[DOI]

Estelle Perrin

Paul Renson

Proceedings of the 2015 IEEE Global Communications Conference, 2015

A Realistic Multipath Routing for Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Global Communications Conference, 2015

Drip irrigation system using Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015

2014

Interoperability Model for Embedded Devices Connect-to-All.

[BibT_eX]

[DOI]

Stud. Inform. Univ., 2014

Joint routing and location-based service in VANETs.

[BibT_eX]

[DOI]

Mohtadi Barhoumi

J. Parallel Distributed Comput., 2014

Preface - PEDISWESA'13.

[BibT_eX]

[DOI]

Narayan C. Debnath

J. Comput. Sci., 2014

A mobile wireless body area network platform.

[BibT_eX]

[DOI]

J. Comput. Sci., 2014

A battery recovery aware routing protocol for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Ouadoudi Zytoune

Driss Aboutajdine

Proceedings of the IEEE Symposium on Computers and Communications, 2014

A slot assignment for Wireless Body Area Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2014

Semi-Dynamic Tree Scheduling Process for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Innovations for Community Services, 2014

A decision-support tool for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2014

An evaluation of the TPGF protocol implementation over NS-2.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2014

A dynamic slot scheduling for wireless sensors networks.

[BibT_eX]

[DOI]

Bandar Al-Ghamdi

Proceedings of the IEEE Global Communications Conference, 2014

Carrier sense range effect on performances of multipath routing in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 2014 Federated Conference on Computer Science and Information Systems, 2014

2013

Preface.

[BibT_eX]

[DOI]

Mirela Sechi Moretti Annoni Notare

J. Comput. Sci., 2013

Special Issue: Performance evaluation of communications in distributed systems and Web based service architectures.

[BibT_eX]

[DOI]

Mirela Sechi Moretti Annoni Notare

Concurr. Comput. Pract. Exp., 2013

Distributed backtracking algorithm based on tree decomposition over wireless sensor networks.

[BibT_eX]

[DOI]

Zineb Habbas

Concurr. Comput. Pract. Exp., 2013

Low energy geographical routing protocol for wireless multimedia sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013

Wireless body area network platforms evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013

Vehicular Communication projects classification and evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Symposium on Computers and Communications, 2013

Impact of routing protocols on packet retransmission over wireless networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2013

PHRHLS: A movement-prediction-based joint routing and Hierarchical Location Service for VANETs.

[BibT_eX]

[DOI]

Mohtadi Barhoumi

Proceedings of IEEE International Conference on Communications, 2013

Efficient Coupling of Routing and Location-based Service for VANETs.

[BibT_eX]

[DOI]

Proceedings of the 2013 Eighth International Conference on Broadband and Wireless Computing, 2013

2012

Slot scheduling for wireless sensor networks.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2012

A Comparison of Reactive, Grid and Hierarchical Location-Based Services for VANETs.

[BibT_eX]

[DOI]

Proceedings of the 76th IEEE Vehicular Technology Conference, 2012

Impact of transmission range in 802.15.4 with usual routing protocols.

[BibT_eX]

[DOI]

Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

Disease tracking service in urban areas.

[BibT_eX]

[DOI]

Stephane Cormier

Itheri Yahiaoui

Proceedings of the 8th International Wireless Communications and Mobile Computing Conference, 2012

Impact of Application Layer over Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Innovative Internet Community Systems (I2CS 2012), 2012

Classification of usual protocols over Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2012

A low energy consumption MAC protocol for WSN.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2012

HHLS: A hybrid routing technique for VANETs.

[BibT_eX]

[DOI]

Mohtadi Barhoumi

Proceedings of the 2012 IEEE Global Communications Conference, 2012

2011

Adaptive Slot Assignment Over Wireless Sensor Networks.

[BibT_eX]

Proceedings of the ISCA 20th International Conference on Software Engineering and Data Engineering (SEDE-2011) June 20-22, 2011

Improving the link lifetime in VANETs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

An optimal testing technique for finite state machines.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011

On Using a Distributed Approach for Help in Medical Diagnosis with Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Innovative Internet Community Services (I2CS 2011), 2011

Modeling Interoperability Channel using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Innovative Internet Community Services (I2CS 2011), 2011

Slot Assignment over Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2011

Communication Interoperability Model for Embedded Devices.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2011

2010

Robustness testing of composed real-time systems.

[BibT_eX]

[DOI]

J. Comput. Methods Sci. Eng., 2010

Distributed diagnosis over wireless sensors networks.

[BibT_eX]

[DOI]

Nathalie Dessart

Concurr. Comput. Pract. Exp., 2010

Anomaly Detection with Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of The Ninth IEEE International Symposium on Networking Computing and Applications, 2010

A pragmatic testing approach for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the Q2SWinet'10, 2010

Population protocol over Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

Simulation of large scale WSN for medical care.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Symposium on Computers and Communications, 2010

A Distributed Cache Management for Test Derivation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Innovative Internet Community Services (I2CS), 2010

Optimizing Distributed Test Generation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Innovative Internet Community Services (I2CS), 2010

Efficient Communications over Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2010

2009

Distributed decision for medical alerts using wireless sensors.

[BibT_eX]

[DOI]

Nathalie Dessart

Nicolas Vidot

Proceedings of the 10th IEEE International Symposium on a World of Wireless, 2009

Robustness Testing on Composed Timed Systems.

[BibT_eX]

Proceedings of the 18th International Conference on Software Engineering and Data Engineering (SEDE-2009), 2009

Testing Timed Finite State Machines with Guaranteed Fault Coverage.

[BibT_eX]

[DOI]

Khaled El-Fakih

Nina Yevtushenko

Proceedings of the Testing of Software and Communication Systems, 2009

A distributed power management optimisation in wireless sensors networks.

[BibT_eX]

[DOI]

Proceedings of the 34th Annual IEEE Conference on Local Computer Networks, 2009

Message optimisation in wireless sensors networks for distributed diagnosis.

[BibT_eX]

[DOI]

Nathalie Dessart

Nicolas Vidot

Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), 2009

2008

Test Generation with DHT Networks.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

2006

An Improved Test Derivation Technique.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Symposium on Network Computing and Applications, 2006

Robustness evaluation of real-Time Protocols.

[BibT_eX]

[DOI]

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

A Distributed Approach for Testing Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

Regression Testing Web Services-based Applications.

[BibT_eX]

[DOI]

Nashat Mansour

Proceedings of the 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), 2006

2005

Robustness of Composed Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2005: Theory and Practice of Computer Science, 2005

Conformance Testing of Real-Time Component Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

Integrated Tool for Testing Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Advanced Distributed Systems: 5th International School and Symposium, 2005

A Simple Approach for Testing Web Service Based Applications.

[BibT_eX]

[DOI]

Nashat Mansour

Proceedings of the Innovative Internet Community Systems, 5th International Workshop, 2005

A pragmatic approach for testing robustness on real-time component based systems.

[BibT_eX]

[DOI]

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Experimental Test Generation for Real-Time Systems.

[BibT_eX]

Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2003

A Simple Testing Technique for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 7th International Conference, 2003

Testing Protocol Robustness.

[BibT_eX]

[DOI]

Proceedings of the Innovative Internet Community Systems, Third International Workshop, 2003

2002

Conformance Testing Techniques for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the SOFSEM 2002: Theory and Practice of Informatics, 2002

2001

Fault Detection on Timed Systems.

[BibT_eX]

[DOI]

Stud. Inform. Univ., 2001

A Test Case Derivation for Timed Systems.

[BibT_eX]

Proceedings of the Procedings of the 5th International Conference on Principles of Distributed Systems. OPODIS 2001, 2001

Some Parameters for Timed System Testability.

[BibT_eX]

[DOI]

Sébastien Salva

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

2000

Testing timed systems with timed purposes.

[BibT_eX]

[DOI]

Sébastien Salva

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Metrics for Timed Systems Testing.

[BibT_eX]

Sébastien Salva

S. Bloch

Proceedings of the Procedings of the 4th International Conference on Principles of Distributed Systems, 2000

1999

A Realistic Architecture for Timed Testing.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

1994

A Compositional Verification Method for LOTOS.

[BibT_eX]

[DOI]

Ana R. Cavalli

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

A modal based verification for LOTOS.

[BibT_eX]