Publications

{ "response":{"numFound":40,"start":0,"numFoundExact":true,"docs":[ { "citationRef_s":"Journal of Systems Architecture, 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. Journal of Systems Architecture, 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":"RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar, 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. RTSOPS 2023 - 12th International Real-Time Scheduling Open Problems Seminar, Jul 2023, Vienne, Austria. <a target=\"_blank\" href=\"https://hal.science/hal-04197411\">⟨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":"Dagstuhl Artifacts Series, 2023, 9 (1), <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/DARTS.9.1.4\">⟨10.4230/DARTS.9.1.4⟩</a>", "citationFull_s":"Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact). Dagstuhl Artifacts Series, 2023, 9 (1), <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/DARTS.9.1.4\">⟨10.4230/DARTS.9.1.4⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-04254710\">⟨hal-04254710⟩</a>", "title_s":["From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)"], "authFullName_s":["Sebastian Altmeyer", "Étienne André", "Silvano Dal Zilio", "Loïc Fejoz", "Michael González Harbour", "Susanne Graf", "J. Javier Gutiérrez", "Rafik Henia", "Didier Le Botlan", "Giuseppe Lipari", "Julio Medina", "Nicolas Navet", "Sophie Quinton", "Juan Rivas", "Youcheng Sun"], "halId_s":"hal-04254710", "docType_s":"ART", "producedDateY_i":2023}, { "citationRef_s":"RTNS 2023: The 31st International Conference on Real-Time Networks and Systems, 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. RTNS 2023: The 31st International Conference on Real-Time Networks and Systems, 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-04118213\">⟨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":"Journal of Systems Architecture, 2022, 133, pp.102758. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2022.102758\">⟨10.1016/j.sysarc.2022.102758⟩</a>", "citationFull_s":"Fabien Bouquillon, Smail Niar, Giuseppe Lipari. Reducing the fault vulnerability of hard real-time systems. Journal of Systems Architecture, 2022, 133, pp.102758. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2022.102758\">⟨10.1016/j.sysarc.2022.102758⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03842393\">⟨hal-03842393⟩</a>", "title_s":["Reducing the fault vulnerability of hard real-time systems"], "authFullName_s":["Fabien Bouquillon", "Smail Niar", "Giuseppe Lipari"], "halId_s":"hal-03842393", "docType_s":"ART", "producedDateY_i":2022}, { "citationRef_s":"EDiS 2022 - 3rd International Conference on Embedded & Distributed Systems, Nov 2022, Oran, France. pp.11-15, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/EDiS57230.2022.9996534\">⟨10.1109/EDiS57230.2022.9996534⟩</a>", "citationFull_s":"Ikram Senoussaoui, Mohammed Kamel Benhaoua, Houssam-Eddine Zahaf, Giuseppe Lipari. Toward memory-centric scheduling for PREM task on multicore platforms, when processor assignments are specified. EDiS 2022 - 3rd International Conference on Embedded & Distributed Systems, Nov 2022, Oran, France. pp.11-15, <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/EDiS57230.2022.9996534\">⟨10.1109/EDiS57230.2022.9996534⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03938665\">⟨hal-03938665⟩</a>", "title_s":["Toward memory-centric scheduling for PREM task on multicore platforms, when processor assignments are specified"], "authFullName_s":["Ikram Senoussaoui", "Mohammed Kamel Benhaoua", "Houssam-Eddine Zahaf", "Giuseppe Lipari"], "halId_s":"hal-03938665", "docType_s":"COMM", "producedDateY_i":2022}, { "citationRef_s":"2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2022, Stuttgart, Germany", "citationFull_s":"Ikram Senoussaoui, Houssam-Eddine Zahaf, Giuseppe Lipari, Kamel Benhaoua. Contention-free scheduling of PREM tasks on partitioned multicore platforms. 2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2022, Stuttgart, Germany. <a target=\"_blank\" href=\"https://hal.science/hal-03834177\">⟨hal-03834177⟩</a>", "title_s":["Contention-free scheduling of PREM tasks on partitioned multicore platforms"], "authFullName_s":["Ikram Senoussaoui", "Houssam-Eddine Zahaf", "Giuseppe Lipari", "Kamel Benhaoua"], "halId_s":"hal-03834177", "docType_s":"COMM", "producedDateY_i":2022}, { "citationRef_s":"15th Junior Researcher Workshop on Real-Time Computing 2022, Jun 2022, Paris, France", "citationFull_s":"Feddal Nordine, Houssam-Eddine Zahaf, Giuseppe Lipari. Toward Precise Real-Time Scheduling on NVidia GPUs. 15th Junior Researcher Workshop on Real-Time Computing 2022, Jun 2022, Paris, France. <a target=\"_blank\" href=\"https://hal.science/hal-03834181\">⟨hal-03834181⟩</a>", "title_s":["Toward Precise Real-Time Scheduling on NVidia GPUs"], "authFullName_s":["Feddal Nordine", "Houssam-Eddine Zahaf", "Giuseppe Lipari"], "halId_s":"hal-03834181", "docType_s":"COMM", "producedDateY_i":2022}, { "citationRef_s":"The 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Brno, Czech Republic. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3477314.3507027\">⟨10.1145/3477314.3507027⟩</a>", "citationFull_s":"Giuseppe Lipari, Fabien Bouquillon, Smail Niar. Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision. The 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Brno, Czech Republic. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3477314.3507027\">⟨10.1145/3477314.3507027⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03531143\">⟨hal-03531143⟩</a>", "title_s":["Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision"], "authFullName_s":["Giuseppe Lipari", "Fabien Bouquillon", "Smail Niar"], "halId_s":"hal-03531143", "docType_s":"COMM", "producedDateY_i":2022}, { "citationRef_s":"Future Generation Computer Systems, 2022, 129, pp.125-140. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.future.2021.11.007\">⟨10.1016/j.future.2021.11.007⟩</a>", "citationFull_s":"Marco Pagani, Alessandro Biondi, Mauro Marinoni, Lorenzo Molinari, Giuseppe Lipari, et al.. A Linux-Based Support for Developing Real-Time Applications on Heterogeneous Platforms with Dynamic FPGA Reconfiguration. Future Generation Computer Systems, 2022, 129, pp.125-140. <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.future.2021.11.007\">⟨10.1016/j.future.2021.11.007⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-03512476\">⟨hal-03512476⟩</a>", "title_s":["A Linux-Based Support for Developing Real-Time Applications on Heterogeneous Platforms with Dynamic FPGA Reconfiguration"], "authFullName_s":["Marco Pagani", "Alessandro Biondi", "Mauro Marinoni", "Lorenzo Molinari", "Giuseppe Lipari", "Giorgio Buttazzo"], "halId_s":"hal-03512476", "docType_s":"ART", "producedDateY_i":2022}, { "citationRef_s":"International Journal of High Performance Systems Architecture (IJHPSA), 2022, 11 (1), pp.1-11. <a target=\"_blank\" href=\"https://dx.doi.org/10.1504/IJHPSA.2022.121877\">⟨10.1504/IJHPSA.2022.121877⟩</a>", "citationFull_s":"Chawki Benchehida, Mohammed Kamel Benhaoua, Houssam Zahaf, Giuseppe Lipari. Memory-processor co-scheduling for real-time tasks on network-on-chip manycore architectures. International Journal of High Performance Systems Architecture (IJHPSA), 2022, 11 (1), pp.1-11. <a target=\"_blank\" href=\"https://dx.doi.org/10.1504/IJHPSA.2022.121877\">⟨10.1504/IJHPSA.2022.121877⟩</a>. <a target=\"_blank\" href=\"https://cnrs.hal.science/hal-03595577\">⟨hal-03595577⟩</a>", "title_s":["Memory-processor co-scheduling for real-time tasks on network-on-chip manycore architectures"], "authFullName_s":["Chawki Benchehida", "Mohammed Kamel Benhaoua", "Houssam Zahaf", "Giuseppe Lipari"], "halId_s":"hal-03595577", "docType_s":"ART", "producedDateY_i":2022}, { "citationRef_s":"IEEE Transactions on Computers, 2020, pp.1-1. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TC.2020.3023169\">⟨10.1109/TC.2020.3023169⟩</a>", "citationFull_s":"Houssam-Eddine Zahaf, Zahaf Houssam-Eddine, Nicola Capodieci, Roberto Cavicchioli, Giuseppe Lipari, et al.. The HPC-DAG Task Model for Heterogeneous Real-Time Systems. IEEE Transactions on Computers, 2020, pp.1-1. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TC.2020.3023169\">⟨10.1109/TC.2020.3023169⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02961516\">⟨hal-02961516⟩</a>", "title_s":["The HPC-DAG Task Model for Heterogeneous Real-Time Systems"], "authFullName_s":["Houssam-Eddine Zahaf", "Zahaf Houssam-Eddine", "Nicola Capodieci", "Roberto Cavicchioli", "Giuseppe Lipari", "Marko Bertogna"], "halId_s":"hal-02961516", "docType_s":"ART", "producedDateY_i":2020}, { "citationRef_s":"The 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2020, Seoul, South Korea. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.Pre\">⟨10.4230/LIPIcs.Pre⟩</a>", "citationFull_s":"Houssam Eddine Zahaf, Giuseppe Lipari, Smail Niar. Preemption-Aware Allocation and Deadline Assignment for Conditional DAGs on Partitioned EDF. The 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Aug 2020, Seoul, South Korea. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.Pre\">⟨10.4230/LIPIcs.Pre⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02077110\">⟨hal-02077110⟩</a>", "title_s":["Preemption-Aware Allocation and Deadline Assignment for Conditional DAGs on Partitioned EDF"], "authFullName_s":["Houssam Eddine Zahaf", "Giuseppe Lipari", "Smail Niar"], "halId_s":"hal-02077110", "docType_s":"COMM", "producedDateY_i":2020}, { "citationRef_s":"RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.34-43, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3394810.3394821\">⟨10.1145/3394810.3394821⟩</a>", "citationFull_s":"Ikram Senoussaoui, Houssam-Eddine Zahaf, Mohammed Kamel Benhaoua, Giuseppe Lipari, Richard Olejnik. Allocation of Real-Time Tasks onto Identical Core Platforms under Deferred fixed Preemption-Point Model. RTNS 2020: 28th International Conference on Real-Time Networks and Systems, Jun 2020, Paris France, France. pp.34-43, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3394810.3394821\">⟨10.1145/3394810.3394821⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02886816\">⟨hal-02886816⟩</a>", "title_s":["Allocation of Real-Time Tasks onto Identical Core Platforms under Deferred fixed Preemption-Point Model"], "authFullName_s":["Ikram Senoussaoui", "Houssam-Eddine Zahaf", "Mohammed Kamel Benhaoua", "Giuseppe Lipari", "Richard Olejnik"], "halId_s":"hal-02886816", "docType_s":"COMM", "producedDateY_i":2020}, { "citationRef_s":"Second international conference on Embedded & Distributed Systems (EDiS’2020), Apr 2020, Oran, Algeria", "citationFull_s":"Chawki Benchehida, Mohammed Kamel Benhaoua, Houssam-Eddine Zahaf, Giuseppe Lipari. Task and Communication Allocation for Real-time Tasks to Networks-on-Chip Multiprocessors. Second international conference on Embedded & Distributed Systems (EDiS’2020), Apr 2020, Oran, Algeria. <a target=\"_blank\" href=\"https://hal.science/hal-02882911\">⟨hal-02882911⟩</a>", "title_s":["Task and Communication Allocation for Real-time Tasks to Networks-on-Chip Multiprocessors"], "authFullName_s":["Chawki Benchehida", "Mohammed Kamel Benhaoua", "Houssam-Eddine Zahaf", "Giuseppe Lipari"], "halId_s":"hal-02882911", "docType_s":"COMM", "producedDateY_i":2020}, { "citationRef_s":"Junior Workshop: JRWRTC - Real-Time Networks and Systems 2019, Nov 2019, Toulouse, France", "citationFull_s":"Reyyan Tekin, Houssam-Eddine Zahaf, Giuseppe Lipari. PRUDA: An API for Time and Space Predictible Programming in NVDIA GPUs using CUDA. Junior Workshop: JRWRTC - Real-Time Networks and Systems 2019, Nov 2019, Toulouse, France. <a target=\"_blank\" href=\"https://hal.science/hal-02408660\">⟨hal-02408660⟩</a>", "title_s":["PRUDA: An API for Time and Space Predictible Programming in NVDIA GPUs using CUDA"], "authFullName_s":["Reyyan Tekin", "Houssam-Eddine Zahaf", "Giuseppe Lipari"], "halId_s":"hal-02408660", "docType_s":"COMM", "producedDateY_i":2019}, { "citationRef_s":"EWILI'19, Oct 2019, New York, United States. pp.5-11, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3412821.3412822\">⟨10.1145/3412821.3412822⟩</a>", "citationFull_s":"Chawki Benchehida, Mohammed Kamel Benhaoua, Houssam Eddine Zahaf, Giuseppe Lipari. An analysis and Simulation Tool of Real-Time Communications in On-Chip Networks: A Comparative Study. EWILI'19, Oct 2019, New York, United States. pp.5-11, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3412821.3412822\">⟨10.1145/3412821.3412822⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02337871\">⟨hal-02337871⟩</a>", "title_s":["An analysis and Simulation Tool of Real-Time Communications in On-Chip Networks: A Comparative Study"], "authFullName_s":["Chawki Benchehida", "Mohammed Kamel Benhaoua", "Houssam Eddine Zahaf", "Giuseppe Lipari"], "halId_s":"hal-02337871", "docType_s":"COMM", "producedDateY_i":2019}, { "citationRef_s":"IEEE Transactions on Computers, 2019, 68 (10), pp.1511-1524. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TC.2019.2909886\">⟨10.1109/TC.2019.2909886⟩</a>", "citationFull_s":"Houssam-Eddine Zahaf, Giuseppe Lipari, Marko Bertogna, Pierre Boulet. The Parallel Multi-Mode Digraph Task Model for Energy-Aware Real-Time Heterogeneous Multi-Core Systems. IEEE Transactions on Computers, 2019, 68 (10), pp.1511-1524. <a target=\"_blank\" href=\"https://dx.doi.org/10.1109/TC.2019.2909886\">⟨10.1109/TC.2019.2909886⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02407176\">⟨hal-02407176⟩</a>", "title_s":["The Parallel Multi-Mode Digraph Task Model for Energy-Aware Real-Time Heterogeneous Multi-Core Systems"], "authFullName_s":["Houssam-Eddine Zahaf", "Giuseppe Lipari", "Marko Bertogna", "Pierre Boulet"], "halId_s":"hal-02407176", "docType_s":"ART", "producedDateY_i":2019}, { "citationRef_s":"31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart, Germany. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ECRTS.2019.14\">⟨10.4230/LIPIcs.ECRTS.2019.14⟩</a>", "citationFull_s":"Marco Pagani, Enrico Rossi, Alessandro Biondi, Mauro Marinoni, Giuseppe Lipari, et al.. A Bandwidth Reservation Mechanism for AXI-based Hardware Accelerators on FPGAs. 31st Euromicro Conference on Real-Time Systems (ECRTS 2019), Jul 2019, Stuttgart, Germany. <a target=\"_blank\" href=\"https://dx.doi.org/10.4230/LIPIcs.ECRTS.2019.14\">⟨10.4230/LIPIcs.ECRTS.2019.14⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-02407835\">⟨hal-02407835⟩</a>", "title_s":["A Bandwidth Reservation Mechanism for AXI-based Hardware Accelerators on FPGAs"], "authFullName_s":["Marco Pagani", "Enrico Rossi", "Alessandro Biondi", "Mauro Marinoni", "Giuseppe Lipari", "Giorgio Buttazzo"], "halId_s":"hal-02407835", "docType_s":"COMM", "producedDateY_i":2019}, { "citationRef_s":"COMPAS 2019, 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. COMPAS 2019, Jun 2019, Anglet, France. <a target=\"_blank\" href=\"https://hal.science/hal-02359983\">⟨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":"VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, 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. VMCAI'19 - International Conference on Verification, Model Checking, and Abstract Interpretation, 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-01939659\">⟨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":"2019", "citationFull_s":"Houssam-Eddine Zahaf, Nicola Capodieci, Roberto Cavicchioli, Marko Bertogna, Giuseppe Lipari. A C-DAG task model for scheduling complex real-time tasks on heterogeneous platforms: preemption matters. 2019. <a target=\"_blank\" href=\"https://hal.science/hal-01971594\">⟨hal-01971594⟩</a>", "title_s":["A C-DAG task model for scheduling complex real-time tasks on heterogeneous platforms: preemption matters"], "authFullName_s":["Houssam-Eddine Zahaf", "Nicola Capodieci", "Roberto Cavicchioli", "Marko Bertogna", "Giuseppe Lipari"], "halId_s":"hal-01971594", "docType_s":"UNDEFINED", "producedDateY_i":2019}, { "citationRef_s":"International Journal of Reasoning-based Intelligent Systems, In press", "citationFull_s":"Khalil Ibrahim Hamzaoui, Mohammed Berrajaa, Mostafa Azizi, Giuseppe Lipari, Pierre Boulet. Measurement-based Methodology for Modeling the Energy Consumption of Mobile Devices. International Journal of Reasoning-based Intelligent Systems, In press. <a target=\"_blank\" href=\"https://hal.science/hal-02243352\">⟨hal-02243352⟩</a>", "title_s":["Measurement-based Methodology for Modeling the Energy Consumption of Mobile Devices"], "authFullName_s":["Khalil Ibrahim Hamzaoui", "Mohammed Berrajaa", "Mostafa Azizi", "Giuseppe Lipari", "Pierre Boulet"], "halId_s":"hal-02243352", "docType_s":"ART", "producedDateY_i":2019}, { "citationRef_s":"European Workshop on Performance Engineering, Oct 2018, Paris, France. pp.157-172", "citationFull_s":"Laura Carnevali, Luca Santinelli, Giuseppe Lipari. Towards Probabilistic Modeling and Analysis of Real-Time Systems. European Workshop on Performance Engineering, Oct 2018, Paris, France. pp.157-172. <a target=\"_blank\" href=\"https://hal.science/hal-02001319\">⟨hal-02001319⟩</a>", "title_s":["Towards Probabilistic Modeling and Analysis of Real-Time Systems"], "authFullName_s":["Laura Carnevali", "Luca Santinelli", "Giuseppe Lipari"], "halId_s":"hal-02001319", "docType_s":"COMM", "producedDateY_i":2018}, { "citationRef_s":"the 12th Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France", "citationFull_s":"Chawki Benchehida, Mohammed Kamel Benhaoua, Houssam-Eddine Zahaf, Giuseppe Lipari. Real-time Communications in On-Chip Networks. the 12th Junior Researcher Workshop on Real-Time Computing, Oct 2018, Poitiers, France. <a target=\"_blank\" href=\"https://hal.science/hal-02882913\">⟨hal-02882913⟩</a>", "title_s":["Real-time Communications in On-Chip Networks"], "authFullName_s":["Chawki Benchehida", "Mohammed Kamel Benhaoua", "Houssam-Eddine Zahaf", "Giuseppe Lipari"], "halId_s":"hal-02882913", "docType_s":"COMM", "producedDateY_i":2018}, { "citationRef_s":"2018", "citationFull_s":"Smail Niar, Mazen Saghir, Giuseppe Lipari, Özcan Özturk (Dir.). Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). 2018. <a target=\"_blank\" href=\"https://uphf.hal.science/hal-03403076\">⟨hal-03403076⟩</a>", "title_s":["Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)"], "authFullName_s":["Smail Niar", "Mazen Saghir", "Giuseppe Lipari", "Özcan Özturk"], "halId_s":"hal-03403076", "docType_s":"OUV", "producedDateY_i":2018}, { "citationRef_s":"Software: Practice and Experience, 2017, <a target=\"_blank\" href=\"https://dx.doi.org/10.1002/spe.2557\">⟨10.1002/spe.2557⟩</a>", "citationFull_s":"Giuseppe Lipari, Tommaso Cucinotta, Luca Abeni, Juri Lelli. Improving responsiveness of time-sensitive applications by exploiting dynamic task dependencies. Software: Practice and Experience, 2017, <a target=\"_blank\" href=\"https://dx.doi.org/10.1002/spe.2557\">⟨10.1002/spe.2557⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01677159\">⟨hal-01677159⟩</a>", "title_s":["Improving responsiveness of time-sensitive applications by exploiting dynamic task dependencies"], "authFullName_s":["Giuseppe Lipari", "Tommaso Cucinotta", "Luca Abeni", "Juri Lelli"], "halId_s":"hal-01677159", "docType_s":"ART", "producedDateY_i":2017}, { "citationRef_s":"First international conference on Embedded & Distributed Systems, EDiS’2017, Dec 2017, Oran, Algeria", "citationFull_s":"Khalil Ibrahim Hamzaoui, Mohammed Berrajaa, Mostafa Azizi, Giuseppe Lipari, Pierre Boulet. An Experimental Methodology for Modeling the Energy Consumption of Mobile Devices. First international conference on Embedded & Distributed Systems, EDiS’2017, Dec 2017, Oran, Algeria. <a target=\"_blank\" href=\"https://hal.science/hal-01723503\">⟨hal-01723503⟩</a>", "title_s":["An Experimental Methodology for Modeling the Energy Consumption of Mobile Devices"], "authFullName_s":["Khalil Ibrahim Hamzaoui", "Mohammed Berrajaa", "Mostafa Azizi", "Giuseppe Lipari", "Pierre Boulet"], "halId_s":"hal-01723503", "docType_s":"COMM", "producedDateY_i":2017}, { "citationRef_s":"ACM Transactions on Embedded Computing Systems (TECS), 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. ACM Transactions on Embedded Computing Systems (TECS), 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-01665076\">⟨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":"Proceedings of International Conference on Real-Time Networks and Systems, 2017, 10, pp.1-24. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3139258.3139280\">⟨10.1145/3139258.3139280⟩</a>", "citationFull_s":"Houssam Eddine Zahaf, Giuseppe Lipari, Luca Abeni, Houssam-Eddine Zahaf. Migrate when necessary: toward partitioned reclaiming for soft real-time tasks. Proceedings of International Conference on Real-Time Networks and Systems, 2017, 10, pp.1-24. <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/3139258.3139280\">⟨10.1145/3139258.3139280⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01647624\">⟨hal-01647624⟩</a>", "title_s":["Migrate when necessary: toward partitioned reclaiming for soft real-time tasks"], "authFullName_s":["Houssam Eddine Zahaf", "Giuseppe Lipari", "Luca Abeni", "Houssam-Eddine Zahaf"], "halId_s":"hal-01647624", "docType_s":"ART", "producedDateY_i":2017}, { "citationRef_s":"2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2017, Pythagorion, Greece. pp.38-45", "citationFull_s":"Jun Xiao, Andy Pimentel, Giuseppe Lipari. SysRT: A modular multiprocessor RTOS simulator for early design space exploration. 2017 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Jul 2017, Pythagorion, Greece. pp.38-45. <a target=\"_blank\" href=\"https://hal.science/hal-02001391\">⟨hal-02001391⟩</a>", "title_s":["SysRT: A modular multiprocessor RTOS simulator for early design space exploration"], "authFullName_s":["Jun Xiao", "Andy Pimentel", "Giuseppe Lipari"], "halId_s":"hal-02001391", "docType_s":"COMM", "producedDateY_i":2017}, { "citationRef_s":"Journal of Systems Architecture, 2017, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2017.01.002\">⟨10.1016/j.sysarc.2017.01.002⟩</a>", "citationFull_s":"Houssam Eddine Zahaf, A. H. Benyamina, Richard Olejnik, Giuseppe Lipari. Energy-efficient scheduling for moldable real-time tasks on heterogeneous computing platforms. Journal of Systems Architecture, 2017, <a target=\"_blank\" href=\"https://dx.doi.org/10.1016/j.sysarc.2017.01.002\">⟨10.1016/j.sysarc.2017.01.002⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01436209\">⟨hal-01436209⟩</a>", "title_s":["Energy-efficient scheduling for moldable real-time tasks on heterogeneous computing platforms"], "authFullName_s":["Houssam Eddine Zahaf", "A. H. Benyamina", "Richard Olejnik", "Giuseppe Lipari"], "halId_s":"hal-01436209", "docType_s":"ART", "producedDateY_i":2017}, { "citationRef_s":"RTNS '16 - Proceedings of the 24th International Conference on Real-Time Networks and Systems , Oct 2016, Brest, France. pp.349-358, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2997465.2997475\">⟨10.1145/2997465.2997475⟩</a>", "citationFull_s":"Houssam Eddine Zahaf, Abou El Hassan Benyamina, Richard Olejnik, Giuseppe Lipari, Pierre Boulet. Modeling Parallel Real-time Tasks with Di-Graphs. RTNS '16 - Proceedings of the 24th International Conference on Real-Time Networks and Systems , Oct 2016, Brest, France. pp.349-358, <a target=\"_blank\" href=\"https://dx.doi.org/10.1145/2997465.2997475\">⟨10.1145/2997465.2997475⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01393159\">⟨hal-01393159⟩</a>", "title_s":["Modeling Parallel Real-time Tasks with Di-Graphs"], "authFullName_s":["Houssam Eddine Zahaf", "Abou El Hassan Benyamina", "Richard Olejnik", "Giuseppe Lipari", "Pierre Boulet"], "halId_s":"hal-01393159", "docType_s":"COMM", "producedDateY_i":2016}, { "citationRef_s":"Energy Efficiency with Heterogenous Computing, Jan 2016, prague, Czech Republic", "citationFull_s":"Houssam Eddine Zahaf, Richard Olejnik, Giuseppe Lipari, Abou El Hassen Benyamina. Modelling the Energy Consumption of Soft Real-Time Tasks on Heterogeneous Computing Architectures. Energy Efficiency with Heterogenous Computing, Jan 2016, prague, Czech Republic. <a target=\"_blank\" href=\"https://hal.science/hal-01242681\">⟨hal-01242681⟩</a>", "title_s":["Modelling the Energy Consumption of Soft Real-Time Tasks on Heterogeneous Computing Architectures", "La modélisation de la consommation énergétique pour les taches temps-réel mou sur des architectures hétérogènes."], "authFullName_s":["Houssam Eddine Zahaf", "Richard Olejnik", "Giuseppe Lipari", "Abou El Hassen Benyamina"], "halId_s":"hal-01242681", "docType_s":"COMM", "producedDateY_i":2016}, { "citationRef_s":"2015", "citationFull_s":"Houssam-Eddine Zahaf, Richard Olejnik, El Hassen Benyamina, Giuseppe Lipari. Energy-aware Real-Time Task Decomposition for partionned-EDF Scheduling on Multi-core Uniform Architectures. 2015. <a target=\"_blank\" href=\"https://hal.science/hal-01242693v2\">⟨hal-01242693v2⟩</a>", "title_s":["Energy-aware Real-Time Task Decomposition for partionned-EDF Scheduling on Multi-core Uniform Architectures"], "authFullName_s":["Houssam-Eddine Zahaf", "Richard Olejnik", "El Hassen Benyamina", "Giuseppe Lipari"], "halId_s":"hal-01242693", "docType_s":"UNDEFINED", "producedDateY_i":2015}, { "citationRef_s":"Real-Time Systems, 2015, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11241-015-9245-9\">⟨10.1007/s11241-015-9245-9⟩</a>", "citationFull_s":"Youcheng Sun, Giuseppe Lipari. A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling. Real-Time Systems, 2015, <a target=\"_blank\" href=\"https://dx.doi.org/10.1007/s11241-015-9245-9\">⟨10.1007/s11241-015-9245-9⟩</a>. <a target=\"_blank\" href=\"https://hal.science/hal-01240599\">⟨hal-01240599⟩</a>", "title_s":["A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling"], "authFullName_s":["Youcheng Sun", "Giuseppe Lipari"], "halId_s":"hal-01240599", "docType_s":"ART", "producedDateY_i":2015}, { "citationRef_s":"15th International Workshop on Worst-Case Execution Time Analysis, 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. 15th International Workshop on Worst-Case Execution Time Analysis, 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-01239158\">⟨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":"WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden", "citationFull_s":"Youcheng Sun, Giuseppe Lipari, Étienne André. Verification of Two Real-Time Systems Using Parametric Timed Automata. WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems, Dec 2015, Lund, Sweden. <a target=\"_blank\" href=\"https://hal.science/hal-01240583\">⟨hal-01240583⟩</a>", "title_s":["Verification of Two Real-Time Systems Using Parametric Timed Automata"], "authFullName_s":["Youcheng Sun", "Giuseppe Lipari", "Étienne André"], "halId_s":"hal-01240583", "docType_s":"COMM", "producedDateY_i":2015}, { "citationRef_s":"NFM '15, Apr 2015, Pasadena, California, United States", "citationFull_s":"Étienne André, Giuseppe Lipari, Hoàng Gia Nguyễn, Youcheng Sun. Reachability Preservation Based Parameter Synthesis for Timed Automata. NFM '15, Apr 2015, Pasadena, California, United States. <a target=\"_blank\" href=\"https://hal.science/hal-01121214\">⟨hal-01121214⟩</a>", "title_s":["Reachability Preservation Based Parameter Synthesis for Timed Automata"], "authFullName_s":["Étienne André", "Giuseppe Lipari", "Hoàng Gia Nguyễn", "Youcheng Sun"], "halId_s":"hal-01121214", "docType_s":"COMM", "producedDateY_i":2015}, { "citationRef_s":"16th International Conference on Real-Time and Network Systems (RTNS 2008), Isabelle Puaut, Oct 2008, Rennes, France", "citationFull_s":"Antonio Mancin, Giuseppe Lipari, Jorrit N. Herder, Ben Gras, Andrew S. Tanenbaum. Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations. 16th International Conference on Real-Time and Network Systems (RTNS 2008), Isabelle Puaut, Oct 2008, Rennes, France. <a target=\"_blank\" href=\"https://inria.hal.science/inria-00336445\">⟨inria-00336445⟩</a>", "title_s":["Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations"], "authFullName_s":["Antonio Mancin", "Giuseppe Lipari", "Jorrit N. Herder", "Ben Gras", "Andrew S. Tanenbaum"], "halId_s":"inria-00336445", "docType_s":"COMM", "producedDateY_i":2008}] }}

Rechercher

Paramétrage

Thèmes

Accessibilité

Giuseppe Lipari

Autres publications