IRIT - UMR 5505

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)

• Isabelle Perseil. An Efficient Modeling and Execution Framework for Complex Systems Development, IEEE Computer Society, avril 2011.
  Accès : http://dx.doi.org/10.1109/ICECCS.2011.38
  BibTeX

• Ronald Brown, Philip J. Higgins, Rafael Sivera, Christopher D. Wensley (Contributor), Sergei Soloviev (Contributor). Nonabelian Algebraic Topology. Filtered spaces, crossed complexes, cubical homotopy groupoids., European Mathematical Society Publishing House, Vol. 15, Tracts in Mathematics, 2011.
  Résumé
  BibTeX

• 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, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, P. Michel, François 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, François 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, Tarmo Uustalu. 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, 12/09/2009 - 13/09/2009, Institute of Cybernetics at Tallinn University of Technology, août 2009.
  Accès : http://cs.ioc.ee/fics09/fics09proc.pdf
  BibTeX

• Stefan Van Baelen, Iulian Ober, Susanne Graf, Mamoun Filali, Thomas Weigert. ACESMB 2008 First International Workshop on Model Based Arhictecting and Constructing of Embedded Systems, Toulouse, 29/09/2008 - 29/09/2008, IRIT Press, septembre 2009.
  BibTeX

• Mamoun Filali, Pierre Michel, C. Seguin. AFADL: Approches formelles dans l'assistance au développement de logiciels, Toulouse, 26/01/2009 - 28/01/2009, IRIT Press, janvier 2009.
  BibTeX

• 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

• Pierre Dissaux, Mamoun Filali, Pierre Michel, François Vernadat. Workshop on Architecture Description languages, Toulouse, Springer, avril 2005.
  BibTeX

Articles de revues internationales / International journals articles

• Jean-Paul Bodeveix, Mamoun Filali. Event B Development of a Synchronous AADL Scheduler. Dans : Electronic Notes in Theoretical Computer Science, Elsevier, Numéro spécial Proceedings of the B 2011 Workshop, a satellite event of the 17th International Symposium on Formal Methods (FM 2011), Vol. 280, p. 23-33, décembre 2011.
  Accès : http://www.sciencedirect.com/science/article/pii/S1571066111001642
  BibTeX

• Celia Picard, Ralph Matthes. Coinductive Graph Representation : the Problem of Embedded Lists. Dans : Electronic Communications of the EASST, Electronic Communications of the EASST, Berlin - Germany, Numéro spécial Selected Revised Papers from the Third International Workshop on Graph Computation Models (GCM 2010), Vol. 39, (en ligne), septembre 2011.
  Résumé Accès : http://journal.ub.tu-berlin.de/eceasst/article/view/649
  BibTeX

• Nathalie Bertrand, Axel Legay, Sophie Pinchinat, Jean-Baptiste Raclet. Modal event-clock specifications for timed component-based design. Dans : Science of Computer Programming, Elsevier, 2011 (à paraître).
  BibTeX

• Nadège Pontisso, Philippe Quéinnec, Gérard Padiou. Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching. Dans : Concurrency and Computation:Practice and Experience, Wiley, 2011 (à paraître).
  BibTeX

• Ralph Matthes. Map Fusion for Nested Datatypes in Intensional Type Theory. Dans : Science of Computer Programming, Elsevier, Vol. 76, p. 204-224, 2011.
  Résumé Accès : http://dx.doi.org/10.1016/j.scico.2010.05.008
  BibTeX

• Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Robert Passerone. A Modal Interface Theory for Component-based Design. Dans : Fundamenta Informaticae, IOS Press, Vol. 108 N. 1-2, p. 119-149, 2010.
  BibTeX

• Yinan Li, Asim Yarkhan, Jack Dongarra, Keith Seymour, Aurélie Hurault. Enabling Workflows in GridSolve: Request Sequencing and Service Trading. Dans : Journal of Supercomputing, Springer-Verlag, 2010 (à paraître).
  BibTeX

• Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Real Time Behavior of Data in Distributed Embedded Systems. Dans : SCALABLE COMPUTING : Practice and Experience, Warsaw School of Social Psychology, Vol. 10 N. 3, p. 229-239, septembre 2009.
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification.. Dans : Journal of Software, Academy Publisher, Finland, Vol. 4 N. 6, p. 943-958, novembre 2009.
  Résumé Accès : http://www.academypublisher.com/ojs/index.php/jsw/article/view/0409943958
  BibTeX

• Aurélie Hurault, Michel Daydé, Marc Pantel. Advanced service trading for scientific computing over the grid. Dans : Journal of Supercomputing, Springer-Verlag, Vol. 49 N. 1, p. 64-83, juillet 2009.
  Accès : http://www.springerlink.com/content/82w83315wt028332/
  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, Vol. 5 N. 2, (en ligne), mai 2009.
  Accès : http://www.lmcs-online.org/ojs/viewarticle.php?id=404&layout=abstract - http://arxiv.org/pdf/0903.1822
  BibTeX

• Ralph Matthes. An induction principle for nested datatypes in intensional type theory. Dans : Journal of Functional Programming, Cambridge University Press, Vol. 19 N. 3&4, p. 439-468, juin 2009.
  Résumé Accès : http://www.irit.fr/~Ralph.Matthes/works.html
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat. A Property-Driven Approach to Formal Verification of Process Models. Dans : Enterprise Information Systems, Springer-Verlag, Numéro spécial LNBIP 12, ICEIS 2007, Revised Selected Papers, Vol. 12, p. 286-300, 2009.
  BibTeX

• 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

• 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é Accès : http://www.sciencedirect.com/
  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, août 2007.
  Résumé
  BibTeX

• Ibrahim Lokpo, Tra Goore Bi, Cristophe 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

• Giuseppe Longo, Kathleen Milsted, Sergei Soloviev. The genericity theorem and the notion of parametricity in the polymorphic lambda-calculus.. Dans : Theoretical Computer Science, Elsevier, Numéro spécial A collection of contributions in honor of Corrado Bohm, Vol. 121 N. 1-2, p. 323-349, décembre 1993.
  Résumé
  BibTeX

• Sergei Soloviev. On the conditions of full coherence in closed categories. Dans : Journal of Pure and Applied Algebra, Elsevier, Vol. 69 N. 3, p. 301-329, juin 1990.
  Résumé
  BibTeX

• Sergei Soloviev. On natural trasformations of distinguished functors and their superpositions in certain closed categories.. Dans : Journal of Pure and Applied Algebra, Elsevier, Vol. 47, p. 181-204, 1987.
  Résumé
  BibTeX

• Sergei Soloviev. The category of finite sets and cartesian closed categories.. Dans : Journal of Soviet Mathematics, Consultants Bureau , New York, Vol. 22 N. 3, p. 1387-1400, 1983.
  Résumé
  BibTeX

• Ali Babaev, Sergei Soloviev. A coherence theorem for canonical morphisms in cartesian closed categories. Dans : Journal of Soviet Mathematics, Consultants Bureau , New York, Vol. 20, p. 2263-2279, 1982.
  Résumé
  BibTeX

Articles de revues nationales / National journals articles

• Aurélie Hurault, Marc Pantel, Michel Daydé. Composition automatique de services de calcul - Utilisation des spécifications algébriques pour décrire la fonctionnalité des services. Dans : Revue des Sciences et Technologies de l'Information, Technique et Science Informatiques, Hermès Science Publications, Numéro spécial La composition d'objets, de composants et de services, Vol. 30, N. 6/2011, p. 685-710, juin 2011.
  BibTeX

• Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai. Expérimentations en Coq pour un générateur de code qualifiable. Dans : Revue des Sciences et Technologies de l'Information, Technique et Science Informatiques, Hermès Science Publications, Numéro spécial Méthodes formelles à l'analyse et la compilation, Vol. 30, N. 4/2011, 2011 (à paraître).
  BibTeX

• Zhibin Yang, Lei Pi, Kai Hu, Zong-Hua Gu, Dianfu Ma. AADL: an Architecture Design and Analysis Language for Complex Embedded Real-time Systems. Dans : Journal of Software, Institute of Software Chinese Academy of Science (ISCAS), China, Vol. 21, N. 5, p. 899-915, mai 2010.
  Accès : http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=3700&flag=1
  BibTeX

• Angel Garcia, Benoit Combemale, Xavier Crégut, Jérôme Vandeur. TopPROCESS : vers une ingénierie des procédés dirigée par les modèles. Dans : Revue de l'Electricité et de l'Electronique, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication (SEE), Paris, Vol. 2009, N. 2, p. 31-37, février 2009.
  BibTeX

• Odile Nasr, Miloud Rached, Jean-Paul Bodeveix, Mamoun Filali. Spécification et vérification d'un ordonnanceur en B via les automates temporisés. Dans : L'Objet, Hermès Science Publications, Numéro spécial Composants, services et aspects techniques et outils pour la vérification, Vol. 14, N. 4, p. 43-72, décembre 2008.
  BibTeX

• 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, GL & IS, Meudon - France, 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, GL & IS, Meudon - France, 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, François 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

• Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky. On varieties of closed categories and dependency of diagrams of canonical maps.. Dans : Proofs, Categories and Computations. Essays in Honor of Grigori Mints.. Solomon Feferman, Wilfried Sieg (Eds.), College Publications, p. 70-85, 2010.
  BibTeX

• Freiric Barral, David Chemouil, Sergei Soloviev. Non-standard reductions and categorical models in typed lambda-calculus. Dans : Logitcheskie Issledovaniya (Logical Investigations). S. Karpenko (Eds.), Nauka, p. 300-315, Vol. 12, Logitcheskie Issledovaniya (Logical Investigations), octobre 2005.
  Résumé
  BibTeX

• 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

• J.-M. Farines, Max H. De Queiroz, Vinicius De Rocha, Ana Maria Carpes, François Vernadat, Xavier Crégut. A model-driven engineering approach to formal verification of PLC programs (regular paper). Dans : Emerging Technologies and Factory Automation (ETFA 2011), Toulouse, France, 05/09/2011-09/09/2011, IEEE, p. 1-8, septembre 2011.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali. An Alternative Definition for Timed Automata Composition (regular paper). Dans : Automated Technology for Verification and Analysis, Taipei, Taiwan, 11/10/2011-14/10/2011, Vol. 6996, Springer-Verlag, Lecture Notes in Computer Science, p. 105-119, octobre 2011.
  BibTeX

• Isabelle Perseil, Laurent Pautet, Jean-François Rolland, Mamoun Filali, Didier Delanote, Stefan Van Baelen, Joosen Wouter, Yolande Berbers, Mallet Frédéric, Bertrand Dominique , Faucou Sébastien, Abdelhafid Zitouni, Mahmoud Boufaida, Lionel Seinturier, Joel Champeau, Thomas Abdoul, Peter Feiler, Chokri Mraidha, Sébastien Gérard. An Efficient Modeling and Execution Framework for Complex Systems Development (regular paper). Dans : IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2011), Las Vegas NEVADA USA, 27/04/2011-29/04/2011, IEEE Computer Society, p. 317-331, avril 2011.
  BibTeX

