Publications of
Jean-Paul Arcangeli, Laetitia Bray, Annie Marcoux, Patrick Sallé
Engineering distributed object scheduling at the meta-level
In : Electronic Journal on Networks and Distributed Processing, TASC Lab., Université de Pau, Vol. 13, pp. 15-28, May 2002.
Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé
Typing Concurrent Objects and Actors
In : L’Objet – Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, pp. 83-106, January 2000.
Annie Marcoux, Christine Maurel, Frédéric Migeon, Patrick Sallé
Generic operational decomposition for concurrent systems : semantics and reflection
In : Parallel and Distributed Computing Practices, Nova Science Publishers inc., Vol. 1 N. 4, pp. 49-64, December 1998.
Jean-Paul Arcangeli, Annie Marcoux, Christine Maurel, Patrick Sallé
La programmation parallèle par acteurs: le système PlasmaII
In : Calculateurs Parallèles, La Boucle Informatique, Vol. 22, pp. 123-150, 1994.
Jean-Paul Arcangeli, Christine Maurel, Frédéric Migeon, Marc Pantel, Patrick Sallé
Ingénierie des applications mobiles
In : Journée Objet Composants et Modèles, Vannes, 05/02/03-05/02/03.
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé
Conception d’un protocole de communication paresseuse dans un environnement distribué d’acteurs
In : RENcontre francophone du PARallèlisme, Paris, 23/04/01-25/04/01, ., April 2001.
Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé
Communication between Actors in a distributed environment
In : Conference on Simulation Methods and Applications, Orlando, 29/10/00-31/10/00, ., October 2000.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des typages fonctionnels et concurrents d’un langage fonctionnel d’Acteurs
In : Formalisation des Activités Concurrentes, Toulouse, 25/02/99-26/02/99, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, February 1999.
Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé
Intégration des Typages Fonctionnel et Concurrent d’un Langage Fonctionnel d’Acteurs
In : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/99-02/02/99, INRIA, Collection Didactique, pp. 227-252, February 1999.
Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé
Static safety analysis for non-uniform service availability in Actors
In : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/99-18/02/99, Kluwer Academic Publisher, Pays-Bas, pp. 371-386, February 1999.
Laetitia Bray, Jean-Paul Arcangeli, Patrick Sallé
Programming concurrent objects scheduling strategies using reflection
In : ACM ICS Workshop on Scheduling Algorithms for Parallel and Distributed Computing – From Theory to Practice –, Rhodes, Grèce, ACM, pp. 7-11, June 1999.
URL : ftp://ftp.irit.fr/pub/IRIT/PLASMA/icsfinal99.ps.gz
BibTeXLaetitia Bray, Jean-Paul Arcangeli, Patrick Sallé
Experimenting Reflection for Programming Concurrent Objects Scheduling Strategies
In : 7th International Conference on High Performance Computing and Networking Europe 1999, poster session, Amsterdam, The Netherlands, 12/04/99-14/04/99, Lecture Notes in Computer Science, Vol. 1593, Springer-Verlag, Berlin/Heidelberg, pp. 1227-1230, April 1999.
Jean-Paul Arcangeli, Laetitia Bray, Patrick Sallé
An experience with reflection for scheduling actor-based irregular applications
In : First Workshop on Parallel Computing for Irregular Applications, Orlando (U.S.A.), I.M.A.G., Domaine UniversitaireF-38400 Saint-Martin d’Hères, pp. 1-6, January 1999.
URL : ftp://ftp.irit.fr/pub/IRIT/PLASMA/pcia99final.ps.gz
BibTeXFabien Dagnat, Marc Pantel, Patrick Sallé
ML-Act, un langage fonctionnel d’Acteurs
In : Journéee Francophone des Langages Applicatifs, Côme, 02/02/98-03/02/98, INRIA, Collection didactique, February 1998.
Marc Pantel, Patrick Sallé, Najat Rafalia, Abdelatif El Faker
Communication et transfert des données dans un environnement distribué d’acteurs
In : Colloque Africain sur la Recherche en Informatique, Dakar, 12/10/98-15/10/98, ., October 1998.
Jean-Paul Arcangeli, Laetitia Bray, Patrick Sallé
Le placement des acteurs : problématique et méthodologie
In : Deuxièmes Journées de Recherche sur le Placement Dynamique et la Répartition de Charge, Lille (F.), L.I.F.L., pp. 1-5, May 1998.
URL : ftp://ftp.irit.fr/pub/IRIT/PLASMA/lille98.ps.gz
BibTeXFrédéric Migeon, Patrick Sallé
Acteurs et réflexivité
In : Journées francophones des langages applicatifs, Come, Italie, 02/02/98-03/02/98, S.A. Cerri, C. Queinnec, I.N.R.I.A. (collection Didactique, 17), pp. 173-195, February 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
From set based to multiset based analysis: A practical approach
In : Workshop on set constraints and set based analysis, Pise, 28/10/98, Pise Univ., pp. 1-10, October 1998.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyses Statiques de langages d’Acteurs
In : Journées du GDR Programmation, Rennes, 12/11/97-14/11/97.
Frédéric Migeon, Patrick Sallé
Generic reflective description of concurrent systems
In : 5th International Conference on Advanced Computing (ADCOMP’97), Chennai (Madras), India, 15/12/97-17/12/97, Tata McGraw Hill, New Delhi, Inde, pp. 155-161, December 1997.
URL : ftp://ftp.irit.fr/pub/IRIT/PLASMA/ADCOMP97.ps.gz
BibTeXJean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in actors languages
In : Proceedings of the 2nd France Japan Workshop on Object Based Parallel and Distributed Computing, –, -, October 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Analyse de linéarité par typage dans un calcul d’acteurs
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
A set-constraint-based analysis of actors
In : Proceedings of the 1997 IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, –, Chapman and Hall, pp. 107-122, July 1997.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
CAP: An Actor dedicated process calculus
In : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, July 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’Acteurs primitifs (CAP)
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1996.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
An actor dedicated process calculus
In : ECOOP’96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, –, -, May 1996.
Christiane Massoutié, Marc Pantel, Patrick Sallé, A. El-Faker
Vers une machine virtuelle pour l’évaluation des langages d’acteurs
In : Actes de la conférence Langages et Modèles à Objets, –, .
Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni
Un calcul d’acteurs primitifs
In : Journées du G.D.R. Programmation, Grenoble, -, November 1995.
Claude Bétourné, Daniel Litaize, Joseph Noailles, Patrick Sallé
De l’algorithme à son exécution parallèle
In : Les 20 ans des SPI, SITEF, Toulouse, .
Typage souple pour le langage Fol
In : Actes des Journées Francophones des Langages Applicatifs, –, -, January 1994.
Jean-Louis Colaço, Marc Pantel, Patrick Sallé
Static analysis of behavior changes in Actor languages
In : Object-Oriented Parallel and Distributed Programming. Jean-Paul Bahsoun, Takanobu Baba, Jean-Pierre Briot, Akinori Yonezawa (Eds.) , Hermès Science, 8, quai du Marché-Neuf, 75004 Paris, France, pp. 53-72, January 2000.