| 2011 | INFOCOM | A novel family of geometric planar graphs for wireless ad hoc networks. | Xu Li, Nathalie Mitton, Isabelle Simplot-Ryl, David Simplot-Ryl |
| 2011 | MASS | Mobile-Beacon Assisted Sensor Localization with Dynamic Beacon Mobility Scheduling. | Xu Li, Nathalie Mitton, Isabelle Simplot-Ryl, David Simplot-Ryl |
| 2011 | WCNC | Algorithm for temporal anomaly detection in WSNs. | Alia Ghaddar, Tahiry Razafindralambo, Isabelle Simplot-Ryl, Samar Tawbi, Abbas Hijazi |
| 2010 | WoWMoM | Algorithm for data similarity measurements to reduce data redundancy in wireless sensor networks. | Alia Ghaddar, Tahiry Razafindralambo, Isabelle Simplot-Ryl, Samar Tawbi, Abbas Hijazi |
| 2008 | CARDIS | On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards. | Dorina Ghindici, Isabelle Simplot-Ryl |
| 2007 | AINA | A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. | Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl |
| 2007 | WISTP | An Information Flow Verifier for Small Embedded Systems. | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl |
| 2006 | LCN | Integrated Security Verification and Validation: Case Study. | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, Issa Traor |
| 2006 | PST | Embedding verifiable information flow analysis. | Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl |
| 2006 | UIC | Connectivity Preservation and Key Distribution in Wireless Sensor Networks Using Multi-deployment Scheme. | David Simplot-Ryl, Isabelle Simplot-Ryl |
| 2005 | ICPADS | Secure extensible type system for efficient embedded operating system by using metatypes. | Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl |