All Stories

  1. Analyses of a model-based real-time language embedded in C++

    Article • March 2020, ACM (Association for Computing Machinery)

    Luca Abeni, Giuseppe Lipari

  2. Energy-efficient scheduling for moldable real-time tasks on heterogeneous computing platforms

    Article • Journal of Systems Architecture, March 2017, Elsevier

    Giuseppe Lipari

  3. Multicore CPU reclaiming

    Article • April 2016, ACM (Association for Computing Machinery)

    Giuseppe Lipari, Luca Abeni

  4. Modeling Parallel Real-time Tasks with Di-Graphs

    Article • January 2016, ACM (Association for Computing Machinery)

    Giuseppe Lipari

  5. A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor Global Fixed-Priority scheduling

    Article • Real-Time Systems, December 2015, Springer Science + Business Media

    Giuseppe Lipari

  6. Cache related pre-emption delays in hierarchical scheduling

    Article • Real-Time Systems, June 2015, Springer Science + Business Media

    Giuseppe Lipari

  7. NASA Formal Methods

    Article • January 2015, Springer Science + Business Media

    Giuseppe Lipari

  8. Reachability Preservation Based Parameter Synthesis for Timed Automata

    Article • January 2015, Springer Science + Business Media

    Giuseppe Lipari

  9. Component-based analysis of hierarchical scheduling using linear hybrid automata

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  10. Improving the response time analysis of global fixed-priority multiprocessor scheduling

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  11. Toward Parametric Timed Interfaces for Real-Time Components

    Article • Electronic Proceedings in Theoretical Computer Science, March 2014, Open Publishing Association

    Giuseppe Lipari

  12. Article • Electronic Proceedings in Theoretical Computer Science, March 2014, Open Publishing Association

    Giuseppe Lipari

  13. ADOK

    Article • ACM SIGBED Review, February 2014, ACM (Association for Computing Machinery)

    Giuseppe Lipari

  14. Latency Analysis of Network-on-Chip Based Many-Core Processors

    Article • February 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  15. A Weak Simulation Relation for Real-Time Schedulability Analysis of Global Fixed Priority Scheduling Using Linear Hybrid Automata

    Article • January 2014, ACM (Association for Computing Machinery)

    Giuseppe Lipari

  16. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Article • January 2014, ACM (Association for Computing Machinery)

    Giuseppe Lipari

  17. Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis

    Article • January 2014, ACM (Association for Computing Machinery)

    Giuseppe Lipari

  18. An experimental comparison of different real-time schedulers on multicore systems

    Article • Journal of Systems and Software, October 2012, Elsevier

    Giuseppe Lipari

  19. Analysis and implementation of the multiprocessor bandwidth inheritance protocol

    Article • Real-Time Systems, September 2012, Springer Science + Business Media

    Giuseppe Lipari

  20. On-line schedulability tests for adaptive reservations in fixed priority scheduling

    Article • Real-Time Systems, June 2012, Springer Science + Business Media

    Giuseppe Lipari

  21. Providing variable TXOP for IEEE 802.11e HCCA real-time networks

    Article • April 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Dr. Anna Lina Ruscelli

  22. Enhancement of QoS support of HCCA schedulers using EDCA function in IEEE 802.11e networks

    Article • Ad Hoc Networks, March 2012, Elsevier

    Giuseppe Lipari, Dr. Anna Lina Ruscelli

  23. Dynamic TXOP HCCA reclaiming scheduler with transmission time estimation for IEEE 802.11e real-time networks

    Article • January 2012, ACM (Association for Computing Machinery)

    Giuseppe Lipari

  24. A Robust Mechanism for Adaptive Scheduling of Multimedia Applications

    Article • ACM Transactions on Embedded Computing Systems, November 2011, ACM (Association for Computing Machinery)

    Giuseppe Lipari, Luca Abeni

  25. Modular software architecture for flexible reservation mechanisms on heterogeneous resources

    Article • Journal of Systems Architecture, April 2011, Elsevier

    Giuseppe Lipari

  26. A model for the design of wireless sensor networks using geographic routing

    Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Dr. Anna Lina Ruscelli

  27. A Framework for Hierarchical Scheduling on Multiprocessors: From Application Requirements to Run-Time Allocation

    Article • November 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  28. On the Integration of Application Level and Resource Level QoS Control for Real-Time Applications

    Article • IEEE Transactions on Industrial Informatics, November 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  29. A service-oriented architecture for QoS configuration and management of Wireless Sensor Networks

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  30. The Distributed Deadline Synchronization Protocol for real-time systems scheduled by EDF

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  31. The Multiprocessor Bandwidth Inheritance Protocol

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  32. A component-based architecture for adaptive bandwidth allocation in Wireless Sensor Networks

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  33. The Demand Bound Function Interface of Distributed Sporadic Pipelines of Tasks Scheduled by EDF

    Article • July 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  34. BACCARAT: a dynamic real-time bandwidth allocation policy for IEEE 802.15.4

    Article • March 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  35. Simulating Real-Time Aspects of Wireless Sensor Networks

    Article • EURASIP Journal on Wireless Communications and Networking, January 2010, Springer Science + Business Media

    Giuseppe Lipari

  36. Multi-level feedback control for Quality of Service Management

    Article • September 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  37. Enhancing a dependable multiserver operating system with temporal protection via resource reservations

    Article • Real-Time Systems, August 2009, Springer Science + Business Media

    Giuseppe Lipari

  38. A Real-Time Service-Oriented Architecture for Industrial Automation

    Article • IEEE Transactions on Industrial Informatics, August 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  39. A Survey on Bandwidth Resource Allocation and Scheduling in Wireless Sensor Networks

    Article • August 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  40. Minimizing CPU energy in real-time systems with discrete speed management

    Article • ACM Transactions on Embedded Computing Systems, July 2009, ACM (Association for Computing Machinery)

    Giuseppe Lipari

  41. Schedulability Analysis of Global Scheduling Algorithms on Multiprocessor Platforms

    Article • IEEE Transactions on Parallel and Distributed Systems, April 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  42. Model based real-time networked applications for Wireless Sensor Networks

    Article • March 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  43. Resource Reservations for General Purpose Applications

    Article • IEEE Transactions on Industrial Informatics, February 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  44. Article • Software Practice and Experience, January 2009, Wiley

    Giuseppe Lipari

  45. Weighted feedback reclaiming for multimedia applications

    Article • October 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  46. Improving the schedulability of soft real-time open dynamic systems: The inheritor is actually a debtor

    Article • Journal of Systems and Software, July 2008, Elsevier

    Giuseppe Lipari

  47. Rapid prototyping suite of IEEE 802.15.4-compliant Sensor Networks

    Article • October 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  48. Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling

    Article • Journal of Computer and System Sciences, March 2007, Elsevier

    Giuseppe Lipari

  49. A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors

    Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  50. A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems

    Article • January 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  51. A Resource Reservation Algorithm for Power-Aware Scheduling of Periodic and Aperiodic Real-Time Tasks

    Article • IEEE Transactions on Computers, December 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  52. A hierarchical scheduling model for component-based real-time systems

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  53. Feasibility Analysis of Real-Time Periodic Tasks with Offsets

    Article • Real-Time Systems, May 2005, Springer Science + Business Media

    Giuseppe Lipari

  54. Task synchronization in reservation-based real-time systems

    Article • IEEE Transactions on Computers, December 2004, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  55. Elastic scheduling for flexible workload management

    Article • IEEE Transactions on Computers, March 2002, Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  56. Article • Design Automation for Embedded Systems, January 2002, Springer Science + Business Media

    Giuseppe Lipari

  57. A UML Profile and a Methodology for Real-Time Systems Design

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  58. FSF: A Real-Time Scheduling Architecture Framework

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  59. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  60. Improved Schedulability Analysis of EDF on Multiprocessor Platforms

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  61. Speed Modulation in Energy-Aware Real-Time Systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  62. Support for multiprocessor synchronization and resource sharing in System-On-Programmable Chips with SoftCores

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  63. A multiprocessor implementation of the total bandwidth server

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  64. A new suf .cient feasibility test for asynchronous real-time periodic task sets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  65. Adaptive reservations in a Linux environment

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  66. Executing aperiodic jobs in a multiprocessor constant-bandwidth server implementation

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  67. IRIS: a new reclaiming algorithm for server-based real-time systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  68. A comparison of mpcp and msrp when sharing resources in the janus multiple-processor on a chip platform

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  69. Issues in mapping HRT-HOOD to UML

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  70. Resource partitioning among real-time applications

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  71. Analysis of a reservation-based feedback scheduler

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  72. Implementing constant-bandwidth servers upon multiprocessor platforms

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  73. A bandwidth inheritance algorithm for real-time task synchronization in open systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  74. A hierarchical extension to the constant bandwidth server framework

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  75. Minimizing memory utilization of real-time task sets in single and multi-processor systems-on-a-chip

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  76. A framework for achieving inter-application isolation in multiprogrammed, hard real-time environments

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  77. Efficient scheduling of real-time multi-task applications in dynamic systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  78. Greedy reclamation of unused bandwidth in constant-bandwidth servers

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  79. Constant bandwidth vs. proportional share resource allocation

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  80. Scheduling periodic task systems to minimize output jitter

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  81. Scheduling real-time multi-task applications in an open system

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  82. Sharing resources among periodic and aperiodic tasks with dynamic deadlines

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  83. A bandwidth reservation algorithm for multi-application systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari, Luca Abeni

  84. Elastic task model for adaptive rate control

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  85. Simulation and tracing of hybrid task sets on distributed systems

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  86. HARTIK 3.0: a portable system for developing real-time applications

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  87. Robot control in hard real-time environment

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari

  88. Scheduling analysis of hybrid real-time task sets

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Giuseppe Lipari