Isabelle Attali

27 papers A 1B 2C 1Misc 2Journal 6Unranked 13
YearRankTypeTitle / Venue / Authors
2005 Misc conf
Deployment-Based Security for Grid Applications.
International Conference on Computational Science (1)
Isabelle Attali, Denis Caromel, Arnaud Contes
2005 — conf
Secured Information Flow for Asynchronous Sequential Processes.
SecCO@CONCUR
Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila
2004 — conf
Parameterized Specification and Verification of the Chilean Electronic Invoices System.
SCCC
Isabelle Attali, Tomás Barros, Eric Madelaine
2003 Misc conf
Hierarchical and Declarative Security for Grid Applications.
HiPC
Isabelle Attali, Denis Caromel, Arnaud Contes
2002 — conf
Alias Analysis for Exceptions in Java.
ACSC
Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn
2002 — conf
Aspect and XML-oriented Semantic Framework Generator: SmartTools.
LDTA@ETAPS
Didier Parigot, Carine Courbis, Pascal Degenne, Alexandre Fau, Claude Pasquier, Joël Fillon, Christophe Held, Isabelle Attali
2002 J jnl
Experimental functional realization of attribute grammar system.
Comput. Sci. J. Moldova
Isabelle Attali, Constantin Ciubotaru, N. Meergus
2002 J jnl
Une sémantique formelle de la concurrence en Java.
Obj. Logiciel Base données Réseaux
Isabelle Attali, Denis Caromel, Marjorie Russo
2001 — conf
Alias Analysis On Type Inference For Class Hierarchy In Java.
ACSC
Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn
2001 B conf
Alias Analysis for Java with Reference-Set Representation.
ICPADS
Jongwook Woo, Jehak Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn
2001 J jnl
An integrated development environment for Java Card.
Comput. Networks
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
2001 J jnl
Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics.
Int. J. Parallel Program.
Isabelle Attali, Denis Caromel, Yung-Syau Chen, Jean-Luc Gaudiot, Andrew L. Wendelborn
2001 J jnl
Graphical Visualization of Java Objects, Threads, and Locks.
IEEE Distributed Syst. Online
Isabelle Attali, Denis Caromel, Marjorie Russo
2001 — ed.
Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers
Java Card
Isabelle Attali, Thomas P. Jensen
2001 — ed.
Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings
E-smart
Isabelle Attali, Thomas P. Jensen
2001 B conf
SmartTools: A Generator of Interactive Environments Tools.
CC
Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier
2001 — conf
SmartTools: a Generator of Interactive Environment Tools.
LDTA@ETAPS
Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier
2000 — conf
A Step Toward Automatic Distribution of Java Programs.
FMOODS
Isabelle Attali, Denis Caromel, Romain Guider
2000 C conf
Smart Tools for Java Cards.
CARDIS
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
1999 — conf
From a Specification to an Equivalence Proof in Object-Oriented Parallelism.
IPPS/SPDP Workshops
Isabelle Attali, Denis Caromel, Sylvain Lippi
1996 J jnl
A Natural Semantics for Eiffel Dynamic Binding.
ACM Trans. Program. Lang. Syst.
Isabelle Attali, Denis Caromel, Sidi O. Ehmety
1996 — conf
Optimizing Sisal Programs: A Formal Approach.
Euro-Par, Vol. I
Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn
1996 A conf
Semantic-Based Visualization for Parallel Object-Oriented Programming.
OOPSLA
Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi
1995 — conf
From a formal dynamic semantics of Sisal to a Sisal environment.
HICSS (2)
Isabelle Attali, Denis Caromel, Andrew L. Wendelborn
1992 — conf
Incremental Evaluation of Natural Semantics Specification.
PLILP
Isabelle Attali, Jacques Chazarain, Serge Gilette
1990 — conf
Functional Evaluation of Strongly Non Circular Typol Specifications.
WAGA
Isabelle Attali, Jacques Chazarain
1988 — conf
Compiling TYPOL with Attribute Grammars.
PLILP
Isabelle Attali