Publications - ACADIE

 Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

• Livres / Books
• Ouvrages de synthèse / Books edition
• Numéros spéciaux de revues / Special issues of journals
• Actes de conférences et de workshops / Conferences proceedings
• Articles de revues internationales / International journals articles
• Articles de revues nationales / National journals articles
• Contributions à des ouvrages de synthèse / Books parts
• Conférences et workshops internationaux / International conferences articles
• Conférences et workshops nationaux / National conferences articles
• Conférences sans actes publiés / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Livres / Books (monographies)

• Olga Antonova, Sergei Soloviev. La théorie et la pratique de la réalité virtuelle: l'analyse logique et philosophique., Universite d'Etat de St. Petersbourg, août 2008.
  Résumé
  BibTeX

• J.-M. Farines, B. Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, P. Michel, F. Vernadat. The Cotre Project: Rigorous Software Development for Real Time Systems in Avionics, COLNARIC, ADAMSKI & WEGRZYN, novembre 2003.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Amal Sayah. Programmation en C++, InterEditions, 1994.
  BibTeX

Ouvrages de synthèse / Books edition

• Pierre Dissaux, Mamoun Filali, P. Michel, F. Vernadat. Architecture Description languages, Springer, avril 2005.
  BibTeX

• Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud. NEPTUNE : Method, Checking and documentation generation for UML application, NEPTUNE Consortium, 2003.
  Résumé
  BibTeX

Numéros spéciaux de revues / Special issues of journals

• Ralph Matthes, Sergei Soloviev. Isomorphism of types and invertibility of lambda terms. Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 18, août 2008.
  BibTeX

• Sergei Soloviev, Roberto Di Cosmo. Isomorphism of Types. Dans : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 15 N. 5, octobre 2005.
  BibTeX

• Jean-Paul Arcangeli, Mamoun Filali, Abdelkader Hameurlain, Gérard Padiou. Les environnements d'exécution répartie. Dans : Calculateurs Parallèles, Réseaux et Systèmes Répartis, HERMES, 8, quai du Marche-Neuf 75004 Paris France, Vol. 10, 5, 1998.
  Accès : http://www.editions-hermes.fr/cad_inti.htm
  BibTeX

• Jean-Paul Bodeveix, Christian Percebois, Salam Majoul. Coordinating Objects through Multiset Rewriting. Dans : Special Issues in Object-Oriented Programming, Mühlhäuser, Vol. 3, mars 1997.
  BibTeX

Actes de conférences et de workshops / Conferences proceedings

• Ralph Matthes. 4th International Workshop on Higher-Order Rewriting, Paris, 25/06/2007 - 25/06/2007, IRIT, juin 2007.
  Accès : http://www.irit.fr/~Ralph.Matthes/HOR/Proceedings.pdf
  BibTeX

Articles de revues internationales / International journals articles

• Miloud Rached, Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali. Une Extension Temporisée de la Méthode B pour la Spécification et la Vérification des Systèmes Temps-Réel. Dans : Journal Européen des Systèmes Automatisés, Hermès Science Publications, Numéro spécial Approches formelles pour la spécification et la verification des systèmes embarqués temps-réel, Vol. 42 N. 9, p. 1061-1084, décembre 2008.
  BibTeX

• Ralph Matthes, Sergei Soloviev. Preface to the special issue: isomorphisms of types and invertibility of lambda terms. Dans : Mathematical Structures in Computer Science, Cambridge University Press, Numéro spécial Isomorphisms of types and invertibility of lambda terms, Vol. 18, p. 645-646, août 2008.
  BibTeX

• Aurélie Hurault, Michel Daydé, Marc Pantel. Advanced service trading for scientific computing over the grid. Dans : Journal of Supercomputing, Springer-Verlag, septembre 2008 (à paraître).
  BibTeX

• José Espírito Santo, Ralph Matthes, Luís Pinto. Continuation-passing style and strong normalisation for intuitionistic sequent calculi. Dans : Logical Methods in Computer Science, Logical Methods in Computer Science, Germany, 2008 (à paraître).
  BibTeX

• Ralph Matthes. An induction principle for nested datatypes in intensional type theory. Dans : Journal of Functional Programming, Cambridge University Press, 2008 (à paraître).
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/works.html
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, F. Vernadat. A Property-Driven Approach to Formal Verification of Process Models. Dans : Enterprise Information Systems, Springer-Verlag, Vol. IX, 2008 (à paraître).
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Abstract Interpretation-based Static Safety for Actors. Dans : Journal of Software, Academy Publisher, Finland, Vol. 2 N. 3, p. 87-98, septembre 2007.
  BibTeX

• Gérard Sébastien, Peter Feiler, Jean-François Rolland, Mamoun Filali, Marc-Olivier Reiser, Didier Delanote, Yolande Berbers, Laurent Pautet, Isabelle Perseil. UML & AADL '2007 Grand Challenges. Dans : ACM SIGBED Review, ACM, Numéro spécial A Special Report on UML & AADL Grand Challenges, Vol. 4 N. 4, (en ligne), octobre 2007.
  Accès : http://www.cs.virginia.edu/sigbed/vol4_num4.html#columns
  BibTeX

• Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou. Safe Adaptation of Component Coordination. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Numéro spécial Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, Vol. 189, p. 69-85, juillet 2007.
  Résumé Accès : http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4P5RTKV-6-1&_cdi=13109&_user=4373277&_orig=browse&_coverDate=07%2F17%2F2007&_sk=998109999&view=c&w
  BibTeX

• Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou. Safe Adaptation of Component Coordination. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 189, p. 69-85, 2007.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Automatic Verification of Bossa Scheduler Properties. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 185, p. 17-32, juillet 2007.
  BibTeX

• Laurent Méhats, Sergei Soloviev. Coherence in SMCCs and equivalences on derivations in IMLL with unit. Dans : Annals of Pure and Applied Logics, Elsevier, Vol. 147 N. 3, p. 127-179, 2007 (à paraître).
  Résumé
  BibTeX

• Ibrahim Lokpo, Tra Goore Bi, Christophe Cubat Dit Cros, Gérard Padiou. Ad Hoc Location Service for Mobile Agents. Dans : Journal of Digital Information Management, Digital Information Research Foundation (DIRF), Vol. 4 N. 2, p. 131-135, mai 2006.
  BibTeX

• Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Vol. 141, p. 153-169, août 2005.
  BibTeX

• Sergei Soloviev. Foreword. Dans : Mathematical Structures in Computer Science, Cambridge University Press, Numéro spécial Isomorphism of Types, Vol. 15 N. 5, p. 821-825, octobre 2005.
  Résumé
  BibTeX

• Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton. Dynamic aspects of retrenchments through temporal logic. Dans : Annals of Mathematics, Computing and Teleinformatics, Technological Education Institute of Larissa, Grèce, Vol. 1 N. 3, p. 18-26, 2005.
  Résumé
  BibTeX

• Michel Daydé, Frédéric Desprez, Aurélie Hurault, Marc Pantel. On deploying scientific software within the GRID-TLSE project. Dans : Computing Letters, VSP/Brill Academic Publisher, Vol. 1 N. 3, p. 85-92, juillet 2005.
  BibTeX

• Ousmane Koné. An interoperability testing approach to wireless application protocols. Dans : Journal of Universal Computer Science, J.UCS Springer Co.Pub, Vol. 9, p. 1220-1243, 2003.
  BibTeX

• Sergei Soloviev, Vladimir Orevkov. On categorical equivalence of Gentzen-style derivations in IMLL. Dans : Theoretical Computer Science, Elsevier, Vol. 303, p. 245-260, 2003.
  Résumé Accès : www.ComputerScienceWeb.com
  BibTeX

• Ousmane Koné. Conformance testing to real-time communications systems. Dans : Computer Communications, Elsevier Science, Vol. 25, p. 32-45, 2002.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Reduction and quantifier elimination techniques for program validation. Dans : Formal Methods in System Design, Vol. 20 N. 1, p. 69-89, 2002.
  BibTeX

• Sergei Soloviev, Zhaohui Luo. Coercion Completion and Conservativity in Coercive Subtyping. Dans : Annals of Pure and Applied Logic, Elsevier, Vol. 113 N. 1-3, p. 297-322, janvier 2002.
  BibTeX

• Ousmane Koné. A local approach to the testing of real-time systems. Dans : The Computer Journal, British Computer Society, Oxford Press, Vol. 44, p. 435-447, 2001.
  BibTeX

• Sergei Soloviev, Giuseppe Longo, Kathleen Milsted. Coherence and Transitivity of Subtyping as Entailment. Dans : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 4, p. 493-527, août 2000.
  BibTeX

• Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Modelling and Verifying Mobility : A Case Study. Dans : Studia Informatica, Vol. special issue, p. 151-166, 1999.
  BibTeX

• Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. The observation : an abstract communication mechanism. Dans : Parallel Processing Letters, World Scientific Publishing Company, ., Vol. 9 N. 3, 1999.
  BibTeX

• Sergei Soloviev. Proof of a conjecture of S. Mac Lane. Dans : Annals of Pure and Applied Logic, Elsevier, Vol. 90, p. 101-162, 1997.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Towards the automatic verification of atomic memory protocols. Dans : Parallel Processing Letter, M. Cosnard, Vol. 7 N. 1, p. 101-112, 1997.
  BibTeX

• Mamoun Filali. The specification of the temporal behaviour for multimedia scheduling. Dans : Annales des Télécommunications, Vol. 49 N. 5--6, p. 315-323, 1994.
  BibTeX

Articles de revues nationales / National journals articles

• Olga Antonova, Sergei Soloviev. Le test de Turing et la question d'une definition de la realite virtuelle. Dans : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d'Etat de St. Petersbourg, Russia, Vol. 5, p. 50-67, 2008.
  Résumé
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel. SéMo'07 : premier atelier sur la Sémantique des Modèles. Dans : L'Objet, Hermès Science Publications, Numéro spécial Ingénierie Dirigée par les Modèles, Vol. 13, N. 4, p. 137-144, janvier 2008.
  Résumé
  BibTeX

• Olga Antonova, Sergei Soloviev. Axiomatika i ochevidnost. (Axiomatique et evidence.)Logiko-philosophskie shtudii, 4, Universite d'Etat de St. Petersbourg. Dans : Logiko-philosophskie shtudii. (Etudes logiko-philosophiques), Universite d'Etat de St. Petersbourg, Russia, Vol. 4, p. 3-11, août 2007.
  Résumé
  BibTeX

• Nadège Pontisso, David Chemouil. Vérification formelle d'un modèle AADL à l'aide de l'outil UPPAAL. Dans : Génie Logiciel, Hermès, Vol. 80, p. 36-40, mars 2007.
  BibTeX

• Jean-François Rolland, Thomas Dave, David Chemouil. Utilisation d'AADL pour la conception de logiciels de vol satellite. Dans : Génie Logiciel, AFCET, Paris, Vol. 80, p. 41-44, mars 2007.
  BibTeX

• Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Un framework à composants et agents pour les applications réparties à grande échelle. Dans : Revue des Sciences et Technologies de l'Information, série L'Objet, Lavoisier, Vol. 12, N. 4, p. 103-132, décembre 2006.
  Résumé
  BibTeX

• Laurent Méhats, Sergei Soloviev. Permutability of Inferences and Categorical Equivalence of Derivations in IMLL.. Dans : Vestnik Tverskogo Gosudarstvennogo Universiteta (Communications de l'université de Tver, Russie), Université de Tver (Russie), Vol. 6, N. 12, p. 27-44, décembre 2005.
  Résumé
  BibTeX

• Patrick Farail, Pierre Gaufillet, Mamoun Filali, P. Michel, F. Vernadat. Vérifications dans un AGL orienté modèles. Dans : Génie Logiciel, GL & IS, 8 Rue du Parc 92190 Meudon, Vol. 69, p. 51-55, juin 2004.
  BibTeX

• Alexandre Flegontov , Ludmila Fedorchenko, Sergei Soloviev. The use of type theory in symbolic computations. (Russian). Dans : Informatica i svyaz (Informatics and communication.), Vol. 1, N. 2003, p. 68-76, 2003.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz. Formalisation de la méthode B en Coq et PVS. Dans : Technique et Science Informatiques, HERMES, PARIS, Vol. 20, N. 7, p. 901-926, juillet 2001.
  BibTeX

• Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé. Typing Concurrent Objects and Actors. Dans : L'Objet - Méthodes formelles pour les objets, Hermès, Vol. 6, N. 1, p. 83-106, janvier 2000.
  BibTeX

• Ousmane Koné, Richard Castanet. Méthodes formelles de test de conformité de protocoles. Dans : Technique et science informatiques, Hermes, Vol. 5, p. 1-35, 1999.
  BibTeX

• Didier Plaindoux, Jean-Paul Bodeveix, Christian Percebois. Types versus Classes. Dans : L'Objet, Hermes, Vol. 4, N. 1, p. 3-25, 1998.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Techniques de preuve automatique pour la validation de programmes. Dans : Technique et science informatiques, hermes, Paris, Vol. 17, N. 9, p. 1129-1155, novembre 1998.
  BibTeX

• Gérard Padiou, Mamoun Filali, Philippe Quéinnec. Les modèles d'exécution répartie. Dans : Calculateurs parallèles Réseaux et Systèmes répartis, Hermes, Paris, Vol. 5, N. 10, p. 477-492, 1998.
  BibTeX

Contributions à des ouvrages de synthèse / Books parts

• Eddy Caron, Frédéric Desprez, Jean-Yves L'Excellent, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Use of A Network Enabled Server System for a Sparse Linear Algebra Application. Dans : Future Generation Grids. Michel Cosnard, Vladimir Getov, Alexander Reinefeld, Domenico Talia (Eds.), Springer Verlag, Vol. 2, CoreGrid Series, 2005.
  BibTeX

• Juan-Carlos Cruellas, Jean-Paul Bodeveix, Thierry Millan, Agusti Canals. The NEPTUNE Technology to verify and to Document Software cOMPONENTS. Dans : Business Component-Based Software Engineering. Franck Barbier (Eds.), Kluwer Academic Publishers, Post Office Box 322 - 330 AH Dordrecht - THE NETHERLANDS, p. 101-118, 2003.
  Résumé
  BibTeX

• Ousmane Koné. Automates temporisés et expression de la Qualité de Service. Dans : Qualité de Service en Ingénierie des Protocoles. (Eds.), Hermès, p. 19-47, 2001.
  BibTeX

• Sergei Soloviev. Bibliothèque universelle et culture de l' éphèmere.. Dans : Comprendre les usages de l'Internet. Eric Guichard (Eds.), Editions rue d'Ulm (ENS), Ecole Normale Supérieure, 45 rue d'Ulm, 75230, Paris, p. 59-64, juin 2001.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé. Static analysis of behavior changes in Actor languages. Dans : 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, p. 53-72, janvier 2000.
  BibTeX

• Pierre Maurice. Langages de script. Dans : Techniques de l'Ingénieur, traité informatique. J.-P. Figer (Eds.), Techniques de l'Ingénieur, Paris, Vol. H3-118, juin 2000.
  BibTeX

• Richard Castanet, Ousmane Koné, Patrice Laurençot. Génération de séquences de test temporisé. Dans : Ecole d'Eté Temps Réel. (Eds.), CNRS EDITIONS, p. 204-215, 1997.
  BibTeX

• Mamoun Filali, Yassine Jamoussi, Ahmed Knani, Jean-Claude Maurize. an Occam programming environment. Dans : Structure Editors and Structure-Based Environments. G. Szwillus, L. Neal (Eds.), Academic Press, p. 107-132, 1996.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Real Time Behavior of Data in Distributed Embedded Systems. Dans : IADIS e-Society, Wisla (Poland), 20/10/2008-22/10/2008, Practical Memory Institute, p. 569-575, octobre 2008.
  Accès : http://www.proceedings2008.imcsit.org/
  BibTeX

• Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave. AADL modes for space software. Dans : Data Systems In Aerospace (DASIA 2008), Palma de Majorca-Spain, 27/05/2008-30/05/2008, European Space Agency (ESA Publications), (support électronique), mai 2008.
  BibTeX

• Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Thomas Dave. Modes in asynchronous systems. Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2008), Belfast Ireland, 31/03/2008-04/04/2008, IEEE, (support électronique), avril 2008.
  BibTeX

