Giorgio C. Buttazzo

CoRR, 2024

A Comparative Analysis of Visual Odometry in Virtual and Real-World Railways Environments.

[BibT_eX]

[DOI]

Gianluca D'Amico

CoRR, 2024

Memory Integrity Techniques for Memory-Unsafe Languages: A Survey.

[BibT_eX]

[DOI]

Vahid Eftekhari Moghadam

IEEE Access, 2024

Attention-Based Real-Time Defenses for Physical Adversarial Attacks in Vision Applications.

[BibT_eX]

[DOI]

Giulio Rossolini

Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024

2023

TrainSim: A Railway Simulation Framework for LiDAR and Camera Dataset Generation.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., December, 2023

Supporting AI-powered real-time cyber-physical systems on heterogeneous platforms via hypervisor technology.

[BibT_eX]

[DOI]

Real Time Syst., December, 2023

Special issue on embedded real-time applications.

[BibT_eX]

[DOI]

Real Time Syst., December, 2023

Guest editorial: special issue on predictable machine learning.

[BibT_eX]

[DOI]

Real Time Syst., September, 2023

On the Minimal Adversarial Perturbation for Deep Neural Networks With Provable Estimation Error.

[BibT_eX]

[DOI]

IEEE Trans. Pattern Anal. Mach. Intell., April, 2023

Detecting Adversarial Examples by Input Transformations, Defense Perturbations, and Voting.

[BibT_eX]

[DOI]

Federico Nesti

Giorgio Carlo Buttazzo

IEEE Trans. Neural Networks Learn. Syst., March, 2023

Increasing the Confidence of Deep Neural Networks by Coverage Analysis.

[BibT_eX]

[DOI]

Giulio Rossolini

IEEE Trans. Software Eng., February, 2023

Bounding Memory Access Times in Multi-Accelerator Architectures on FPGA SoCs.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2023

1-Lipschitz Layers Compared: Memory, Speed, and Certifiable Robustness.

[BibT_eX]

[DOI]

CoRR, 2023

A Novel Approach for Reducing Train Localization Errors by Inertial Measurements.

[BibT_eX]

[DOI]

IEEE Access, 2023

Maximizing the Security Level of Real-Time Software While Preserving Temporal Constraints.

[BibT_eX]

[DOI]

IEEE Access, 2023

Real-Time Packet-Based Intrusion Detection on Edge Devices.

[BibT_eX]

[DOI]

Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023

Defending from Physically-Realizable Adversarial Attacks through Internal Over-Activation Analysis.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Robust-by-Design Classification via Unitary-Gradient Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

An I/O Virtualization Framework With I/O-Related Memory Contention Control for Real-Time Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

ARTe: Providing real-time multitasking to Arduino.

[BibT_eX]

[DOI]

J. Syst. Softw., 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

CARLA-GeAR: a Dataset Generator for a Systematic Evaluation of Adversarial Robustness of Vision Models.

[BibT_eX]

[DOI]

CoRR, 2022

On the Real-World Adversarial Robustness of Real-Time Semantic Segmentation Models for Autonomous Driving.

[BibT_eX]

[DOI]

CoRR, 2022

Evaluating the Robustness of Semantic Segmentation for Autonomous Driving against Real-World Adversarial Patch Attacks.

[BibT_eX]

[DOI]

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

Can We Trust AI-Powered Real-Time Embedded Systems? (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Third Workshop on Next Generation Real-Time Embedded Systems, 2022

Hardware Acceleration of Deep Neural Networks for Autonomous Driving on FPGA-based SoC.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2021

Spatio-Temporal Optimization of Deep Neural Networks for Reconfigurable FPGA SoCs.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2021

Task Splitting and Load Balancing of Dynamic Real-Time Workloads for Semi-Partitioned EDF.

[BibT_eX]

[DOI]

Giorgio Carlo Buttazzo

IEEE Trans. Computers, 2021

SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms.

[BibT_eX]

[DOI]

Ignacio Sanudo Olmedo

IEEE Access, 2021

Automating the design flow under dynamic partial reconfiguration for hardware-software co-design in FPGA SoC.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

A Multi-Domain Software Architecture for Safe and Secure Autonomous Driving.

[BibT_eX]

[DOI]

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

Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Event-Driven Delay-Induced Tasks: Model, Analysis, and Applications.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

X-BaD: A Flexible Tool for Explanation-Based Bias Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2021

2020

Timing isolation and improved scheduling of deep neural networks for real-time systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2020

A Safe, Secure, and Predictable Software Architecture for Deep Learning in Safety-Critical Systems.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2020

Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2020

A Holistic Memory Contention Analysis for Parallel Real-Time Tasks under Partitioned Scheduling.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

Safely Preventing Unbounded Delays During Bus Transactions in FPGA-based SoC.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2020

Modeling and Analysis of Bus Contention for Hardware Accelerators in FPGA SoCs.

[BibT_eX]

[DOI]

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

AXI HyperConnect: A Predictable, Hypervisor-level Interconnect for Hardware Accelerators in FPGA SoC.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Predictable Memory-CPU Co-Scheduling with Support for Latency-Sensitive Tasks.

[BibT_eX]

[DOI]

Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019

FLORA: FLoorplan Optimizer for Reconfigurable Areas in FPGAs.

[BibT_eX]

[DOI]

Biruk B. Seyoum

ACM Trans. Embed. Comput. Syst., 2019

Is Your Bus Arbiter Really Fair? Restoring Fairness in AXI Interconnects for FPGA SoCs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Handling Transients of Dynamic Real-Time Workload Under EDF Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2019

Integrated Framework for Fast Prototyping and Testing of Autonomous Systems.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2019

Towards the Hypervision of Hardware-based Control Flow Integrity for Arm Platforms.

[BibT_eX]

[DOI]

Proceedings of the Third Italian Conference on Cyber Security, 2019

Analyses and architectures for mixed-critical systems: industry trends and research perspective.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Software Companion, 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

Analyzing Parallel Real-Time Tasks Implemented with Thread Pools.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018

Preemption of the Partial Reconfiguration Process to Enable Real-Time Computing With FPGAs.

[BibT_eX]

[DOI]

ACM Trans. Reconfigurable Technol. Syst., 2018

Modeling and Analysis of Engine Control Tasks Under Dynamic Priority Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2018

A Limb Tracking Platform for Tele-Rehabilitation.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2018

Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2018

Response-Time Analysis of Engine Control Applications Under Fixed-Priority Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2018

A design flow for supporting component-based software development in multiprocessor real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2018

Dynamic Multidimensional Scaling with anchors and height constraints for indoor localization of mobile nodes.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2018

Energy-Aware Spiral Coverage Path Planning for UAV Photogrammetric Applications.

[BibT_eX]

[DOI]

Taua M. Cabreira

Paulo Roberto Ferreira Jr.

IEEE Robotics Autom. Lett., 2018

A survey of schedulability analysis techniques for rate-dependent tasks.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Partitioned Fixed-Priority Scheduling of Parallel Tasks Without Preemptions.

[BibT_eX]

[DOI]

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

Memory Feasibility Analysis of Parallel Tasks Running on Scratchpad-Based Architectures.

[BibT_eX]

[DOI]

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

Supporting temporal and spatial isolation in a hypervisor for ARM multicore platforms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2018

Reconciling security with virtualization: A dual-hypervisor design for ARM TrustZone.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Technology, 2018

A Reconfigurable PID Controller.

[BibT_eX]

[DOI]

Sikandar Khan

Kyprianos Papadimitriou

Kostas Kalaitzakis

Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2018

2017

Real-Time Analysis and Design of a Dual Protocol Support for Bluetooth LE Devices.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2017

Exact Response Time Analysis for Fixed Priority Memory-Processor Co-Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

Schedulability Analysis of Conditional Parallel Task Graphs in Multicore Systems.

[BibT_eX]

[DOI]

Alessandra Melani

Vincenzo Bonifaci

IEEE Trans. Computers, 2017

A power-aware MAC layer protocol for real-time communication in wireless embedded systems.

[BibT_eX]

[DOI]

Sikandar M. Zulqarnain Khan

J. Netw. Comput. Appl., 2017

Increasing the resolution of laser rangefinders using low frequency pulses.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2017

The challenge of real-time multi-agent systems for enabling IoT and CPS.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Web Intelligence, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International System-on-Chip Conference, 2017

A Framework for the Co-simulation of Engine Controls and Task Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Constant bandwidth servers with constrained deadlines.

[BibT_eX]

[DOI]

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

A scheduling framework for handling integrated modular avionic systems on multicore platforms.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Hardware-in-the-loop development framework for multi-vehicle autonomous systems.

[BibT_eX]

[DOI]

Luigi Pannocchi

Proceedings of the 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, 2017

Multidimensional scaling localization with anchors.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, 2017

Local Scheduling in Multi-Agent Systems: Getting Ready for Safety-Critical Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Semi-Partitioned Scheduling of Dynamic Real-Time Workload: A Practical Approach Based on Analysis-Driven Load Balancing.

[BibT_eX]

[DOI]

Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Agent-Based Systems for Telerehabilitation: Strengths, Limitations and Future Challenges.

[BibT_eX]

[DOI]

Proceedings of the Agents and Multi-Agent Systems for Health Care, 2017

A static scheduling approach to enable safety-critical OpenMP applications.

[BibT_eX]

[DOI]

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

Timing-aware FPGA partitioning for real-time applications under dynamic partial reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017

2016

Bandwidth Optimization and Energy Management in Real-Time Wireless Networks.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Energy-Aware Scheduling for Real-Time Systems: A Survey.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

Design and analysis of target-sensitive real-time systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2016

Coverage Path Planning for UAVs Photogrammetry with Energy and Resolution Constraints.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., 2016

A framework based on real-time OS and multi-agents for intelligent autonomous robot competitions.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

SOMA: an OpenMP toolchain for multicore partitioning.

[BibT_eX]

[DOI]

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

ARTE: arduino real-time extension for programming multitasking applications.

[BibT_eX]

[DOI]

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

An Android application for head tracking.

[BibT_eX]

[DOI]

Massimiliano Benedetto

Alessio Gagliardi

Pasquale Buonocunto

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

A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs.

[BibT_eX]

[DOI]

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

Partitioning and Interface Synthesis in Hierarchical Multiprocessor Real-Time Systems.

[BibT_eX]

[DOI]

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

OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling.

[BibT_eX]

[DOI]

Vincenzo Apuzzo

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

Performance-Driven Design of Engine Control Tasks.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM/IEEE International Conference on Cyber-Physical Systems, 2016

Real-time analysis of engine control applications with speed estimation.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Guest Editorial: Special Issue on The Real-Time Systems Symposium.

[BibT_eX]

[DOI]

Michael González Harbour

Real Time Syst., 2015

Memory-processor co-scheduling in fixed priority systems.

[BibT_eX]

[DOI]

Alessandra Melani

Vincenzo Bonifaci

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 2015

Simplifying Tele-rehabilitation Devices for Their Practical Use in Non-clinical Environments.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics and Biomedical Engineering, 2015

Non-intrusive Patient Monitoring for Supporting General Practitioners in Following Diseases Evolution.

[BibT_eX]

[DOI]

Proceedings of the Bioinformatics and Biomedical Engineering, 2015

Dual-protocol support for Bluetooth LE devices.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response-time analysis for real-time tasks in engine control applications.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, 2015

Energy-Aware Coverage Path Planning of UAVs.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, 2015

Response-Time Analysis of Conditional DAG Tasks in Multiprocessor Systems.

[BibT_eX]

[DOI]

Alessandra Melani

Vincenzo Bonifaci

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Feasibility Analysis of Engine Control Tasks under EDF Scheduling.

[BibT_eX]

[DOI]

Stefano Simoncelli

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Supporting Component-Based Development in Partitioned Multiprocessor Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Engine control: task modeling and analysis.

[BibT_eX]

[DOI]

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Adaptive mechanisms for component-based real-time systems.

[BibT_eX]

[DOI]

Luca Santinelli

Proceedings of the 2015 NASA/ESA Conference on Adaptive Hardware and Systems, 2015

Multiprocessor Scheduling for Real-Time Systems.

[BibT_eX]

[DOI]

Sanjoy K. Baruah

Embedded Systems, Springer, ISBN: 978-3-319-08695-8, 2015

2014

Message from the program chairs.

[BibT_eX]

[DOI]

Enrico Macii

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

On the effectiveness of energy-aware real-time scheduling algorithms on single-core platforms.

[BibT_eX]

[DOI]

Mario Bambagini

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Optimal Design for Reservation Servers under Shared Resources.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Rate-adaptive tasks: Model, analysis, and design issues.

[BibT_eX]

[DOI]

Darren Buttle

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

A Telerehabilitation Framework for Lower-Limb Functional Recovery.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Body Area Networks, 2014

Variational Analysis in Sobolev and BV Spaces - Applications to PDEs and Optimization, Second Edition.

[BibT_eX]

[DOI]

Hédy Attouch

Gérard Michaille

MPS-SIAM series on optimization 17, SIAM, ISBN: 978-1-611-97347-1, 2014

2013

Limited Preemptive Scheduling for Real-Time Systems. A Survey.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2013

An energy-aware algorithm exploiting limited preemptive scheduling under fixed priorities.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 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

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

Energy-aware algorithms for tasks and bandwidth co-allocation under real-time and redundancy constraints.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

WBuST: A real-time energy-aware MAC layer protocol for wireless embedded systems.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Target-sensitive systems: Analysis and implementation issues.

[BibT_eX]

[DOI]

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

2011

Embedded Data Logging Platform for Research in Diving Physiology - Monitoring ECG and Blood Oxygenation of Apnea Divers.

[BibT_eX]

[DOI]

Proceedings of the Solutions on Embedded Systems, 2011

Partitioning Real-Time Applications Over Multicore Reservations.

[BibT_eX]

[DOI]

Yifan Wu

IEEE Trans. Ind. Informatics, 2011

Feasibility analysis under fixed priority scheduling with limited preemptions.

[BibT_eX]

[DOI]

Real Time Syst., 2011

Applying real-time interface and calculus for dynamic power management in hard real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2011

Resource Management on Multicore Systems: The ACTORS Approach.

[BibT_eX]

[DOI]

IEEE Micro, 2011

Preliminary report: Embedded platform for inertial based underwater navigation.

[BibT_eX]

[DOI]

Proceedings of the Ninth Workshop on Intelligent Solutions in Embedded Systems, 2011

Improving Feasibility of Fixed Priority Tasks Using Non-Preemptive Regions.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Real-Time Analysis of Servers for General Job Arrivals.

[BibT_eX]

[DOI]

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

Multi-moded Resource Reservations.

[BibT_eX]

[DOI]

Luca Santinelli

Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Energy management for tiny real-time kernels.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Energy Aware Computing, 2011

Platform-aware bandwidth-oriented energy management algorithm for real-time embedded systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Optimal Selection of Preemption Points to Minimize Preemption Overhead.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Third Edition.

[BibT_eX]

[DOI]

Real-Time Systems Series 24, Springer, ISBN: 978-1-4614-0676-1, 2011

2010

Design of an Embedded Control System Laboratory Experiment.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Electron., 2010

An Energy-Aware Algorithm for TDMA MAC Protocols in Real-Time Wireless Networks.

[BibT_eX]

[DOI]

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

Feasibility Analysis under Fixed Priority Scheduling with Fixed Preemption Points.

[BibT_eX]

[DOI]

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

Design of a variable impedance differential actuator for wearable robotics applications.

[BibT_eX]

[DOI]

Nevio Luigi Tagliamonte

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Adaptive TDMA bus allocation and elastic scheduling: A unified approach for enhancing robustness in multi-core RT systems.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Computer Design, 2010

Comparative evaluation of limited preemptive methods.

[BibT_eX]

[DOI]

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

Reducing stack with intra-task threshold priorities in real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Resource adaptations with servers for hard real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Energy-aware packet and task co-scheduling for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International conference on Embedded software, 2010

Partitioning Parallel Applications on Multiprocessor Reservations.

[BibT_eX]

[DOI]

Yifan Wu

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

Preemption Points Placement for Sporadic Task Sets.

[BibT_eX]

[DOI]

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

Adaptive power management for real-time event streams.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia South Pacific Design Automation Conference, 2010

2009

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

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2009

An Optimization Problem for Mass Transportation with Congested Dynamics.

[BibT_eX]

[DOI]

Chloé Jimenez

Édouard Oudet

SIAM J. Control. Optim., 2009

The space of EDF deadlines: the exact region and a convex approximation.

[BibT_eX]

[DOI]

Real Time Syst., 2009

Embedded data logging platform for research in diving physiology.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Intelligent solutions in Embedded Systems, 2009

Adaptive Dynamic Power Management for Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Bounding the Maximum Length of Non-preemptive Regions under Fixed Priority Scheduling.

[BibT_eX]

[DOI]

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

The Multi Supply Function Abstraction for Multiprocessors.

[BibT_eX]

[DOI]

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

Periodic power management schemes for real-time event streams.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008

Sensitivity analysis for fixed-priority real-time systems.

[BibT_eX]

[DOI]

Real Time Syst., 2008

Artificial consciousness: Theoretical and practical issues.

[BibT_eX]

[DOI]

Riccardo Manzotti

Artif. Intell. Medicine, 2008

Artificial consciousness: Hazardous questions (and answers).

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2008

A Framework for Designing Embedded Real-Time Controllers.

[BibT_eX]

[DOI]

Yifan Wu

Proceedings of the Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, 2008

Properties of BuST and timed-token protocols in managing hard real-time traffic.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Time Properties of the BuST Protocol under the NPA Budget Allocation Scheme.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Real-Time Scheduling and Resource Management.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Elastic DVS Management in Processors With Discrete Voltage/Frequency Modes.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2007

Quality-of-Control Management in Overloaded Real-Time Systems.

[BibT_eX]

[DOI]

Manel Velasco

Pau Martí

IEEE Trans. Computers, 2007

BuST: Budget Sharing Token protocol for hard real-time communication.

[BibT_eX]

[DOI]

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

The Space of EDF Feasible Deadlines.

[BibT_eX]

[DOI]

Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

2006

Research trends in real-time computing for embedded systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2006

Editorial.

[BibT_eX]

[DOI]

Real Time Syst., 2006

Achieving Scalability in Real-Time Systems.

[BibT_eX]

[DOI]

Computer, 2006

Optimal Dimensioning of a Constant Bandwidth Server.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Balancing Energy vs. Performance in Processors with DiscreteVoltage/Frequency Modes.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Computing the Minimum EDF Feasible Deadline in Periodic Systems.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

2005

Real-Time Operating Systems.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems Handbook., 2005

FTT-Ethernet: a flexible real-time communication protocol that supports dynamic QoS management on Ethernet-based systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2005

Guidelines for a graduate curriculum on embedded software and systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2005

Efficient Reclaiming in Reservation-Based Real-Time Systems with Variable Execution Times.

[BibT_eX]

[DOI]

Deepu C. Thomas

IEEE Trans. Computers, 2005

Rate Monotonic vs. EDF: Judgment Day.

[BibT_eX]

[DOI]

Real Time Syst., 2005

Measuring the Performance of Schedulability Tests.

[BibT_eX]

[DOI]

Real Time Syst., 2005

Special issue: Real-Time Systems (Euromicro RTS-03).

[BibT_eX]

[DOI]

J. Embed. Comput., 2005

Dynamic Resource Reservation and Connectivity Tracking to Support Real-Time Communication among Mobile Units.

[BibT_eX]

[DOI]

Luís Almeida

EURASIP J. Wirel. Commun. Netw., 2005

Real-Time Issues in Mobile Wireless Networks.

[BibT_eX]

[DOI]

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

A flexible visual simulator for wireless ad-hoc networks of mobile nodes.

[BibT_eX]

[DOI]

Luís Almeida

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 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

Real-Time Scheduling for Embedded Systems.

[BibT_eX]

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Schedulability Analysis of Periodic Fixed Priority Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2004

Real Time Scheduling Theory: A Historical Perspective.

[BibT_eX]

[DOI]

Real Time Syst., 2004

Resource Reservation in Dynamic Real-Time Systems.

[BibT_eX]

[DOI]

Real Time Syst., 2004

Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Energy-Aware Strategies in Real-Time Systems for Autonomous Robots.

[BibT_eX]

[DOI]

Giacomo Guidi

Proceedings of the Computer and Information Sciences, 2004

Managing Quality-of-Control Performance Under Overload Conditions.

[BibT_eX]

[DOI]

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

Biasing Effects in Schedulability Measures.

[BibT_eX]

[DOI]

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

Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Second Edition.

[BibT_eX]

Real-Time Systems Series 23, Springer, ISBN: 978-0-387-23137-2, 2004

2003

Rate Monotonic Analysis: The Hyperbolic Bound.

[BibT_eX]

[DOI]

Giuseppe M. Buttazzo

IEEE Trans. Computers, 2003

An Efficient Time Representation for Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Alessio Carlini

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

A Computer Architecture for Small Walking Robots.

[BibT_eX]

Proceedings of the IASTED International Conference Robotics and Applications, 2003

Controlling a Ball Balancing Device via Web.

[BibT_eX]

Giuseppe Carnevali

Proceedings of the IASTED International Conference Robotics and Applications, 2003

2002

Handling Execution Overruns in Hard Real-Time Control Systems.

[BibT_eX]

[DOI]

Lui Sha

IEEE Trans. Computers, 2002

Elastic Scheduling for Flexible Workload Management.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2002

Introduction to the Special Issue on Flexible Scheduling.

[BibT_eX]

[DOI]

Gerhard Fohler

Real Time Syst., 2002

Adaptive Workload Management through Elastic Scheduling.

[BibT_eX]

[DOI]

Real Time Syst., 2002

Abstracts of Invited Talks.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Timed Systems, 2002

An Implicit Prioritized Access Protocol for Wireless Sensor Networks.

[BibT_eX]

[DOI]

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

The Space of Rate Monotonic Schedulability.

[BibT_eX]

[DOI]

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

Real-Time Operating Systems: Problems and Novel Solutions.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Scalable Applications for Energy-Aware Processors.

[BibT_eX]

[DOI]

Proceedings of the Embedded Software, Second International Conference, 2002

Multiprocessor DSP Scheduling in System-on-a-chip Architectures.

[BibT_eX]

[DOI]

Paolo Gai

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

Smooth Rate Adaptation through Impedance Control.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001

Artificial Consciousness: Utopia or Real Possibility?

[BibT_eX]

[DOI]

Computer, 2001

Hierarchical QoS Management for Time Sensitive Applications.

[BibT_eX]

[DOI]

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

Stochastic Analysis of a Reseveration Based System.

[BibT_eX]

[DOI]

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Improved handling of soft aperiodic tasks in offline scheduled real-time systems using total bandwidth server.

[BibT_eX]

[DOI]

Gerhard Fohler

Tomas Lennvall

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

A New Kernel Approach for Modular Real-Time Systems Development.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

A Hyperbolic Bound for the Rate Monotonic Algorithm.

[BibT_eX]

[DOI]

Giuseppe M. Buttazzo

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

2000

Schedulability analysis of periodic and aperiodic tasks with resource constraints.

[BibT_eX]

[DOI]

J. Syst. Archit., 2000

Real-Time control system analysis: an integrated approach.

[BibT_eX]

[DOI]

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

Capacity Sharing for Overrun Control.

[BibT_eX]

[DOI]

Lui Sha

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

From Hard to Soft Real-Time Systems: Predictability vs. Efficiency.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Support for dynamic QoS in the HARTIK kernel.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

Elastic feedback control.

[BibT_eX]

[DOI]

Lui Sha

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

On adaptive control techniques in real-time resource allocation.

[BibT_eX]

[DOI]

Luigi Palopoli

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

Online control optimization using load driven scheduling.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

Adaptive rate control through elastic scheduling.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Conference on Decision and Control, 2000

1999

Minimizing Aperiodic Response Times in a Firm Real-Time Environment.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks in Hard Real-Time Environments.

[BibT_eX]

[DOI]

Fabrizio Sensini

IEEE Trans. Computers, 1999

Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines.

[BibT_eX]

[DOI]

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

A C Language Extension for Programming Real-Time Applications.

[BibT_eX]

[DOI]

Luigi Palopoli

Paolo Ancilotti

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 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

Adaptive Bandwidth Reservation for Multimedia Computing.

[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

QoS guarantee using probabilistic deadlines.

[BibT_eX]

[DOI]

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

1998

Design and Programming Tools for Time Critical Applications.

[BibT_eX]

[DOI]

Real Time Syst., 1998

Elastic Task Model for Adaptive Rate Control.

[BibT_eX]

[DOI]

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

Integrating Multimedia Applications in Hard Real-Time Systems.

[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

Optimal Scheduling for Fault-Tolerant and Firm Real-Time Systems.

[BibT_eX]

[DOI]

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

1997

Exploiting skips in periodic tasks for enhancing aperiodic responsiveness.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 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]

Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

1996

Scheduling Aperiodic Tasks in Dynamic Priority Systems.

[BibT_eX]

[DOI]

Real Time Syst., 1996

A Development Environment for Hard Real-Time Applications.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1996

A Flexible Tool Kit for Development of Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium, 1996

Real-Time Issues in Advanced Robotics Applications.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

The MORIS Control System.

[BibT_eX]

[DOI]

Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, 1996

1995

Implications of Classical Scheduling Results for Real-Time Systems.

[BibT_eX]

[DOI]

Computer, 1995

Robust Aperiodic Scheduling Under Dynamic Priority Systems.

[BibT_eX]

[DOI]

Fabrizio Sensini

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Value vs. Deadline Scheduling in Overload Conditions.

[BibT_eX]

[DOI]

Fabrizio Sensini

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Adding Robustness in Dynamic Preemptive Scheduling.

[BibT_eX]

[DOI]

John A. Stankovic

Proceedings of the Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems, 1995

1994

Efficient Aperiodic Service Under Earliest Deadline Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

1993

HARTIK: A real-time kernel for robotics applications.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

HARTIK: A Hard Real-Time Kernel for Programming Robot Tasks with Explicit Time Constraints and Guaranteed Execution.

[BibT_eX]

[DOI]

Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

Mousebuster: A Robot System for Catching Fast Moving Objects by Vision.

[BibT_eX]

[DOI]

Benedetto Allotta

Felice P. Fanizza

Proceedings of the 1993 IEEE International Conference on Robotics and Automation, 1993

1992

Planning And Executing Tactile Exploratory Procedures.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 1992

Impact handling by proximity and force sensing.

[BibT_eX]

[DOI]

Benedetto Allotta