The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Isabelle Simplot-Ryl: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
    A Verifiable Lightweight Escape Analysis Supporting Creational Design Patterns. [Citation Graph (0, 0)][DBLP]
    AINA Workshops (2), 2007, pp:440-447 [Conf]
  2. Einar Broch Johnsen, Olaf Owe, Isabelle Simplot-Ryl
    A Dynamic Class Construct for Asynchronous Concurrent Objects. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:15-30 [Conf]
  3. Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl
    Secure extensible type system for efficient embedded operating system by using metatypes. [Citation Graph (0, 0)][DBLP]
    ICPADS (2), 2005, pp:83-87 [Conf]
  4. David Simplot-Ryl, Isabelle Simplot-Ryl
    Connectivity Preservation and Key Distribution in Wireless Sensor Networks Using Multi-deployment Scheme. [Citation Graph (0, 0)][DBLP]
    UIC, 2006, pp:988-997 [Conf]
  5. Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
    Component Composition Preserving Behavioural Contracts Based on Communication Traces. [Citation Graph (0, 0)][DBLP]
    CIAA, 2005, pp:54-65 [Conf]
  6. Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
    Component composition preserving behavioral contracts based on communication traces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:363, n:2, pp:108-123 [Journal]
  7. Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-Ryl
    An Information Flow Verifier for Small Embedded Systems. [Citation Graph (0, 0)][DBLP]
    WISTP, 2007, pp:189-201 [Conf]

  8. On Practical Information Flow Policies for Java-Enabled Multiapplication Smart Cards. [Citation Graph (, )][DBLP]


  9. Integrated Security Verification and Validation: Case Study. [Citation Graph (, )][DBLP]


  10. Embedding verifiable information flow analysis. [Citation Graph (, )][DBLP]


  11. A Sound Analysis for Secure Information Flow Using Abstract Memory Graphs. [Citation Graph (, )][DBLP]


  12. Cooperation in ad hoc networks: enhancing the virtual currency based models. [Citation Graph (, )][DBLP]


Search in 0.044secs, Finished in 0.044secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002