• Ralph Matthes. Recursion on Nested Datatypes in Dependent Type Theory. Dans : Computability in Europe Logic and Theory of Algorithms (CiE 2008), University of Athens, 15/06/2008-20/06/2008 (conférencier invité), Vol. 5028, Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.), Springer-Verlag, LNCS, p. 431-446, 2008.
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/works.html
  BibTeX

• Ralph Matthes. Nested Datatypes with Generalized Mendler Iteration: Map Fusion and the Example of the Representation of Untyped Lambda Calculus with Explicit Flattening. Dans : International Conference on Mathematics of Program Construction (MPC 2008), Marseille, 15/07/2008-18/07/2008, Vol. 5133, Philippe Audebaud, Christine Paulin-Mohring (Eds.), Springer-Verlag, LNCS, p. 220-242, 2008.
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/works.html
  BibTeX

• Darlam Bender, Benoit Combemale, Xavier Crégut, F. Vernadat, J.-M. Farines. Ladder Metamodeling & PLC Program Validation through Time Petri Nets. Dans : European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA 2008), Berlin, Germany, 09/06/2008-12/06/2008, Springer, Lecture Notes in Computer Science, 2008 (à paraître).
  Résumé
  BibTeX

• Angel Garcia, Benoit Combemale, Xavier Crégut, Jean-Noël Guyot, Boris Libert. TopProcess: A Process Model Driven Approach Applied in Topcased for Embedded Real-Time Software. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, Société des Ingénieurs de l'Automobile, (support électronique), janvier 2008.
  BibTeX

• Andres Toom, Tonu Naks, Marc Pantel, Marcel Gandriau, Indra Wati. GeneAuto: An Automatic Code Generator for a safe subset of SimuLink/StateFlow. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, Société des Ingénieurs de l'Automobile, (support électronique), 2008.
  BibTeX

• Nassima Izerrouken, Xavier Thirioux, Marc Pantel, Martin Strecker. Certifying an Automated Code Generator Using Formal Tools : Preliminary Experiments in the GeneAuto Project. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, Société des Ingénieurs de l'Automobile, (support électronique), 2008.
  BibTeX

• Benoit Combemale, Xavier Crégut, Jean-Patrice Giacometti, Pierre Michel, Marc Pantel. Introducing Simulation and Model Animation in the MDE Topcased Toolkit. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, Société des Ingénieurs de l'Automobile, (support électronique), janvier 2008.
  BibTeX

• Frédéric Minot, Jean-Paul Bodeveix, Mamoun Filali, David Doose, Charles Castel, Cédric Pralet, P. Bieber. Constraint-based design of Avionics platform- preliminary design exploration. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 31/01/2008-01/02/2008, SEE, (support électronique), janvier 2008.
  BibTeX

• Patrick Farail, Pierre Gaufillet, Florent Peres, Jean-Paul Bodeveix, Mamoun Filali, B. Berthomieu, Saad Rodrigo, F. Vernadat, Hubert Garavel, Frédéric Lang. FIACRE: an intermediate language for model verification in the TOPCASED environment. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, SEE, (support électronique), janvier 2008.
  BibTeX

• Maxime Rebout, Louis Féraud, Sergei Soloviev. A Unified Categorical Approach for Attributed Graph Rewriting. Dans : International Computer Science Symposium in Russia (CSR 2008), Moscou, 07/06/2008-12/06/2008, Springer, juin 2008 (à paraître).
  BibTeX

• Ralph Matthes, Martin Strecker. Verification of the Redecoration Algorithm for Triangular Matrices. Dans : Conference of the Types Project (TYPES 2007), Cividale, Italie, 02/05/2007-05/05/2007, Vol. 4941, Marino Miculan, Ivan Scagnetto, Furio Honsell (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 125-141, 2008.
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/works.html
  BibTeX

• Tanguy Le Berre, Philippe Quéinnec, Gérard Padiou. Ensuring Timed Validity of Distributed Real Time Data. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, France, 29/01/2008-01/02/2008, SIA/3AF/SEE, (en ligne), janvier 2008.
  Accès : http://www.sia.fr/dyn/publications_detail.asp?codepublication=R-2008-01-1B05
  BibTeX

• Martin Strecker. Modeling and Verifying Graph Transformations in Proof Assistants. Dans : International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007), Braga/Portugal, 31/03/2007, Vol. 203, Ian Mackie, Detlef Plump (Eds.), Elsevier Science, Electronic Notes in Theoretical Computer Science, p. 135-148, mars 2008.
  Accès : http://www.irit.fr/~Martin.Strecker/Publications/termgraph07.html
  BibTeX

• Marc Pantel. The TOPCASED project: a Toolkit in OPen source for Critical Applications & SystEms Design. Dans : Model-Driven Development Tool Implementers Forum (MDD-TIF 2007), Zurich, 24/06/2007, Domain Specific Modelling Forum (DSMF), (en ligne), juin 2007.
  Accès : http://www.dsmforum.org/events/MDD-TIF07/TOPCASED.pdf
  BibTeX

• Jean-François Rolland, Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Dave Thomas. Towards a formal semantics for AADL execution model. Dans : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 29/01/2008-01/02/2008, 2007 (à paraître).
  BibTeX

• Patrick Amestoy, Michel Daydé, Ronan Guivarch, Christophe Hamerling, Marc Pantel. Use of Scenarios for Generating Dynamic Execution Workflows over the Grid within the Grid-TLSE project. Dans : International E-Conference on Computer Science, Electronic Conference, 10/07/2006-14/07/2006, Vol. 8, Theodore Simos, Georgios Psihoyios (Eds.), BRILL, Lecture Series on Computer and Computational Science, p. 1-11, septembre 2007.
  BibTeX

