Isabelle Attali

Publication Activity (10 Years)

Years Active: 1988-2007
Publications (10 Years): 0

Publications

Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila
Secured Information Flow for Asynchronous Sequential Processes. Electron. Notes Theor. Comput. Sci. 180 (1) (2007)
Isabelle Attali, Denis Caromel, Arnaud Contes
Deployment-Based Security for Grid Applications. International Conference on Computational Science (1) (2005)
Isabelle Attali, Tomás Barros, Eric Madelaine
Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC (2004)
Isabelle Attali, Denis Caromel, Arnaud Contes
Hierarchical and Declarative Security for Grid Applications. HiPC (2003)
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. Electron. Notes Theor. Comput. Sci. 65 (3) (2002)
Isabelle Attali, Constantin Ciubotaru, N. Meergus
Experimental functional realization of attribute grammar system. Comput. Sci. J. Moldova 10 (2) (2002)
Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn
Alias Analysis for Exceptions in Java. ACSC (2002)
Isabelle Attali, Denis Caromel, Marjorie Russo
Une sémantique formelle de la concurrence en Java. Obj. Logiciel Base données Réseaux 8 (1-2) (2002)
Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier
SmartTools: a Generator of Interactive Environment Tools. Electron. Notes Theor. Comput. Sci. 44 (2) (2001)
Isabelle Attali, Denis Caromel, Marjorie Russo
Graphical Visualization of Java Objects, Threads, and Locks. IEEE Distributed Syst. Online 2 (1) (2001)
Isabelle Attali, Denis Caromel, Yung-Syau Chen, Jean-Luc Gaudiot, Andrew L. Wendelborn
Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics. Int. J. Parallel Program. 29 (4) (2001)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
An integrated development environment for Java Card. Comput. Networks 36 (4) (2001)
Jongwook Woo, Jehak Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn
Alias Analysis for Java with Reference-Set Representation. ICPADS (2001)
Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn
Alias Analysis On Type Inference For Class Hierarchy In Java. ACSC (2001)
Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier
SmartTools: A Generator of Interactive Environments Tools. CC (2001)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
Smart Tools for Java Cards. CARDIS (2000)
Isabelle Attali, Denis Caromel, Romain Guider
A Step Toward Automatic Distribution of Java Programs. FMOODS (2000)
Isabelle Attali, Denis Caromel, Sylvain Lippi
From a Specification to an Equivalence Proof in Object-Oriented Parallelism. IPPS/SPDP Workshops (1999)
Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi
Semantic-Based Visualization for Parallel Object-Oriented Programming. OOPSLA (1996)
Isabelle Attali, Denis Caromel, Sidi O. Ehmety
A Natural Semantics for Eiffel Dynamic Binding. ACM Trans. Program. Lang. Syst. 18 (6) (1996)
Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn
Optimizing Sisal Programs: A Formal Approach. Euro-Par, Vol. I (1996)
Isabelle Attali, Denis Caromel, Andrew L. Wendelborn
From a formal dynamic semantics of Sisal to a Sisal environment. HICSS (2) (1995)
Isabelle Attali, Jacques Chazarain, Serge Gilette
Incremental Evaluation of Natural Semantics Specification. PLILP (1992)
Isabelle Attali, Jacques Chazarain
Functional Evaluation of Strongly Non Circular Typol Specifications. WAGA (1990)
Isabelle Attali
Compiling TYPOL with Attribute Grammars. PLILP (1988)