Isabelle Attali

2007
26	EE	Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila: Secured Information Flow for Asynchronous Sequential Processes. Electr. Notes Theor. Comput. Sci. 180(1): 17-34 (2007)
2005
25	EE	Isabelle Attali, Denis Caromel, Arnaud Contes: Deployment-Based Security for Grid Applications. International Conference on Computational Science (1) 2005: 526-533
2004
24	EE	Isabelle Attali, Tomás Barros, Eric Madelaine: Parameterized Specification and Verification of the Chilean Electronic Invoices System. SCCC 2004: 14-25
2003
23	EE	Isabelle Attali, Denis Caromel, Arnaud Contes: Hierarchical and Declarative Security for Grid Applications. HiPC 2003: 363-372
2002
22	EE	Jehak Woo, Jongwook Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn: Alias Analysis for Exceptions in Java. ACSC 2002: 321-329
21	EE	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. Electr. Notes Theor. Comput. Sci. 65(3): (2002)
20	EE	Isabelle Attali, Denis Caromel, Marjorie Russo: Une sémantique formelle de la concurrence en Java. L'OBJET 8(1-2): 115-132 (2002)
2001
19		Isabelle Attali, Thomas P. Jensen: Java on Smart Cards: Programming and Security, First International Workshop, JavaCard 2000, Cannes, France, September 14, 2000, Revised Papers Springer 2001
18		Isabelle Attali, Thomas P. Jensen: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings Springer 2001
17	EE	Jongwook Woo, Jean-Luc Gaudiot, Isabelle Attali, Denis Caromel, Andrew L. Wendelborn: Alias Analysis On Type Inference For Class Hierarchy In Java. ACSC 2001: 206-214
16	EE	Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier: SmartTools: A Generator of Interactive Environments Tools. CC 2001: 355-360
15		Jongwook Woo, Jehak Woo, Isabelle Attali, Denis Caromel, Jean-Luc Gaudiot, Andrew L. Wendelborn: Alias Analysis for Java with Reference-Set Representation. ICPADS 2001: 459-466
14	EE	Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson: An integrated development environment for Java Card. Computer Networks 36(4): 391-405 (2001)
13	EE	Isabelle Attali, Carine Courbis, Pascal Degenne, Alexandre Fau, Didier Parigot, Claude Pasquier: SmartTools: a Generator of Interactive Environment Tools. Electr. Notes Theor. Comput. Sci. 44(2): (2001)
12	EE	Isabelle Attali, Denis Caromel, Marjorie Russo: Graphical Visualization of Java Objects, Threads, and Locks. IEEE Distributed Systems Online 2(1): (2001)
11		Isabelle Attali, Denis Caromel, Yung-Syau Chen, Jean-Luc Gaudiot, Andrew L. Wendelborn: Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics. International Journal of Parallel Programming 29(4): 433-460 (2001)
2000
10		Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson: Smart Tools for Java Cards. CARDIS 2000: 155-176
9		Isabelle Attali, Denis Caromel, Romain Guider: A Step Toward Automatic Distribution of Java Programs. FMOODS 2000: 141-162
1999
8		Isabelle Attali, Denis Caromel, Sylvain Lippi: From a Specification to an Equivalence Proof in Object-Oriented Parallelism. IPPS/SPDP Workshops 1999: 1197-1214
1996
7		Isabelle Attali, Denis Caromel, Romain Guider, Andrew L. Wendelborn: Optimizing Sisal Programs: A Formal Approach. Euro-Par, Vol. I 1996: 136-144
6		Isabelle Attali, Denis Caromel, Sidi O. Ehmety, Sylvain Lippi: Semantic-Based Visualization for Parallel Object-Oriented Programming. OOPSLA 1996: 421-440, 453-456
5	EE	Isabelle Attali, Denis Caromel, Sidi O. Ehmety: A Natural Semantics for Eiffel Dynamic Binding. ACM Trans. Program. Lang. Syst. 18(6): 711-729 (1996)
1995
4	EE	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn: From a formal dynamic semantics of Sisal to a Sisal environment. HICSS (2) 1995: 266-267
1992
3		Isabelle Attali, Jacques Chazarain, Serge Gilette: Incremental Evaluation of Natural Semantics Specification. PLILP 1992: 87-99
1990
2		Isabelle Attali, Jacques Chazarain: Functional Evaluation of Strongly Non Circular Typol Specifications. WAGA 1990: 157-176
1988
1		Isabelle Attali: Compiling TYPOL with Attribute Grammars. PLILP 1988: 252-272

Coauthor Index

1	Felipe Luna Del Aguila	[26]
2	Tomás Barros	[24]
3	Denis Caromel	[4] [5] [6] [7] [8] [9] [10] [11] [12] [14] [15] [17] [20] [22] [23] [25] [26]
4	Jacques Chazarain	[2] [3]
5	Yung-Syau Chen	[11]
6	Arnaud Contes	[23] [25]
7	Carine Courbis	[10] [13] [14] [16] [21]
8	Pascal Degenne	[13] [16] [21]
9	Sidi O. Ehmety	[5] [6]
10	Alexandre Fau	[13] [16] [21]
11	Joël Fillon	[21]
12	Jean-Luc Gaudiot	[11] [15] [17] [22]
13	Serge Gilette	[3]
14	Romain Guider	[7] [9]
15	Christophe Held	[21]
16	Ludovic Henrio	[10] [14] [26]
17	Thomas P. Jensen	[18] [19]
18	Sylvain Lippi	[6] [8]
19	Eric Madelaine	[24]
20	Henrik Nilsson	[10] [14]
21	Didier Parigot	[13] [16] [21]
22	Claude Pasquier	[13] [16] [21]
23	Marjorie Russo	[12] [20]
24	Andrew L. Wendelborn	[4] [7] [11] [15] [17] [22]
25	Jehak Woo	[15] [22]
26	Jongwook Woo	[15] [17] [22]

Colors in the list of coauthors