| 2008 |
|---|
| 21 | EE | Dorina Ghindici,
Isabelle Simplot-Ryl:
On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards.
CARDIS 2008: 32-47 |
| 2007 |
|---|
| 20 | EE | Gilles Grimaud,
Yann Hodique,
Isabelle Simplot-Ryl:
A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns.
AINA Workshops (2) 2007: 440-447 |
| 19 | EE | Xu Li,
Amiya Nayak,
Isabelle Ryl,
David Simplot,
Ivan Stojmenovic:
Secure Mobile Ad hoc Routing.
AINA Workshops (2) 2007: 737-742 |
| 18 | EE | 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 | EE | 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 | EE | Michaël Hauspie,
Isabelle Simplot-Ryl:
Cooperation in ad hoc networks: enhancing the virtual currency based models.
InterSense 2006: 24 |
| 14 | EE | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl,
Yanguo Liu,
I. Traore:
Integrated Security Verification and Validation: Case Study.
LCN 2006: 1000-1007 |
| 13 | EE | Dorina Ghindici,
Gilles Grimaud,
Isabelle Simplot-Ryl:
Embedding verifiable information flow analysis.
PST 2006: 39 |
| 12 | EE | David Simplot-Ryl,
Isabelle Simplot-Ryl:
Connectivity Preservation and Key Distribution in Wireless Sensor Networks Using Multi-deployment Scheme.
UIC 2006: 988-997 |
| 11 | EE | 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 | EE | Arnaud Bailly,
Mireille Clerbout,
Isabelle Simplot-Ryl:
Component Composition Preserving Behavioural Contracts Based on Communication Traces.
CIAA 2005: 54-65 |
| 9 | EE | Einar Broch Johnsen,
Olaf Owe,
Isabelle Simplot-Ryl:
A Dynamic Class Construct for Asynchronous Concurrent Objects.
FMOODS 2005: 15-30 |
| 8 | EE | 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 | EE | 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 | EE | Isabelle Ryl,
Yves Roos,
Mireille Clerbout:
Generalized Synchronization Languages.
FCT 1999: 451-462 |
| 3 | EE | Mireille Clerbout,
Yves Roos,
Isabelle Ryl:
Synchronization Languages.
Theor. Comput. Sci. 215(1-2): 99-121 (1999) |
| 1998 |
|---|
| 2 | EE | 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 |
