Isabelle Simplot-Ryl

26 papers A* 1B 3C 7Journal 7Unranked 8

Year	Rank	Type	Title / 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