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
    • STAGES
• 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

Farines J.-M

 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)

• 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

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

• 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

• 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

• 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

• 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

• 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

• 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

Conférences et workshops nationaux / National conferences articles

• 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

Rapports / Reports

• 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