Partial Characterization of Synchronization Languages. - Isabelle Ryl; Yves Roos; Mireille Clerbout (MFCS, 1997)

About Synchronization Languages. - Isabelle Ryl; Yves Roos; Mireille Clerbout (MFCS, 1998)

Generalized Synchronization Languages. - Isabelle Ryl; Yves Roos; Mireille Clerbout (FCT, 1999)

Synchronization Languages. - Mireille Clerbout; Yves Roos; Isabelle Ryl (Theor. Comput. Sci., 1999)

Semi-commutations and partial commutations. - Mireille Clerbout; Yves Roos; Isabelle Ryl (RAIRO Theor. Informatics Appl., 2000)

Synchronization Languages and Rewriting Systems. - Mireille Clerbout; Yves Roos; Isabelle Ryl (Inf. Comput., 2001)

FIDL Spécifications formelles en IDL3. - Arnaud Bailly; Isabelle Ryl; Mireille Clerbout (Obj. Logiciel Base données Réseaux, 2003)

A Dynamic Class Construct for Asynchronous Concurrent Objects. - Einar Broch Johnsen; Olaf Owe; Isabelle Simplot-Ryl (FMOODS, 2005)

Secure extensible type system for efficient embedded operating system by using metatypes. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (ICPADS (2), 2005)

Component Composition Preserving Behavioural Contracts Based on Communication Traces. - Arnaud Bailly; Mireille Clerbout; Isabelle Simplot-Ryl (CIAA, 2005)

Cooperation in ad hoc networks: enhancing the virtual currency based models. - Michaël Hauspie; Isabelle Simplot-Ryl (InterSense, 2006)

Integrated Security Verification and Validation: Case Study. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl; Yanguo Liu; Issa Traoré (LCN, 2006)

Embedding verifiable information flow analysis. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl (PST, 2006)

Connectivity Preservation and Key Distribution in Wireless Sensor Networks Using Multi-deployment Scheme. - David Simplot-Ryl; Isabelle Simplot-Ryl (UIC, 2006)

Component composition preserving behavioral contracts based on communication traces. - Arnaud Bailly; Mireille Clerbout; Isabelle Simplot-Ryl (Theor. Comput. Sci., 2006)

A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (AINA Workshops (2), 2007)

Secure Mobile Ad hoc Routing. - Xu Li 001; Amiya Nayak; Isabelle Ryl; David Simplot; Ivan Stojmenovic (AINA Workshops (2), 2007)

An Information Flow Verifier for Small Embedded Systems. - Dorina Ghindici; Gilles Grimaud; Isabelle Simplot-Ryl (WISTP, 2007)

On Secure Mobile Ad hoc Routing. - Xu Li 001; Amiya Nayak; Isabelle Ryl; David Simplot (Ad Hoc Sens. Wirel. Networks, 2007)

On the use of metatypes for safe embedded operating system extension. - Gilles Grimaud; Yann Hodique; Isabelle Simplot-Ryl (Int. J. Parallel Emergent Distributed Syst., 2007)

On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards. - Dorina Ghindici; Isabelle Simplot-Ryl (CARDIS, 2008)

Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment. - Xu Li 001; Nathalie Mitton; Isabelle Ryl; David Simplot (ADHOC-NOW, 2009)

A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs. - Dorina Ghindici; Isabelle Simplot-Ryl; Jean-Marc Talbot (FSEN, 2009)

A novel sensor localization scheme by mobile actors. - Xu Li 001; Nathalie Mitton; Isabelle Ryl; David Simplot (MobiHoc, 2009)

Distributed architectures for electronic cash schemes: a survey. - Isabelle Simplot-Ryl; Issa Traoré; Patricia Everaere (Int. J. Parallel Emergent Distributed Syst., 2009)

Double Spending Protection for E-Cash Based on Risk Management. - Patricia Everaere; Isabelle Simplot-Ryl; Issa Traoré (ISC, 2010)

Towards Energy-Efficient Algorithm-Based Estimation in Wireless Sensor Networks. - Alia Ghaddar; Tahiry Razafindralambo; Isabelle Simplot-Ryl; David Simplot-Ryl; Samar Tawbi (MSN, 2010)

Algorithm for data similarity measurements to reduce data redundancy in wireless sensor networks. - Alia Ghaddar; Tahiry Razafindralambo; Isabelle Simplot-Ryl; Samar Tawbi; Abbas Hijazi (WOWMOM, 2010)

On-Device Control Flow Verification for Java Programs. - Arnaud Fontaine; Samuel Hym; Isabelle Simplot-Ryl (ESSoS, 2011)

Verifiable Control Flow Policies for Java Bytecode. - Arnaud Fontaine; Samuel Hym; Isabelle Simplot-Ryl (Formal Aspects in Security and Trust, 2011)

A novel family of geometric planar graphs for wireless ad hoc networks. - Xu Li 001; Nathalie Mitton; Isabelle Simplot-Ryl; David Simplot-Ryl (INFOCOM, 2011)

Mobile-Beacon Assisted Sensor Localization with Dynamic Beacon Mobility Scheduling. - Xu Li 001; Nathalie Mitton; Isabelle Simplot-Ryl; David Simplot-Ryl (MASS, 2011)

Algorithm for temporal anomaly detection in WSNs. - Alia Ghaddar; Tahiry Razafindralambo; Isabelle Simplot-Ryl; Samar Tawbi; Abbas Hijazi (WCNC, 2011)

Application of contract-based security assertion monitoring framework for telecommunications software engineering. - Alexander M. Hoole; Issa Traoré; Isabelle Simplot-Ryl (Math. Comput. Model., 2011)

Investigating Data Similarity and Estimation Through Spatio-Temporal Correlation to Enhance Energy Efficiency in WSNs. - Alia Ghaddar; Tahiry Razafindralambo; Isabelle Simplot-Ryl; David Simplot-Ryl; Samar Tawbi; Abbas Hijazi (Ad Hoc Sens. Wirel. Networks, 2012)

Dynamic Beacon Mobility Scheduling for Sensor Localization. - Xu Li 001; Nathalie Mitton; Isabelle Simplot-Ryl; David Simplot-Ryl (IEEE Trans. Parallel Distributed Syst., 2012)

Hypocomb: Bounded-Degree Localized Geometric Planar Graphs for Wireless Ad Hoc Networks. - Xu Li 001; Nathalie Mitton; Isabelle Simplot-Ryl; David Simplot-Ryl (IEEE Trans. Parallel Distributed Syst., 2013)