The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn
    Alias Analysis On Type Inference For Class Hierarchy In Java. [Citation Graph (0, 0)][DBLP]
    ACSC, 2001, pp:206-214 [Conf]
  2. Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn
    Alias Analysis for Exceptions in Java. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:321-329 [Conf]
  3. Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
    Smart Tools for Java Cards. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2000, pp:155-176 [Conf]
  4. Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier
    SmartTools: A Generator of Interactive Environments Tools. [Citation Graph (0, 0)][DBLP]
    CC, 2001, pp:355-360 [Conf]
  5. Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn
    Optimizing Sisal Programs: A Formal Approach. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:136-144 [Conf]
  6. Isabelle Attali, Denis Caromel, Romain Guider
    A Step Toward Automatic Distribution of Java Programs. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:141-162 [Conf]
  7. Isabelle Attali, Denis Caromel, Andrew L. Wendelborn
    From a formal dynamic semantics of Sisal to a Sisal environment. [Citation Graph (0, 0)][DBLP]
    HICSS (2), 1995, pp:266-267 [Conf]
  8. Isabelle Attali, Denis Caromel, Arnaud Contes
    Hierarchical and Declarative Security for Grid Applications. [Citation Graph (0, 0)][DBLP]
    HiPC, 2003, pp:363-372 [Conf]
  9. Isabelle Attali, Denis Caromel, Arnaud Contes
    Deployment-Based Security for Grid Applications. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (1), 2005, pp:526-533 [Conf]
  10. Jongwook Woo, Jehak Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn
    Alias Analysis for Java with Reference-Set Representation. [Citation Graph (0, 0)][DBLP]
    ICPADS, 2001, pp:459-466 [Conf]
  11. Isabelle Attali, Denis Caromel, Sylvain Lippi
    From a Specification to an Equivalence Proof in Object-Oriented Parallelism. [Citation Graph (0, 0)][DBLP]
    IPPS/SPDP Workshops, 1999, pp:1197-1214 [Conf]
  12. Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi
    Semantic-Based Visualization for Parallel Object-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1996, pp:421-440 [Conf]
  13. Isabelle Attali
    Compiling TYPOL with Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:252-272 [Conf]
  14. Isabelle Attali, Jacques Chazarain, Serge Gilette
    Incremental Evaluation of Natural Semantics Specification. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:87-99 [Conf]
  15. Isabelle Attali, Tomás Barros, Eric Madelaine
    Parameterized Specification and Verification of the Chilean Electronic Invoices System. [Citation Graph (0, 0)][DBLP]
    SCCC, 2004, pp:14-25 [Conf]
  16. Isabelle Attali, Jacques Chazarain
    Functional Evaluation of Strongly Non Circular Typol Specifications. [Citation Graph (0, 0)][DBLP]
    WAGA, 1990, pp:157-176 [Conf]
  17. Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
    An integrated development environment for Java Card. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:4, pp:391-405 [Journal]
  18. Isabelle Attali, Denis Caromel, Marjorie Russo
    Graphical Visualization of Java Objects, Threads, and Locks. [Citation Graph (0, 0)][DBLP]
    IEEE Distributed Systems Online, 2001, v:2, n:1, pp:- [Journal]
  19. Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier
    SmartTools: a Generator of Interactive Environment Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:44, n:2, pp:- [Journal]
  20. Didier Parigot, Carine Courbis, Pascal Degenne, Alexandre Fau, Claude Pasquier, Joël Fillon, Christophe Held, Isabelle Attali
    Aspect and XML-oriented Semantic Framework Generator: SmartTools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:3, pp:- [Journal]
  21. Isabelle Attali, Denis Caromel, Yung-Syau Chen, Jean-Luc Gaudiot, Andrew L. Wendelborn
    Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics. [Citation Graph (0, 0)][DBLP]
    International Journal of Parallel Programming, 2001, v:29, n:4, pp:433-460 [Journal]
  22. Isabelle Attali, Denis Caromel, Sidi O. Ehmety
    A Natural Semantics for Eiffel Dynamic Binding. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:6, pp:711-729 [Journal]
  23. Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila
    Secured Information Flow for Asynchronous Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:17-34 [Journal]

  24. Une sémantique formelle de la concurrence en Java. [Citation Graph (, )][DBLP]


Search in 0.037secs, Finished in 0.038secs
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