• Bertrand Boisvert, Louis Féraud, Sergei Soloviev. Single pushout and lambda-terms for computation in attributed graph rewriting (regular paper). Dans : International Seminar "Specification and Verification of Hybrid Systems", Kyiv, Ukraine, 10/10/2011-12/10/2011, Mykola Nikitchenko (Eds.), Taras Shevchenko National University of Kyiv, p. 20-34, octobre 2011.
  BibTeX

• Bertrand Boisvert, Louis Féraud, Sergei Soloviev. Typed lambda-terms in categorical attributed graph rewriting (regular paper). Dans : WorKshop on Algebraic Methods in Model-Based Software Engineering @ TOOLS 2011, Zurich, Switzerland, 30/06/2011-30/06/2011, Vol. 56, Francisco Durand, Vlad Rusu (Eds.), BADElectronic Proceedings in Theoretical Computer Science, EPTCS, (en ligne), juin 2011.
  Résumé Accès : http://arxiv.org/pdf/1107.0065v1
  BibTeX

• Sergey Baranov, Bertrand Boisvert, Louis Féraud, Sergei Soloviev. Typed Lambda Terms in Categorical Graph Rewriting (regular paper). Dans : The International Conference Polynomial Computer Algebra, Saint-Petersburg, Russia, Euler International Mathematical Institute, 17/04/2011-22/04/2011, Nikolay Vasyliev (Eds.), Euler International Mathematical Institute, p. 9-17, avril 2011.
  BibTeX

• Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Verification of Timed BPEL 2.0 Models (regular paper). Dans : Business Process Modeling, Development and Support (BPMDS 2011), London, 20/06/2011-21/06/2011, Terry Halpin, Selmin Nurcan, John Krogstie, Pnina Soffer, Erik Proper (Eds.), Springer, LNBIP 81, p. 261-275, juin 2011.
  BibTeX

• Yang Zhibin, Hu Kai, Jean-Paul Bodeveix, Lei Pi, Ma Dianfu, Jean-Pierre Talpin. Two formal semantics of a subset of AADL (regular paper). Dans : UML&AADL, Las Vegas, 27/04/2011-27/04/2011, IEEE Computer Society, avril 2011 (à paraître).
  BibTeX

• Aurélie Hurault, Asim Yarkhan. Intelligent Service Trading and Brokering for Distributed Network Services in GridSolve (regular paper). Dans : International Conference on Vector and Parallel Processing (VECPAR 2010), Berkeley, CA, 22/06/2010-25/06/2010, Vol. 6449, Palma José M. Laginha , Michel Daydé, Osni Marques, Correia Lopes (Eds.), Springer, Lecture Notes in Computer Science 978-3-642-19327-9, p. 340-351, 2011.
  BibTeX

• Mathieu Giorgino, Martin Strecker, Ralph Matthes, Marc Pantel. Verification of the Schorr-Waite algorithm - From trees to graphs (regular paper). Dans : International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010), Hagenberg, Austria, 23/07/2010-25/07/2010, María Alpuente (Eds.), Springer, (en ligne), mars 2011.
  Résumé Accès : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiSt2010SchorrWaite.html
  BibTeX

• Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud, Martin Strecker. Modeling programs over complex-named data by term rewriting systems (regular paper). Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/2010-08/10/2010, Presses universitaires de l'Université Taras Shevchenko, p. 40-49, octobre 2010.
  BibTeX

• Mounira Kezadri, Marc Pantel. First steps toward a Verification and validation ontology (student paper). Dans : International Conference on Knowledge Engineering and Ontology Development (KEOD 2010), Valencia, Spain, 25/10/2010-28/10/2010, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (support électronique), octobre 2010.
  Résumé
  BibTeX

• Mathieu Giorgino, Martin Strecker. BDDs verified in a proof assistant (Preliminary report) (regular paper). Dans : Theoretical and Applied Aspects of Program Systems Development (TAAPSD 2010), Univ. Taras Shevchenko, Kiev (Ukraine), 04/10/2010-08/10/2010, A.V. Anisimov, M.S. Nikitchenko (Eds.), Presses universitaires de l'Université Taras Shevchenko, (en ligne), octobre 2010.
  Résumé Accès : http://www.irit.fr/~Martin.Strecker/Publications/taapsd10.html
  BibTeX

• Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat. Supporting the Design of Safety Critical Systems Using AADL (regular paper). Dans : , Oxford, 22/03/2010-26/03/2010, IEEE Computer Society, p. 331-336, mars 2010.
  BibTeX

• Yang Zhibin, Hu Kai, Lei Pi, Jean-Paul Bodeveix, Ma Dianfu. Formal Semantics and Verification of AADL Modes in Timed Abstract State Machine (regular paper). Dans : International Conference on Progress in Informatics and Computing, Shanghai, China, 10/12/2010-12/12/2010, Vol. 2, IEEExplore digital library, p. 1098-1103, décembre 2010.
  BibTeX

• Gregor Goessler, Daniel Le Metayer, Jean-Baptiste Raclet. Causality Analysis in Contract Violation (regular paper). Dans : International Conference on Runtime Verification (RV 2010), Malte, 01/11/2010-04/11/2010, Vol. 6418, Springer, LNCS, p. 270-284, novembre 2010.
  BibTeX

• Nadège Pontisso, Philippe Quéinnec, Gérard Padiou. Analysis of Distributed Multi-Periodic Systems to Achieve Consistent Data Matching (regular paper). Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisia, 31/05/2010-02/06/2010, IEEE, p. 81-88, mai 2010.
  BibTeX

• Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Helena Rugina, Jérémy Buisson, Fabien Dagnat. Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software (regular paper). Dans : Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, 03/11/2009, Vol. 20, Manuela Bujorianu, Michael Fisher (Eds.), BADElectronic Proceedings in Theoretical Computer Science, p. 80-87, mars 2010.
  Accès : http://arxiv.org/abs/1003.0554v1
  BibTeX

• Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, Sebastien Heim, François Vernadat. Formal Verification of AADL models with Fiacre and Tina (regular paper). Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/2010-21/05/2010, SIA/3AF/SEE, (support électronique), 2010.
  Accès : http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010%202/ERTS2010_0107_final.pdf
  BibTeX

• Tiago Correa, Leandro Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, François Vernadat. Verification Based Development Process for Embedded Systems (regular paper). Dans : European Congress on Embedded Real-Time Software (ERTS 2010), Toulouse, 19/05/2010-21/05/2010, Société des Ingénieurs de l'Automobile, (support électronique), mai 2010.
  Accès : http://www.erts2010.org/Site/0ANDGY78/Fichier/PAPIERS%20ERTS%202010/ERTS2010_0029_final.pdf
  BibTeX

• Xavier Crégut, Benoit Combemale, Marc Pantel, Raphaël Faudoux, Jonatas Pavei. Generative Technologies for Model Animation in the TOPCASED Platform (regular paper). Dans : European Conference on Modelling Foundations and Applications (ECMFA 2010), Paris, 15/06/2010-18/06/2010, Springer, p. 90-103, juin 2010.
  Résumé
  BibTeX

• Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux. Use of Formal Methods for Building Qualified Code Generator for Safer Automotive Systems (regular paper). Dans : Critical Automotive applications: Robustness & Safety @ European Dependable Computing Conference (CARS@EDCC 2010), Valencia, 27/04/2010-30/04/2010, ACM, p. 53-56, avril 2010.
  BibTeX

• Alexandre Cortier, Jean-Paul Bodeveix, Marc Pantel, Martin Strecker, Gérald Garcia, Eric Morand, Ana-Helena Rugina, Jean-Pierre Talpin. Synoptic : a Domain Specific Modeling Language for Embed- ded Real-Time Flight Software Design (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2010), Toulouse, 19/05/2010-21/05/2010, SIA/3AF/SEE, (support électronique), mai 2010.
  BibTeX

• Andres Toom, Nassima Izerrouken, Marc Pantel, Olivier Ssi Yan Kai, Tonu Naks. Towards Reliable Code Generation with an Open Tool: Evolutions of the GeneAuto Toolset (regular paper). Dans : International Conference on Embedded Real Time Software and Systems (ERTS2 2010), Toulouse, 19/05/2010-21/05/2010, SIA/3AF/SEE, (support électronique), mai 2010.
  BibTeX

• Mamoun Filali, Julia Lawall. Development of a Synchronous Subset of AADL (regular paper). Dans : ASM, Alloy, B and Z, Orford, Québec, Canada, 22/02/2010-25/02/2010, Marc Frappier (Eds.), Springer-Verlag, LNCS 5977, p. 245-258, février 2010.
  BibTeX

• Sergei Soloviev. Asymmetric Games and Game Semantics: Some Philosophical Consequences. (short paper). Dans : International Conference "Philosophy, Mathematics, Linguistics: Aspects of Interaction", Saint-Petersbourg, 20/11/2009-22/11/2009, Oleg Prozorov (Eds.), Institut Mathématique V.A. Steklov, p. 188-190, novembre 2009.
  BibTeX

• Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker. Formalisation de la logique de description ALC dans l'assistant de preuve Coq (regular paper). Dans : Journées d'Etudes Algéro-Françaises en Imagerie Médicale (JETIM 2009), Poitiers, 03/12/2009-04/12/2009, ACM, p. 139-147, décembre 2009.
  Accès : http://www.irit.fr/~Martin.Strecker/Publications/jfo09.html
  BibTeX

• Maxime Rebout, Louis Féraud, Lionel Marie-Magdeleine, Sergei Soloviev. Computations in Graph Rewriting: Inductive types and Pullbacks in DPO Approach (regular paper). Dans : IFIP TC2 Central and East European Conference on Software Engineering Techniques (CEE-SET 2009), Krakow, Pologne, 12/10/2009-14/10/2009, Tomasz Szmuc, Marcin Szpyrka, Jaroslav Zendulka (Eds.), Springer-Verlag, p. 164-177, 2009.
  BibTeX

• Nadège Pontisso, Philippe Quéinnec, Gérard Padiou. Temporal Data Matching in Component Based Real Time Systems (short paper). Dans : IEEE International Symposium on Industrial Embedded Systems (SIES 2009), Lausanne, Suisse, 08/07/2009-10/07/2009, IEEE Computer Society, p. 62-65, juillet 2009.
  BibTeX

• Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai. Integrated Formal Approach for Qualified Critical Embedded Code Generator (short paper). Dans : International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven - The Netherlands, 02/11/2009-03/11/2009, Springer-Verlag, p. 199-201, 2009.
  BibTeX

• Nassima Izerrouken, Marc Pantel, Xavier Thirioux. Machine Checked Sequencer for Critical Embedded Code Generator (regular paper). Dans : International Conference on Formal Engineering Methods (ICFEM 2009), Rio de Janeiro, Brazil, 09/12/2009-12/12/2009, Springer-Verlag, p. 521-540, décembre 2009.
  BibTeX

