Isabelle Simplot-Ryl

26 papers A* 1B 3C 7Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2013 J jnl
Hypocomb: Bounded-Degree Localized Geometric Planar Graphs for Wireless Ad Hoc Networks.
IEEE Trans. Parallel Distributed Syst.
Xu Li, Nathalie Mitton, Isabelle Simplot-Ryl, David Simplot-Ryl
2012 J jnl
Dynamic Beacon Mobility Scheduling for Sensor Localization.
IEEE Trans. Parallel Distributed Syst.
Xu Li, Nathalie Mitton, Isabelle Simplot-Ryl, David Simplot-Ryl
2012 J jnl
Investigating Data Similarity and Estimation Through Spatio-Temporal Correlation to Enhance Energy Efficiency in WSNs.
Ad Hoc Sens. Wirel. Networks
Alia Ghaddar, Tahiry Razafindralambo, Isabelle Simplot-Ryl, David Simplot-Ryl, Samar Tawbi, Abbas Hijazi
2011 A* conf
A novel family of geometric planar graphs for wireless ad hoc networks.
INFOCOM
Xu Li, Nathalie Mitton, Isabelle Simplot-Ryl, David Simplot-Ryl
2011 B conf
Algorithm for temporal anomaly detection in WSNs.
WCNC
Alia Ghaddar, Tahiry Razafindralambo, Isabelle Simplot-Ryl, Samar Tawbi, Abbas Hijazi
2011 J jnl
Application of contract-based security assertion monitoring framework for telecommunications software engineering.
Math. Comput. Model.
Alexander M. Hoole, Issa Traoré, Isabelle Simplot-Ryl
2011 B conf
Mobile-Beacon Assisted Sensor Localization with Dynamic Beacon Mobility Scheduling.
MASS
Xu Li, Nathalie Mitton, Isabelle Simplot-Ryl, David Simplot-Ryl
2011 — conf
On-Device Control Flow Verification for Java Programs.
ESSoS
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
2011 — conf
Verifiable Control Flow Policies for Java Bytecode.
Formal Aspects in Security and Trust
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
2010 C conf
Algorithm for data similarity measurements to reduce data redundancy in wireless sensor networks.
WOWMOM
Alia Ghaddar, Tahiry Razafindralambo, Isabelle Simplot-Ryl, Samar Tawbi, Abbas Hijazi
2010 C conf
Double Spending Protection for E-Cash Based on Risk Management.
ISC
Patricia Everaere, Isabelle Simplot-Ryl, Issa Traoré
2010 — conf
Towards Energy-Efficient Algorithm-Based Estimation in Wireless Sensor Networks.
MSN
Alia Ghaddar, Tahiry Razafindralambo, Isabelle Simplot-Ryl, David Simplot-Ryl, Samar Tawbi
2009 — conf
A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs.
FSEN
Dorina Ghindici, Isabelle Simplot-Ryl, Jean-Marc Talbot
2009 J jnl
Distributed architectures for electronic cash schemes: a survey.
Int. J. Parallel Emergent Distributed Syst.
Isabelle Simplot-Ryl, Issa Traoré, Patricia Everaere
2008 C conf
On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards.
CARDIS
Dorina Ghindici, Isabelle Simplot-Ryl
2007 — conf
A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns.
AINA Workshops (2)
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
2007 C conf
An Information Flow Verifier for Small Embedded Systems.
WISTP
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
2007 J jnl
On the use of metatypes for safe embedded operating system extension.
Int. J. Parallel Emergent Distributed Syst.
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
2006 J jnl
Component composition preserving behavioral contracts based on communication traces.
Theor. Comput. Sci.
Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
2006 C conf
Connectivity Preservation and Key Distribution in Wireless Sensor Networks Using Multi-deployment Scheme.
UIC
David Simplot-Ryl, Isabelle Simplot-Ryl
2006 — conf
Cooperation in ad hoc networks: enhancing the virtual currency based models.
InterSense
Michaël Hauspie, Isabelle Simplot-Ryl
2006 C conf
Embedding verifiable information flow analysis.
PST
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
2006 B conf
Integrated Security Verification and Validation: Case Study.
LCN
Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, Issa Traoré
2005 — conf
A Dynamic Class Construct for Asynchronous Concurrent Objects.
FMOODS
Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
2005 C conf
Component Composition Preserving Behavioural Contracts Based on Communication Traces.
CIAA
Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
2005 — conf
Secure extensible type system for efficient embedded operating system by using metatypes.
ICPADS (2)
Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl