IRIT - UMR 5505

Partenaires

Menu

• Présentation
  • Le mot du directeur
  • Organigramme
  • Conseils, comité d’évaluation
  • L’IRIT en chiffres
    • Personnel
    • Publications
  • Coordonnées, plans d’accès
• Axes stratégiques
  • Systèmes embarqués critiques
  • Systèmes informatiques pour la santé et l’autonomie
  • Masses de données et calcul
    • Séminaires
  • Systèmes SocioTechniques Ambiants
    • Thématiques
    • Equipes
    • Projets
    • Thèses
    • Laboratoires et industriels en lien avec la thématique
    • Divers
    • News
    • SSTApwd
• Thèmes de recherche
  • Thème 1 - Analyse et synthèse de l’information
    • Equipe SAMoVA
    • Equipe SC
    • Equipe TCI
    • Equipe VORTEX
  • Thème 2 - Indexation et recherche d’informations
    • Equipe PYRAMIDE
    • Équipe SIG
  • Thème 3 - Interaction, Coopération, Adaptation paR l’Expérimentation (ICARE)
    • Equipe ELIPSE
    • Equipe SMAC
  • Thème 4 - Raisonnement et décision
    • Equipe ADRIA
    • Equipe LILaC
    • Equipe MELODI
  • Thème 5 - Modélisation, algorithmes et calcul haute performance
    • Equipe APO
  • Thème 6 - Architecture, systèmes et réseaux
    • Equipe IRT
    • Equipe SEPIA
    • Equipe SIERA
    • Equipe T2RS
    • Equipe TRACES
  • Thème 7 - Sûreté de développement du logiciel
    • Equipe ACADIE
    • Equipe ICS
    • Equipe MACAO
• Structures de recherches communes
  • Coopération AIRSYS
  • Laboratoire AUTODIAG
  • Programme FREMIT
  • Laboratoire ILIKS
  • Laboratoire LACII
  • Laboratoire Européen Associé (LEA) LIRP
• Projets, collaborations
  • Actions transversales
    • Groupes de travail
    • Plates-formes
    • Projets
  • Projets en cours
    • Projets ANR (Agence Nationale de la Recherche)
    • Projets européens
  • Collaborations internationales
    • Carte des relations internationales
    • Consultation de la base des relations internationales
• Evénements
  • Agenda
  • Congrès, séminaires, écoles, thèses, habilitations
    • Congrès, workshops, conférences, écoles
    • Séminaires
    • Thèses et habilitations
    • Archives
    • Rencontres Recherche-Industrie
  • Journal "noir sur blanc"
• Logiciels diffusés
• Publications
• Service documentation

Rechercher

Navigation

Publications

Féraud Louis

 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

Ouvrages de synthèse / Books edition

• 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

Articles de revues internationales / International journals articles

• Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud. Hybrid possibilistic systems with nondeterministic continous evolutions and switching. Dans : Acta Electrotechnica et Informatica, Faculty of Electrical Engineering and Informatics, Košice - Slovak Republic, 2012 (à paraître).
  BibTeX

• Ileana Ober, Louis Féraud, Christian Percebois. Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques. Dans : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 1, p. 21-28, janvier 2010.
  Résumé Accès : http://www.springerlink.com/content/y78373u877564110/
  BibTeX

• Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat. Using Abstract Interpretation Techniques for Static Pointer Analysis. Dans : Computer Architecture News, ACM, ISSN 0163-5694, Vol. 27 N. 1, p. 47-50, mars 1999.
  Résumé Accès : http://www.irit.fr/publis/APARA/March/208.ps.gz
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud. Designing Reusable Parallel Software Components. Dans : Journal of Computers and Artificial Intelligence, Vol. 13 N. 1, p. 73-90, 1994.
  BibTeX

Articles de revues nationales / National journals articles

• Erwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan. Vers une abstraction d'une famille de DSL. Dans : Génie Logiciel, GL & IS, Meudon - France, Vol. 81, p. 24-31, juin 2007.
  BibTeX

• Hugues Cassé, Louis Féraud, Christine Rochange, Pascal Sainrat. Une approche pour réduire la complexité du flot de contrôle dans les programmes C. Dans : Technique et science informatiques, Hermès, Vol. 21, N. 7, p. 1009-1032, 2002.
  Résumé
  BibTeX

• Patrice Cros, Louis Féraud. Interopérabilité et granularité : quelques limites de CORBA. Dans : Calculateurs Parallèles, Hermès, Vol. 10, N. 5, p. 537-553, 1998.
  BibTeX

Conférences et workshops internationaux / International conferences articles

• Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud. Possibilistic modeling of a special class of hybrid systems (regular paper). Dans : International scientific conference "Dynamical system modeling and stability investigation" (DMSI 2011), Kiev Ukraine, 25/05/2011-27/05/2011, Proceedings DMSI'2011, p. 90-95, mai 2011.
  BibTeX

• Ievgen Ivanov, Mykola Nikitchenko, Louis Féraud. Possibilistic models of hybrid systems with nondeterministic continuous evolutions and switchings (regular paper). Dans : International scientific conference INFORMATICS'2011, Roznava Slovakia, 16/11/2011-18/11/2011, Faculty of Electrical Engineering and Informatics, p. 14-25, novembre 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.), Electronic 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

• 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

• Hanh Nhi Tran, Christian Percebois, Ali Abou Dib, Louis Féraud, Sergei Soloviev. Attribute Computations in the DPoPb Graph Transformation Engine (regular paper). Dans : International Workshop on Graph Based Tools (GRABATS 2010), University of Twente, Enschede, The Netherlands, 28/09/2010-28/09/2010, University of Twente, (support électronique), septembre 2010.
  BibTeX

• Ileana Ober, Louis Féraud, Christian Percebois. Dealing with Variability within a family of Domain Specific Languages: comparative analysis of different techniques (regular paper). Dans : UML&FM, Rio de Janeiro, 08/12/2009-08/12/2009, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, p. 17-23, décembre 2009.
  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

• Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois. Towards interoperability in component based development with a family of DSLs. Dans : European Conference on Software Architecture (ECSA 2008), Chypre, 29/09/2008-01/10/2008, Vol. LNCS, R. Morrison, D. Balasubramaniam, K. Falkner (Eds.), Springer-Verlag, p. 148-163, septembre 2008.
  Résumé Accès : http://www.springer.com/computer/programming/book/978-3-540-88029-5
  BibTeX

• Ali Abou Dib, Louis Féraud, Christian Percebois, Ileana Ober. Towards a Rigorous Framework for dealing with Domain Specific Language Families. Dans : International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2008), Damascus, Syria, 07/04/2008-11/04/2008, IEEE Computer Society, (support électronique), avril 2008 (First Best Paper Award).
  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

• Marjorie Couzinier, Louis Féraud, Ralph Sobek, Sergei Soloviev. A framework for increasing program design reliability. Dans : Contemporary information and education space. St. Petersburg pedagogical state university 2005, St. Petersburg, 22/11/2005-02/12/2005, Sovremennoe informatsionno-obrazovatelnoe prostranstvo (Editions de L'Université Pédagogique d'Etat), p. 67-70, 2005.
  BibTeX

• Marjorie Couzinier, Louis Féraud. Formal verification of dynamic UML diagrams using TLA+. Dans : Second IASTED International Multiconference Software Engineering (ACIT-SE), Novosibirsk, 20/06/2005-24/06/2005, ACTA Press, p. 85-91, juin 2005.
  BibTeX

• Raymonde Le Delliou , Nicolas Ploquin, Mariano Belaunde, Reda Bendraou, Louis Féraud. A Model Driven Approach For Information System Migration. Dans : Workshop on ODP for Entreprise Computing, Monterey Californie Etats Unis, 20/09/2004-20/09/2004, IEEE Computer society, p. 90-97, septembre 2004.
  BibTeX

• May Dehayni, Louis Féraud. Attribute grammars as tools for model-to-model transformations. Dans : International Workshop Model Driven Architecture Foundations and Applications, Université de Twente Enshede, 26/06/2003-27/06/2003, Université de Twente CTIT-03-27, p. 73-84, juin 2003.
  BibTeX

• May Dehayni, Louis Féraud. An approach of model transformation based on attribute grammars. Dans : 9th international Conference on Object Oriented Information Systems, Geneve, 02/09/2003-05/09/2003, Springer Verlag (LNCS 2817), p. 412-423, septembre 2003.
  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

• 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

• Christine Rochange, Pascal Sainrat, Louis Féraud, Hugues Cassé. Using Abstract Interpretation Technics for Static Pointer Analysis. Dans : 3rd workshop on Interaction Between Compilers and Computer Architectures (INTERACT'3), San Jose, USA, 03/10/1999-07/10/1999, Pen-Chung Yew, University of Minnesota, octobre 1999.
  Résumé Accès : http://www.irit.fr/publis/APARA/March/A_Interact3.ps.gz
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud, J Pouilly, J-Christophe Sakdavong. Building distributed applications with HECTOR. Dans : ECOOP'96 Workshop on Concurrent and Distributed Object-Oriented Programming, Linz, Austria, -, juillet 1996.
  BibTeX

• J-Christophe Sakdavong, Jean-Paul Bahsoun, Louis Féraud. A model for designing distributed Object-Oriented Programming. Dans : IWOOS 95 IEEE Proceedings, Malmoe, Sweeden, -, p. 200-210, juillet 1995.
  BibTeX

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

• Christian Percebois, Pierre Bazex, Arlette Sebatware, Hervé Leblanc, Ali Abou Dib, Ileana Ober, Louis Féraud. Modélisation en UML et OCL de langages dédiés. Dans : Journée KERMETA 2006, Rennes, France, 10/10/2006.
  BibTeX

• Marjorie Couzinier, Louis Féraud. Une approche formelle des diagrammes dynamiques d'UML via TLA+. Dans : FAC'05 Journées Formalisation des activités concurrentes, Toulouse, 09/03/2005-10/03/2005.
  Accès : http://www.cert.fr/francais/deri/michel/FAC
  BibTeX

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

• Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan. Modélisation et transformations de données. Dans : Journées sur les technologies applicables à la valorisation de données, Toulouse, .
  BibTeX

• Patrice Cros, Louis Féraud. Interoperability and granularity : some limits of CORBA. Dans : Ecole ISYPAR, IRIT-Toulouse, .
  BibTeX

• Jean-Paul Bahsoun, Louis Féraud, J Pouilly. Programmation Orientée Objet Distribuée : les perspectives du modèle HECTOR. Dans : Actes des Journées du GDR programamtion, Lille, .
  BibTeX

• Jean-Paul Bahsoun, Jean-Pierre Briot, Louis Féraud, Denis Caromel, O Nierstrasz, P Wegner. How could object-oriented concepts and parallelism cohabit? Dans : Actes de IEEE ICCL'94, -, .
  BibTeX