Giuseppe Lipari

Mohammed Kamal Benhaoua

J. Syst. Archit., 2024

Parametric WCET as a function of procedure arguments: Analysis and applications.

[BibT_eX]

[DOI]

J. Syst. Archit., 2024

Design of a Low Voltage and High Power Traveling Wave Tube Based on a Sheet-Beam Rectangular Ring-Bar Slow-Wave Structure.

[BibT_eX]

[DOI]

IEEE Access, 2024

A Novel Conical Cut Frequency-Tapered Ring Bar SWS for High-Power and Wide-Bandwidth K-Band TWTs.

[BibT_eX]

[DOI]

IEEE Access, 2024

2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2023

WCET analysis with procedure arguments as parameters.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Real-Time Networks and Systems, 2023

From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2022

Special issue on real-time scheduling on heterogeneous platforms.

[BibT_eX]

[DOI]

Iain Bate

Real Time Syst., 2022

Reducing the fault vulnerability of hard real-time systems.

[BibT_eX]

[DOI]

Fabien Bouquillon

Smaïl Niar

J. Syst. Archit., 2022

Memory-processor co-scheduling for real-time tasks on network-on-chip manycore architectures.

[BibT_eX]

[DOI]

Chawki Benchehida

Int. J. High Perform. Syst. Archit., 2022

A Linux-based support for developing real-time applications on heterogeneous platforms with dynamic FPGA reconfiguration.

[BibT_eX]

[DOI]

Giorgio Carlo Buttazzo

Future Gener. Comput. Syst., 2022

Improving CRPD analysis for EDF scheduling: trading speed for precision.

[BibT_eX]

[DOI]

Fabien Bouquillon

Smaïl Niar

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Contention-free scheduling of PREM tasks on partitioned multicore platforms.

[BibT_eX]

[DOI]

Ikram Senoussaoui

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

The HPC-DAG Task Model for Heterogeneous Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2021

2020

An analysis and simulation tool of real-time communications in on-chip networks: a comparative study.

[BibT_eX]

[DOI]

Chawki Benchehida

SIGBED Rev., 2020

Measurement-based methodology for modelling the energy consumption of mobile devices.

[BibT_eX]

[DOI]

Khalil Ibrahim Hamzaoui

Int. J. Reason. based Intell. Syst., 2020

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

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Design and Analysis of Programming Platform for Accelerated GPU-Like Architectures.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Allocation of Real-Time Tasks onto Identical Core Platforms under Deferred fixed Preemption-Point Model.

[BibT_eX]

[DOI]

Ikram Senoussaoui

Richard Olejnik

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Preemption-Aware Allocation, Deadline Assignment for Conditional DAGs on Partitioned EDF.

[BibT_eX]

[DOI]

Smaïl Niar

Abou El Hassan Benyamina

Proceedings of the 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2020

2019

The Parallel Multi-Mode Digraph Task Model for Energy-Aware Real-Time Heterogeneous Multi-Core Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2019

A WCET-aware cache coloring technique for reducing interference in real-time systems.

[BibT_eX]

[DOI]

CoRR, 2019

A C-DAG task model for scheduling complex real-time tasks on heterogeneous platforms: preemption matters.

[BibT_eX]

[DOI]

CoRR, 2019

Static Analysis of Binary Code with Memory Indirections Using Polyhedra.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

A Bandwidth Reservation Mechanism for AXI-Based Hardware Accelerators on FPGAs.

[BibT_eX]

[DOI]

Proceedings of the 31st Euromicro Conference on Real-Time Systems, 2019

2018

Symbolic WCET Computation.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2018

Improving responsiveness of time-sensitive applications by exploiting dynamic task dependencies.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2018

Towards Probabilistic Modeling and Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Laura Carnevali

Luca Santinelli

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

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

[BibT_eX]

[DOI]

Abou El Hassan Benyamina

Richard Olejnik

J. Syst. Archit., 2017

Abstract Interpretation of Binary Code with Memory Accesses using Polyhedra.

[BibT_eX]

[DOI]

CoRR, 2017