• Philippe Balbiani, Jan Broersen, Julien Brunel. Decision procedures for a deontic logic modeling temporal inheritance of obligations. Dans : Workshop Methods for Modalities, Paris, 29/11/2007-30/11/2007, Elsevier, novembre 2007 (à paraître).
  BibTeX

• Philippe Mauran, Philippe Quéinnec, Gérard Padiou. Separability to help Parallel Simulation of Distributed Computations. Dans : International Conference On Principles Of Distributed Systems (OPODIS 2007), Guadeloupe, 17/12/2007-20/12/2007, Hacene Fouchal, Eduardo Tovar, Philippas Tsigas (Eds.), Springer-Verlag, LNCS, p. 358-371, 2007.
  Résumé
  BibTeX

• Julien Brunel, Frédéric Cuppens, Nora Cuppensboulahia, Thierry Sans, Jean-Paul Bodeveix. Security Policy Compliance with Violation Management. Dans : ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code, Washingthon USA, 12/11/2007-13/11/2007, ACM, novembre 2007 (à paraître).
  BibTeX

• Reda Bendraou, Benoit Combemale, Xavier Crégut, Marie-Pierre Gervais. Definition of an Executable SPEM2.0. Dans : Asia-Pacific Software Engineering Conference (APSEC 2007), Nagoya, Japan, 04/12/2007-07/12/2007, IEEE Computer Society, p. 390-397, décembre 2007.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Raphael Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland. A mapping from AADL to Java-RTSJ. Dans : International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2007), Vienna, Austria, 26/09/2007-28/09/2007, ACM, ACM International Conference Proceeding Series, p. 165-174, septembre 2007.
  BibTeX

• Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, Dave Thomas. The AADL behaviour annex -- experiments and roadmap. Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), Auckland, New Zealand, 11/07/2007-14/07/2007, IEEE Computer Society, p. 377-382, 2007.
  BibTeX

• Mamoun Filali. A Mechanization of Phylogenetic Trees. Dans : International Verification Workshop (VERIFY 2007), Bremen, 15/07/2007-16/07/2007, Bernhard Beckert (Eds.), CEUR Workshop Proceedings, (en ligne), juillet 2007.
  Accès : http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS//Vol-259/
  BibTeX

• José Espírito Santo, Ralph Matthes, Luís Pinto. Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi. Dans : Typed Lambda Calculi and Applications, Paris, France, 26/06/2007-28/06/2007, Vol. 4583, Simona Ronchi Della Rocca (Eds.), Springer-Verlag, Lecture Notes in Computer Science, p. 133-147, juin 2007.
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/papers/TLCA07final.pdf
  BibTeX

• Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche. A Framework to formalise the MDE Foundations. Dans : International Workshop on Towers of Models (TOWERS 2007), Zurich, 25/06/2007, Richard Paige, Jean Bézivin (Eds.), Model Driven Engineering (MDE), p. 14-30, juin 2007.
  Résumé
  BibTeX

• Jan Broersen, Julien Brunel. What I fail to do today, I have to do tomorrow': a logical study of the propagation of obligations. Dans : Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII 2007), Porto, Portugal, 10/09/2007-11/09/2007, Fariba Sadri, Ken Satoh (Eds.), septembre 2007 (à paraître).
  BibTeX

• Ricardo Bedin Franca, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker, Mamoun Filali. Modelling a bus protocol an incremental approach. Dans : Workshop on Real-Time Systems (WTR 2007), Belem (Brésil)l, 28/05/2007-28/05/2007, Universidade Federal de Santa Catarina, (support électronique), mai 2007.
  BibTeX

• Benoit Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, F. Vernadat. Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study. Dans : International Conference on Enterprise Information Systems (ICEIS 2007), Funchal, Madeira - Portugal, 12/06/2007-16/06/2007, INSTICC Press, p. 80-89, juin 2007.
  BibTeX

• Sergei Soloviev, Olga Antonova. Axiomatics and its Model Interpretation from the Historical Perspective.. Dans : The Classical Model of Science, Vrije University, Amsterdam, 10/01/2007-13/01/2007, Vrije Universiteit, p. 18-19, janvier 2007.
  Résumé
  BibTeX

• Jan Broersen, Julien Brunel. Preservation of Obligations in a Temporal and Deontic Framework. Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, 14/05/2007-18/05/2007, Edmund H. Durfee, Makoto} Yokoo (Eds.), ACM, p. 1108-1110, mai 2007.
  BibTeX

• Patrick Farail, Pierre Gaufillet, Agusti Canals, Christophe Le Camus, David Sciamma, Pierre Michel, Xavier Crégut, Marc Pantel. The TOPCASED project: a Toolkit in Open source for Critical Aeronautic SystEms Design. Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/2006-27/01/2006, Société des Ingénieurs de l'Automobile, (support électronique), janvier 2006.
  BibTeX

• Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou, Jean Fanchon. A Coordination-Level Middleware for Supporting Flexible Consistency in CSCW. Dans : Euromicro International Conference on Parallel, Distributed and network-based Processing, Montbéliard, France, 15/02/2006-17/02/2006, IEEE, p. 316-321, février 2006.
  BibTeX

• Ousmane Koné, Rachid Bouaziz. Symbolic and On the fly Testing with Real-time Observers. Dans : IFIP International Conference on Testing Communicating Systems (TestCom 2006), New York, 20/05/2006-26/05/2006, Springer-Verlag, p. 1-16, 2006.
  BibTeX

• Michel Daydé, Aurélie Hurault, Marc Pantel. Semantic-based Service trading: Application to Linear Algebra. Dans : VECPAR'06 - Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/2006-13/07/2006, Springer-Verlag, LNCS 4395, p. 622-633, 2006.
  BibTeX

• Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Nicolas Lalevee, Martin Strecker. Towards the verification of model transformations. Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/2006-27/01/2006, Société des Ingénieurs de l'Automobile, (support électronique), 2006.
  Accès : http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm
  BibTeX

• Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, F. Vernadat. Behavioural descriptions in architecture description languages: Application to AADL. Dans : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/2006-27/01/2006, Société des Ingénieurs de l'Automobile, (support électronique), 2006.
  Accès : http://www.sia.fr/evenement_detail_erts2006_embedded_real_time_actes_365.htm
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Automatic Verification of Bossa Scheduler Properties. Dans : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), LORIA Nancy, 18/09/2006-19/09/2006, HAL-INRIA, (en ligne), septembre 2006.
  Accès : http://hal.inria.fr/
  BibTeX

• Martin Strecker, Mathieu Giorgino. Towards a Formalisation of Graph Transformations in Proof Assistants. Dans : nternational Workshop on Automated Verification of Critical Systems (AVOCS 2006), Nancy, 18/09/2006-19/09/2006, Stephan Merz, Tobias Nipkow (Eds.), HAL-INRIA, (en ligne), septembre 2006.
  Accès : http://www.irit.fr/~Martin.Strecker/Publications/avocs06.html
  BibTeX

• Christophe Sibertin-Blanc, Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi. Safe dynamic Adaptation of Interaction Protocols. Dans : International Workshop on Coordination and Adaptation for Software Entities (WCAT 2006), Nantes, 04/07/2006-04/07/2006, Vol. Technical Report IBISC RR 2006, Steffen Becker, Carlos Canal, Nicolay Diakov, Juan M. Murillo (Eds.), Laboratoire IBISC (Genopole), p. 81-90, juillet 2006.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, F. Vernadat. AADL behavioural annex. Dans : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/2006-25/05/2006, European Space Agency (ESA Publications), (support électronique), 2006.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached, David Chemouil, Pierre Gaufillet. Experimenting an AADL Behavioural Annex and a Verification Method. Dans : Data Systems In Aerospace (DASIA 2006), Berlin-Germany, 22/05/2006-25/05/2006, European Space Agency (ESA Publications), (support électronique), 2006.
  BibTeX

• Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette. Towards a rigorous use of SPEM. Dans : International Conference on Enterprise Information Systems (ICEIS 2006), Paphos, Cyprus, 23/05/2006-27/05/2006, INSTICC Press, p. 530-533, mai 2006.
  BibTeX

• Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel. Towards rigorous metamodeling. Dans : Model-Driven Enterprise Information Systems (MDEIS 2006), Paphos - Cyprus, 23/05/2006, Luís Ferreira Pires, Slimane Hammoudi (Eds.), INSTICC Press, p. 1-15, mai 2006.
  Résumé
  BibTeX

• Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Honiden Shinichi, Pierre-Loïc Garoche. Adaptive Geographically Bound Mobile Agents. Dans : Mobile Ad-hoc and Sensor Networks (MSN 2006), Hong Kong, China, 13/12/2006-15/12/2006, Sajal K. Das, Xiaohua Jia (Eds.), Springer, LNCS 4325, (support électronique), 2006.
  Accès : http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4325&issue=preprint
  BibTeX

• Patrick Amestoy, Michel Daydé, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Management of services based on a semantic description within the GRID-TLSE project. Dans : VECPAR'06 - Workshop on Computational Grids and Clusters (WCGC 2006), Rio de Janeiro, Brésil, 10/07/2006-13/07/2006, Springer-Verlag, LNCS 4395, p. 634-643, juillet 2006.
  BibTeX

• Olga Antonova, Sergei Soloviev. About Wittgenstein's mathematical epistemology. Dans : The International Wittgenstein Symposium, Kirchberg am Wechsel, 06/08/2006-12/08/2006, Austrian Ludwig Wittgenstein Society (ALWS), pre-proceedings of the 29-th International Wittgenstein Symposium, p. 15-20, août 2006.
  Résumé
  BibTeX

• Olga Antonova, Sergei Soloviev. On Historical Roots of Type Theory.. Dans : Logic Colloquium (LC 2005), Athens, Greece, 28/07/2005-03/08/2005, Association for Symbolic Logic (ASL), p. 45-45, 2006.
  BibTeX

• Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi. Supervising Distributed Black Boxes. Dans : International Symposium on Component-Based Software Engineering (CBSE 2006), Västeras, Sweden, 29/06/2006-01/07/2006, Vol. 4063, Ian Gorton, George T. Heineman, Ivica Crnkovic, Heinz W. Schmidt (Eds.), Springer-Verlag, LNCS, p. 166-181, juillet 2006.
  Résumé
  BibTeX

• Ralph Matthes. Stabilization - An Alternative to Double-Negation Translation for Classical Natural Deduction. Dans : Logic Colloquium (LC 2003), Helsinki, Finland, 14/08/2003-20/08/2003, Vol. 24, Viggo Stoltenberg-Hansen, Jouko Väänänen (Eds.), A K Peters, Lecture Notes in Logic, p. 167-199, 2006.
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/works.html
  BibTeX

