Isabelle Simplot-Ryl

Isabelle Ryl

	2009
23		Xu Li, Nathalie Mitton, Isabelle Ryl, David Simplot: Localized Sensor Self-deployment with Coverage Guarantee in Complex Environment. ADHOC-NOW 2009: 138-151
22		Xu Li, Nathalie Mitton, Isabelle Ryl, David Simplot: A novel sensor localization scheme by mobile actors. MobiHoc 2009: 339-340
	2008
21		Dorina Ghindici, Isabelle Simplot-Ryl: On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards. CARDIS 2008: 32-47
	2007
20		Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl: A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. AINA Workshops (2) 2007: 440-447
19		Xu Li, Amiya Nayak, Isabelle Ryl, David Simplot, Ivan Stojmenovic: Secure Mobile Ad hoc Routing. AINA Workshops (2) 2007: 737-742
18		Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl: An Information Flow Verifier for Small Embedded Systems. WISTP 2007: 189-201
17		Xu Li, Amiya Nayak, Isabelle Ryl, David Simplot: On Secure Mobile Ad hoc Routing. Ad Hoc & Sensor Wireless Networks 4(3): 229-254 (2007)
16		Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl: On the use of metatypes for safe embedded operating system extension. IJPEDS 22(1): 1-13 (2007)
	2006
15		Michaël Hauspie, Isabelle Simplot-Ryl: Cooperation in ad hoc networks: enhancing the virtual currency based models. InterSense 2006: 24
14		Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl, Yanguo Liu, I. Traore: Integrated Security Verification and Validation: Case Study. LCN 2006: 1000-1007
13		Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl: Embedding verifiable information flow analysis. PST 2006: 39
12		David Simplot-Ryl, Isabelle Simplot-Ryl: Connectivity Preservation and Key Distribution in Wireless Sensor Networks Using Multi-deployment Scheme. UIC 2006: 988-997
11		Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component composition preserving behavioral contracts based on communication traces. Theor. Comput. Sci. 363(2): 108-123 (2006)
	2005
10		Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl: Component Composition Preserving Behavioural Contracts Based on Communication Traces. CIAA 2005: 54-65
9		Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl: A Dynamic Class Construct for Asynchronous Concurrent Objects. FMOODS 2005: 15-30
8		Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl: Secure extensible type system for efficient embedded operating system by using metatypes. ICPADS (2) 2005: 83-87
	2003
7		Arnaud Bailly, Isabelle Ryl, Mireille Clerbout: FIDL Spécifications formelles en IDL3. L'OBJET 9(1-2): 213-225 (2003)
	2001
6		Mireille Clerbout, Yves Roos, Isabelle Ryl: Synchronization Languages and Rewriting Systems. Inf. Comput. 167(1): 46-69 (2001)
	2000
5		Mireille Clerbout, Yves Roos, Isabelle Ryl: Semi-commutations and partial commutations. ITA 34(4): 307- (2000)
	1999
4		Isabelle Ryl, Yves Roos, Mireille Clerbout: Generalized Synchronization Languages. FCT 1999: 451-462
3		Mireille Clerbout, Yves Roos, Isabelle Ryl: Synchronization Languages. Theor. Comput. Sci. 215(1-2): 99-121 (1999)
	1998
2		Isabelle Ryl, Yves Roos, Mireille Clerbout: About Synchronization Languages. MFCS 1998: 533-542
	1997
1		Isabelle Ryl, Yves Roos, Mireille Clerbout: Partial Characterization of Synchronization Languages. MFCS 1997: 209-218

Coauthor Index

1	Arnaud Bailly	[7] [10] [11]
2	Mireille Clerbout	[1] [2] [3] [4] [5] [6] [7] [10] [11]
3	Dorina Ghindici	[13] [14] [18] [21]
4	Gilles Grimaud	[8] [13] [14] [16] [18] [20]
5	Michaël Hauspie	[15]
6	Yann Hodique	[8] [16] [20]
7	Einar Broch Johnsen	[9]
8	Xu Li	[17] [19] [22] [23]
9	Yanguo Liu	[14]
10	Nathalie Mitton	[22] [23]
11	Amiya Nayak	[17] [19]
12	Olaf Owe	[9]
13	Yves Roos	[1] [2] [3] [4] [5] [6]
14	David Simplot-Ryl (David Simplot)	[12] [17] [19] [22] [23]
15	Ivan Stojmenovic	[19]
16	I. Traore	[14]

Colors in the list of coauthors