Isabelle Attali

According to our database, Isabelle Attali authored at least 25 papers between 1988 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Secured Information Flow for Asynchronous Sequential Processes.

Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila

Proceedings of the International Workshop on Security and Concurrency, SecCo@CONCUR 2005, 2005

Deployment-Based Security for Grid Applications.

Isabelle Attali, Denis Caromel, Arnaud Contes

Proceedings of the Computational Science, 2005

2004

Parameterized Specification and Verification of the Chilean Electronic Invoices System.

Isabelle Attali, Tomás Barros, Eric Madelaine

Proceedings of the XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), 2004

2003

Hierarchical and Declarative Security for Grid Applications.

Isabelle Attali, Denis Caromel, Arnaud Contes

Proceedings of the High Performance Computing - HiPC 2003, 10th International Conference, 2003

2002

Aspect and XML-oriented Semantic Framework Generator: SmartTools.

Didier Parigot, Carine Courbis, Pascal Degenne, Alexandre Fau, Claude Pasquier, Joël Fillon, Christophe Held, Isabelle Attali

Proceedings of the Second Workshop on Language Descriptions, Tools and Applications, 2002

Experimental functional realization of attribute grammar system.

Isabelle Attali, Constantin Ciubotaru, N. Meergus

Comput. Sci. J. Moldova, 2002

Une sémantique formelle de la concurrence en Java.

Isabelle Attali, Denis Caromel, Marjorie Russo

Obj. Logiciel Base données Réseaux, 2002

Alias Analysis for Exceptions in Java.

Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn

Proceedings of the Computer Science 2002, 2002

2001

Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics.

Isabelle Attali, Denis Caromel, Yung-Syau Chen, Jean-Luc Gaudiot, Andrew L. Wendelborn

Int. J. Parallel Program., 2001

SmartTools: a Generator of Interactive Environment Tools.

Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier

Proceedings of the First Workshop on Language Descriptions, Tools and Applications, 2001

Graphical Visualization of Java Objects, Threads, and Locks.

Isabelle Attali, Denis Caromel, Marjorie Russo

IEEE Distributed Syst. Online, 2001

An integrated development environment for Java Card.

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Comput. Networks, 2001

Alias Analysis for Java with Reference-Set Representation.

Jongwook Woo, Jehak Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn

Proceedings of the Eigth International Conference on Parallel and Distributed Systems, 2001

SmartTools: A Generator of Interactive Environments Tools.

Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier

Proceedings of the Compiler Construction, 10th International Conference, 2001

Alias Analysis On Type Inference For Class Hierarchy In Java.

Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn

Proceedings of the 24th Australasian Computer Science Conference (ACSC 2001), 29 January, 2001

2000

A Step Toward Automatic Distribution of Java Programs.

Isabelle Attali, Denis Caromel, Romain Guider

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

Smart Tools for Java Cards.

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Proceedings of the Smart Card Research and Advanced Applications, 2000

1999

From a Specification to an Equivalence Proof in Object-Oriented Parallelism.

Isabelle Attali, Denis Caromel, Sylvain Lippi

Proceedings of the Parallel and Distributed Processing, 1999

1996

A Natural Semantics for Eiffel Dynamic Binding.

Isabelle Attali, Denis Caromel, Sidi O. Ehmety

ACM Trans. Program. Lang. Syst., 1996

Semantic-Based Visualization for Parallel Object-Oriented Programming.

Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

Optimizing Sisal Programs: A Formal Approach.

Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1995

From a formal dynamic semantics of Sisal to a Sisal environment.

Isabelle Attali, Denis Caromel, Andrew L. Wendelborn

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

1992

Incremental Evaluation of Natural Semantics Specification.

Isabelle Attali, Jacques Chazarain, Serge Gilette

Proceedings of the Programming Language Implementation and Logic Programming, 1992

1990

Functional Evaluation of Strongly Non Circular Typol Specifications.

Isabelle Attali, Jacques Chazarain

Proceedings of the Attribute Grammars and their Applications, 1990

1988

Compiling TYPOL with Attribute Grammars.

Isabelle Attali

Proceedings of the Programming Language Implementation and Logic Programming, 1988