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
    • Evénements
    • 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

Ballabriga Clément

 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

Conférences et workshops internationaux / International conferences articles

• Marianne de Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé. Partial Flow Analysis with oRange (short paper). Dans : ISoLA Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Heraklion, 18/10/2010-20/10/2010, Springer, LNCS 6416, p. 479-482, octobre 2010.
  Accès : http://www.irit.fr/publis/TRACES/11831_isola.pdf
  BibTeX

• Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. OTAWA: an Open Toolbox for Adaptive WCET Analysis (regular paper). Dans : IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS 2010), Waidhofen/Ybbs, Austria, 13/10/2010-15/10/2010, Springer, p. 35-46, octobre 2010.
  Accès : http://www.irit.fr/publis/TRACES/11771_seus2010.pdf
  BibTeX

• Hugues Cassé, Pascal Sainrat, Clément Ballabriga, Marianne de Michiel. Experimentation of WCET computation on both ends of automotive processor range (regular paper). Dans : Workshop on Critical Automotive applications: Robustness and Safety (CARS 2010), Valencia, Spain, 27/04/2010, ACM, p. 67-70, mai 2010.
  Accès : http://www.irit.fr/publis/TRACES/11476_cars2010.pdf
  BibTeX

• Clément Ballabriga, Hugues Cassé, Marianne de Michiel. A Generic Framework for Blackbox Components in WCET Computation (regular paper). Dans : Workshop on Worst-Case Execution Time Analysis, Dublin, 30/06/2009, Vol. 252, Austrian Computer society, p. 118-129, octobre 2009.
  Accès : http://www.irit.fr/publis/TRACES/10609_WCET2009.pdf
  BibTeX

• Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne de Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan. WCET Tool Challenge 2008: report. Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, 01/07/2008-01/07/2008, Austrian Computer society, p. 149-171, octobre 2008.
  Accès : http://www.irit.fr/publis/TRACES/9687_challenge08.pdf
  BibTeX

• Roman Bourgade, Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. Accurate analysis of memory latencies for WCET estimation (regular paper). Dans : International Conference on Real-Time and Network Systems (RTNS 2008), Rennes, 16/10/2008-17/10/2008, IRISA, p. 161-170, octobre 2008.
  Accès : http://www.irit.fr/publis/TRACES/9445_rtns08final.pdf
  BibTeX

• Clément Ballabriga, Hugues Cassé. Improving the WCET computation time by IPET using control flow graph partitioning. Dans : International Workshop on Worst-Case Execution Time Analysis (WCET 2008), Prague, 01/07/2008-01/07/2008, Austrian Computer society, p. 19-27, juillet 2008.
  Accès : http://www.irit.fr/publis/TRACES/9294_wcet08.pdf
  BibTeX

• Clément Ballabriga, Hugues Cassé. Improving the First-Miss Computation in Set-Associative Instruction Caches. Dans : Euromicro Conference on Real-Time Systems (ECRTS 2008), Prague, 02/07/2008-04/07/2008, IEEE, p. 341-350, juillet 2008.
  Accès : http://www.irit.fr/publis/TRACES/9078_ecrts08.pdf
  BibTeX

• Clément Ballabriga, Hugues Cassé, Pascal Sainrat. An improved approach for set-associative instruction cache partial analysis. Dans : Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza (Brazil), 16/03/2008-20/03/2008, ACM, p. 360-368, mars 2008.
  Résumé Accès : http://www.irit.fr/publis/TRACES/8311_sac08.pdf
  BibTeX

• Clément Ballabriga, Hugues Cassé, Pascal Sainrat. WCET computation on software components by partial static analysis. Dans : Junior Researcher Workshop on Real-Time Computing, Nancy, 29/03/2007-30/03/2007, LORIA, p. 15-18, mars 2007.
  Résumé Accès : http://www.irit.fr/publis/TRACES/7790_JRWRTC07.pdf
  BibTeX

• Guylhem Aznar, Patrice Dalle, Clément Ballabriga. Analysis of the differents methods to encode SignWriting in Unicode. Dans : Workshop on the Representation and Processing of Sign Language:Lexicographic Matters and Didactic Scenarios (LREC 2006), Gênes, Italie, 28/05/2006-28/05/2006, Evaluations and Language resources Distribution Agency (ELDA), p. 59-63, 2006.
  Accès : http://www.irit.fr/~Patrice.Dalle/Publis/lrec06_GA.pdf
  BibTeX

Rapports / Reports

• Armelle Bonenfant, Ian Broster, Clément Ballabriga, Guillem Bernat, Hugues Cassé, Michael Houston, Nicholas Merriam, Marianne de Michiel, Christine Rochange, Pascal Sainrat. Coding guidelines for WCET analysis using measurement-based and static analysis techniques. Rapport de recherche, IRIT/RR--2010-8--FR, IRIT, mars 2010.
  Accès : http://www.irit.fr/publis/TRACES/IRIT-RR--2010-8--FR.pdf
  BibTeX

Thèses et habilitations / Thesis and HDR

• Clément Ballabriga. Vérification de contraintes temporelles strictes sur des programmes par composition dÂ’analyses partielles. Thèse de doctorat, Université Paul Sabatier, septembre 2010.
  BibTeX