Isabelle Simplot-Ryl

Ad Hoc Sens. Wirel. Networks, 2012

2011

Application of contract-based security assertion monitoring framework for telecommunications software engineering.

[BibT_eX]

[DOI]

Alexander M. Hoole

Issa Traoré

Math. Comput. Model., 2011

Algorithm for temporal anomaly detection in WSNs.

[BibT_eX]

[DOI]

Samar Tawbi

Abbas Hijazi

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Mobile-Beacon Assisted Sensor Localization with Dynamic Beacon Mobility Scheduling.

[BibT_eX]

[DOI]

Proceedings of the IEEE 8th International Conference on Mobile Adhoc and Sensor Systems, 2011

A novel family of geometric planar graphs for wireless ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the INFOCOM 2011. 30th IEEE International Conference on Computer Communications, 2011

Verifiable Control Flow Policies for Java Bytecode.

[BibT_eX]

[DOI]

Arnaud Fontaine

Samuel Hym

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

On-Device Control Flow Verification for Java Programs.

[BibT_eX]

[DOI]

Arnaud Fontaine

Samuel Hym

Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2010

Algorithm for data similarity measurements to reduce data redundancy in wireless sensor networks.

[BibT_eX]

[DOI]

Samar Tawbi

Abbas Hijazi

Proceedings of the 11th IEEE International Symposium on a World of Wireless, 2010

Towards Energy-Efficient Algorithm-Based Estimation in Wireless Sensor Networks.

[BibT_eX]

[DOI]

David Simplot-Ryl

Samar Tawbi

Proceedings of the Sixth International Conference on Mobile Ad-hoc and Sensor Networks, 2010

Double Spending Protection for E-Cash Based on Risk Management.

[BibT_eX]

[DOI]

Patricia Everaere

Issa Traoré

Proceedings of the Information Security - 13th International Conference, 2010

2009

Distributed architectures for electronic cash schemes: a survey.

[BibT_eX]

[DOI]

Issa Traoré

Patricia Everaere

Int. J. Parallel Emergent Distributed Syst., 2009

A novel sensor localization scheme by mobile actors.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, 2009

A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.

[BibT_eX]

[DOI]

Jean-Marc Talbot

Proceedings of the Fundamentals of Software Engineering, 2009

Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment.

[BibT_eX]

[DOI]

Proceedings of the Ad-Hoc, Mobile and Wireless Networks, 8th International Conference, 2009

2008

On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the Smart Card Research and Advanced Applications, 2008

2007

On the use of metatypes for safe embedded operating system extension.

[BibT_eX]

[DOI]

Yann Hodique

Int. J. Parallel Emergent Distributed Syst., 2007

On Secure Mobile Ad hoc Routing.

[BibT_eX]

[DOI]

Ad Hoc Sens. Wirel. Networks, 2007

An Information Flow Verifier for Small Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Security Theory and Practices. Smart Cards, 2007

Secure Mobile Ad hoc Routing.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns.

[BibT_eX]

[DOI]

Yann Hodique

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Component composition preserving behavioral contracts based on communication traces.

[BibT_eX]

[DOI]

Arnaud Bailly

Theor. Comput. Sci., 2006

Connectivity Preservation and Key Distribution in Wireless Sensor Networks Using Multi-deployment Scheme.

[BibT_eX]

[DOI]

David Simplot-Ryl

Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006

Embedding verifiable information flow analysis.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Privacy, 2006

Integrated Security Verification and Validation: Case Study.

[BibT_eX]

[DOI]

Proceedings of the LCN 2006, 2006

Cooperation in ad hoc networks: enhancing the virtual currency based models.

[BibT_eX]

[DOI]

Michaël Hauspie

Proceedings of the First International Conference in Integrated Internet Ad Hoc and Sensor Networks, 2006

2005

Component Composition Preserving Behavioural Contracts Based on Communication Traces.

[BibT_eX]

[DOI]

Arnaud Bailly

Proceedings of the Implementation and Application of Automata, 2005

Secure extensible type system for efficient embedded operating system by using metatypes.

[BibT_eX]

[DOI]

Yann Hodique

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

A Dynamic Class Construct for Asynchronous Concurrent Objects.

[BibT_eX]

[DOI]

Einar Broch Johnsen

Olaf Owe

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2003

FIDL Spécifications formelles en IDL3.

[BibT_eX]

[DOI]

Arnaud Bailly

Obj. Logiciel Base données Réseaux, 2003

2001

Synchronization Languages and Rewriting Systems.

[BibT_eX]

[DOI]

Inf. Comput., 2001

2000

Semi-commutations and partial commutations.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2000

1999

Synchronization Languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1999

Generalized Synchronization Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998

About Synchronization Languages.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

1997

Partial Characterization of Synchronization Languages.

[BibT_eX]

[DOI]