Search the dblp DataBase

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]