• Lei Pi, Jean-Paul Bodeveix, Mamoun Filali, Hu Kai, Ma Dianfu. A comparative study of FIACRE and TASM to define AADL real time concepts. Dans : UML&AADL'2009 - 14th IEEE International Conference on Engineering of Complex Computer Systems, Postdam, 02/06/2009-04/06/2009, IEEE, p. 347-352, juin 2009.
  Accès : http://www2.computer.org/portal/web/csdl/abs/proceedings/iceccs/2009/3702/00/piceccs200900toc.htm
  BibTeX

• Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. A Data Oriented Approach for Real-Time Systems (regular paper). Dans : International Conference on Real-Time and Network Systems (RTNS 2009), Paris, France, 26/10/2009-27/10/2009, IEEE Computer Society, p. 147-158, octobre 2009.
  BibTeX

• Ricardo Bedin Franca, Leandro Buss Becker, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali. Towards Safe Design of Synchronous Bus Protocols in Event-B (regular paper). Dans : Brazilian Symposium on Formal Methods, Gramado Brésil, 19/08/2009-21/08/2009, Brazilian Computer Society, p. 171-186, août 2009.
  BibTeX

• Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Bernard Delatte. Using Separability to Enable Time-Consistent Distributed Space Simulation. Dans : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/2009-29/05/2009, ESA, p. 281-284, 2009.
  BibTeX

• Nadège Pontisso, Philippe Quéinnec, Gérard Padiou, Guillaume Véran. Data Consistency in a Component Based Space System. Dans : Data Systems In Aerospace (DASIA 2009), Istanbul Turquie, 26/05/2009-29/05/2009, ESA, p. 277-280, mai 2009.
  BibTeX

• Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky. Categorical Semantics and Non-Free Categories. (regular paper). Dans : European Summer School in Language and Informatics (ESSLI-09) - Workshop Structure and Deduction (SD-09), Bordeaux, 20/07/2009-31/07/2009, Lutz Srassburger (Eds.), Université de Bordeaux, (support électronique), 2009.
  BibTeX

• Antoine El Khoury, Sergei Soloviev, Laurent Méhats, Mark Spivakovsky. On Categories of Semimodules over Semirings and Varieties of Closed Categories (regular paper). Dans : Polynomial Computer Algebra, St. Petersbourg, 08/04/2009-12/04/2009, Nicolai Vassiliev (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute, Russian Academy of Sciences, p. 89-95, avril 2009.
  Résumé
  BibTeX

• José Espírito Santo, Ralph Matthes, Luís Pinto. Monadic translation of intuitionistic sequent calculus. Dans : Conference of the Types Project (TYPES 2008), Torino, Italie, 26/03/2008-29/03/2008, Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro (Eds.), Springer, Lecture Notes in Computer Science 5497, p. 100-116, juin 2009.
  Résumé
  BibTeX

• Zhibin Yang, Lei Pi, Kai Hu, Dianfu Ma. Towards a Formal Semantics for the AADL Behavior Annex (regular paper). Dans : Design, Automation and Test in Europe (DATE 2009), Nice, 21/04/2009-23/04/2009, IEEE, p. 1166-1171, avril 2009.
  BibTeX

• Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal Zilio, Mamoun Filali, François Vernadat. Formal Verification of AADL Specifications in the Topcased Environment. Dans : International Conference on Reliable Software Technologies - Ada-Europe, Brest, France, 08/06/2009-12/06/2009, Springer-Verlag, lncs 5570, p. 207-221, 2009.
  BibTeX

• Lei Pi, Jean-Paul Bodeveix, Mamoun Filali. Modeling AADL Data Communication with BIP. Dans : International Conference on Reliable Software Technologies - Ada-Europe, Telecom Bretagne, Brest, France, 08/06/2009-12/06/2009, Springer-Verlag, lncs 5570, p. 192-206, 2009.
  BibTeX

• Rachid Bouaziz, Ismail Berrada. Optimal Tester Synthesis for Real-Time Systems. Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2008), Lyon, 23/06/2008-27/06/2008, ACM DL, (support électronique), juin 2008.
  BibTeX

• Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu. A comparative study of two Real-Time formalisms: FIACRE and TASM (regular paper). Dans : IEEE Real-Time Systems Symposium (Work-In-Progress track) (RTSS 2008), Barcelone, 30/11/2008-03/12/2008, IEEE, (support électronique), décembre 2008.
  BibTeX

• Jing Xiao, Pierre Pinel, Lei Pi, Vincent Aranega, Claude Baron. Modeling Uncertain and Imprecise Information in Process Modeling with UML (regular paper). Dans : International Conference on Management of Data, Bombay, 17/12/2008-19/12/2008, Indian Institute of Technology, p. 237-240, décembre 2008.
  Accès : http://www.cse.iitb.ac.in/$\sim$comad/2008/PDFs/11-jxioa.pdf
  BibTeX

• Nadège Pontisso, Gérard Padiou, Philippe Quéinnec. Real time data consistency in component based embedded systems. Dans : international conference on New technologies in distributed systems - Atelier Cohérence Des Données en Univers Réparti (NOTERE - CDUR 2008), Lyon, 23/06/2008, ACM, p. 1-6, juin 2008.
  BibTeX

• Tanguy Le Berre, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Real Time Behavior of Data in Distributed Embedded Systems. Dans : International Multiconference on Computer Science and Information Technology, Wisla (Poland), 20/10/2008-22/10/2008, Polish Information Processing Society, 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, François 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 5095, p. 121-136, juin 2008.
  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, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication (SEE), (support électronique), janvier 2008.
  BibTeX

• Patrick Farail, Pierre Gaufillet, Florent Peres, Jean-Paul Bodeveix, Mamoun Filali, Bernard Berthomieu, Saad Rodrigo, François 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, Société de l'Electricité, de l'Electronique et des Technologies de l'Information et de la Communication (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, Vol. 5010, E. Hirsch, A. Razborov (Eds.), Springer, p. 398-410, juin 2008.
  Résumé
  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

• 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, SIA/3AF/SEE, (support électronique), janvier 2008.
  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

• 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 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, p. 31-40, novembre 2007.
  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, Vol. 5056, Fariba Sadri, Ken Satoh (Eds.), Springer-Verlag, LNAI, p. 82-99, septembre 2007.
  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, François 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 (Best paper).
  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, H. Durfee, Makoto} Yokoo (Eds.), ACM, p. 1108-1110, mai 2007.
  BibTeX

• Nadège Pontisso, David Chemouil. TOPCASED Combining Formal Methods with Model-Driven Engineering. Dans : IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, 18/09/2006-22/09/2006, IEEE Computer Society, p. 359-360, 2006.
  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, François 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, 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, M. Murillo, Pascal Poizat (Eds.), Laboratoire IBISC (Genopole), p. 81-90, juillet 2006.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Pierre Dissaux, Mamoun Filali, Pierre Gaufillet, François 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, 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, 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, T. Heineman, Ivica Crnkovic, W. Schmidt, A. Stafford (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, Gorrieri, 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, 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, G. Ganzha, V. Mayr, 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, G. Ganzha, W. Mayr, 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.
  BibTeX

• Sébastien Leriche, Jean-Paul Arcangeli, Marc Pantel. Agents mobiles adaptables pour les systèmes d'information pair à pair hétérogènes et répartis. Dans : Nouvelles Technologies de la Répartition, NOTERE 2004, Saidia (Ma.), 27/06/2004-30/06/2004, CIISE - ENST - Univ. Mohammed 1er, p. 29-43, juin 2004.
  Résumé
  BibTeX

• Aurélie Hurault, Vincent Hennebert, Marc Pantel. Répartition et mobilité en JavAct: une approche dérivée d'un modèle formel. Dans : Langages et Modèles à Objets, Lille, 15/03/2004-17/03/2004, Editions Hermès, p. 47-61, mars 2004.
  Résumé
  BibTeX

• Ousmane Koné, M Kais. Test de robustesse. Dans : SETIT, Tunisie, 17/03/2003-21/03/2003, IEEE, p. 100-111, mars 2003.
  BibTeX

• David Chemouil, Sergei Soloviev. Remarks on isomorphisms of simple inductive types. Dans : Mathematics, Logic and Computation, Eindhoven, 04/07/2003-05/07/2003, Elsevier, Electronic Notes in Theoretical Computer Science 85, 7, p. 1-19, juillet 2003.
  Résumé Accès : http://dx.doi.org/10.1016/S1571-0661(04)80760-6
  BibTeX

• Xuan Loc Pham Thi, Philippe Mauran, Gérard Padiou. Try and patch : an approach to improve the trust in software components. Dans : Fifth International Conference on Enterprise Information Systems, Angers, 23/04/2003-26/04/2003, Olivier Camp, Joaquim Filipe, Slimane Hammoudi, Mario Piattini (Eds.), Excola Superior de Tecnologia de Setubal, Campus do Instituto Politecnico de Setubal rua do Vale de Chaves, Estefanilha, 2910-761 Setubal, Portugal, p. 505-508, avril 2003.
  BibTeX

• Xuan Loc Pham Thi, Philippe Mauran, Gérard Padiou. Sûreté de service des composants logiciels. Dans : First International Conference RIVF'03, Hanoi, 10/02/2003-13/02/2003, Marc Bui (Eds.), Editions SUGER, Collection Informatique, 41 rue Gay Lussac, F-75005 Paris, p. 159-162, février 2003.
  BibTeX

• Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Set based trees for the validation of a diffusing computation reconstruction algorithm. Dans : 2nd Int'l Workshop on Refinement of Critical Systems: Methods, Tools and Developments, Turku, Finland, 03/06/2003-06/06/2003, ?, juin 2003.
  Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/rcs03.html
  BibTeX

• Sergei Soloviev, David Chemouil. Some Algebraic Structures in Lambda-Calculus with Inductive Types. Dans : TYPES, Torino, 30/04/2003-04/05/2003, Stefano Berardi, Mario Coppo, Ferrucio Damiani (Eds.), Springer, LNCS, Volume 3085/2004, p. 338-354, avril 2003.
  Résumé
  BibTeX

• Matthias Colin, Xavier Thirioux, Marc Pantel. Temporal logic based static analysis for non uniform behaviours. Dans : Formal Methods for Open Object-based Distributed Systems, Paris, 19/11/2003-21/11/2003, Springer Verlag - LNCS, p. 94-108, novembre 2003.
  Résumé
  BibTeX

• Bernard Berthomieu, P.-O. Ribet, François Vernadat, J.-L. Bernartt, J.-M. Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, P. Michel, Patrick Farail, Pierre Gaufillet, Pierre Dissaux, Jean-Luc Lambert. Towards the verification of real-time systems in avionics: The Cotre approach. Dans : Eigth International workshop for industrial critical systems, ROROS, 05/06/2003-07/06/2003, Thomas Arts, Wan Fokkink, p. 201-216, juin 2003.
  Accès : http://www.elsevier.nl/locate/entcs/volume80.html
  BibTeX

• J.-M. Farines, Bernard Berthomieu, Jean-Paul Bodeveix, Pierre Dissaux, Patrick Farail, Mamoun Filali, Pierre Gaufillet, Hicham Hafidi, Jean-Luc Lambert, P. Michel, François Vernadat. The Cotre project: rigorous development for real time systems in Avionics. Dans : WRTP'03 27th IFAC/IFIP/IEEE Workshop on real-time programming, Logow(Pologne), 14/05/2003-17/05/2003, IEEE, p. 51-56, mai 2003.
  BibTeX

• Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. The Reconstruction of a Mobile Agent Computation and its Validation. Dans : Int'l Workshop on Formal Methods for Parallel Programming: Theory and Applications (FMPPTA2003), NICE, 22/04/2003-26/04/2003, IEEE, avril 2003.
  Accès : http://www.esil.univ-mrs.fr/~spc/rcs03/papers/filali&al.ps
  BibTeX

• Marcien Mackaya, Ousmane Koné. Modelling Location Operations in UMTS Networks. Dans : MOBICOM/MSWIM, Atlanta, 23/09/2002-28/09/2002, ACM, p. 129-139, septembre 2002.
  BibTeX

• Ousmane Koné. Compliance of wireless application protocols. Dans : TESTCOM - Testing Internet Technologies and Services, Berlin, 19/03/2002-22/03/2002, IFIP - Kluwer Academic Publishers, p. 129-139, mars 2002.
  BibTeX

• Fabien Dagnat, Marc Pantel. Static analysis of communications for Erlang. Dans : 8th International Erlang/OTP User Conference, Älvsjö, Suède, 19/11/2002, Ericsson Telecommunication, p. 1-12, novembre 2002.
  BibTeX

• Alexandre Flegontov, Sergei Soloviev. Type Theory in Differential Equations. Dans : International Workshop on Advanced Computing and Analysis Techniques in Physics Research (ACAT-2002), Moscow, Russia, 24/06/2002-28/06/2002, Elsevier Science, p. 649-650, juin 2002.
  Résumé
  BibTeX

• Yong Luo, Zhaohui Luo, Sergei Soloviev. Weak transitivity in coercive subtyping. Dans : International Workshop, TYPES2002, Berg en Dal, The Netherlands, 24/04/2002-28/04/2002, Herman Geuvers, Freek Wiedijk (Eds.), Springer, LNCS 2646, p. 220-239, avril 2002.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Féraud, Ralph Sobek. Extending OCL for verifying UML models consistency. Dans : Workshop on Consistency Problems in UM- based Software Development in conjonction with the fifth International Conference on the Unified Modelling Language "UML" 2002 "Modelling Languages, Concepts and Tools", Dresden, Allemagne, 01/10/2002, Ludwik Kuzniarz - Gianna Reggio - Jean-Louis Sourrouille - Zbigniew Huzar, p. 75-91, octobre 2002.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Type Synthesis in B and the Translation of B to PVS. Dans : ZB'2002, Grenoble, 23/01/2002-25/01/2002, springer verlag, p. 350-369, janvier 2002.
  BibTeX

• Sergei Soloviev, Vladimir Orevkov. On Categorical Equivalence of Gentzen-style Derivations in IMLL (extended abstract). Dans : International Workshop on Logic and Complexity in Computer Science (LCCS'2001), Paris-12, Creteil, France, 03/09/2001-05/09/2001, Universite Paris-XII, p. 223-232, septembre 2001.
  BibTeX

• Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé. Communication between Actors in a distributed environment. Dans : Conference on Simulation Methods and Applications, Orlando, 29/10/2000-31/10/2000, ., octobre 2000.
  BibTeX

• Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan, Christian Percebois. Data Design and Transformation. Dans : World Multiconference on Systemics, Cybernetics and Informatics 2000, Orlando (USA), 23/07/2000-26/07/2000, IIIS, 14269 Lord Barclay Dr., Orlandom FL 32837, USA, p. 587-592, juillet 2000.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. FMona: a tool for expressing validation techniques over infinite state systems. Dans : Tools and algorithms for the construction and analysis of systems (TACAS), Berlin, 27/03/2000-31/03/2000, Springer, p. 204-219, mars 2000.
  BibTeX

• Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux. Refinement based validation of a distributed termination detection algorithm. Dans : International Workshop FMPPTA'2000, Cancun, 05/05/2000, ., mai 2000.
  BibTeX

• Salam Majoul, Christian Percebois, Jean-Paul Bodeveix. A Concurrent Object-Based Model and its Use for Coordinating Java Components. Dans : TOOLS - Technology of Object-Oriented Languages and Systems, Santa Barbara, 01/08/1999-05/08/1999, IEEE, p. 15-25, août 1999.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Fabien Dagnat, Patrick Sallé. Static safety analysis for non-uniform service availability in Actors. Dans : Formal Methods for Open Object-based Distributed Systems, Florence, 15/02/1999-18/02/1999, Kluwer Academic Publisher, Pays-Bas, p. 371-386, février 1999.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz. A Formalization of the B method in Coq and PVS. Dans : FM'99 -- B Users Group Meeting -- Applying B in an industrial context : Tools, Lessons and Techniques, Toulouse, Springer-Verlag, p. 32-48, septembre 1999.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. A generic tool for expressing the development of validations. Dans : 11th Nordic Workshop on Programming Theory NWPT'99, Uppsala, 06/10/1999-08/10/1999, Bjorn Victor and Wang Yi, Uppsala University, p. 37-37, octobre 1999.
  BibTeX

• Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Modelling and Verifying Mobility : A Case Study. Dans : 3rd Int'l Conf. On Principles Of DIstributed Systems, Hanoi, Vietnam, OPODIS, p. 151-166, octobre 1999.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. On the automatic validation of parameterized Unity programs. Dans : Workshop on formal methods for parallel programming: theory and applications, Orlando , 03/04/1998-03/04/1998, lncs vol. 1388, Berlin, Germany, p. 820-832, avril 1998.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé. From set based to multiset based analysis: A practical approach. Dans : Workshop on set constraints and set based analysis, Pise, 28/10/1998, Pise Univ., p. 1-10, octobre 1998.
  BibTeX

• Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Tailoring UNITY to distributed program design. Dans : International workshop on Formal Methods for Parallel Programming : Theory and Applications (FMPPTA'98), ., ., avril 1998.
  BibTeX

• Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali. A refinement-based validation of a cache coherence protocol. Dans : 10th International Conference on Parallel and Distributed Computing Systems, New Orleans, Louisiana USA, ISCA, p. 332-337, octobre 1997.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé. Static analysis of behavior changes in actors languages. Dans : Proceedings of the 2nd France Japan Workshop on Object Based Parallel and Distributed Computing, -, -, octobre 1997.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé. Analyse de linéarité par typage dans un calcul d'acteurs. Dans : Actes des Journées Francophones des Langages Applicatifs, -, -, janvier 1997.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé. A set-constraint-based analysis of actors. Dans : Proceedings of the 1997 IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, -, Chapman and Hall, p. 107-122, juillet 1997.
  BibTeX

• Jean-Paul Bodeveix, Christian Percebois, Salam Majoul. An object oriented coordination model based on multiset rewriting. Dans : Procs. of ninth International Conference on Parallel and Distributed Computing Systems, Dijon, 25/09/1996-27/09/1996, isca, p. 1-12, septembre 1996.
  BibTeX

• Sergei Soloviev, Alex Jones, Zhaohui Luo. Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.. Dans : Types for Proofs and Programs. International Workshop TYPES' 96, Aussois, France, 15/12/1996-19/12/1996, Eduardo Gimenez, Chr. Paulin-Mohring (eds), Springer, LNCS 1512 (1998), p. 173-196, décembre 1996.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé. CAP: An Actor dedicated process calculus. Dans : ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, juillet 1996.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Towards the automatic verification of memory protocols. Dans : International Workshop on Formal methods for parallel programming, _, IEEE, avril 1996.
  BibTeX

• Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Abstracting Communication to Reason about Distributed Algorithms. Dans : Proc. of the 10th Intl Workshop on Distributed Algorithms (WDAG'96), -, Springer-Verlag, LNCS 1151, octobre 1996.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni. Un calcul d'Acteurs primitifs (CAP). Dans : Actes des Journées Francophones des Langages Applicatifs, -, -, janvier 1996.
  BibTeX

• Jean-Paul Bodeveix, Christian Percebois, Salam Majoul. Multiset Rewriting for Concurrent Object-Oriented Programming. Dans : ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, Linz, Austria, -, juillet 1996.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé. An actor dedicated process calculus. Dans : ECOOP'96 Workshop on Proof Theory of Concurrent Object-Oriented Programming, -, -, mai 1996.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. On the Refinement of Symmetric Memory Protocols. Dans : Higher Order Logic Theorem Proving and its Applications, -, Springer-Verlag, LNCS 971, p. 58-74, septembre 1995.
  BibTeX

• Marc Pantel, Patrick Sallé. Typage souple pour le langage Fol. Dans : Actes des Journées Francophones des Langages Applicatifs, -, -, janvier 1994.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Pierre Roché. Towards a HOL theory of memory. Dans : Higher Order Logic Theorem Proving and its Applications, -, Springer-Verlag, LNCS 859, p. 49-64, septembre 1994.
  BibTeX

• Mamoun Filali. The derivation of scheduling algorithms from a timing model. Dans : 6 th Euromicro Workshop on real-time systems, -, -, p. 180-185, janvier 1994.
  BibTeX

• Mamoun Filali. Algorithms for scheduling real-time concurrent applications. Dans : Conférence Maghrébine en génie logiciel et intelligence artificielle, Rabat, -, p. 297-308, janvier 1994.
  BibTeX

Conférences et workshops nationaux / National conferences articles

• Jean-Paul Bodeveix, Mamoun Filali. Event B development of a synchronous AADL scheduler (regular paper). Dans : Workshop B 2011, colocated with FM 2011, Limerick, Ireland, 21/06/2011-21/06/2011, University of Limerick, (support électronique), juin 2011.
  BibTeX

• Marie de Roquemaurel, Jean-Paul Bodeveix, Mamoun Filali. Réécriture de contraintes OCL (regular paper). Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2011), Lille, 07/06/2011-10/06/2011, CNRS - GDR GPL, p. 127-133, 2011.
  BibTeX

• Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali. Assistance à la conception de modèles à l'aide de contraintes (regular paper). Dans : Journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (GDR-GPL), Groupe de travail MFDL, Lille, 07/06/2011-10/06/2011, CNRS - GDR GPL, p. 121-136, juin 2011.
  BibTeX

• Mounira Kezadri, Marc Pantel. Premières expériences pour l'édition correcte par construction de modèles (short paper). Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), LISI / ENSMA, Poitiers, France, 06/06/2010-11/06/2010, Yamine Aït-Ameur (Eds.), LISI-ENSMA, p. 217-221, juin 2010.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/ACADIE/afadl2010.pdf
  BibTeX

• Marie de Roquemaurel, Thomas Polacsek, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali. Assistance à la conception de modèles à l'aide de contraintes (regular paper). Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/2010-11/06/2010, Yamine Ait-Ameur (Eds.), LISI-ENSMA, p. 181-196, juin 2010.
  BibTeX

• Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker. Vérification d'une méthode de preuve pour la logique de description ALC (regular paper). Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010), Poitiers, 09/06/2010-11/06/2010, Yamine Ait-Ameur (Eds.), LISI-ENSMA, p. 149-163, juin 2010.
  Accès : http://www.irit.fr/~Martin.Strecker/Publications/afadl10.html
  BibTeX

• Mathieu Giorgino, Ralph Matthes, Martin Strecker. Génération de programmes efficaces et vérifiés (short paper). Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2009), Toulouse, 26/01/2009-28/01/2009, Marc Pantel, Christel Seguin (Eds.), IRIT, p. 67-68, janvier 2009.
  Résumé Accès : http://www.irit.fr/~Mathieu.Giorgino/Publications/GiMaSt2009Generation.html
  BibTeX

• Nadège Pontisso, Gérard Padiou, Philippe Quéinnec. Cohérence temporelle des calculs répartis embarqués. Dans : Formalisation des Activités Concurrentes (FAC 2008), Toulouse, France, 03/04/2008-04/04/2008, CNRS, (en ligne), avril 2008.
  Accès : http://www.cert.fr/feria/svf/FAC/2008/actes.html
  BibTeX

• Ricardo Bedin Franca, Daniel Gobbi, J.-M. Farines, Jean-Paul Bodeveix, Leandro Becker. Design of Real-Time Automation Systems Using Architecture Description Languages. Dans : Simpósio Brasileiro de Automação Inteligente (SBAI 2007), Florianópolis - Brasil, 08/08/2007-11/08/2007, Sociedade Brasileira de Automática (SBA), (support électronique), août 2007.
  BibTeX

• Mamoun Filali. Verification Techniques: the AADL Behavioural Annex, and the Fiacre Pivot Language. Dans : Forum on specification and Design languages (FDL 2007), Barcelone (Espagne), 18/09/2007-20/09/2007 (conférencier invité), ECSI, (support électronique), septembre 2007.
  BibTeX

• Mamoun Filali. The AADL Modelling Language: Main Constructs, Formal Semantics. Dans : Forum on specification and Design languages (FDL 2007), Barcelone, 18/09/2007-20/09/2007 (conférencier invité), ECSI, (support électronique), septembre 2007.
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Spécification et Vérification par Interprétation Abstraite d'Aspects pour la Distribution. Dans : Formalisation des Activités Concurrentes (FAC 2007), Toulouse, France, 16/03/2007-16/03/2007, CNRS, (en ligne), mars 2007.
  Accès : http://www.cert.fr/francais/deri/michel/FAC/
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Expérimentation pour la définition d'une sémantique dans l'IDM. Dans : Sémantique des (meta)Modèles, Toulouse, France, 29/01/2007, INPT, p. 146-161, mars 2007.
  BibTeX

• Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat. SimplePDL2Tina: Mise en oeuvre d'une Validation de Modèles de Processus. Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2007), Toulouse, France, 29/03/2007-30/03/2007, INPT, p. 86-101, mars 2007.
  BibTeX

• Freiric Barral, Sergei Soloviev. Inductive Type Schemas as Functors.. Dans : International Computer Science Symposium in Russia (CSR 2006), St. Petersbourg, 08/06/2006-12/06/2006, Vol. 3967, Springer, LNCS, p. 35-45, juin 2006.
  BibTeX

• Benoit Combemale, Sylvain Rougemaille, Xavier Crégut, Frédéric Migeon, Marc Pantel, Christine Maurel. Sémantique dans la méta-modélisation. Dans : Journées sur l'Ingénierie Dirigée par les Modèles (IDM 2006), Lille, France, 26/06/2006-28/06/2006, Université de Lille, p. 17-33, juin 2006.
  Accès : http://planetmde.org/idm06/actes.pdf
  BibTeX

• Benoit Combemale, Xavier Crégut, Alain Caplain, Bernard Coulette. Modélisation rigoureuse en SPEM de procédé de développement. Dans : Conférence sur les Langages et Modèles à Objets (LMO 2006), Nîmes, France, 22/03/2006-24/03/2006, Hermès Science Publications, p. 135-150, mars 2006.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/2006-17/03/2006, ENST, p. 95-109, mars 2006.
  BibTeX

• Odile Nasr, Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached. Développement validé d'odonnanceurs en B. Dans : Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2006), ENST Paris, 15/03/2006-17/03/2006, ENST, p. 79-93, mars 2006.
  BibTeX

• Aurélie Hurault, Marc Pantel, Frédéric Desprez. Recherche de services en algèbre linéaire sur une grille. Dans : Rencontre du Parallélisme, Le Croizic, France, 06/04/2005-08/04/2005, EMN-ASF, p. 207-212, avril 2005.
  BibTeX

• Marc Pantel, Chiara Puglisi, Patrick Amestoy. Grilles, Composants et Calcul scientifique. Dans : Rencontre du Parallélisme, Le Croizic, 06/04/2005-08/04/2005, EMN-ASF, p. 113-124, avril 2005.
  BibTeX

• Gérard Padiou, Philippe Quéinnec, Philippe Mauran, Cristophe Cubat-Dit Cros. Composants mobiles fondés sur des agents mobiles coopérants. Dans : Journées Composants, Le Croisic, France, 05/04/2005-08/04/2005, ASF : Association ACM-SIGOPS de France, p. 80-86, avril 2005.
  BibTeX

• Tra Goore Bi, Ibrahim Lokpo, Gérard Padiou. Localisation décentralisée et adaptative d'agents mobiles dans les réseaux dynamiques. Dans : RenPar'16 : Rencontres francophones du Parallélisme, Le Croisic, France, 05/04/2005-08/04/2005, Association ACM/SIGOPS de France, p. 213-218, avril 2005.
  BibTeX

• Cristophe Cubat-Dit Cros. Agents mobiles coopératifs pour les environnements dynamiques. Dans : Les nouvelles technologies de la répartition : NOTERE'2004, Saidia (Maroc), 27/06/2004-30/06/2004, R. Dssouli, F. Khendek, A. Serhrouchni (Eds.), ENST Paris, 46, rue Barrault - F-75013 Paris, p. 15-28, juin 2004.
  BibTeX

• Nouhad Amaneddine, Jean-Paul Bahsoun, Jean-Paul Bodeveix. Vers une transformation avancée de données structurées. Dans : MAJESTIC, Calais, France, 13/10/2004-15/10/2004, Maison de la Recherche Blaise Pascal, octobre 2004.
  BibTeX

• Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Déploiement de composants de recherche d'information par des agents mobiles. Dans : 3ème Workshop sur les Objets, Composants et Modèles dans l'Ingénierie des Systèmes d'Information, Biarritz, 25/05/2004-25/05/2004, INFORSID - GDR I3, p. 55-61, mai 2004.
  BibTeX

• Aurélie Hurault, Marc Pantel. Introduction de la répartition et da la mobilité dans le calcul concurrent CAP : Étude bibliographique. Dans : Formalisation des Activités Concurrentes, Toulouse, 09/03/2004-10/03/2004, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-20, mars 2004.
  BibTeX

• Vincent Hennebert, Marc Pantel. Typage de JavAct, Approche dérivée du typage de CAP. Dans : Formalisation des Activités Concurrentes, Toulouse, 09/03/2004-10/03/2004, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-12, mars 2004.
  Résumé
  BibTeX

• Matthias Colin, Marc Pantel, Xavier Thirioux. Analyse statique de la communication dans un langage d'Acteurs. Dans : Formalisation des Activités Concurrentes, Toulouse, 12/03/2003-13/03/2003, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, p. 1-18, mars 2003.
  BibTeX

• Pierre Bazex, Jean-Paul Bodeveix, Christophe Le Camus, Thierry Millan, Christian Percebois. Vérification de modèles UML fondée sur OCL. Dans : INFORSID, Nancy, 03/06/2003-06/06/2003, INFORSID (actes électroniques), p. 185-200, juin 2003.
  Résumé
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Machines virtuelles pour le B événementiel. Dans : AFADL, Rennes, 15/01/2003-17/01/2003, Jean-Marc Jézéquel, INRIA, p. 227-241, janvier 2003.
  Accès : http://www.irisa.fr/manifestations/2003/AFADL03
  BibTeX

• Xuan Loc Pham Thi, Philippe Mauran, Gérard Padiou. Essayer et adapter : une approche pour améloirer la confiance dans l'usage d'un composant. Dans : Journées Systèmes à composants adaptables et extensibles, Grenoble, 17/10/2002-18/10/2002, Michel Riveill, Aline Senart, Olivier Charra (Eds.), ASF-ACM/SIGOPS, p. 225-233, octobre 2002.
  BibTeX

• Najat Rafalia, Abdelatif El Faker, Marc Pantel, Patrick Sallé. Conception d'un protocole de communication paresseuse dans un environnement distribué d'acteurs. Dans : RENcontre francophone du PARallèlisme, Paris, 23/04/2001-25/04/2001, ., avril 2001.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz. Formalisation de la méthode B en Coq et PVS. Dans : AFADL, Grenoble, 26/01/2000-28/01/2000, LSR/IMAG, p. 96-110, janvier 2000.
  Accès : http://www-lsr.imag.fr/afadl
  BibTeX

• Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Contrôle d'agents mobiles. Dans : FAC'2000, Toulouse, 18/05/2000-19/05/2000, IRIT, p. 56-70, mai 2000.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Expérimentation de méthodes d'accélération pour la validation de systèmes paramétrés. Dans : FAC'2000, Toulouse, 18/05/2000, IRIT, p. 19-29, mai 2000.
  BibTeX

• Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé. Intégration des typages fonctionnels et concurrents d'un langage fonctionnel d'Acteurs. Dans : Formalisation des Activités Concurrentes, Toulouse, 25/02/1999-26/02/1999, Mamoun Filali, Pierre Michel, François Vernadat (Eds.), Actes électroniques FERIA-SVF, février 1999.
  BibTeX

• Matthias Colin, Marc Pantel, Fabien Dagnat, Patrick Sallé. Intégration des Typages Fonctionnel et Concurrent d'un Langage Fonctionnel d'Acteurs. Dans : Journées Francophone Langages Applicatifs, Avoriaz, 01/02/1999-02/02/1999, INRIA, Collection Didactique, p. 227-252, février 1999.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Preuve automatique par abstraction de problèmes à espace d'états infini ou paramétrés. Dans : Formalisation des activités concurrentes, LAAS Toulouse, 25/02/1999-26/02/1999, LAAS, p. 19-30, février 1999.
  BibTeX

• Fabien Dagnat, Marc Pantel, Patrick Sallé. ML-Act, un langage fonctionnel d'Acteurs. Dans : Journéee Francophone des Langages Applicatifs, Côme, 02/02/1998-03/02/1998, INRIA, Collection didactique, février 1998.
  BibTeX

• Marc Pantel, Patrick Sallé, Najat Rafalia, Abdelatif El Faker. Communication et transfert des données dans un environnement distribué d'acteurs. Dans : Colloque Africain sur la Recherche en Informatique, Dakar, 12/10/1998-15/10/1998, ., octobre 1998.
  BibTeX

• Mamoun Filali, Gérard Padiou, Philippe Quéinnec. Développement d'une spécification formelle en UNITY -- Analyse d'un système de contrôle d'accès. Dans : AFADL98 Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, ., p. 109-120, septembre 1998.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Validation de développements. Dans : AFADL Approches formelles dans l'assistance au développement de logiciels, CERT Toulouse, GDR de Programmation: Pôle preuves et spécifications algébriques, p. 165-176, mai 1997.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Spécification et raffinement de modèles de cohérence mémoire. Dans : FAC96: Formalisation des Applications Concurrentes, Toulouse, 07/02/1996-08/02/1996, -, février 1996.
  BibTeX

• Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali. Etude du protocole de cohérence de la machine M3S. Dans : Rencontres du parallélisme RenPar'8, -, -, p. 173-176, mai 1996.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Spécification et raffinement de modèles de cohérence mémoire. Dans : Modélisation des systèmes réactifs, -, AFCET, mars 1996.
  BibTeX

• Jean-Louis Colaço, Marc Pantel, Patrick Sallé, A. Senteni. Un calcul d'acteurs primitifs. Dans : Journées du G.D.R. Programmation, Grenoble, -, novembre 1995.
  BibTeX

• Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Observer pour Répartir. Dans : Journées du GDR Programmation, -, -, novembre 1995.
  BibTeX

Conférences sans actes publiés / Conference articles without published proceedings

• Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. A Transformation and Verification Framework for BPEL. Dans : Services et Langages et modèles à l'exécution, LILLE GDR GPL, 10/06/2011-10/06/2011.
  BibTeX

• Marie de Roquemaurel, Jean-Paul Bodeveix, Mamoun Filali, Frédéric Minot. Model design through constraint solving. Dans : TOPCASED DAYS, Toulouse, 02/02/2011-04/02/2011.
  BibTeX

• Celia Picard, Ralph Matthes. Coinductive graph representation: the problem of embedded lists. Dans : Graph Computation Models, Enschede - The Netherlands, 02/10/2010, Rachid Echahed, Annegret Habel, Mohamed Mosbah (Eds.).
  Accès : http://gcm-events.org/gcm2010/pages/gcm2010-preproceedings.pdf
  BibTeX

• Aurélie Hurault, Frédéric Camillo, Michel Daydé, Ronan Guivarch, Marc Pantel, Chiara Puglisi, Hrachya Astsatryan. Semantic Description of Services: Issues and Examples. Dans : Computer Science and Information Technologies, Yerevan (Arménia), 28/09/2009-02/10/2009.
  Accès : http://www.csit.am/2009/proceedings/8CGC/11.pdf
  BibTeX

• Tanguy Le Berre, Gérard Padiou, Philippe Quéinnec. Étude du comportement temporel de données réparties. Dans : FAC, Toulouse, 01/04/2009-01/04/2009.
  BibTeX

• Ricardo Bedin Franca, Jean-François Rolland, Jean-Paul Bodeveix, Mamoun Filali. Assessment of AADL's behavioral annex. Dans : FAC Formalisation des Activités Concurrentes, Toulouse, 15/03/2007-16/03/2007.
  BibTeX

• Ricardo Bedin Franca, Jean-Paul Bodeveix, Mamoun Filali. AADL Modeling of a Generic Bus. Dans : FAC, Toulouse, 15/03/2007-16/03/2007.
  BibTeX

• Marc Pantel. Model Driven Engineering: Bringing formal validation into the industrial process. Dans : ARTIST Workshop: Tool Platforms for Embedded Systems Modelling, Analysis and Validation, co-located with CAV'07, Berlin, 01/07/2007-02/07/2007 (conférencier invité).
  Accès : http://www.artist-embedded.org/docs/Events/2007/CAV_ToolPlatforms/05-Pantel-ArtistCAV.pdf
  BibTeX

• Hrachya Astsatryan, Michel Daydé, Aurélie Hurault, Marc Pantel, Eddy Caron. On defining a Web Interface for Linear Algebra Tasks over Computational Grids. Dans : International Conference on Computer Science and Information Technologies (CSIT'07), Yerevan (Arménie), 24/09/2007-28/09/2007.
  BibTeX

• Patrick Amestoy, Frédéric Camillo, Michel Daydé, Luc Giraud, Ronan Guivarch, Victoria Moya Laniel, Marc Pantel, Chiara Puglisi Amestoy. Goal and Status of the TLSE Platform. Dans : First REDIMPS Workshop, Tokyo (Japan), 29/05/2007.
  Accès : http://redimps.enseeiht.fr/Redimps_07_08/06dayde.pdf
  BibTeX

• Benoit Combemale, Xavier Crégut, Bernard Berthomieu, François Vernadat. Vers une vérification d'un procédé de développement modélisé en SPEM. Dans : Formalisation des Activités Concurrentes, Toulouse, France, 15/03/2007-16/03/2007.
  Accès : http://www.cert.fr/feria/svf/FAC/2007/Papiers/31.pdf
  BibTeX

• Marc Pantel. The TOPCASED framework for editor generation.. Dans : Eclipse Technology eXchange workshop (eTX), Nantes, 04/07/2006.
  BibTeX

• Marc Pantel, Marcel Gandriau. An ATL-based MDE approach to add textual concrete syntax to models.. Dans : 2nd AMMA/ATL Worshop on Model Driven Engineering, Nantes, 03/05/2006-04/05/2006.
  BibTeX

• Marc Pantel. TOPCASED, a MDE-based Toolkit for OPen source Critical Application and SystEm Development.. Dans : 2nd AMMA/ATL Workshop on Model Driven Engineering, Nantes, 03/05/2006-04/05/2006.
  Accès : http://www.sciences.univ-nantes.fr/lina/atl/www/presentations/awme2/08%20-%20TOPCASED%20(Pantel).pdf
  BibTeX

• Marc Pantel. TOPCASED, ingénierie des modèles pour les systèmes critiques. Dans : Journées Kermeta, Rennes, 10/10/2006.
  BibTeX

• Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille. Sémantique et méta-modélisation. Dans : Journées Kermeta, Rennes, 10/10/2006.
  Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
  BibTeX

• Marc Pantel, Benoit Combemale, Xavier Crégut, Christine Maurel, Pierre Michel, Frédéric Migeon, Iulian Ober, Sylvain Rougemaille. Simulation et ingénierie des modèles. Dans : Journées Kermeta, Rennes, 10/10/2006.
  Accès : https://kermeta.org/community/KermetaDay06/pres_marc/download
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Analysis of Actors: From Type Systems to Abstract Interpretation. Dans : International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), Vienna, Austria, 25/03/2006-02/04/2006, Ranzato (Eds.).
  Accès : http://www.enseeiht.fr/~garoche/
  BibTeX

• David Chemouil, Dave Thomas, Jean-François Rolland. Using AADL in an existing developement process for satellite flight software. Dans : 1st Workshop "UML and AADL", ENST Paris, 09/10/2006-09/10/2006.
  BibTeX

• Julien Brunel, Jean-Paul Bodeveix, Mamoun Filali. A state/event temporal deontic logic. Dans : Journées FAC'06, Toulouse, 23/03/2006-24/03/2006.
  BibTeX

• Benoit Combemale, Alain Caplain, Xavier Crégut, Bernard Coulette. Vers une vérification d'un procédé de développement modélisé en SPEM. Dans : Formalisation des Activités Concurrentes, Toulouse, France, 23/03/2006-24/03/2006.
  Accès : http://www.cert.fr/feria/svf/FAC/2006/Papiers/24.pdf
  BibTeX

• Miloud Rached. Modelling Real Time Reactive Systems in a Timed B. Dans : ZB2005 Poster Session, University of Surrey, Guildford, UK, 13/04/2005-15/04/2005.
  Accès : http://www.zb2005.org/
  BibTeX

• Odile Nasr. Verification of Real Time Schedulers. Dans : ZB2005 Poster Session, University of Surrey, Guildford, UK, 13/04/2005-15/04/2005.
  Accès : http://www.zb2005.org/
  BibTeX

• Julien Brunel. Logique déontique pour la spécification de la disponibilité. Dans : Journées FAC'05, Toulouse LAAS, 09/03/2005-10/03/2005.
  Accès : http://www.cert.fr/francais/deri/michel/FAC/
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Martin Strecker. Towards formalising AADL in Proof Assistants. Dans : Journées FAC'05, Toulouse LAAS, 09/03/2005-10/04/2005.
  Accès : http://www.cert.fr/francais/deri/michel/FAC/
  BibTeX

• Michel Daydé, Marc Pantel. Introduction au Cycle de Séminaires 'Grilles de Calcul et de Données'. Dans : Séminaires IRIT, Toulouse, 04/11/2004.
  BibTeX

• Patrick Amestoy, Max Buvry, Michel Daydé, Luc Giraud, Christophe Hamerling, Jean-Yves L'Excellent, Marc Pantel, Chiara Puglisi. The Grid-TLSE Project : Goals and Current Status. Dans : Workshop Franco-Coréen, IRISA, Rennes, 22/07/2004.
  Accès : http://www.enseeiht.fr/lima/tlse
  BibTeX

• Julien Brunel. Deontic Logic for the Specification of System Availability. Dans : 6th school on MOdeling and VErifying parallel Processes MOVEP'04 (student papers), Bruxelles, 13/12/2004-17/12/2004.
  BibTeX

• Ibrahim Lokpo, Michel Babri, Gérard Padiou. Assistance for supporting XP test practices in a distributed CSCW environment. Dans : Fifth International Conference on Extreme Programming and Agile Processes in Software Engineering (XP-2004), Garmisch-Partenkirchen, 06/06/2004-10/06/2004.
  BibTeX

• Max Buvry, Michel Daydé, Marc Pantel, Chiara Puglisi. TLSE Project: A Grid-based Expertise Site for Sparse Matrix Solvers. Dans : AcrossGrids 2004, Nicosia, Cyprus, 28/01/2004-30/01/2004.
  Accès : http://www.enseeiht.fr/lima/tlse
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Odile Nasr. Spécification d'ordonnanceurs temps réel. Dans : FAC, Toulouse, 09/03/2004-10/03/2004.
  Accès : http://www.laas.fr/FERIA/SVF/sem.html
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Miloud Rached. Méthodes de spécification de systèmes temps réel en B. Dans : FAC, Toulouse, 09/03/2004-10/03/2004.
  Accès : http://www.laas.fr/FERIA/SVF/sem.html
  BibTeX

• Marc Pantel. Grid-TLSE: un site d'expertise en algèbre linéaire creuse. Dans : Distributed Computing and Data day, Strasbourg, 06/05/2003.
  Accès : http://cdsweb.u-strasbg.fr/meeting3/planning_en.htm
  BibTeX

• Romulus Grigoras, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Ordonnancement causal de flux répartis multimédia. Dans : Journées Formalisation des Activités Concurrentes FAC-2003, TOULOUSE, 12/04/2003-13/04/2003.
  BibTeX

• Patrick Amestoy, Marc Pantel. Grid-TLSE: A Web expertise site for sparse linear algebra. Dans : Sparse Days and Grid Computing at St Girons, St Girons, 09/06/2003-13/06/2003.
  Résumé
  BibTeX

• Max Buvry, Michel Daydé, Marc Pantel, Chiara Puglisi. The GRID-TLSE Project : Designing a Web Expert Site for Sparse Matrices. Dans : Fourth Conference on Computer Science and Information Technologies, Yerevan, Armenia, 22/09/2003-26/09/2003.
  Accès : http://www.enseeiht.fr/lima/tlse
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. About disjunctive invariants in UPPAAL. Dans : NWPT, Turku Finlande, 29/10/2003-31/10/2003.
  Accès : http://www.abo.fi/~Kaisa.Sere/15NWPT.html
  BibTeX

• Jean-Paul Arcangeli, Christine Maurel, Frédéric Migeon, Marc Pantel, Patrick Sallé. Ingénierie des applications mobiles. Dans : Journée Objet Composants et Modèles, Vannes, 05/02/2003-05/02/2003.
  BibTeX

• Ludmila Fedorchenko, Alexandre Flegontov, Sergei Soloviev. Type theory, computer algebra and computer-assisted proofs. (In Russian.). Dans : 8-th St. Petersbourg International Conference "Regional Informatics-2002", St. Petersbourg, Russie, 26/11/2002-28/11/2002.
  Résumé
  BibTeX

• Pierre Maurice. Proposition de plateforme logicielle pour l'observatoire multi-vues. Dans : Atelier en Sciences et Technologies de l'Information et de la Communication, Rabat-Maroc, 24/10/2002-25/10/2002.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Machines virtuelles pour le B événementiel. Dans : Journées GDR B, Paris, 13/06/2002-14/06/2002.
  Accès : http://www-lsr.imag.fr/B/Documents/CNAM-2002-06-13/prog-CNAM-2002.html
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Semra Sarpdag. Etude des files de priorité. Dans : journée GDR B, Nantes, 29/11/2002-29/11/2002.
  Accès : http://www-lsr.imag.fr/B/Documents/Nantes-2002-11-29/prog.html
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Un outil pour la description de types inductifs en B. Dans : journée du GDR B, Nantes, 29/11/2002-29/11/2002.
  Accès : http://www-lsr.imag.fr/B/Documents/Nantes-2002-11-29/prog.html
  BibTeX

• Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Rejeu d'un calcul d'agents mobiles. Dans : Journées Formalisation des Activités Concurrentes FAC-2000, TOULOUSE, 26/03/2000-27/03/2000.
  BibTeX

• Sergei Soloviev, Louis Féraud. Désenvoûter le numérique. Dans : Journées PRESCOT, Toulouse, .
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Daniel Le Berre. Expression de méthodes de validation. Transformation en logique propositionnelle ou monadique. Dans : Journées de VERIFICATION FORMELLE, ORLEANS, 08/06/2000-09/06/2000.
  Accès : http://www.univ-orleans.fr/SCIENCES/LIFO/Manifestations/Jo-VERIF/
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Un outil générique pour l'expression de méthodes de validation. Dans : Journées Modélisation et Vérification, Besançon, 09/12/1999-11/12/1999.
  Accès : http://www.irit.fr/ACTIVITES/EQ_COS/MF/PAPIERS/jmv99.ps.gz
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Cesar Munoz. Mécanisation de la méthode B en Coq et PVS. Dans : Journées BUG-SEE, LILLE, 29/11/1999-30/11/1999.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Expériences de preuves assistées et automatiques de problèmes paramétrés. Dans : Journées Modélisation et Vérification, CIRM, Marseille, 16/12/1998-18/12/1998.
  BibTeX

• Salam Majoul, Christian Percebois, Jean-Paul Bodeveix. Reasoning about Negative Conditions in a Concurrent Rewriting System. Dans : 2nd France-Japan Workshop on Object-Based Parallel and Distributed Computation, Toulouse, .
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Preuve automatique de propriétés de sureté. Dans : GDR de Programmation - Journées du pôle Preuves et Spécifications Algébriques, -, .
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Formalisation et validation de protocoles de cohérence mémoire atomique. Dans : École ISYPAR, IRIT, .
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Pierre Roché. Sémantique des modèles de consistance mémoire. Dans : Journée du pôle preuves et spécifications algébriques du GDR programmation, -, .
  BibTeX

Rapports / Reports

• Elie Fares, Jean-Paul Bodeveix, Mamoun Filali. Verification of Timed BPEL 2.0 Models. Rapport de recherche, IRIT/RR–2011-10–FR, IRIT, mars 2011.
  Résumé Accès : http://www.irit.fr/PERSONNEL/ACADIE/fares/PUBLICATIONS/RR-2011-10-FR.pdf
  BibTeX

• Jacques Cazin, Pierre-Loïc Garoche, Marc Pantel, Virginie Wiels. D2.5.1 ES_PASS qualification guidelines for static analysis based verification tools. Rapport de contrat, D2.5.1, Institut National Polytechnique de Toulouse, novembre 2009.
  BibTeX

• Mounira Kezadri. Vérification de transformations de modèles. Rapport de Master, IRIT, juin 2009.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/ACADIE/M2RRapport.pdf
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel. TOPCASED - Model simulation: Guideline for meta-modeling. Rapport de contrat, D03, IRIT, février 2009.
  BibTeX

• Nassima Izerrouken, Marc Pantel. D2.51: GeneAuto block sequencer tool design. Rapport de contrat, D2.51, Institut National Polytechnique de Toulouse, septembre 2008.
  BibTeX

• Nassima Izerrouken, Marc Pantel, Olivier Ssi Yan Kai, Xavier Thirioux. D2.36: GeneAuto block sequencer tool requirements. Rapport de contrat, D2.36, Institut National Polytechnique de Toulouse, août 2008.
  BibTeX

• Jean-Charles Dalbin, Laurent Duffau, Tonu Naks, Frédéric Pothon, Marc Pantel. D6.4.5: GeneAuto tool verification plan. Rapport de recherche, D6.4.5, Institut National Polytechnique de Toulouse, octobre 2008.
  BibTeX

• Jean-Charles Dalbin, Laurent Duffau, Tonu Naks, Frédéric Pothon, Marc Pantel. D6.4.2: GeneAuto tool development plan. Rapport de contrat, D6.4.2, Institut National Polytechnique de Toulouse, octobre 2008.
  BibTeX

• Andres Toom, Marc Pantel. D1.14 & D5.2 GeneAuto Stateflow modeling guidelines. Rapport de contrat, D1.14 & D5.2, Institut National Polytechnique de Toulouse, juillet 2008.
  BibTeX

• Nassima Izerrouken, Marc Pantel. GENEAUTO Coq Development Guidelines. Rapport de contrat, 1.0, IRIT, octobre 2008.
  BibTeX

• Mathieu Giorgino. Vérification de structures de pointeurs. Rapport de Master, Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et des Télécommunications, septembre 2008.
  Résumé Accès : http://www.irit.fr/~Mathieu.Giorgino/Publications/rapportM2R.pdf
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre Michel, Marc Pantel, Sylvain Rougemaille. TOPCASED - Model Simulation: Adding model simulation to TOPCASED. Rapport de contrat, D02b, IRIT, février 2007.
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre Michel, Iulian Ober, Marc Pantel. TOPCASED - Model simulation: Synthesis on methods and tools for simulation. Rapport de contrat, D02a, IRIT, février 2007.
  BibTeX

• Benoit Combemale, Xavier Crégut, Pierre Michel, Iulian Ober, Marc Pantel. TOPCASED - Models simulation: Synthesis on simulation needs. Rapport de contrat, D01, IRIT, février 2007.
  BibTeX

• Leo Motus, Marc Pantel. D5.1 GeneAuto Analysis and verification of real time embedded software: State of the art. Rapport de contrat, D5.1, Institut National Polytechnique de Toulouse, mai 2007.
  BibTeX

• Ricardo Bedin Franca. Assessment of the AADL Behavioral Annex. Rapport de recherche, RR-2007-8-FR, IRIT, avril 2007.
  BibTeX

• Aurélie Hurault, Kento Aida. Using ontology for resources matchmaking in grid middleware.. Rapport de recherche, IRIT/RT--2007-8--FR, IRIT, décembre 2007.
  Accès : ftp://ftp.irit.fr/IRIT/ACADIE/HuraultAida.pdf
  BibTeX

• Laurent Méhats, Sergei Soloviev. Coherence in SMMCs and equivalences on derivations in IMLL with unit. Rapport de recherche, IRIT/RR-2006-18-FR, IRIT, juillet 2006.
  Résumé
  BibTeX

• Lei Pi. Study and tools for behaviour annex of AADL standard. Rapport de recherche, 2006-09-R (master), IRIT, ECOLE DOCTORALE SYSTEMES, septembre 2006.
  BibTeX

• Jan Broersen, Julien Brunel. 'What I fail to do today, I have to do tomorrow': a logical study of the propagation of obligations. Rapport de recherche, IRIT/RR--2006-23--FR, IRIT, 2006.
  BibTeX

• Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Concern-based Specification and Analysis using Abstract Interpretation - A Distributed Case. Rapport de recherche, ?, IRIT, septembre 2006.
  Accès : http://www.enseeiht.fr/~garoche/
  BibTeX

• Patrick Amestoy, Max Buvry, Michel Daydé, Luc Giraud, Christophe Hamerling, Marc Pantel, Chiara Puglisi. Rapport de fin de projet GRID-TLSE.. Rapport de recherche, TR/TLSE/06/02, Institut National Polytechnique de Toulouse, février 2006.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. Rapport de recherche, 2005-21-r, IRIT, octobre 2005.
  BibTeX

• Meng Long Seang. Modélisation et preuve d'un algorithme de groupes dans les réseaux ad hoc. Rapport de recherche, MASTER SLCP, IRIT, juin 2005.
  BibTeX

• Nicolas Lalevee. Formalisation du langage ATL. Rapport de recherche, MASTER SLCP, IRIT, juin 2005.
  BibTeX

• Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Maximal membership in ad hoc networks. Rapport de recherche, 2005-07-R, IRIT, avril 2005.
  BibTeX

• Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. State of the art on modelling and meta-modelling - addendum. Rapport de contrat, D01a, Institut National Polytechnique de Toulouse, janvier 2005.
  BibTeX

• Marc Pantel, Chiara Puglisi, Patrick Amestoy. GRID, components and scientific computing. Rapport de recherche, TLSE/TR/05/07, Institut National Polytechnique de Toulouse, 2005.
  BibTeX

• Aurélie Hurault, Marc Pantel, Eddy Caron, Frédéric Desprez. Grid trading services in linear algebra. Rapport de recherche, TR/TLSE/05/06, Institut National Polytechnique de Toulouse, 2005.
  Accès : http://www.enseeiht.fr/~hurault/publis/TR-TLSE-05-06.pdf
  BibTeX

• Aurélie Hurault, Marc Pantel. Algebraic approach to mathematical service trading. Rapport de recherche, TR/TLSE/05/05, Institut National Polytechnique de Toulouse, 2005.
  Accès : http://www.enseeiht.fr/~hurault/publis/TR-TLSE-05-05.pdf
  BibTeX

• Aurélie Hurault, Marc Pantel. Mathematical service trading based on equational unification. Rapport de recherche, TR/TLSE/05/04, Institut National Polytechnique de Toulouse, 2005.
  Accès : http://www.enseeiht.fr/~hurault/publis/TR-TLSE-05-04.pdf
  BibTeX

• Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. Construction et déploiement de systèmes d'information répartis ouverts et adaptables au moyen d'agents mobiles et de composants. Rapport de recherche, IRIT/2005-4-R, IRIT, janvier 2005.
  Résumé
  BibTeX

• Florent Peres. Modélisation et vérification d'algorithmes répartis. DEA Programmation et Systèmes (EDIT). Rapport de stage, 2004, IRIT, 2004.
  BibTeX

• Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. Specification of the initial TOPCASED meta-modelling language. Rapport de contrat, D03, Institut National Polytechnique de Toulouse, décembre 2004.
  BibTeX

• Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. Requirements for TOPCASED. Rapport de recherche, D02, Institut National Polytechnique de Toulouse, novembre 2004.
  BibTeX

• Xavier Crégut, Pierre Michel, Frédéric Migeon, Marc Pantel, Xavier Thirioux. State of the art on Modelling and Meta-Modelling. Rapport de contrat, D01, Institut National Polytechnique de Toulouse, novembre 2004.
  BibTeX

• Jean-François Rolland. Traductionde shemas UML en B et Expression du raffinament en UML. Rapport de recherche, DEA PS (EDIT), IRIT, juin 2004.
  BibTeX

• Julien Brunel. Logique déontique pour la disponibilité. Rapport de stage, DEA PS 2003-2004, IRIT, 2004.
  BibTeX

• Jean-Paul Arcangeli, Vincent Hennebert, Sébastien Leriche, Frédéric Migeon, Marc Pantel. JavAct 0.5.0 : principes, installation, utilisation et développement d'applications. Rapport de recherche, IRIT/2004-5-R, IRIT, février 2004.
  Résumé Accès : http://www.irit.fr/recherches/ISPR/IAM/JavAct.html
  BibTeX

• Ludmila Fedorchenko, I.N. Naumov, Laurent Méhats, Sergei Soloviev. Syntax Graph Transformations in the system SynGT and their Applications. Rapport de recherche, 03-06-R, IRIT, 2003.
  Résumé
  BibTeX

• Jean-Paul Arcangeli, Sébastien Leriche, Marc Pantel. JavAne : partage et recherche d'information à base d'agents mobiles adaptables. Rapport de recherche, IRIT/2003-25-R, IRIT, décembre 2003.
  Résumé
  BibTeX

• S. Abdellatif, Bernard Berthomieu, Jean-Paul Bodeveix, J.-M. Farines, Mamoun Filali, C. Lohr, P. Michel, Odile Nasr, Gérard Padiou, P.-O. Ribet, Semra Sarpdag, François Vernadat. Rapport sur les sémantiques, concepts, techniques et outils. Rapport de recherche, 2002-32-R, CERT, IRIT, LAAS, Université Paul Sabatier, Toulouse, octobre 2002.
  Résumé
  BibTeX

• Robin Cockett, Martin Hyland, Sergei Soloviev. Natural transformation between tensor powers in the presence of direct sums. Rapport de recherche, 01-12-R, IRIT, juillet 2001.
  BibTeX

• Daniel Litaize, Jean-Paul Bodeveix, Dominique Carrière, Mamoun Filali. Rapport de fin de contrat RECH-9507523 Environnement de développement de programmes parallèles. Rapport de recherche, 99-31-R, IRIT, novembre 1999.
  BibTeX

• Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec, Xavier Thirioux. Un algorithme de terminaison de calcul diffusant par évaluation de chemins maximaux. Rapport de recherche, IRIT-99-22-R, IRIT, novembre 1999.
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali. Quantifier elimination technics for program validation. Rapport de recherche, IRIT/97-44-R, IRIT, novembre 1997.
  BibTeX

• Philippe Quéinnec, Mamoun Filali, Gérard Padiou, Philippe Mauran, Philippe Papaix. Système de contrôle d'accès : Développement d'une spécification formelle en UNITY. Rapport de recherche, 97-33-R, IRIT, juin 1997.
  BibTeX

• Michel Charpentier, Mamoun Filali, Philippe Mauran, Gérard Padiou, Philippe Quéinnec. Répartition par observation dans UNITY. Rapport de recherche, 96-01-R, IRIT, janvier 1996.
  BibTeX

• Didier Plaindoux, F. Cabestre, N Signès, Jean-Paul Bodeveix, Christian Percebois. Introduction au Langage SLOOP. Rapport de recherche, 94-15-R, IRIT, mai 1994.
  BibTeX

• Didier Plaindoux, F. Cabestre, Jean-Paul Bodeveix, Christian Percebois, N Signès. Les Objets SLOOP : Granularité et Concurrence. Rapport de recherche, 94-12-R, IRIT, avril 1994.
  BibTeX

Thèses et habilitations / Thesis and HDR

• Philippe Quéinnec. Variété de la cohérence dans les systèmes répartis. Habilitation à diriger des recherches, Institut National Polytechnique de Toulouse, mai 2011.
  Accès : http://queinnec.perso.enseeiht.fr/publis/hdr-memoire.pdf
  BibTeX

• Antoine El Khoury. Méthodes de vérification de la commutativité des diagrammes dans les catégories symétriques monoidales fermées libres et non-libres. Thèse de doctorat, Université Paul Sabatier, décembre 2010.
  BibTeX

• Lei Pi. Langage de description d'architecture: sémantique et analyse comportementale. Thèse de doctorat, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace (SupAéro), juillet 2010.
  Résumé
  BibTeX

• Lionel Marie-Magdeleine. Sous-typage coercitif en presence de reductions non-standards dans un système aux types dépendants. Thèse de doctorat, Université Paul Sabatier, mars 2010.
  Accès : http://tel.archives-ouvertes.fr/tel-00495360/fr/
  BibTeX

• Tanguy Le Berre. Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles. Thèse de doctorat, Institut National Polytechnique de Toulouse, mars 2010.
  Résumé Accès : http://tel.archives-ouvertes.fr/tel-00472469/fr/
  BibTeX

• Nadège Pontisso. Association cohérente de données dans les systèmes temps réel à base de composants - Application aux logiciels spatiaux. Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2009.
  Résumé Accès : http://tel.archives-ouvertes.fr/tel-00459071/fr/
  BibTeX

• Rachid Bouaziz. Test des systèmes temps réel embarqués. Thèse de doctorat, Université Paul Sabatier, décembre 2008.
  BibTeX

• Jean-François Rolland. Développement et validation d'architectures dynamiques. Thèse de doctorat, Université Paul Sabatier, décembre 2008.
  BibTeX

• Pierre-Loïc Garoche. Analyse statique d'un calcul d'acteurs par interprétation abstraite. Thèse de doctorat, Institut National Polytechnique de Toulouse, juin 2008.
  Résumé
  BibTeX

• Benoit Combemale. Approche de métamodélisation pour la simulation et la vérification de modèle. Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2008.
  Résumé Accès : http://ethesis.inp-toulouse.fr/archive/00000666/ - http://www.combemale.fr/research/phd/phd-2008-combemale-finalversion.pdf
  BibTeX

• Maxime Rebout. Une approche catégorique unifiée pour la récriture de graphes attribués. Thèse de doctorat, Université Paul Sabatier, juillet 2008.
  Résumé Accès : ftp://ftp.irit.fr/IRIT/MACAO/TheseMRebout.pdf
  BibTeX

• Freiric Barral. Decidability for Non-Standard Conversions in Typed Lambda-Calculus. Thèse de doctorat, Université Paul Sabatier, avril 2008.
  Résumé
  BibTeX

• Julien Brunel. Combinaison des logiques temporelles et déontiques pour la spécification de politiques de sécurité. Combining temporal and deontic logics for the specification of security policies.. Thèse de doctorat, Université de Toulouse, décembre 2007.
  BibTeX

• Odile Nasr. Spécification et Vérification des ordonnanceurs temps réel en B. Thèse de doctorat, Université Paul Sabatier, novembre 2007.
  BibTeX

• Miloud Rached. Spécification et vérification des systèmes temps réel réactifs en B. Thèse de doctorat, Université Paul Sabatier, mai 2007.
  BibTeX

• Aurélie Hurault. Courtage sémantique de services de calcul. Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2006.
  Résumé Accès : http://ethesis.inp-toulouse.fr/archive/00000374/01/hurault.pdf
  BibTeX

• Cristophe Cubat-Dit Cros. Agents mobiles coopérants pour les environnements dynamiques. Thèse de doctorat, Institut National Polytechnique de Toulouse, décembre 2005.
  BibTeX

• Laurent Méhats. Théorie de la preuve des catégories monoidales symétriques fermées: cohérence et equivalence de derivations.. Thèse de doctorat, Université Paul Sabatier, décembre 2005.
  BibTeX

• Ralph Matthes. Types inductifs au-delà de la stricte positivité. Habilitation à diriger des recherches, Université Paul Sabatier, mai 2005.
  BibTeX

• Xuan Loc Pham Thi. Adaptation des composants centrée sur l'utilisation. Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 2004.
  BibTeX

• David Chemouil. Types inductifs, isomorphismes et récriture extensionnelle. Thèse de doctorat, Université Paul Sabatier, septembre 2004.
  Résumé
  BibTeX

• Jean-Paul Bodeveix. Méthodes formelles et sûreté de développement. Habilitation à diriger des recherches, Université Paul Sabatier, octobre 2001.
  BibTeX

• Marc Pantel. Représentations et Transformations : Un modèle de la réutilisabilité dans les langages fonctionnels à objets. Thèse de doctorat, Institut National Polytechnique de Toulouse, février 1994.
  BibTeX

Autres types de publications / Other publications

• Bernard Berthomieu, Jean-Paul Bodeveix, Silvano Dal Zilio, Mamoun Filali, François Vernadat. Vérification formelle de spécifications AADL via FIACRE. Diffusion pédagogique. août 2011.
  Accès : http://www.univ-brest.fr/ETR2011
  BibTeX

• Jean-Paul Bodeveix, Mamoun Filali, Thomas Polacsek. Projet PAM: AIde à la conception d'une palte-forme avionique. Présentation orale. mars 2009.
  BibTeX