|
Search the dblp DataBase
Isabelle Attali:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Isabelle Attali, Denis Caromel, Arnaud Contes
Hierarchical and Declarative Security for Grid Applications. [Citation Graph (0, 0)][DBLP] HiPC, 2003, pp:363-372 [Conf]
- 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]
- 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]
- 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]
- 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]
- Isabelle Attali
Compiling TYPOL with Attribute Grammars. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:252-272 [Conf]
- Isabelle Attali, Jacques Chazarain, Serge Gilette
Incremental Evaluation of Natural Semantics Specification. [Citation Graph (0, 0)][DBLP] PLILP, 1992, pp:87-99 [Conf]
- 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]
- Isabelle Attali, Jacques Chazarain
Functional Evaluation of Strongly Non Circular Typol Specifications. [Citation Graph (0, 0)][DBLP] WAGA, 1990, pp:157-176 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Une sémantique formelle de la concurrence en Java. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.305secs
|