Publications
Consultation de la base des publications de l'IRIT
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.
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