Symbolic Computation of the Worst-Case Execution Time of a Program.

[BibT_eX]

[DOI]

CoRR, 2017

SysRT: A modular multiprocessor RTOS simulator for early design space exploration.

[BibT_eX]

[DOI]

Jun Xiao

Andy D. Pimentel

Proceedings of the 2017 International Conference on Embedded Computer Systems: Architectures, 2017

Migrate when necessary: toward partitioned reclaiming for soft real-time tasks.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017

2016

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

[BibT_eX]

[DOI]

Youcheng Sun

Real Time Syst., 2016

Cache related pre-emption delays in hierarchical scheduling.

[BibT_eX]

[DOI]

Real Time Syst., 2016

Multicore CPU reclaiming: parallel or sequential?

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Modeling Parallel Real-time Tasks with Di-Graphs.

[BibT_eX]

[DOI]

Abou El Hassan Benyamina

Richard Olejnik

Pierre Boulet

Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

2015

SPEED-3D: a geographic routing protocol for 6LoWPAN networks.

[BibT_eX]

[DOI]

Int. J. Ad Hoc Ubiquitous Comput., 2015

Real-Time scheduling: from hard to soft real-time systems.

[BibT_eX]

[DOI]

Luigi Palopoli

CoRR, 2015

Parallel and sequential reclaiming in multicore real-time global scheduling.

[BibT_eX]

[DOI]

CoRR, 2015

Context-sensitive Parametric WCET Analysis.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Response Time Analysis with Limited Carry-In for Global Earliest Deadline First Scheduling.

[BibT_eX]

[DOI]

Youcheng Sun

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Reachability Preservation Based Parameter Synthesis for Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

ADOK: a minimal object oriented real-time operating system in C++.

[BibT_eX]

[DOI]

Salvatore Benedetto

SIGBED Rev., 2014

Constant bandwidth server revisited.

[BibT_eX]

[DOI]

Juri Lelli

SIGBED Rev., 2014

Toward Parametric Timed Interfaces for Real-Time Components.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1st International Workshop on Synthesis of Continuous Parameters, 2014

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

[BibT_eX]

[DOI]

Youcheng Sun

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

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

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

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

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

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

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

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

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Pragmatic ambiguity detection in natural language requirements.

[BibT_eX]

[DOI]

Alessio Ferrari

Stefania Gnesi

Giorgio Oronzo Spagnolo

Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

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

[BibT_eX]

[DOI]

Sunil Kumar

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

JSA WATERS 2011.

[BibT_eX]

[DOI]

J. Syst. Archit., 2013

On the energy-aware partitioning of real-time tasks on homogeneous multi-processor systems.

[BibT_eX]

[DOI]

Proceedings of the 4th Annual International Conference on Energy Aware Computing Systems and Applications, 2013

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Ptask: An educational C library for programming real-time systems on Linux.

[BibT_eX]

[DOI]

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

Extracting Data from WSNs: A Service-Oriented Approach.

[BibT_eX]

[DOI]

Gaetano F. Anastasi

Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

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

[BibT_eX]

[DOI]

Real Time Syst., 2012

Analysis and implementation of the multiprocessor bandwidth inheritance protocol.

[BibT_eX]

[DOI]

Dario Faggioli

Real Time Syst., 2012

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

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

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

[BibT_eX]

[DOI]

Ad Hoc Networks, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Wireless Communications and Networking Conference, 2012

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

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Modeling, 2012

2011

A Robust Mechanism for Adaptive Scheduling of Multimedia Applications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2011

A tool for component-based schedulability analysis of distributed real-time pipelines.

[BibT_eX]

[DOI]

Nicola Serreli

SIGBED Rev., 2011

Modular software architecture for flexible reservation mechanisms on heterogeneous resources.

[BibT_eX]

[DOI]

J. Syst. Archit., 2011

A latency simulator for many-core systems.

[BibT_eX]

[DOI]

Sunil Kumar

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

A QoS registry for adaptive real-time service-oriented applications.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

A greedy reclaiming scheduler for IEEE 802.11e HCCA real-time networks.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2011

A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2010

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

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2010

