Compiling TYPOL with Attribute Grammars. - Isabelle Attali (PLILP, 1988)

Functional Evaluation of Strongly Non Circular Typol Specifications. - Isabelle Attali; Jacques Chazarain (WAGA, 1990)

Incremental Evaluation of Natural Semantics Specification. - Isabelle Attali; Jacques Chazarain; Serge Gilette (PLILP, 1992)

From a formal dynamic semantics of Sisal to a Sisal environment. - Isabelle Attali; Denis Caromel; Andrew L. Wendelborn (HICSS (2), 1995)

Optimizing Sisal Programs: A Formal Approach. - Isabelle Attali; Denis Caromel; Romain Guider; Andrew L. Wendelborn (Euro-Par, Vol. I, 1996)

Semantic-Based Visualization for Parallel Object-Oriented Programming. - Isabelle Attali; Denis Caromel; Sidi O. Ehmety; Sylvain Lippi (OOPSLA, 1996)

A Natural Semantics for Eiffel Dynamic Binding. - Isabelle Attali; Denis Caromel; Sidi O. Ehmety (ACM Trans. Program. Lang. Syst., 1996)

From a Specification to an Equivalence Proof in Object-Oriented Parallelism. - Isabelle Attali; Denis Caromel; Sylvain Lippi (IPPS/SPDP Workshops, 1999)

Smart Tools for Java Cards. - Isabelle Attali; Denis Caromel; Carine Courbis; Ludovic Henrio; Henrik Nilsson (CARDIS, 2000)

A Step Toward Automatic Distribution of Java Programs. - Isabelle Attali; Denis Caromel; Romain Guider (FMOODS, 2000)

Alias Analysis On Type Inference For Class Hierarchy In Java. - Jongwook Woo; Jean-Luc Gaudiot; Isabelle Attali; Denis Caromel; Andrew L. Wendelborn (ACSC, 2001)

SmartTools: A Generator of Interactive Environments Tools. - Isabelle Attali; Carine Courbis; Pascal Degenne; Alexandre Fau; Didier Parigot; Claude Pasquier (CC, 2001)

Alias Analysis for Java with Reference-Set Representation. - Jongwook Woo; Jehak Woo; Isabelle Attali; Denis Caromel; Jean-Luc Gaudiot; Andrew L. Wendelborn (ICPADS, 2001)

An integrated development environment for Java Card. - Isabelle Attali; Denis Caromel; Carine Courbis; Ludovic Henrio; Henrik Nilsson (Comput. Networks, 2001)

Graphical Visualization of Java Objects, Threads, and Locks. - Isabelle Attali; Denis Caromel; Marjorie Russo (IEEE Distributed Syst. Online, 2001)

SmartTools: a Generator of Interactive Environment Tools. - Isabelle Attali; Carine Courbis; Pascal Degenne; Alexandre Fau; Didier Parigot; Claude Pasquier (LDTA@ETAPS, 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)

Alias Analysis for Exceptions in Java. - Jehak Woo; Jongwook Woo; Isabelle Attali; Denis Caromel; Jean-Luc Gaudiot; Andrew L. Wendelborn (ACSC, 2002)

Une sémantique formelle de la concurrence en Java. - Isabelle Attali; Denis Caromel; Marjorie Russo (Obj. Logiciel Base données Réseaux, 2002)

Experimental functional realization of attribute grammar system. - Isabelle Attali; Constantin Ciubotaru; N. Meergus (Comput. Sci. J. Moldova, 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 (LDTA@ETAPS, 2002)

Hierarchical and Declarative Security for Grid Applications. - Isabelle Attali; Denis Caromel; Arnaud Contes (HiPC, 2003)

Parameterized Specification and Verification of the Chilean Electronic Invoices System. - Isabelle Attali; Tomás Barros; Eric Madelaine (SCCC, 2004)

Deployment-Based Security for Grid Applications. - Isabelle Attali; Denis Caromel; Arnaud Contes (International Conference on Computational Science (1), 2005)

Secured Information Flow for Asynchronous Sequential Processes. - Isabelle Attali; Denis Caromel; Ludovic Henrio; Felipe Luna Del Aguila (SecCO@CONCUR, 2005)