Giuseppe Lipari

Professeur des universités - Informatique
CNU : SECTION 27 - INFORMATIQUE
giuseppe_lipari.png

Giuseppe Lipari

Professeur des universités - Informatique

Publications

Article dans des revues

  • 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, Institute of Electrical and Electronics Engineers, 2020, pp.1-1. ⟨10.1109/TC.2020.3023169⟩. ⟨hal-02961516⟩
  • 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, Institute of Electrical and Electronics Engineers, 2019, 68 (10), pp.1511-1524. ⟨10.1109/TC.2019.2909886⟩. ⟨hal-02407176⟩
  • 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, Inderscience Enterprises Ltd, In press. ⟨hal-02243352⟩
  • Giuseppe Lipari, Tommaso Cucinotta, Luca Abeni, Juri Lelli. Improving responsiveness of time-sensitive applications by exploiting dynamic task dependencies. Software: Practice and Experience, Wiley, 2017, ⟨10.1002/spe.2557⟩. ⟨hal-01677159⟩
  • 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⟩
  • 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. ⟨10.1145/3139258.3139280⟩. ⟨hal-01647624⟩
  • Youcheng Sun, Giuseppe Lipari. A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling. Real-Time Systems, Springer Verlag, 2015, ⟨10.1007/s11241-015-9245-9⟩. ⟨hal-01240599⟩

Communication dans un congrè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, ⟨10.1145/3394810.3394821⟩. ⟨hal-02886816⟩
  • 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. ⟨hal-02882911⟩
  • 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. ⟨hal-02408660⟩
  • 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, ⟨10.1145/3412821.3412822⟩. ⟨hal-02337871⟩
  • 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. ⟨10.4230/LIPIcs.ECRTS.2019.14⟩. ⟨hal-02407835⟩
  • 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. ⟨hal-02359983⟩
  • 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⟩
  • 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. ⟨hal-02001319⟩
  • 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. ⟨hal-02882913⟩
  • 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. ⟨hal-01723503⟩
  • 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. ⟨hal-02001391⟩
  • 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. ⟨hal-01242681⟩
  • 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⟩
  • 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. ⟨hal-01240583⟩
  • 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. ⟨inria-00336445⟩

Direction d'ouvrage, Proceedings

  • Smail Niar, Mazen Saghir, Giuseppe Lipari, Özcan Özturk. Proceedings of the 13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Jul 2018, Lille, France. 2018. ⟨hal-03403076⟩

Pré-publication, Document de travail

  • 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. ⟨hal-01971594⟩
  • 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. ⟨hal-01242693v2⟩

Autres publications

Une liste complète de mes publication est disponible sur DBPL ou sur Google Scholar