Simulating Real-Time Aspects of Wireless Sensor Networks.

[BibT_eX]

[DOI]

EURASIP J. Wirel. Commun. Netw., 2010

A Component-Based Architecture for Adaptive Bandwidth Allocation in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Traffic related observations by line sensing techniques.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Embedded Networked Sensor Systems, 2010

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

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

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

[BibT_eX]

[DOI]

Nicola Serreli

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

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

[BibT_eX]

[DOI]

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

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

[BibT_eX]

[DOI]

Nicola Serreli

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

The Multiprocessor Bandwidth Inheritance Protocol.

[BibT_eX]

[DOI]

Dario Faggioli

Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2009

Schedulability Analysis of Global Scheduling Algorithms on Multiprocessor Platforms.

[BibT_eX]

[DOI]

Marko Bertogna

Michele Cirinei

IEEE Trans. Parallel Distributed Syst., 2009

A Real-time Service-Oriented Architecture for Industrial Automation.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2009

Resource Reservations for General Purpose Applications.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2009

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

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2009

AQuoSA - adaptive quality of service architecture.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2009

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

[BibT_eX]

[DOI]

Real Time Syst., 2009

Visual tracking using sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

ERIKA and open-ZB: an implementation for real-time wireless networking.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Model based Real-Time networked applications for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

Wireless line sensor network for distributed visual surveillance.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM International Workshop on Performance Evaluation of Wireless Ad Hoc, 2009

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

[BibT_eX]

[DOI]

Proceedings of the NBiS 2009, 2009

Multi-level Feedback Control for Quality of Service Management.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

2008

Guest Editorial.

[BibT_eX]

[DOI]

Real Time Syst., 2008

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

[BibT_eX]

[DOI]

Rodrigo M. Santos

Jorge Santos

J. Syst. Softw., 2008

Operating System Support for Embedded Real-Time Applications.

[BibT_eX]

[DOI]

Alfons Crespo

Ismael Ripoll

EURASIP J. Embed. Syst., 2008

Efficient On-line Schedulability Test for Feedback Scheduling of Soft Real-Time Tasks under Fixed-Priority.

[BibT_eX]

[DOI]

Rodrigo M. Santos

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Weighted feedback reclaiming for multimedia applications.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

2007

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

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2007

RTNS: an NS-2 extension to simulate wireless real-time distributed systems for structured topologies.

[BibT_eX]

[DOI]

Paolo Pagano

Mangesh Chitnis

Proceedings of the 3rd International ICSTConference on Wireless Internet, 2007

Rapid prototyping suite of IEEE 802.15.4-compliant Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, 2007

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

[BibT_eX]

[DOI]

Paolo Pagano

Prashant Batra

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

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

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

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

[BibT_eX]

[DOI]

Claudio Scordino

IEEE Trans. Computers, 2006

FSF: A Real-Time Scheduling Architecture Framework.

[BibT_eX]

[DOI]

José C. Palencia Gutiérrez

Michael Trimarchi

Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

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

[BibT_eX]

[DOI]

José L. Lorente

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

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

[BibT_eX]

[DOI]

Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

2005

Guidelines for a graduate curriculum on embedded software and systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Feasibility Analysis of Real-Time Periodic Tasks with Offsets.

[BibT_eX]

[DOI]

Real Time Syst., 2005

QoS Management Through Adaptive Reservations.

[BibT_eX]

[DOI]

Real Time Syst., 2005

A methodology for designing hierarchical scheduling systems.

[BibT_eX]

[DOI]

J. Embed. Comput., 2005

Support for multiprocessor synchronization and resource sharing in system-on-programmable chips with softcores.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 2005 IEEE International SOC Conference, 2005

An Upper Bound to the Lateness of Soft Real-Time Tasks Scheduled by EDF on Multiprocessors.

[BibT_eX]

[DOI]

Paolo Valente

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Improved Schedulability Analysis of Real-Time Transactions with Earliest Deadline Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

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

[BibT_eX]

[DOI]

Cesare Bartolini

Marco Di Natale

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