• Ralph Matthes. Verification of programs on truly nested datatypes in intensional type theory. Dans : Workshop on Mathematically Structured Functional Programming (MSFP 2006), Kuressaare, Estonie, 02/07/2006, Conor McBride, Tarmo Uustalu (Eds.), British Computer Society, Electronic Workshops in Computing (eWiC), (en ligne), juin 2006.
  Résumé Accès : http://www.bcs.org/server.php?show=ConWebDoc.5352
  BibTeX

• Ralph Matthes. A Datastructure for Iterated Powers. Dans : International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonie, 03/07/2006-05/07/2006, Vol. 4014, Tarmo Uustalu (Eds.), Springer-Verlag, LNCS, p. 299-315, juin 2006.
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/papers/mpc06final.pdf
  BibTeX

• Pierre-Loïc Garoche, Cyrille Artho. Accurate Centralization for Applying Model Checking on Networked Applications. Dans : IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18/09/2006-22/09/2006, Shinichi Honiden, Sebastian Uchitel, Steve Easterbrook (Eds.), IEEE, p. 177-188, septembre 2006.
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. Dans : IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006), Bologna, Italy, 14/06/2006-16/06/2006, Vol. 4037, Roberto Gorrieri, Heike Wehrheim (Eds.), Springer, LNCS , p. 78-92, juin 2006.
  Résumé
  BibTeX

• Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali. A state/event temporal deontic logic. Dans : International Workshop on Deontic Logic in Computer Science (DEON 2006), Utrecht, The Netherlands, 12/07/2006-14/07/2006, Vol. , Lou Goble, John-Jules Ch. Meyer (Eds.), Springer, LNAI 4048, p. 85-100, juillet 2006.
  BibTeX

• Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached. Verification of a Scheduler in B Through a Timed Automata Specification. Dans : Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, 23/04/2006-27/04/2006, ACM, p. 1800-1801, avril 2006.
  BibTeX

• Michel Daydé, Aurélie Hurault, Marc Pantel. Gridification of Scientific Application Using Software Components: the Grid-TLSE Project as an illustration. Dans : CSIT 2005, Yerevan, Armenia, 19/09/2005-23/09/2005, National Academy of Siences of Armenia, Yerevan, Armenia, p. 419-427, septembre 2005.
  BibTeX

• Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr. Real Time Aspects: Specification and Composition in B. Dans : 7th International Workshop on Aspect-Oriented Modeling, Montego Bay, Jamaica, 02/10/2005-02/10/2005, ?, octobre 2005.
  Accès : http://dawis.informatik.uni-essen.de/events/AOM_MODELS2005/papers.shtml
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Applying the B formal method to the Bossa domain-specific language. Dans : The 17th Nordic Workshop on Programming Theory, Copenhagen, Denmark, 19/10/2005-21/10/2005, DIKU Copenhagen, Denmark, octobre 2005.
  Accès : http://www.diku.dk/NWPT05/programme.html
  BibTeX

• Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr. A Timed B Method for Modelling Real Time Reactive Systems. Dans : SEEFM05. 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/2005-20/11/2005, South-East European Research Center (SEERC), p. 181-195, novembre 2005.
  BibTeX

• Ibrahim Lokpo, Tra Goore Bi, Gérard Padiou. Ad Hoc Location Service for Mobile Agents. Dans : IEEE International Conference on signal-image technology ans Internet-based Systems, Yaoundé, Cameroun, 27/11/2005-01/12/2005, IEEE, p. 125-132, novembre 2005.
  BibTeX

• Jean-Paul Bodeveix, Ousmane Koné, Rachid Bouaziz. Test method for embedded real-time systems. Dans : ERCIM European Workshop on Dependable Software Intensive Embedded Systems, Porto, 31/08/2005-02/09/2005, ERCIM, p. 1-10, août 2005.
  BibTeX

• Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou. A Flexible Communication Toolkit for Synchronous Groupware. Dans : ICMCS 2005 (International Conference on Multimedia Communication Systems, Montreal, 14/08/2005-17/08/2005, IARIA, p. 10-15, août 2005.
  BibTeX

• Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou. Streaming with Causality : A Practical Approach. Dans : ACM Multimedia 2005, Singapore, 06/11/2005-11/11/2005, Sheridan Printing Company, p. 10-14, novembre 2005.
  BibTeX

• Richard Banach, Jean-Paul Bodeveix, Mamoun Filali, Michael Poppleton. Dynamic aspects of retrenchments through temporal logic. Dans : SEEFM05 2nd South-East European Workshop on Formal Methods, Ohrid (Macédoine), 18/11/2005-19/11/2005, South-East European Research Center (SEERC), p. 104-118, novembre 2005.
  BibTeX

• Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Maximal group membership in ad hoc networks. Dans : Sixth International Conference on Parallel Processing and Applied Mathematics, Poznan (Pologne), 11/09/2005-14/09/2005, LNCS Vol. 3911, Springer-Verlag, p. 51-58, septembre 2005.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Formal methods meet domain specific languages. Dans : Fifth International Conference on Integrated Formal Methods (IFM), Eindhoven Netherlands, 29/11/2005-02/12/2005, LNCS (springer verlag) Vol. 3771, p. 187-206, novembre 2005.
  BibTeX

• Aurélie Hurault, Marc Pantel. Mathematical Service Trading Based on Equational Matching. Dans : Calculemus'05: 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Newcastle, 18/07/2005-22/07/2005, Electronic Notes in Theoretical Computer Science, juillet 2005.
  BibTeX

• Gérard Padiou, Michel Charpentier, Philippe Quéinnec. Collaborative Mobile Agents to gather Global Information. Dans : The 4th IEEE International Symposium on Network Computing and Applications (IEEE NCA05), Cambridge, MA, USA, 27/07/2005-29/07/2005, IEEE Computer Society, p. 120-123, juillet 2005.
  BibTeX

• Cezar Plesca, Romulus Grigoras, Philippe Quéinnec, Gérard Padiou. Adaptive multimodal communication for multimedia. Dans : EUROMEDIA, Toulouse, 11/04/2005, EUROSIS-ETI, Ghent University Faculty of Engineering Dept. of Industrial Mgmt. Technologiepark 903 Campus Ardoyen B- 9052 Ghent-Zwijnaarde Belgium, p. 183-189, avril 2005.
  BibTeX

• Jean-Paul Bodeveix, David Chemouil, Mamoun Filali, Martin Strecker. Towards formalizing AADL in proof assistants. Dans : Formal Foundations of Embedded software and component-based softare architectures (ETAPS), Edinburgh, 02/04/2005-10/04/2005, Juliana Kuster-Filipe, Iman Poernomo , Ralf Reussner, Sandeep Shukla (Eds.), LFCS (University of Edinburgh), p. 137-153, avril 2005.
  BibTeX

• Philippe Mauran, Gérard Padiou, Xuan Loc Pham Thi. Instrumenter pour superviser, superviser pour adapter, adapter pour réutiliser. Dans : RIVF 2005 - Troisième Conférence Internationale en Informatique : Recherche, Innovation & Vision du Futur, Can Tho, Vietnam, 21/02/2005-24/02/2005, Patrick Bellot, Marc Bui, Dinh-Tri Nguyen (Eds.), Editions SUGER, Collection Informatique, 41 rue Gay Lussac, F-75005 Paris, p. 234-242, février 2005.
  BibTeX

• Odile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali. Specification of real-time schedulers. Dans : 16th Euromicro Conference on Real-Time Systems (ECRTS'04) (Work In Progress Session), Catania, Italy, 30/06/2004-02/07/2004, -, juin 2004.
  Accès : http://cse.unl.edu/ecrts04wip/proceedings/
  BibTeX

• Michel Daydé, Luc Giraud, Montse Hernandez, Jean-Yves L'Excellent, Marc Pantel, Chiara Puglisi. An Overview of the GRID-TLSE Project. Dans : 6th International Meeting VECPAR'04, Valencia, Espagne, 28/06/2004-30/06/2004, Michel Daydé, Jack Dongarra, Vicente Hernandez, Jose Palma (Eds.), Universidad Politécnica de Valencia, p. 851-856, juin 2004.
  BibTeX

• Ousmane Koné, Patrick Félix. Generating Interoperability Test Cases from Conformance Test Case Generation Tools. Dans : IFIP International Conference on Formal Techniques for Networked and Distributed Systems FORTE, Madrid, 27/09/2004-30/09/2004, David de Frutos-Escrig, Manuel Núñez (Eds.), IFIP, p. 1-15, septembre 2004.
  BibTeX

• Ousmane Koné. Model-driven Scenarios for Real-time Software. Dans : IEEE International Symposium on System Reliability Engineering, Saint Malo, 01/10/2004-31/10/2004, IEEE, p. 1-10, octobre 2004.
  Résumé
  BibTeX

• Tanguy Urvoy. Composition of path transductions. Dans : 2nd International Conference on Graph Transformation ICGT2004, Roma (Italy), September 28 - October 2, 2004, Rome, 28/09/2004-02/10/2004, H. Ehrig, G. Engels, F. Parisi-Presicceand, G. Rozenberg (Eds.), Springer, p. 368-382, septembre 2004.
  BibTeX

• Alexandre Flegontov , Sergei Soloviev. Computer Algebra, Types and Proofs. Dans : Seventh International Workshop on Computer Algebra in Scientific Computing, St.Petersburg, Russia, 12/07/2004-19/07/2004, V. G. Ganzha, E. V. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, p. 155-163, juillet 2004.
  Résumé
  BibTeX

• Laurent Méhats, Sergei Soloviev. Equivalence Relations on Derivations and Categorical Models of IMLL. Dans : Seventh International Workshop on Computer Algebra in Scientific Computing (CASC-2004), St.Petersburg, Russia, 12/07/2004-19/07/2004, V. G. Ganzha, E. W. Mayr, E. V. Vorozhtsov (Eds.), TU Munchen, p. 337-349, juillet 2004.
  Résumé
  BibTeX

• Ibrahim Lokpo, Michel Babri, Gérard Padiou. Un environnement XP de tests unitaires répartis. Dans : 7ième Colloque Africain sur la Recherche en Informatique (CARI 2004), Hammamet (Tunisie), 22/11/2004-25/11/2004, Mohamed Jaoua, Bernard Philippe, Maurice Tchuente (Eds.), Revue africaine de la recherche en informatique et mathématiques appliquées (ARIMA), INRIA, p. 120-128, novembre 2004.
  BibTeX

• Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Development of Flexible Peer-to-Peer Information Systems using Adaptable Mobile Agents. Dans : 1st Int. Workshop on Grid and Peer-to-Peer Computing Impacts on Large Scale Heterogeneous Distributed Database Systems (GLOBE'04), Zaragoza, Spain, 30/08/2004-03/09/2004, IEEE Computing Society, p. 549-553, août 2004.
  Résumé
  BibTeX

• Nouhad Amaneddine, Jean-Paul Bahsoun, Jean-Paul Bodeveix. TransM: A Structured Document Transformation Model. Dans : 3rd International Conference on Information Systems Technology and its Applications (ISTA), Salt Lake City, Utah, USA, 15/07/2004-17/07/2004, Lecture Notes in Informatics, p. 53-66, juillet 2004.