Number of documents

7

Ma liste de publications


Journal articles2 documents

  • Clément Ballabriga, Julien Forget, Giuseppe Lipari. Symbolic WCET Computation. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, 17 (2), pp.1 - 26. ⟨10.1145/3147413⟩. ⟨hal-01665076⟩
  • Banerjee Abhijeet, Chong Lee Kee, Clément Ballabriga, Roychoudhury Abhik. EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android Apps. IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2017, IEEE Transactions on Software Engineering, PP (99), ⟨10.1109/TSE.2017.2689012⟩. ⟨hal-01578386⟩

Conference papers5 documents

  • Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2019, Cascais, Portugal. pp.114-135, ⟨10.1007/978-3-030-11245-5_6⟩. ⟨hal-01939659⟩
  • Clément Ballabriga, Julien Forget, Giuseppe Lipari. Context-sensitive Parametric WCET Analysis. 15th International Workshop on Worst-Case Execution Time Analysis, Dec 2015, Lund Sweden. ⟨10.4230/OASIcs.WCET.2015.55⟩. ⟨hal-01239158⟩
  • Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury. Integrated Timing Analysis of Application and Operating Systems Code. 2013 IEEE 34th Real-Time Systems Symposium (RTSS), Dec 2013, Vancouver, France. ⟨10.1109/RTSS.2013.21⟩. ⟨hal-01759800⟩
  • Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. OTAWA: An Open Toolbox for Adaptive WCET Analysis. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, ⟨10.1007/978-3-642-16256-5_6⟩. ⟨hal-01055378⟩
  • Roman Bourgade, Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. Accurate analysis of memory latencies for WCET estimation. 16th International Conference on Real-Time and Network Systems (RTNS 2008), Isabelle Puaut, Oct 2008, Rennes, France. ⟨inria-00336530⟩