Publications

Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé

Partial Flow Analysis with oRange (short paper)

Dans : International on Symposium Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Heraklion, 18/10/10-20/10/10, 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/10-15/10/10, 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/10, ACM : Association for Computing Machinery, 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/09, 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/08-01/07/08, 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/08-17/10/08, 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/08-01/07/08, 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/08-04/07/08, IEEE : Institute of Electrical and Electronics Engineers, 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/08-20/03/08, ACM : Association for Computing Machinery, 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/07-30/03/07, 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/06-28/05/06, Evaluations and Language resources Distribution Agency (ELDA), p. 59-63, 2006.

Accès : http://www.irit.fr/publis/TCI/Dalle/lrec06_GA.pdf
BibTeX

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