New Schedulability Tests for Real-Time Task Sets Scheduled by Deadline Monotonic on Multiprocessors.

[BibT_eX]

[DOI]

Marko Bertogna

Michele Cirinei

Proceedings of the Principles of Distributed Systems, 9th International Conference, 2005

Speed Modulation in Energy-Aware Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

Improved Schedulability Analysis of EDF on Multiprocessor Platforms.

[BibT_eX]

[DOI]

Marko Bertogna

Michele Cirinei

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

2004

Task Synchronization in Reservation-Based Real-Time Systems.

[BibT_eX]

[DOI]

Gerardo Lamastra

IEEE Trans. Computers, 2004

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

A Hierarchical Framework for Component-based Real-time Systems.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

IRIS: A New Reclaiming Algorithm for Server-Based Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Adaptive reservations in a Linux environment.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

A Multiprocessor Implementation of the Total Bandwidth Server.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Using resource reservation techniques for power-aware scheduling.

[BibT_eX]

[DOI]

Claudio Scordino

Proceedings of the EMSOFT 2004, 2004

A New Sufficient Feasibility Test for Asynchronous Real-Time Periodic Task Sets.

[BibT_eX]

[DOI]

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

Executing Aperiodic Jobs in a Multiprocessor Constant-Bandwidth Server Implementation.

[BibT_eX]

[DOI]

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003

A Framework for Composing Real-Time Schedulers.

[BibT_eX]

[DOI]

Gerhard Fohler

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

A comparison of MPCP and MSRP when sharing resources in the Janus multiple-processor on a chip platform.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2003), 2003

On the Application of Hybrid Control to CPU Reservations.

[BibT_eX]

[DOI]

Luigi Palopoli

Proceedings of the Hybrid Systems: Computation and Control, 2003

Issues in Mapping HRT-HOOD to UML.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

Resource Partitioning among Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

HRT-UML: Taking HRT-HOOD onto UML.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

2002

Elastic Scheduling for Flexible Workload Management.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

An object-oriented tool for simulating distributed real-time control systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2002

Stack Size Minimization for Embedded Real-Time Systems-on-a-Chip.

[BibT_eX]

[DOI]

Paolo Gai

Marco Di Natale

Des. Autom. Embed. Syst., 2002

Analysis of a Reservation-Based Feedback Scheduler.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Implementing Constant-Bandwidth Servers upon Multiprocessor Platform.

[BibT_eX]

[DOI]

Joël Goossens

Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

2001

A Bandwidth Inheritance Algorithm for Real-Time Task Synchronization in Open Systems.

[BibT_eX]

[DOI]

Gerardo Lamastra

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-Chip.

[BibT_eX]

[DOI]

Paolo Gai

Marco Di Natale

Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), 2001

A Hierarchical Extension to the Constant Bandwidth Server Framework.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Real-Time Technology and Applications Symposium (RTAS 2001), 30 May, 2001

A tool for simulation and fast prototyping of embedded control systems.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, 2001

2000

Schedulability analysis of periodic and aperiodic tasks with resource constraints.

[BibT_eX]

[DOI]

J. Syst. Archit., 2000

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

[BibT_eX]

[DOI]

John Carpenter

Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium, RTAS 2000, Washington, DC, USA, May 31, 2000

Greedy reclamation of unused bandwidth in constant-bandwidth servers.

[BibT_eX]

[DOI]

Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999

Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines.

[BibT_eX]

[DOI]

Marco Caccamo

Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Scheduling Periodic Task Systems to Minimize Output Jitter.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Constant Bandwidth vs Proportional Share Resource Allocation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Multimedia Computing and Systems, 1999

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

[BibT_eX]

[DOI]

Proceedings of the 11th Euromicro Conference on Real-Time Systems (ECRTS 1999), 1999

1998

Elastic Task Model for Adaptive Rate Control.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

A Bandwidth Reservation Algorithm for Multi-Application Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

Simulation and Tracing of Hybrid Task Sets on Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998

1997

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

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Robot control in hard real-time environment.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), 1997

Scheduling analysis of hybrid real-time task sets.

[BibT_eX]

[DOI]