Clement Ballabriga
Maître de conférences
CNU : SECTION 27 - INFORMATIQUE
Publications
{
"response":{
"numFound":13,
"start":0,
"numFoundExact":true,
"docs":[{
"citationRef_s":"<i>Journal of Systems Architecture</i>, 2024, 148, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2024.103086\">⟨10.1016/j.sysarc.2024.103086⟩</a>",
"citationFull_s":"Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari. Parametric WCET as a function of procedure arguments: analysis and applications. <i>Journal of Systems Architecture</i>, 2024, 148, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2024.103086\">⟨10.1016/j.sysarc.2024.103086⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04433439v2\">⟨hal-04433439v2⟩</a>",
"title_s":["Parametric WCET as a function of procedure arguments: analysis and applications"],
"authFullName_s":["Sandro Grebant","Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-04433439",
"docType_s":"ART",
"producedDateY_i":2024
},{
"citationRef_s":"<i>RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar</i>, Jul 2023, Vienne, Austria",
"citationFull_s":"Clément Ballabriga, Julien Forget, Sandro Grebant, Giuseppe Lipari. New challenges in adaptive real-time systems with parametric WCET. <i>RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar</i>, Jul 2023, Vienne, Austria. <a target=\"_blank\" href=\"https://hal.science/hal-04197411v1\">⟨hal-04197411⟩</a>",
"title_s":["New challenges in adaptive real-time systems with parametric WCET"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Sandro Grebant","Giuseppe Lipari"],
"halId_s":"hal-04197411",
"docType_s":"COMM",
"producedDateY_i":2023
},{
"citationRef_s":"<i>RTNS 2023: The 31st International Conference on Real-Time Networks and Systems</i>, Jun 2023, Dortmund, Germany. pp.11-22, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3575757.3593655\">⟨10.1145/3575757.3593655⟩</a>",
"citationFull_s":"Sandro Grebant, Clément Ballabriga, Julien Forget, Giuseppe Lipari. WCET analysis with procedure arguments as parameters. <i>RTNS 2023: The 31st International Conference on Real-Time Networks and Systems</i>, Jun 2023, Dortmund, Germany. pp.11-22, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3575757.3593655\">⟨10.1145/3575757.3593655⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04118213v1\">⟨hal-04118213⟩</a>",
"title_s":["WCET analysis with procedure arguments as parameters"],
"authFullName_s":["Sandro Grebant","Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-04118213",
"docType_s":"COMM",
"producedDateY_i":2023
},{
"citationRef_s":"<i>Formal Methods in System Design</i>, 2022, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10703-022-00399-3\">⟨10.1007/s10703-022-00399-3⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Jordy Ruiz. Relational abstract interpretation of arrays in assembly code. <i>Formal Methods in System Design</i>, 2022, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s10703-022-00399-3\">⟨10.1007/s10703-022-00399-3⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-03794951v1\">⟨hal-03794951⟩</a>",
"title_s":["Relational abstract interpretation of arrays in assembly code"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Jordy Ruiz"],
"halId_s":"hal-03794951",
"docType_s":"ART",
"producedDateY_i":2022
},{
"citationRef_s":"<i>Compas'21 :Conférence francophone d'informatique en Parallélisme, Architecture et Système</i>, Jul 2021, Lyon, France",
"citationFull_s":"Sandro Grebant, Clément Ballabriga, Julien Forget. Efficient tree-based symbolic WCET computation. <i>Compas'21 :Conférence francophone d'informatique en Parallélisme, Architecture et Système</i>, Jul 2021, Lyon, France. <a target=\"_blank\" href=\"https://hal.science/hal-03428961v1\">⟨hal-03428961⟩</a>",
"title_s":["Efficient tree-based symbolic WCET computation"],
"authFullName_s":["Sandro Grebant","Clément Ballabriga","Julien Forget"],
"halId_s":"hal-03428961",
"docType_s":"COMM",
"producedDateY_i":2021
},{
"citationRef_s":"<i>COMPAS 2019</i>, Jun 2019, Anglet, France",
"citationFull_s":"Fabien Bouquillon, Clément Ballabriga, Giuseppe Lipari, Smail Niar. A WCET-aware cache coloring technique for reducing interference in real-time systems. <i>COMPAS 2019</i>, Jun 2019, Anglet, France. <a target=\"_blank\" href=\"https://hal.science/hal-02359983v1\">⟨hal-02359983⟩</a>",
"title_s":["A WCET-aware cache coloring technique for reducing interference in real-time systems"],
"authFullName_s":["Fabien Bouquillon","Clément Ballabriga","Giuseppe Lipari","Smail Niar"],
"halId_s":"hal-02359983",
"docType_s":"COMM",
"producedDateY_i":2019
},{
"citationRef_s":"<i>VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation</i>, Jan 2019, Cascais, Portugal. pp.114-135, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-11245-5_6\">⟨10.1007/978-3-030-11245-5_6⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz. Static Analysis Of Binary Code With Memory Indirections Using Polyhedra. <i>VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation</i>, Jan 2019, Cascais, Portugal. pp.114-135, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-030-11245-5_6\">⟨10.1007/978-3-030-11245-5_6⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01939659v1\">⟨hal-01939659⟩</a>",
"title_s":["Static Analysis Of Binary Code With Memory Indirections Using Polyhedra"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Laure Gonnord","Giuseppe Lipari","Jordy Ruiz"],
"halId_s":"hal-01939659",
"docType_s":"COMM",
"producedDateY_i":2019
},{
"citationRef_s":"<i>ACM Transactions on Embedded Computing Systems (TECS)</i>, 2017, 17 (2), pp.1 - 26. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3147413\">⟨10.1145/3147413⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Giuseppe Lipari. Symbolic WCET Computation. <i>ACM Transactions on Embedded Computing Systems (TECS)</i>, 2017, 17 (2), pp.1 - 26. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3147413\">⟨10.1145/3147413⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01665076v1\">⟨hal-01665076⟩</a>",
"title_s":["Symbolic WCET Computation"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-01665076",
"docType_s":"ART",
"producedDateY_i":2017
},{
"citationRef_s":"<i>IEEE Transactions on Software Engineering</i>, 2017, IEEE Transactions on Software Engineering, PP (99), <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TSE.2017.2689012\">⟨10.1109/TSE.2017.2689012⟩</a>",
"citationFull_s":"Banerjee Abhijeet, Chong Lee Kee, Clément Ballabriga, Roychoudhury Abhik. EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android Apps. <i>IEEE Transactions on Software Engineering</i>, 2017, IEEE Transactions on Software Engineering, PP (99), <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TSE.2017.2689012\">⟨10.1109/TSE.2017.2689012⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01578386v1\">⟨hal-01578386⟩</a>",
"title_s":["EnergyPatch: Repairing Resource Leaks to Improve Energy-efficiency of Android Apps"],
"authFullName_s":["Banerjee Abhijeet","Chong Lee Kee","Clément Ballabriga","Roychoudhury Abhik"],
"halId_s":"hal-01578386",
"docType_s":"ART",
"producedDateY_i":2017
},{
"citationRef_s":"<i>15th International Workshop on Worst-Case Execution Time Analysis</i>, Dec 2015, Lund Sweden. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/OASIcs.WCET.2015.55\">⟨10.4230/OASIcs.WCET.2015.55⟩</a>",
"citationFull_s":"Clément Ballabriga, Julien Forget, Giuseppe Lipari. Context-sensitive Parametric WCET Analysis. <i>15th International Workshop on Worst-Case Execution Time Analysis</i>, Dec 2015, Lund Sweden. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/OASIcs.WCET.2015.55\">⟨10.4230/OASIcs.WCET.2015.55⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01239158v1\">⟨hal-01239158⟩</a>",
"title_s":["Context-sensitive Parametric WCET Analysis"],
"authFullName_s":["Clément Ballabriga","Julien Forget","Giuseppe Lipari"],
"halId_s":"hal-01239158",
"docType_s":"COMM",
"producedDateY_i":2015
},{
"citationRef_s":"<i>2013 IEEE 34th Real-Time Systems Symposium (RTSS)</i>, Dec 2013, Vancouver, France. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/RTSS.2013.21\">⟨10.1109/RTSS.2013.21⟩</a>",
"citationFull_s":"Lee Kee Chong, Clément Ballabriga, Van-Thuan Pham, Sudipta Chattopadhyay, Abhik Roychoudhury. Integrated Timing Analysis of Application and Operating Systems Code. <i>2013 IEEE 34th Real-Time Systems Symposium (RTSS)</i>, Dec 2013, Vancouver, France. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/RTSS.2013.21\">⟨10.1109/RTSS.2013.21⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01759800v1\">⟨hal-01759800⟩</a>",
"title_s":["Integrated Timing Analysis of Application and Operating Systems Code"],
"authFullName_s":["Lee Kee Chong","Clément Ballabriga","Van-Thuan Pham","Sudipta Chattopadhyay","Abhik Roychoudhury"],
"halId_s":"hal-01759800",
"docType_s":"COMM",
"producedDateY_i":2013
},{
"citationRef_s":"<i>8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)</i>, Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-16256-5_6\">⟨10.1007/978-3-642-16256-5_6⟩</a>",
"citationFull_s":"Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. OTAWA: An Open Toolbox for Adaptive WCET Analysis. <i>8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)</i>, Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/978-3-642-16256-5_6\">⟨10.1007/978-3-642-16256-5_6⟩</a>. <a target=\"_blank\" href=\"https://inria.hal.science/hal-01055378v1\">⟨hal-01055378⟩</a>",
"title_s":["OTAWA: An Open Toolbox for Adaptive WCET Analysis"],
"authFullName_s":["Clément Ballabriga","Hugues Cassé","Christine Rochange","Pascal Sainrat"],
"halId_s":"hal-01055378",
"docType_s":"COMM",
"producedDateY_i":2010
},{
"citationRef_s":"<i>16th International Conference on Real-Time and Network Systems (RTNS 2008)</i>, Isabelle Puaut, Oct 2008, Rennes, France",
"citationFull_s":"Roman Bourgade, Clément Ballabriga, Hugues Cassé, Christine Rochange, Pascal Sainrat. Accurate analysis of memory latencies for WCET estimation. <i>16th International Conference on Real-Time and Network Systems (RTNS 2008)</i>, Isabelle Puaut, Oct 2008, Rennes, France. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00336530v1\">⟨inria-00336530⟩</a>",
"title_s":["Accurate analysis of memory latencies for WCET estimation"],
"authFullName_s":["Roman Bourgade","Clément Ballabriga","Hugues Cassé","Christine Rochange","Pascal Sainrat"],
"halId_s":"inria-00336530",
"docType_s":"COMM",
"producedDateY_i":2008
}]
}
}