Papers

Search:

Year:

Nesti, Federico; Rossolini, Giulio; Nair, Saasha; Biondi, Alessandro; Buttazzo, Giorgio Carlo
Evaluating the Robustness of Semantic Segmentation for Autonomous Driving against Real-World Adversarial Patch Attacks
2826 - 2835 2022 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) - IEEE Computer Society (2022)
Serra, G.; Fara, P.; Cicero, G.; Restuccia, F.; Biondi, A.
PAC-PL: Enabling Control-Flow Integrity with Pointer Authentication in FPGA SoC Platforms
241 - 253 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS) - IEEE (2022)
Volume nr. :127
Aromolo, F.; Biondi, A.; Nelissen, G.
Response-Time Analysis for Self-Suspending Tasks Under EDF Scheduling
34th Euromicro Conference on Real-Time Systems (ECRTS 2022) - Schloss Dagstuhl (2022)
Volume nr. :127
Ara, Gabriele; Cucinotta, Tommaso; Mascitti, Agostino
Simulating Execution Time and Power Consumption of Real-Time Tasks on Embedded Platforms
Proceedings of the 37th ACM/SIGAPP International Symposium on Applied Compputing - Association for Computing Machinery (2022)
Fiori, S.; Abeni, L.; Cucinotta, T.
RT-Kubernetes - Containerized Real-Time Cloud Computing
36 - 39 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2022)
Paolini, Emilio; Civerchia, Federico; De Marinis, Lorenzo; Valcarenghi, Luca; Maggiani, Luca; Andriolli, Nicola
Photonic-aware Neural Networks for Packet Classification in URLLC scenarios
218 - 223 2022 IEEE 23rd International Conference on High Performance Switching and Routing (HPSR) - IEEE (2022)
Paolini, E.; De Marinis, L.; Cococcioni, M.; Valcarenghi, L.; Maggiani, L.; Andriolli, N.
Photonic-Aware Neural Network: a fixed-point emulation of photonic hardware
1 - 3 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC) - IEEE (2022)
Paolini, E.; De Marinis, L.; Maggiani, L.; Andriolli, N.
Accelerating Pooling Layers in Photonic Convolutional Neural Networks
1 - 3 2022 27th OptoElectronics and Communications Conference (OECC) and 2022 International Conference on Photonics in Switching and Computing (PSC) - IEEE (2022)
Paolini, Emilio; Civerchia, Federico; De Marinis, Lorenzo; Valcarenghi, Luca; Maggiani, Luca; Andriolli, Nicola
Photonic-aware Neural Networks for Packet Classification in Beyond 5G Networks
1 - 5 2022 13th International Conference on Network of the Future (NoF) - IEEE (2022)
Dasari, Dakshina; Becker, Matthias; Casini, Daniel; Blaß, Tobias
End-to-End Analysis of Event Chains under the QNX Adaptive Partitioning Scheduler
Proceedings of the 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS) - IEEE (2022)
Casini, D.
A Theoretical Approach to Determine the Optimal Size of a Thread Pool for Real-Time Systems
66 - 78 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2022)
Volume nr. :127
Roascio, Gianluca; Serra, Gabriele; Eftekhari Moghadam, Vahid
Em-RIPE: Runtime Intrusion Prevention Evaluator for ARM Microcontroller Systems
1 - 6 - Institute of Electrical and Electronics Engineers Inc. (2022)
Aromolo, F.; Biondi, A.; Nelissen, G.; Buttazzo, G.
Event-driven delay-induced tasks: Model, analysis, and applications
53 - 65 Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS - Institute of Electrical and Electronics Engineers Inc. (2021)
Volume nr. :127
Pacini, M.; Nesti, F.; Biondi, A.; Buttazzo, G.
X-BaD: A flexible tool for explanation-based bias detection
557 - 562 Proceedings of the 2021 IEEE International Conference on Cyber Security and Resilience, CSR 2021 - Institute of Electrical and Electronics Engineers Inc. (2021)
Casini, Daniel; Biondi, Alessandro; Cicero, Giorgiomaria; Buttazzo, Giorgio
Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time Systems
306 - 319 Proceedings of the 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS) - IEEE (2021)
Volume nr. :1
Issue nr. :1
Belluardo, L.; Stevanato, A.; Casini, D.; Cicero, G.; Biondi, A.; Buttazzo, G.
A Multi-Domain Software Architecture for Safe and Secure Autonomous Driving
73 - 82 Proceedings - 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2021 - Institute of Electrical and Electronics Engineers Inc. (2021)
Seyoum, Biruk; Pagani, Marco; Biondi, Alessandro; Buttazzo, Giorgio
Automating the design flow under dynamic partial reconfiguration for hardware-software co-design in FPGA SoC
481 - 490 Proceedings of the 36th Annual ACM Symposium on Applied Computing - ACM (2021)
Volume nr. :1
Issue nr. :1
Fara, Pietro; Serra, Gabriele; Biondi, Alessandro; Donnarumma, Ciro
Scheduling Replica Voting in Fixed-Priority Real-Time Systems
33rd Euromicro Conference on Real-Time Systems (ECRTS 2021) - Schloss Dagstuhl-Leibniz-Zentrum für Informatik (2021)
Volume nr. :1
Restuccia, F.; Biondi, A.
Time-Predictable Acceleration of Deep Neural Networks on FPGA SoC Platforms
441 - 454 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2021)
Volume nr. :127
Pazzaglia, P.; Casini, D.; Biondi, A.; Di Natale, M.
Optimal Memory Allocation and Scheduling for DMA Data Transfers under the LET Paradigm
1171 - 1176 Proceedings - Design Automation Conference - Institute of Electrical and Electronics Engineers Inc. (2021)
Volume nr. :127
Mascitti, Agostino; Cucinotta, Tommaso
Dynamic Partitioned Scheduling of Real-Time DAG Tasks on ARM big.LITTLE Architectures
- ACM (2021)
Stevanato, A.; Cucinotta, T.; Abeni, L.; De Oliveira, D. B.
An Evaluation of Adaptive Partitioning of Real-Time Workloads on Linux
53 - 61 Proceedings - 2021 IEEE 24th International Symposium on Real-Time Distributed Computing, ISORC 2021 - Institute of Electrical and Electronics Engineers Inc. (2021)
Lanciano, G.; Ritacco, A.; Brau, F.; Cucinotta, T.; Vannucci, M.; Artale, A.; Barata, J.; Sposato, E.
Using Self-Organizing Maps for the Behavioral Analysis of Virtualized Network Functions
153 - 177 Communications in Computer and Information Science - Springer Science and Business Media Deutschland GmbH (2021)
Volume nr. :127
Cucinotta, Tommaso; Lanciano, Giacomo; Ritacco, Antonio; Brau, Fabio; Galli, Filippo; Iannino, Vincenzo; Vannucci, Marco; Artale, Antonino; Barata, Joao; Sposato, Enrica
Forecasting Operation Metrics for Virtualized Network Functions
596 - 605 Proceedings of the 2021 IEEE/ACM 21st International Symposium on Cluster, Cloud and Internet Computing (CCGrid) - IEEE (2021)
Andreoli, Remo; Cucinotta, Tommaso; Pedreschi, Dino
RT-MongoDB: A NoSQL Database with Differentiated Performance
77 - 86 Proceedings of the 11th International Conference on Cloud Computing and Services Science - CLOSER - Science and Technology Publications ( SciTePress) (2021)
Lanciano, G.; Galli, F.; Cucinotta, T.; Bacciu, D.; Passarella, A.
Predictive auto-scaling with OpenStack Monasca
1 - 10 ACM International Conference Proceeding Series - Association for Computing Machinery (2021)
Lai, L.; Ara, G.; Cucinotta, T.; Kondepu, K.; Valcarenghi, L.
Ultra-low Latency NFV Services Using DPDK
8 - 14 2021 IEEE Conference on Network Function Virtualization and Software Defined Networks, NFV-SDN 2021 - Proceedings - Institute of Electrical and Electronics Engineers Inc. (2021)
Andreoli, R.; Cucinotta, T.
Differentiated Performance in NoSQL Database Access for Hybrid Cloud-HPC Workloads
439 - 449 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Springer Science and Business Media Deutschland GmbH (2021)
Volume nr. :127
Blas, Tobias; Casini, Daniel; Bozhko, Sergey; Brandenburg, Bjorn B.
A ROS 2 Response-Time Analysis Exploiting Starvation Freedom and Execution-Time Variance
41 - 53 Proceedings of the 42nd IEEE Real-Time Systems Symposium (RTSS 2021) - IEEE (2021)
Cucinotta, T.; Abeni, L.
Migrating Constant Bandwidth Servers on Multi-Cores
155 - 164 ACM International Conference Proceeding Series - Association for Computing Machinery (2021)
Ara, G.; Lai, L.; Cucinotta, T.; Abeni, L.; Vitucci, C.
A Framework for Comparative Evaluation of High-Performance Virtualized Networking Mechanisms
59 - 83 Communications in Computer and Information Science - Springer Science and Business Media Deutschland GmbH (2021)
Volume nr. :127
Tang, Stephen; Anderson, James H.; Abeni, Luca
On the Defectiveness of SCHED_DEADLINE w.r.t. Tardiness and Affinities, and a Partial Fix
46 - 56 Proceedings of the 29th International Conference on Real-Time Networks and Systems - ACM (2021)
Ruscelli, Anna Lina; Cecchetti, Gabriele; Manciulli, Mirco; Castoldi, Piero
A Wireless System for Sport Assessment
148 - 155 2020 IEEE International Conference on Smart Computing (SMARTCOMP) - IEEE Computer Society (2020)
Restuccia, Francesco; Biondi, Alessandro; Marinoni, Mauro; Buttazzo, Giorgio
Safely Preventing Unbounded Delays During Bus Transactions in FPGA-based SoC
129 - 137 2020 IEEE 28th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - IEEE (2020)
Casini, D.; Pazzaglia, P.; Biondi, A.; Di Natale, M.; Buttazzo, G.
Predictable Memory-CPU Co-Scheduling with Support for Latency-Sensitive Tasks
1 - 6 Proceedings - Design Automation Conference - Institute of Electrical and Electronics Engineers Inc. (2020)
Volume nr. :127
Restuccia, F.; Biondi, A.; Marinoni, M.; Cicero, G.; Buttazzo, G.
AXI HyperConnect: A predictable, hypervisor-level interconnect for hardware accelerators in FPGA SoC
1 - 6 Proceedings - Design Automation Conference - Institute of Electrical and Electronics Engineers Inc. (2020)
Volume nr. :127
Restuccia, F.; Pagani, M.; Biondi, A.; Marinoni, M.; Buttazzo, G.
Modeling and analysis of bus contention for hardware accelerators in FPGA SoCs
Leibniz International Proceedings in Informatics, LIPIcs - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2020)
Volume nr. :127
Casini, D.; Biondi, A.; Nelissen, G.; Buttazzo, G.
A Holistic Memory Contention Analysis for Parallel Real-Time Tasks under Partitioned Scheduling
239 - 252 Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS - Institute of Electrical and Electronics Engineers Inc. (2020)
Volume nr. :127
Quinones, E.; Royuela, S.; Scordino, C.; Gai, P.; Pinho, L. M.; Nogueira, L.; Rollo, J.; Cucinotta, T.; Biondi, A.; Hamann, A.; Ziegenbein, D.; Saoud, H.; Soulat, R.; Forsberg, B.; Benini, L.; Mando, G.; Rucher, L.
The ampere project: A model-driven development framework for highly parallel and energy-efficient computation supporting multi-criteria optimization
201 - 206 Proceedings - 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing, ISORC 2020 - Institute of Electrical and Electronics Engineers Inc. (2020)
Donnarumma, C.; Biondi, A.; De Rosa, F.; Di Carlo, S.
Integrating Online Safety-related Memory Tests in Multicore Real-Time Systems
296 - 307 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2020)
Volume nr. :127
Alzetta, F.; Giorgini, P.; Marinoni, M.; Calvaresi, D.
RT-BDI: A Real-Time BDI Model
16 - 29 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Springer (2020)
Volume nr. :127
Ara, G.; Cucinotta, T.; Abeni, L.; Vitucci, C.
Comparative Evaluation of Kernel Bypass Mechanisms for High-performance Inter-container Communications
44 - 55 CLOSER 2020 - Proceedings of the 10th International Conference on Cloud Computing and Services Science - SciTePress (2020)
Serra, Gabriele; Ara, Gabriele; Fara, Pietro; Cucinotta, Tommaso
An Architecture for Declarative Real-Time Scheduling on Linux
20 - 28 Proceedings of the IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC) - Institute of Electrical and Electronics Engineers Inc. (2020)
Mascitti, A.; Cucinotta, T.; Abeni, L.
Heuristic partitioning of real-time tasks on multi-processors
36 - 42 Proceedings of the IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC) - IEEE (2020)
de Oliveira, D. B.; Casini, D.; de Oliveira, R. S.; Cucinotta, T.
Demystifying the real-time linux scheduling latency
Leibniz International Proceedings in Informatics, LIPIcs - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2020)
Volume nr. :127
Vitucci, Carlo; Cucinotta, Tommaso; Mancini, Riccardo; Abeni, Luca
Implementation and Deployment of a Server at the Edge Using OpenStack Components
Proceedings of the 19th International Conference on Networks (ICN 2020) - IARIA (2020)
Mancini, R.; Ritacco, A.; Lanciano, G.; Cucinotta, T.
XPySom: High-performance self-organizing maps
209 - 216 Proceedings - Symposium on Computer Architecture and High Performance Computing - IEEE Computer Society (2020)
Volume nr. :127
Mancini, Riccardo; Cucinotta, Tommaso; Abeni, Luca
Performance Modeling in Predictable Cloud Computing
69 - 78 Proceedings of the 10th International Conference on Cloud Computing and Services Science - CLOSER - SCITEPRESS (2020)
Abeni, Luca; Cucinotta, Tommaso
Adaptive partitioning of real-time tasks on multiple processors
572 - 579 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2020)
Prastowo, T.; Palopoli, L.; Abeni, L.; Lipari, G.
Analyses of a model-based real-time language embedded in C++
1330 - 1339 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2020)
Lanciano, Giacomo; Ritacco, Antonio; Cucinotta, Tommaso; Vannucci, Marco; Artale, Antonino; Basili, Luca; Sposato, Enrica; Barata, Joao
SOM-based behavioral analysis for virtualized network functions
1204 - 1206 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2020)
Cucinotta, T.; Lanciano, G.; Ritacco, A.; Vannucci, M.; Artale, A.; Barata, J.; Sposato, E.; Basili, L.
Behavioral analysis for virtualized network functions: A som-based approach
150 - 160 CLOSER 2020 - Proceedings of the 10th International Conference on Cloud Computing and Services Science - SciTePress (2020)
DE MARINIS, Lorenzo; Nesti, Federico; Cococcioni, Marco; Andriolli, Nicola
A Photonic Accelerator for Feature Map Generation in Convolutional Neural Networks
OSA Technical Digest - Optical Society of America (2020)
Napolitano, A.; Cecchetti, G.; Giannone, F.; Ruscelli, A. L.; Civerchia, F.; Kondepu, K.; Valcarenghi, L.; Castoldi, P.
Implementation of a MEC-based Vulnerable Road User Warning System
1 - 6 2019 AEIT International Conference of Electrical and Electronic Technologies for Automotive (AEIT AUTOMOTIVE) - IEEE (2019)
Casini, Daniel; Biondi, Alessandro; Nelissen, Geoffrey; Buttazzo, Giorgio
Partitioned Fixed-Priority Scheduling of Parallel Tasks Without Preemptions
421 - 433 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2019)
Volume nr. :127
Casini, Daniel; Biondi, Alessandro; Nelissen, Geoffrey; Buttazzo, Giorgio
Memory Feasibility Analysis of Parallel Tasks Running on Scratchpad-Based Architectures
312 - 324 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2019)
Volume nr. :127
Casini, D.; Biondi, A.; Buttazzo, G.
Analyzing parallel real-time tasks implemented with thread pools
1 - 6 Proceedings - Design Automation Conference - Institute of Electrical and Electronics Engineers Inc. (2019)
Pagani, M.; Rossi, E.; Biondi, A.; Marinoni, M.; Lipari, G.; Buttazzo, G.
A bandwidth reservation mechanism for axi-based hardware accelerators on FPGAs
1 - 24 Leibniz International Proceedings in Informatics, LIPIcs - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2019)
Volume nr. :127
Nelissen, Geoffrey; Biondi, Alessandro
The SRP Resource Sharing Protocol for Self-Suspending Tasks
361 - 372 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2019)
Volume nr. :127
Pazzaglia, P; Biondi, A; Di Natale, M
Simple and General Methods for Fixed-Priority Schedulability in Optimization Problems
1543 - 1548 - IEEE (2019)
Pazzaglia, Paolo; Biondi, Alessandro; DI NATALE, Marco
Optimizing the Functional Deployment on Multicore Platforms with Logical Execution Time
Proceedings 40th IEEE Real-Time Systems Symposium - IEEE (2019)
Vitucci, Carlo; Abeni, Luca; Cucinotta, Tommaso; Marinoni, Mauro
The Strategic Role of Inter-Container Communications in RAN Deployment Scenarios
Proceedings of the International Symposium on Advances in Software Defined Networking and Network Functions Virtualization (SOFTNETWORKING 2019) - IARIA XPS press (2019)
Cucinotta, T.; Abeni, L.; Marinoni, M.; Balsini, A.; Vitucci, C.
Reducing Temporal Interference in Private Clouds through Real-Time Containers
124 - 131 Proceedings - 2019 IEEE International Conference on Edge Computing, EDGE 2019 - Part of the 2019 IEEE World Congress on Services - Institute of Electrical and Electronics Engineers Inc. (2019)
Donnarumma, C.; Fara, P.; Serra, G.; Di Leonardi, S.; Marinoni, M.
En-50128 certification-oriented design of a safety-critical hard real-Time kernel
314 - 317 Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 - Institute of Electrical and Electronics Engineers Inc. (2019)
Ara, Gabriele; Abeni, Luca; Cucinotta, Tommaso; Vitucci, Carlo
On the Use of Kernel Bypass Mechanisms for High-Performance Inter-container Communications
1 - 12 High Performance Computing - Springer International Publishing (2019)
Volume nr. :127
de Oliveira, D. B.; Cucinotta, T.; de Oliveira, R. S.
Efficient Formal Verification for the Linux Kernel
315 - 332 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Springer Verlag (2019)
Volume nr. :127
De Oliveira, D. B.; De Oliveira, R. S.; Cucinotta, T.
Untangling the intricacies of thread synchronization in the PREEMPT-RT linux kernel
1 - 9 Proceedings - 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019 - Institute of Electrical and Electronics Engineers Inc. (2019)
Ruscelli, A. L.; Fichera, S.; Paolucci, F.; Giorgetti, A.; Castoldi, P.; Cugini, F.
Introducing network softwarization in next-generation railway control systems
1 - 7 MT-ITS 2019 - 6th International Conference on Models and Technologies for Intelligent Transportation Systems - Institute of Electrical and Electronics Engineers Inc. (2019)
Casini, D.; Blass, T.; Lutkebohle, I.; Brandenburg, B. B.
Response-time analysis of ROS 2 processing chains under reservation-based scheduling
- Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2019)
Volume nr. :127
Pazzaglia, P.; Mandrioli, C.; Maggio, M.; Cervin, A.
DMAC: Deadline-miss-aware control
Leibniz International Proceedings in Informatics, LIPIcs - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2019)
Volume nr. :127
Cervin, Anton; Pazzaglia, Paolo; Barzegaran, Mohammadreza; Mahfouzi, Rouhollah
Using JitterTime to Analyze Transient Performance in Adaptive and Reconfigurable Control Systems
1025 - 1032 Proceedings of the 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - IEEE (2019)
Abeni, L.; Faggioli, D.
An experimental analysis of the xen and KVM latencies
18 - 26 Proceedings - 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing, ISORC 2019 - Institute of Electrical and Electronics Engineers Inc. (2019)
Vannocci, Marco; Ritacco, Antonio; Castellano, Angelo; Galli, Filippo Nazzareno; Vannucci, Marco; Iannino, Vincenzo; Colla, Valentina
Flatness Defect Detection and Classification in Hot Rolled Steel Strips Using Convolutional Neural Networks
220 - 234 Proceedings of the 15th International Work-Conference on Artificial Neural Networks, IWANN 2019 - Springer Verlag (2019)
Volume nr. :127
Napolitano, A.; Giannone, F.; Civerchia, F.; Kondepu, K.; Cecchetti, G.; Ruscelli, A.; Valcarenghi, L.; Castoldi, P.
Italian 5G Trials: A Vertical View
1 - 5 Proceedings of 2018 IEEE 4th International Forum on Research and Technology for Society and Industry (RTSI) - IEEE (2018)
Castoldi, P.; Giorgetti, A.; Sgambelluri, A.; Cecchetti, G.; Ruscelli, A.; Sambo, N.; Paolucci, F.; Morea, A.; Cerutti, I.; Cugini, F.
Optical White Box: Modeling and Implementation
1 - 4 International Conference on Transparent Optical Networks - IEEE Computer Society (2018)
Volume nr. :127
Cicero, Giorgiomaria; Biondi, Alessandro; Buttazzo, Giorgio Carlo
Reconciling security with virtualization: A dual-hypervisor design for ARM TrustZone
1628 - 1633 Proceedings of the IEEE International Conference on Industrial Technology - Institute of Electrical and Electronics Engineers Inc. (2018)
Volume nr. :127
Pazzaglia, Paolo; Buttazzo, Giorgio Carlo; DI NATALE, Marco; Secchiari, Matteo
A framework for the co-simulation of engine controls and task scheduling
438 - 452 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Springer Verlag (2018)
Volume nr. :127
Modica, Paolo; Biondi, Alessandro; Buttazzo, Giorgio Carlo; and Anup Patel,
Supporting temporal and spatial isolation in a hypervisor for ARM multicore platforms
1651 - 1657 Proceedings of the IEEE International Conference on Industrial Technology - Institute of Electrical and Electronics Engineers Inc. (2018)
Volume nr. :127
Pazzaglia, Paolo; Pannocchi, Luigi; Biondi, Alessandro; DI NATALE, Marco
Beyond the weakly hard model: Measuring the performance cost of deadline misses
Leibniz International Proceedings in Informatics, LIPIcs - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2018)
Volume nr. :106
Biondi, Alessandro; DI NATALE, Marco
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm
240 - 250 Proceedings of 24th IEEE Real-Time and Embedded Technology and Applications Symposium - IEEE (2018)
Schumacher, Michael; Dragoni, Aldo F.; Sernani, Paolo; Marinoni, Mauro; Lustrissimi, Luca; Appoggetti, Kevin; Calvaresi, Davide
Multi-Agent Systems' Negotiation Protocols for Cyber-Physical Systems: Results from a Systematic Literature Review
224 - 235 Proceedings of the 10th International Conference on Agents and Artificial Intelligence - Scitepress (2018)
Cucinotta, Tommaso; Abeni, Luca; Marinoni, Mauro; Vitucci, Carlo
The Importance of Being OS-aware - In Performance Aspects of Cloud Computing Research
626 - 633 Proceedings of the 8th International Conference on Cloud Computing and Services Science - Science and Technology Publications, Lda (2018)
Marinoni, Mauro; Cucinotta, Tommaso; Abeni, Luca; Vitucci, Carlo
Allocation and Control of Computing Resources for Real-time Virtual Network Functions
52 - 57 ICN 2018, The Seventeenth International Conference on Networks - IARIA (2018)
Cucinotta, Tommaso; Abeni, Luca; Marinoni, Mauro; Balsini, Alessio; Vitucci, Carlo
Virtual Network Functions as Real-time Containers in Private Clouds
916 - 919 IEEE 11th International Conference on Cloud Computing (CLOUD 2018) - IEEE Press (2018)
Calvaresi, Davide; Albanese, Giuseppe; Marinoni, Mauro; Dubosson, Fabien; Sernani, Paolo; Dragoni, ALDO FRANCO; Schumacher, Michael
Timing reliability for local schedulers in multi-agent systems
1 - 15 Proceedings of the 1st International Workshop on Real-Time Compliant Multi-Agent Systems, RTcMAS 2018 - CEUR-WS.org (2018)
Volume nr. :127
Abeni, L.; Balsini, A.; Cucinotta, T.
Container-Based Real-Time Scheduling in the Linux Kernel
Proceedings of the International Workshop on Embedded Operating Systems (EWILI 2018) - ACM (2018)
BRISTOT DE OLIVEIRA, Daniel; Casini, Daniel; Romulo Silva de Oliveira, ; Cucinotta, Tommaso; Alessandro Biondi and Giorgio Buttazzo,
Nested Locks in the Lock Implementation: The Real-Time Read-Write Semaphores on Linux
Proceedings of the International Real-Time Scheduling Open Problems Seminar (RTSOPS 2018) - Virginia Tech, USA and University of Lorraine, France (2018)
Sun, Youcheng; Di Natale, Marco
Assessing the pessimism of current multicore global fixed-priority schedulability analysis
575 - 583 Proceedings of the ACM Symposium on Applied Computing - ACM (2018)
Balsini, Alessio; Pannocchi, Luigi; Cucinotta, Tommaso
Modeling and simulation of power consumption and execution times for real-time tasks on embedded heterogeneous architectures
Proceedings of the International Workshop on Embedded Operating Systems (EWILI 2018) - ACM (2018)
Thenius, R.; Moser, D.; Varughese, J. C.; Kernbach, S.; Kuksin, I.; Kernbach, O.; Kuksina, E.; Micˇskovic´, N.; Bogdan, S.; Petrovic´, T.; Babi´, A.; Boyer, F.; Lebastard, V.; Bazeille, S.; Ferrari, G. W.; Donati, E.; Pelliccia, R.; Romano, D.; Van Vu
subCULTron - Cultural Development as a Tool in Underwater Robotics
27 - 41 - Springer (2018)
Volume nr. :127
Brandberg, Caroline; Di Natale, Marco
A SimEvents Model for the Analysis of Scheduling and Memory Access Delays in Multicores
1 - 10 Proceedings 13th IEEE International Symposium on Industrial Embedded Systems - IEEE (2018)
Calvaresi, Davide; Albanese, Giuseppe; Dubosson, Fabien; Marinoni, Mauro; Schumacher, Michael
A task-sets generator for supporting the analysis of multi-agent systems under general purpose and real-time conditions
31 - 44 CEUR Workshop Proceedings - CEUR-WS (2018)
Volume nr. :127
BRISTOT DE OLIVEIRA, Daniel; Cucinotta, Tommaso; Silva de Oliveira, Romulo
Modeling the Behavior of Threads in the PREEMPT_RT Linux Kernel Using Automata
63 - 68 Proceedings of the International Workshop on Embedded Operating Systems (EWILI 2018) - ACM (2018)
Volume nr. :16
Issue nr. :3
DI FRANCO, Carmelo; Bini, Enrico; Marinoni, Mauro; Buttazzo, Giorgio Carlo
Multidimensional scaling localization with anchors
49 - 54 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC 2017) - IEEE Press (2017)
Ruscelli, Anna Lina; Cecchetti, Gabriele; Sgambelluri, Andrea; Cugini, Filippo; Giorgetti, Alessio; Paolucci, Francesco; Fichera, Silvia; Castoldi, Piero
Wireless communications in railway systems
19 - 24 5th International Conference on Mobile Services, Resources, and Users (MOBILITY) - IARIA (2017)
Cucinotta, Tommaso; Marinoni, Mauro; Melani, Alessandra; Parri, Andrea; Vitucci, Carlo
Temporal Isolation Among LTE/5G Network Functions by Real-time Scheduling
340 - 347 Proceedings of the 7th IEEE International Conference on Cloud Computing and Services Science (CLOSER 2017) - SCITEPRESS - Science and Technology Publications, Lda (2017)
Volume nr. :1
Biondi, Alessandro; Balsini, Alessio; Pagani, Marco; Rossi, Enrico; Marinoni, Mauro; Buttazzo, Giorgio Carlo
A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs
1 - 12 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2017)
Pannocchi, Luigi; Marinoni, Mauro; Buttazzo, Giorgio Carlo
Hardware-in-the-loop development framework for multi-vehicle autonomous systems
17 - 22 IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC 2017) - IEEE Press (2017)
Casini, Daniel; Abeni, Luca; Biondi, Alessandro; Cucinotta, Tommaso; Buttazzo, Giorgio
Constant bandwidth servers with constrained deadlines
68 - 77 Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS 2017) - ACM (2017)
Casini, Daniel; Biondi, Alessandro; Buttazzo, Giorgio Carlo
Semi-Partitioned Scheduling of Dynamic Real-Time Workload: A Practical Approach Based on Analysis-Driven Load Balancing
Proceedings of the 29th Euromicro Conference on Real-Time Systems (ECRTS 2017) - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing (2017)
Volume nr. :76
Issue nr. :13
Pagani, Marco; Balsini, Alessio; Biondi, Alessandro; Marinoni, Mauro; Buttazzo, Giorgio
A Linux-based support for developing real-time applications on heterogeneous platforms with dynamic FPGA reconfiguration
96 - 101 Proceedings of the 30th IEEE International System-on-Chip Conference (SOCC) - IEEE (2017)
Biondi, Alessandro; Buttazzo, Giorgio
Timing-Aware FPGA partitioning for real-Time applications under dynamic partial reconfiguration
172 - 179 2017 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2017 - Institute of Electrical and Electronics Engineers Inc. (2017)
Calvaresi, Davide; Schumacher, Michael; Marinoni, Mauro; Hilfiker, Roger; Dragoni, Aldo F.; Buttazzo, Giorgio
Agent-based systems for telerehabilitation: strengths, limitations and future challenges
3 - 24 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Springer Verlag (2017)
Volume nr. :127
Calvaresi, Davide; Marinoni, Mauro; Sturm, Arnon; Schumacher, Michael; Buttazzo, Giorgio
The challenge of real-Time multi-Agent systems for enabling IoT and CPS
356 - 364 Proceedings - 2017 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2017 - Association for Computing Machinery, Inc (2017)
Biondi, Alessandro; Brandenburg, Björn B.; Wieder, Alexander
A Blocking Bound for Nested FIFO Spin Locks
291 - 302 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2017)
de Oliveira, Daniel B.; de Oliveira, Romulo S.; Cucinotta, Tommaso; Abeni, Luca
Automata-based modeling of interrupts in the Linux PREEMPT RT kernel
1 - 8 Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2017) - IEEE (2017)
Civerchia, Federico; Bocchino, Stefano; Salvadori, Claudio; Rossi, Enrico; Maggiani, Luca; Petracca, Matteo
Industrial Internet of Things monitoring solution for advanced predictive maintenance applications
4 - 12 - Elsevier B.V. (2017)
Volume nr. :7
Marino, Francesco; Maggiani, Luca; Nao, Laura; Paganoy, Paolo; Petracca, Matteo
Towards softwarization in the IoT: Integration and evaluation of t-res in the oneM2M architecture
1 - 5 2017 IEEE Conference on Network Softwarization: Softwarization Sustaining a Hyper-Connected World: en Route to 5G, NetSoft 2017 - Institute of Electrical and Electronics Engineers Inc. (2017)
Balsini, Alessio; Natale, Marco Di; Celia, Marco; Tsachouridis, Vassilios
Generation of simulink monitors for control applications from formal requirements
1 - 9 2017 12th IEEE International Symposium on Industrial Embedded Systems, SIES 2017 - Proceedings - Institute of Electrical and Electronics Engineers Inc. (2017)
Bernardeschi, Cinzia; DI NATALE, Marco; Dini, Gianluca; Varano, Dario
Modeling and generation of secure component communications in AUTOSAR
1473 - 1480 Proceedings of the ACM SAC Conference - ACM (2017)
Perillo, David; Natale, Marco Di
Using MDA to Automate the Integration of Virtual Platforms for System-Level Simulation
268 - 277 Proceedings - International Computer Software and Applications Conference - IEEE Computer Society (2017)
Volume nr. :1
Frãas, Bernardo Villalba; Palopoli, Luigi; Abeni, Luca; Fontanelli, Daniele
Probabilistic real-time guarantees: There is life beyond the i.i.d. assumption (outstanding paper)
175 - 186 Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS - Institute of Electrical and Electronics Engineers Inc. (2017)
Abeni, Luca; Fontanelli, Daniele; Palopoli, Luigi; Villalba FrÃas, Bernardo
A Markovian model for the computation time of real-time applications
1 - 6 I2MTC 2017 - 2017 IEEE International Instrumentation and Measurement Technology Conference, Proceedings - Institute of Electrical and Electronics Engineers Inc. (2017)
Zahaf, Houssam-Eddine; Lipari, Giuseppe; Abeni, Luca
Migrate when necessary
138 - 147 Proceedings of the 25th International Conference on Real-Time Networks and Systems - ACM (2017)
Cecchetti, Gabriele; Cugini, Filippo; Paolucci, Francesco; Castoldi, Piero; Giorgetti, Alessio
Introducing database communication technologies for TED replication in multi-domain networks
203 - 208 Proceedings of 2016 8th International Workshop on Resilient Networks Design and Modeling, RNDM 2016 - Institute of Electrical and Electronics Engineers Inc. (2016)
Paolucci, Francesco; Cugini, Filippo; Cecchetti, Gabriele; Castoldi, Piero
Open database for interconnected traffic engineered multi-layer networks
2016 Optical Fiber Communications Conference and Exhibition, OFC 2016 - Institute of Electrical and Electronics Engineers Inc. (2016)
Abeni, Luca; Lipari, Giuseppe; Parri, Andrea; Sun, Youcheng
Multicore CPU reclaiming: Parallel or sequential?
1877 - 1884 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2016)
Volume nr. :4
Biondi, Alessandro; DI NATALE, Marco; Buttazzo, Giorgio Carlo
Performance-driven Design of Engine Control Tasks
Proceedings ICCPS Conference - IEEE (2016)
Buonocunto, Pasquale; Biondi, Alessandro; Pagani, Marco; Marinoni, Mauro; Buttazzo, Giorgio Carlo
ARTE: Arduino real-time extension for programming multitasking applications
1724 - 1731 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2016)
Calvaresi, Davide; Sernani, Paolo; Marinoni, Mauro; Claudi, Andrea; Balsini, Alessio; Dragoni, Aldo Franco; Buttazzo, Giorgio Carlo
A framework based on real-time OS and multi-agents for intelligent autonomous robot competitions
1 - 10 Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems (SIES 2016) - IEEE Publishing (2016)
Apuzzo, Vincenzo; Biondi, Alessandro; Buttazzo, Giorgio Carlo
OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling
1 - 11 2016 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2016 - Proceedings - Institute of Electrical and Electronics Engineers Inc. (2016)
Biondi, Alessandro; Buttazzo, Giorgio Carlo
Real-time analysis of engine control applications with speed estimation
193 - 198 Proceedings of the 2016 Design, Automation and Test in Europe Conference and Exhibition, DATE 2016 - Institute of Electrical and Electronics Engineers Inc. (2016)
Biondi, Alessandro; Buttazzo, Giorgio; Bertogna, Marko
Partitioning and interface synthesis in hierarchical multiprocessor real-time systems
257 - 266 ACM International Conference Proceeding Series - Association for Computing Machinery (2016)
Volume nr. :19
Biondi, Alessandro; DI NATALE, Marco; Sun, Youcheng; Botta, Stefania
Moving from Single-Core to Multicore: Initial Findings on a Fuel Injection Case Study
Proceedings of the SAE Conference - SAE International (2016)
Biondi, Alessandro; Brandenburg, Bjorn B.
Lightweight Real-Time Synchronization under P-EDF on Symmetric and Asymmetric Multiprocessors
39 - 49 Proceedings - Euromicro Conference on Real-Time Systems - Institute of Electrical and Electronics Engineers Inc. (2016)
Volume nr. :127
Civerchia, Federico; Rossi, E.; Maggiani, L.; Bocchino, S.; Salvadori, C.; Petracca, M.
Lightweight error correction technique in industrial IEEE802.15.4 networks
6044 - 6048 IECON Proceedings (Industrial Electronics Conference) - IEEE Computer Society (2016)
DI NATALE, Marco; Silva, Celso Luiz Mendes da; Santos, Max Mauro Dias
On the applicability of an MILP solution for signal packing in CAN-FD
Proceedings of the INDIN 2016 Conference - IEEE (2016)
Cremona, Fabio; Lohstroh, Marten; Broman, David; DI NATALE, Marco; Lee, Edward A.; Tripakis, Stavros
Step revision in hybrid Co-simulation with FMI
173 - 183 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016 - Institute of Electrical and Electronics Engineers Inc. (2016)
Abeni, Luca; Fontanelli, Daniele; Palopoli, Luigi; Frías, Bernardo Villalba
Probabilistic analysis of bufferless pipelines of real-time tasks
1751 - 1758 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2016)
Volume nr. :4
Marinoni, Mauro; Franchino, Gianluca; Cesarini, Daniel; Biondi, Alessandro; Buonocunto, Pasquale; Buttazzo, Giorgio Carlo
Dual-protocol support for Bluetooth LE devices
919 - 922 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) - IEEE Computer Society Press (2015)
Parri, Andrea; Biondi, Alessandro; Marinoni, Mauro
Response time analysis for G-EDF and G-DM scheduling of sporadic DAG-tasks with arbitrary deadline
205 - 214 RTNS '15 Proceedings of the 23rd International Conference on Real Time and Networks Systems - Association for Computing Machinery (2015)
Cempini, Marco; Marconi, Dario; Muscolo, Marco; Moise, Matteo; Fantozzi, Matteo; Cortese, Mario; Parri, Andrea; Yan, Tingfang; Crea, Simona; Giovacchini, Francesco; Posteraro, Federico; Carrozza, Maria Chiara; Vitiello, Nicola
Relevance of Series-Elastic actuation in rehabilitation and assistance robotic: Two cases of study
76 - 81 2015 IEEE 1st International Forum on Research and Technologies for Society and Industry, RTSI 2015 - Proceedings - Institute of Electrical and Electronics Engineers Inc. (2015)
Biondi, Alessandro; DI NATALE, Marco; Buttazzo, Giorgio Carlo
Response-Time analysis for real-Time tasks in engine control applications
120 - 129 ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015 - Association for Computing Machinery, Inc (2015)
Cesarini, Daniel; Calvaresi, Davide; Marinoni, Mauro; Buonocunto, Paquale; Buttazzo, Giorgio Carlo
Simplifying Tele-rehabilitation Devices for Their Practical Use in Non-clinical Environments
479 - 490 Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings - Springer International Publishing (2015)
Volume nr. :127
Calvaresi, Davide; Cesarini, Daniel; Marinoni, Mauro; Buonocunto, Paquale; Bandinelli, Stefania; Buttazzo, Giorgio Carlo
Non-intrusive Patient Monitoring for Supporting General Practitioners in Following Diseases Evolution
491 - 501 Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. Proceedings - Springer International Publishing (2015)
Volume nr. :127
Biondi, Alessandro; Buttazzo, Giorgio Carlo; Simoncelli, Stefano
Feasibility Analysis of Engine Control Tasks under EDF Scheduling
139 - 148 Proceedings - Euromicro Conference on Real-Time Systems - Institute of Electrical and Electronics Engineers Inc. (2015)
Volume nr. :127
Biondi, Alessandro; Buttazzo, Giorgio Carlo; Bertogna, Marko
Supporting Component-Based Development in Partitioned Multiprocessor Real-Time Systems
269 - 280 Proceedings - Euromicro Conference on Real-Time Systems - Institute of Electrical and Electronics Engineers Inc. (2015)
Volume nr. :127
Biondi, Alessandro; Buttazzo, Giorgio Carlo
Engine Control: Task Modeling and Analysis
525 - 530 Proceedings of Design, Automation & Test in Europe Conference & Exhibition (DATE), 2016 - IEEE (2015)
DI FRANCO, Carmelo; Melani, Alessandra; Marinoni, Mauro
Solving ambiguities in MDS relative localization
230 - 236 2015 International Conference on Advanced Robotics (ICAR) - IEEE Computer Society Press (2015)
Serrano, Maria A.; Melani, Alessandra; Vargas, Roberto; Marongiu, Andrea; Bertogna, Marko; Quiñones, Eduardo
Timing characterization of OpenMP4 tasking model
157 - 166 2015 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2015 - Institute of Electrical and Electronics Engineers Inc. (2015)
Maria A., Serrano; Melani, Alessandra; Marko, Bertogna; Eduardo, Quiñones
Response-time analysis of DAG tasks under fixed priority scheduling with limited preemptions
- IEEE (2015)
Melani, Alessandra; Renato, Mancuso; Daniel, Cullina; Marco, Caccamo; Lothar, Thiele
Speed Optimization for Tasks with Two Resources
- IEEE (2015)
Biondi, Alessandro; Balsini, Alessio; Marinoni, Mauro
Resource reservation for real-time self-suspending tasks: Theory and Practice
97 - 106 RTNS '15 Proceedings of the 23rd International Conference on Real Time and Networks Systems - Association for Computing Machinery (2015)
Al Bayati, Zaid; Sun, Youcheng; Zeng, Haibo; DI NATALE, Marco; Zhu, Qi; Meyer, Brett
Task placement and selection of data consistency mechanisms for real-time multicore applications
172 - 181 Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS - Institute of Electrical and Electronics Engineers Inc. (2015)
Volume nr. :127
DI FRANCO, Carmelo; Buttazzo, Giorgio Carlo
Energy-aware coverage path planning of UAVs
111 - 117 Proceedings - 2015 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2015 - Institute of Electrical and Electronics Engineers Inc. (2015)
Cremona, Fabio; Morelli, Matteo; DI NATALE, Marco
TRES: A modular representation of schedulers, tasks, and messages to control simulations in simulink
1940 - 1947 Proceedings of the ACM Symposium on Applied Computing - Association for Computing Machinery (2015)
Volume nr. :13
Deng, Peng; Zhu, Qi; Cremona, Fabio; DI NATALE, Marco; Zeng, Haibo
A model-Based synthesis flow for automotive CPS
198 - 207 ACM/IEEE 6th International Conference on Cyber-Physical Systems, ICCPS 2015 - Association for Computing Machinery, Inc (2015)
Morelli, Matteo; Seddik, Yasmina; DI NATALE, Marco; Mraidha, Chokri; TUCCI PIERGIOVANNI, Sara
Simulation-driven optimization of real-time control tasks
991 - 1000 Proceedings - 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security and 2015 IEEE 12th International Conference on Embedded Software and Systems, H - Institute of Electrical and Electronics Engineers Inc. (2015)
Buttazzo, Giorgio Carlo; Bini, Enrico; Darren, Buttle
Rate-Adaptive Tasks: Model, Analysis, and Design Issues
Proceedings of the Design, Automation & Test in Europe Conference - IEEE (2014)
Amir, Aminifar; Bini, Enrico; Petru, Eles; Zebo, Peng
Bandwidth-Efficient Controller-Server Co-Design with Stability Guarantees
Proceedings of the Design, Automation & Test in Europe Conference - IEEE (2014)
Yang, Xu; Karl Erik, Årzén; Bini, Enrico; Anton, Cervin
Response Time Driven Design of Control Systems
Proceedings of the 19th IFAC World Congress - International Federation of Automatic Control (IFAC) (2014)
Biondi, Alessandro; Melani, Alessandra; Bertogna, Marko; Buttazzo, Giorgio Carlo
Optimal Design for Reservation Servers under Shared Resources
Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS 2014) - IEEE Computer Society (2014)
Bambagini, Mario; Buttazzo, Giorgio Carlo; Bertogna, Marko
On the Effectiveness of Energy-Aware Real-Time Scheduling Algorithms on Single-Core Platforms
Proceedings of the 19th IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2014) - IEEE Computer Society (2014)
DI FRANCO, Carmelo; Franchino, Gianluca; Marinoni, Mauro
Data Fusion for Relative Localization of Wireless mobile nodes
58 - 65 Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014) - IEEE Computer Society (2014)
C., Vitucci; Lelli, Juri; Parri, Andrea; Marinoni, Mauro
A Linux-based Virtualized Solution Providing Computing Quality of Service to SDN-NFV Telecommunication Applications
Proceedings of the 16th Real Time Linux Workshop (RTLWS 2014) - OSADL (2014)
Parri, Andrea; Marinoni, Mauro; Lelli, Juri; Lipari, Giuseppe
An implementation of a multiprocessor bandwidth reservation mechanism for groups of tasks
Proceedings of the 16th Real Time Linux Workshop (RTLWS 2014) - OSADL (2014)
Biondi, Alessandro; Melani, Alessandra; Marinoni, Mauro; DI NATALE, Marco; Buttazzo, Giorgio Carlo
Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority Scheduling
165 - 174 Proceedngs Conferenza Euromicro ECRTS 2014 - IEEE Computer Society (2014)
Cesarini, Daniel; Buonocunto, Pasquale; Marinoni, Mauro; Buttazzo, Giorgio Carlo
A Telerehabilitation Framework for Lower-Limb Functional Recovery
Proceedings of the 9th International Conference on Body Area Networks - IEEE Computer Society (2014)
Biondi, Alessandro; Melani, Alessandra; Bertogna, Marko
Hard Constant Bandwidth Server: Comprehensive formulation and critical scenarios
29 - 37 Proceedings of the 9th International Symposium on Industrial Embedded Systems - IEEE Computer Society (2014)
Carnevali, Laura; Melani, Alessandra; Santinelli, Luca; Lipari, Giuseppe
Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis
299 - 308 Proceedings of the 22nd International Conference on Real-Time Networks and Systems - ACM (2014)
Buonocunto, Pasquale; Marinoni, Mauro
Tracking limbs motion using a wireless network of inertial measurement units
66 - 76 Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014) - IEEE Computer Society (2014)
F., Chiumeo; F., Sernissi; Brondi, Raffaello; Marinoni, Mauro; S., Girardi
Improving self-management of migraine through a mHealth PHR-interoperable solution
Proceedings of the 2nd International Workshop on Personal Health Records and Patient-oriented Infrastruttures (PHR 14) - University of Trento (2014)
Cucinotta, Tommaso; Lugones, Diego; Cherubini, Davide; Jul, Eric
Data centre optimisation enhanced by software defined networking
136 - 143 IEEE International Conference on Cloud Computing, CLOUD - IEEE Computer Society (2014)
Cucinotta, Tommaso; Lugones, Diego; Cherubini, Davide; Oberle, Karsten
Brokering SLAs for end-to-end QoS in cloud computing
610 - 615 CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science - SCITEPRESS - Science and Technology Publications, Lda (2014)
Cucinotta, Tommaso; Cherubini, Davide; Jul, Eric
Confidential execution of cloud services
616 - 621 CLOSER 2014 - Proceedings of the 4th International Conference on Cloud Computing and Services Science - SCITEPRESS - Science and Technology Publications, Lda (2014)
Peng, Deng; Qi, Zhu; DI NATALE, Marco; Haibo, Zeng
Task Synthesis for Latency-sensitive Synchronous Block Diagrams
Proceedings of the SIES Conference 2014 - IEEE Computer Society (2014)
Morelli, Matteo; DI NATALE, Marco
An MDE Approach for the Design of Platform-Aware Controls in Performance-Sensitive Applications
Proceedings of the ETFA Conference 2014 - IEEE Computer Society (2014)
DI NATALE, Marco; Francesco, Chirico; Andrea, Sindico; Alberto Sangiovanni, Vincentelli
An MDA Approach for the Generation of Communication Adapters Integrating SW and FW Components from Simulink
Procesdings of the MODELS conference - IEEE Computer Society (2014)
Morelli, Matteo; Cremona, Fabio; DI NATALE, Marco
A System-level Framework for the Evaluation of the Performance Cost of Scheduling and Communication Delays in Control Systems
Proceedings of the 5th WATERS Workshop - workshop organizers (2014)
DI NATALE, Marco; Alberto Sangiovanni, Vincentelli
Are we done with small CPS? Challenges and Rewards in today’s system(s).
Proceedings of the CPS20 Workshop - Workshop organizers (2014)
David, Perillo; DI NATALE, Marco
An MDA Approach for the Generation of Glue Code for a Virtual Simulation Environment
WiP Session of the SIES Conference 2014 - Conference Organizers (2014)
E., Wozniak; DI NATALE, Marco; H., Zeng; C., Mraidha; S., Tucci; S., Gerard
Assigning Time Budgets to Component Functions in the Design of Time-Critical Automotive Systems
Proceedings of the ASE Conference - ACM (2014)
Morelli, Matteo; DI NATALE, Marco
Control and Scheduling Co-Design for a Simulated Quadcopter Robot: A Model-Driven Approach
Proceedings of the Simpar Conference - Springer (2014)
Bonelli, Nicola; Giordano, Stefano; Procissi, Gregorio; Abeni, Luca
A purely functional approach to packet processing
219 - 230 ANCS 2014 - 10th 2014 ACM/IEEE Symposium on Architectures for Networking and Communications Systems - Association for Computing Machinery, Inc (2014)
Erculiani, Fabio; Abeni, Luca; Palopoli, Luigi
UBuild: Automated testing and performance evaluation of embedded linux systems
123 - 134 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Springer Verlag (2014)
Volume nr. :127
G. C., Chasparis; M., Maggio; K. E., Årzén; Bini, Enrico
Distributed Management of CPU Resources for Time-Sensitive Applications
5305 - 5312 Proceedings of the 2013 American Control Conference - AACC American Automatic Control Council (2013)
M., Maggio; Bini, Enrico; G. C., Chasparis; K. E., Årzén
A Game-Theoretic Resource Manager for RT Applications
57 - 66 Proceedings of the 25th Euromicro Conference on Real-Time Systems - IEEE (2013)
Cecchetti, Gabriele; Ruscelli, Anna Lina; Cugini, Filippo; Castoldi, Piero
An implementation of EURORADIO protocol for ERTMS systems
354 - 363 ICREM 2013 In Proceedings of International Conference on Railway Engineering and Management - World Academy of Science, Engineering and Technology (WASET) (2013)
Volume nr. :7
Issue nr. :6
Bambagini, Mario; Bertogna, Marko; Marinoni, Mauro; Buttazzo, Giorgio Carlo
An Energy-Aware Algorithm Exploiting Limited Preemptive Scheduling under Fixed Priorities
3 - 12 Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems - IEEE Computer Society (2013)
Parri, Andrea; Lelli, Juri; Marinoni, Mauro; Lipari, Giuseppe
An implementation of the Bandwidth Inheritance Protocol in the Linux Kernel
Proceedings of the 15th Real Time Linux Workshop (RTLWS 2013) - OSADL (2013)
Buttazzo, Giorgio Carlo; Lipari, Giuseppe
Ptask: an Educational C Library for Programming Real-Time Systems on Linux
Proceedings of the 18th IEEE Conference on Emerging Technologies and Factory Automation - IEEE Computer Society (2013)
Buttazzo, Giorgio Carlo; Lipari, Giuseppe
Ptask: An Educational C Library for Programming Real-Time Systems on Linux
1 - 8 18th IEEE International Conference on Emerging Technologies and Factory Automation - IEEE - IES (2013)
Bambagini, Mario; Lelli, Juri; Buttazzo, Giorgio Carlo; Lipari, Giuseppe
On the Energy-Aware Partitioning of Real-Time Tasks on Homogeneous Multi-Processor Systems
69 - 74 Proceedings of the 4th International Conference on Energy Aware Computing Systems and Applications - IEEE (2013)
Melani, Alessandra; Noulard, Eric; Santinelli, Luca
Learning from probabilities: Dependences within real-time systems
1 - 8 Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation - IEEE Computer Society (2013)
S., Benedetto; Lipari, Giuseppe
A Minimal Object Oriented Real-Time Operating System in C++
- ACM (2013)
Oberle, Karsten; Cherubini, Davide; Cucinotta, Tommaso
End-to-end service quality for cloud applications
228 - 243 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Springer International Publishing (2013)
Volume nr. :127
Cucinotta, Tommaso
Priority Inheritance on Condition Variables
46 - 55 Proceedings of the 9th annual workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2013) - SYSGO AG (2013)
Cucinotta, Tommaso; Oberle, Karsten; Stein, Manuel; Domschitz, Peter; Mullender, Sape
Run-time Support for Real-Time Multimedia in the Cloud
31 - 46 Proceedings of the 2nd International Workshop on Real-time and distributed computing in emerging applications (REACTION 2013) - Universidad Carlos III de Madrid (2013)
Sun, Youcheng; R., Soulat; Lipari, Giuseppe; É., André; L., Fribourg
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
212 - 228 Second International Workshop on Formal Techniques for Safety-Critical Systems - Springer (2013)
Oliveira, Luis; DI FRANCO, Carmelo; Abrudan, Traian E.; Almeida, Luis
Fusing Time-of-Flight and Received Signal Strength for adaptive radio-frequency ranging
1 - 6 Proceedings of the 16th International Conference on Advanced Robotics (ICAR 2013 ) - IEEE Computer Society (2013)
L. Maggiani;C. Salvadori;M. Petracca;P. Pagano;R. Saletti
Reconfigurable FPGA Architecture for Computer Vision Applications in Smart Camera Networks
Distributed Smart Cameras (ICDSC), 2013 Seventh International Conference on - IEEE (2013)
Daniele Alessandrelli; Matteo Petracca; Paolo Pagano
T-Res: Enabling Reconfigurable In-network Processing in IoT-based WSNs2013 IEEE International Conference on Distributed Computing in Sensor Systems
337 - 344 2013 IEEE International Conference on Distributed Computing in Sensor Systems - (2013)
Andrea Azzara;Stefano Bocchino;Paolo Pagano;Giovanni Pellerano;Matteo Petracca
Middleware solutions in WSN: The IoT oriented approach in the ICSI project2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013)
1 - 6 2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013) - (2013)
Corsini, Raffaele; Cossu, Giulio; Pelliccia, Riccardo; Khalid, AMIR MASOOD; Ghibaudi, Marco; Petracca, Matteo; Pagano, Paolo; Ciaramella, Ernesto
Visible Light Communication for Car to Car and Car to Infrastructure Safety Critical Protocol Message Delivery
Fotonica Italian National Conference of Photonic Technologies - AEIT - Federazione Italiana di Elettrotecnica, Elettronica, Automazione, Informatica e Telecomunicazioni (2013)
DI NATALE, Marco; H., Zeng
Practical issues with the timing analysis of the Controller Area Network
Proceedings of the ETFA Conference 2013 - IEEE (2013)
H., Zeng; DI NATALE, Marco
Using Max-Plus Algebra to Improve the Analysis of Non-cyclic Task Models
Proceedings of the Euromicro Conference 2013 - IEEE (2013)
Asma, Mehiaoui; Ernest, Wozniak; Sara Tucci, Piergiovanni; Chokri, Mraidha; DI NATALE, Marco; Haibo, Zeng; Jean Philippe, Babau; Laurent, Lemarchand; Sébastien, Gerard
A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems
Proceedings of the LCTES Conference 2013 - ACM (2013)
Zaid Al, Bayati; Haibo, Zeng; DI NATALE, Marco; Zonghua, Gu
Multitask implementation of synchronous reactive models with Earliest Deadline First scheduling
Proceedings of the SIES Conference 2013 - IEEE (2013)
Chung Wei, Lin; DI NATALE, Marco; Haibo, Zeng; Linli Thi Xuan, Phan; Alberto Sangiovanni, Vincentelli
Timing analysis of process graphs with finite communication buffers
Proceedings of the RTAS Conference 2013 - IEEE (2013)
Qi, Zhu; Peng, Deng; DI NATALE, Marco; Haibo, Zeng
Robust and extensible task implementations of synchronous finite state machines
Proceedings of the DATE Conference 2013 - IEEE (2013)
B., Nahill; A., Ramdial; H., Zeng; DI NATALE, Marco; Z., Zilic
An FPGA Implementation of Wait-Free Data Synchronization Protocols
Proceedings of the ETFA Conference 2013 - IEEE (2013)
Morelli, Matteo; F., Moro; T., Rizano; D., Fontanelli; L., Palopoli; DI NATALE, Marco
A Robotic Vehicle Testbench for the Application of MBD-MDE Development Technologies
Proceedings of the WiP Session of the ETFA Conference 2013 - ETFA 2013 Organizers (2013)
Morelli, Matteo; DI NATALE, Marco
Generation of Flow-Preserving Orocos Implementations of Simulink/Scicos Models
Proceedings of the Workshop On Software Development and Integration in Robotics - IEEE (2013)
DI NATALE, Marco; Chuansheng, Dong; Haibo, Zeng
Reality Check: the Need for Benchmarking in RTS and CPS
Proceedings of the RTSOPS Workshop 2013 - Workshop Organizers (2013)
Bruno, Morelli; Riccardo, Schiavi; Claudio, Scordino; Paolo, Gai; DI NATALE, Marco
Automatic generation of controls code from models for real-time Linux platforms
Proceedings of the 15th Real Time Linux Workshop - Open Source Automation Development Lab (2013)
Fontanelli, Danile; Palopoli, Luigi; Abeni, Luca
The continuous stream model of computation for real-time control
150 - 159 Proceedings - Real-Time Systems Symposium - Institute of Electrical and Electronics Engineers Inc. (2013)
Artem, Burmyakov; Bini, Enrico; Eduardo, Tovar
The generalized multiprocessor periodic resource interface model for hierarchical multiprocessor scheduling
131 - 139 Proceedings of the 20th International Conference on Real-Time and Network Systems - ACM (2012)
Cecchetti, Gabriele; Ruscelli, Anna Lina; Mastropaolo, Antonia; Lipari, Giuseppe
Dynamic TXOP HCCA reclaiming scheduler with transmission time estimation for IEEE 802.11e real-time networks
239 - 246 MSWiM'12 - Proceedings of the 15th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems - ACM (2012)
Cecchetti, Gabriele; Ruscelli, Anna Lina; Mastropaolo, Antonia; Lipari, Giuseppe
Providing Variable TXOP for IEEE 802.11e HCCA Real-Time Networks
1508 - 1513 Wireless Communications and Networking Conference (WCNC), 2012 IEEE - IEEE (2012)
F., Prosperi; M., Bambagini; Buttazzo, Giorgio Carlo; Marinoni, Mauro; Franchino, Gianluca
Energy-aware algorithms for tasks and bandwidth co-allocation under real-time and redundancy constraints
IEEE 17th International Conference on Emerging Technologies and Factory Automation, ETFA 2012 - IEEE Computer Electronic Society (2012)
Franchino, Gianluca; Buttazzo, Giorgio Carlo
WBuST: A Real-Time Energy-Aware MAC layer Protocol for Wireless Embedded Systems
- IEEE Computer Electronic Society (2012)
Buttazzo, Giorgio Carlo; DI FRANCO, Carmelo; Marinoni, Mauro
Target-sensitive systems: Analysis and Implementation Issues
IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2012) - IEEE Industrial Electronic Society (2012)
M., Bambagini; M., Bertogna; Marinoni, Mauro; Buttazzo, Giorgio Carlo
On the Impact of Runtime Overhead on Energy-Aware Scheduling
- Lulu Enterprises (2012)
Konstanteli, Kleopatra; Cucinotta, Tommaso; Psychas, Konstantinos; Varvarigou, Theodora
Admission Control for Elastic Cloud Services
41 - 48 2012 IEEE Fifth International Conference on Cloud Computing - Institute of Electrical and Electronics Engineers (2012)
Corsini, Raffaele; Pelliccia, Riccardo; Cossu, Giulio; A. M., Khalid; Ghibaudi, Marco; Petracca, Matteo; Pagano, Paolo; Ciaramella, Ernesto
Free space optical communication in the visible bandwidth for V2V safety critical protocols
1097 - 1102 Proceedings of 8th International Wireless Communications and Mobile Computing Conference (IWCMC), 2012 - IEEE (2012)
D. Alessandrelli; A. Azzarà; M. Petracca; C. Nastasi; P. Pagano
ScanTraffic: Smart Camera Network for Traffic Information Collection
196 - 211 - Springer Verlag (2012)
D. Alessandrelli;L. Mainetti;L. Patrono;G. Pellerano;M. Petracca;M. L. Stefanizzi
Implementation and validation of an energy-efficient MAC scheduler for WSNs by a test bed approach
1 - 6 Software, Telecommunications and Computer Networks (SoftCOM), 2012 20th International Conference on - (2012)
Andrea Azzara;Daniele Alessandrelli;Stefano Bocchino;Paolo Pagano;Matteo Petracca
Architecture, Functional Requirements, and Early Implementation of an Instrumentation Grid for the IoT
320 - 327 2012 IEEE 14th International Conference on High Performance Computing and Communication & 2012 IEEE 9th International Conference on Embedded Software and Systems - (2012)
Pagano, Paolo; Salvadori, Claudio; Madeo, Simone; Petracca, Matteo; Bocchino, Stefano; Alessandrelli, Daniele; Azzara', Andrea; Ghibaudi, Marco; Giovanni, Pellerano; Pelliccia, Riccardo
A Middleware of Things for supporting distributed vision applications
- (2012)
Cosimo Salvatore; Stefano Bocchino; Matteo Petracca; Riccardo Pelliccia; Marco Ghibaudi; Paolo Pagano
WSN and RFID Integrated Solution for Advanced Safety Systems in Industrial Plants
- (2012)
Claudio Salvadori;Dimitrios Makris;Matteo Petracca;Jesus Martinez-del-Rincon;Sergio Velastin
Gaussian Mixture Background Modelling Optimisation for Micro-controllersAdvances in Visual Computing
241 - 251 Lecture Notes in Computer ScienceAdvances in Visual Computing - (2012)
Volume nr. :127
Claudio Salvadori;Matteo Petracca;Riccardo Pelliccia;Marco Ghibaudi;Paolo Pagano
Video streaming in wireless sensor networks with low-complexity change detection enforcement2012 2nd Baltic Congress on Future Internet Communications
8 - 13 2012 2nd Baltic Congress on Future Internet Communications - (2012)
DI NATALE, Marco; Haibo, Zeng
Efficient Implementation of AUTOSAR Components with Minimal Memory Usage
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12) - IEEE Computer Society (2012)
Haibo, Zeng; DI NATALE, Marco
Schedulability Analysis of Periodic Tasks Implementing Synchronous Finite State Machines
- IEEE Computer Society (2012)
H., Zeng; Q., Zhu; DI NATALE, Marco
Optimizing stack memory requirements for real-time embedded applications
- IEEE Industrial Electronics Society (2012)
M., Bambagini; DI NATALE, Marco
A Code Generation Framework for Distributed Real-Time Embedded Systems
- IEEE Industrial Electronics Society (2012)
A., Sindico; A., Sangiovanni Vincentelli; DI NATALE, Marco
An Industrial Application of a System Engineering Process Integrating Model-Driven Architecture and Model Based Design
Proceedings della Conferenza MODELS 2012 - IEEE Computer Society (2012)
Lipari, Giuseppe; Bini, Enrico
On the Problem of Allocating Multicore Resources to Real-Time Task Pipelines
- University of York (2011)
Bini, Enrico
Mapping real-time applications over multiprocessors
- none (2011)
Manel, Velasco; Pau, Marti; Jose, Yepez; Francisco J., Ruiz; Josep M., Fuertes; Bini, Enrico
Qualitative analysis of a one-step finite-horizon boundary for event-driven controllers
1662 - 1667 Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference - IEEE (2011)
Ruscelli, Anna Lina; Cecchetti, Gabriele; Mastropaolo, Antonia; Lipari, Giuseppe
A Greedy Reclaiming Scheduler for IEEE 802.11e HCCA Real-Time Networks
223 - 230 MSWiM '11 Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems - ACM (2011)
Cecchetti, Gabriele; Ruscelli, Anna Lina
Improving the design of wireless sensor networks using QoS-aware opportunistic techniques
171 - 178 Proceedings of the IADIS International Conference on Applied Computing 2011 - IADIS (2011)
Bertogna, Marko; Orges, Xhani; Marinoni, Mauro; Francesco, Esposito; Buttazzo, Giorgio Carlo
Optimal Selection of Preemption Points to Minimize Preemption Overhead
217 - 226 Proceedings of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011) - IEEE Press (2011)
Bertogna, Marko; Buttazzo, Giorgio Carlo; Gang, Yao
Improving Feasibility of Fixed Priority Tasks using Non-Preemptive Regions
Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS 2011) - IEEE Press (2011)
Marinoni, Mauro; Mario, Bambagini; Francesco, Prosperi; Francesco, Esposito; Franchino, Gianluca; Luca, Santinelli; Buttazzo, Giorgio Carlo
Platform-aware Bandwidth-oriented Energy Management Algorithm for Real-Time Embedded Systems
Proceedings of the 16th IEEE International Conference on Emerging Technology and Factory Automation (ETFA 2011) - IEEE Press (2011)
Buttazzo, Giorgio Carlo; Marinoni, Mauro; Franchino, Gianluca
Real-Time and Energy Issues in Mobile Health Monitoring Systems
Atti Congresso Nazionale AICA 2011 "Smart Tech & Smart Innovation" - AICA (2011)
Luca, Santinelli; Buttazzo, Giorgio Carlo; Bini, Enrico
Multi-Moded Resource Reservations
37 - 46 Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium - IEEE (2011)
P., Kumar; J. J., Chen; L., Thiele; A., Schranzhofer; Buttazzo, Giorgio Carlo
Real-Time Analysis of Servers for General Job Arrivals
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011) - IEEE Inc. (2011)
M., Bambagini; Marinoni, Mauro; F., Prosperi; Buttazzo, Giorgio Carlo
Energy Management for Tiny Real-Time Kernels
Proceedings of the 2nd International Conference on on Energy-Aware Computing (ICEAC 2011) - IEEE Inc. (2011)
Cucinotta, Tommaso; Checconi, Fabio; Dhaval, Giani
Improving Responsiveness for Virtualized Networking Under Intensive Computing Workloads
Proceedings of the 13th Real-Time Linux Workshop (RTLWS 2011) - Not Available (2011)
Cucinotta, Tommaso; Giani, Dhaval; Faggioli, Dario; Checconi, Fabio
Providing Performance Guarantees to Virtual Machines Using Real-Time Scheduling
657 - 664 Lecture Notes in Computer ScienceEuro-Par 2010 Parallel Processing Workshops - Springer-Verlag (2011)
Volume nr. :127
L., Carnevali; Lipari, Giuseppe; A., Pinzuti; E., Vicario
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems
118 - 131 Reliable Software Technologies – Ada-Europe 2011 - Springer-Verlag (2011)
Volume nr. :127
Anastasi, GAETANO FRANCESCO; Cucinotta, Tommaso; Lipari, Giuseppe; GARCIA VALLS, Marisol
A QoS registry for adaptive real-time service-oriented applications
1 - 8 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - IEEE Computer Society (2011)
Juri, Lelli; Lipari, Giuseppe; Dario, Faggioli; Cucinotta, Tommaso
An efficient and scalable implementation of global EDF in Linux
Proceedings of the 7th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2011) - n.a. (2011)
Sunil, Kumar; Cucinotta, Tommaso; Lipari, Giuseppe
A latency simulator for many-core systems
151 - 158 Proceedings of the 44th Annual Simulation Symposium (ANSS 2011) - Society for Computer Simulation International (2011)
Konstanteli, Kleopatra; Varvarigou, Theodora; Cucinotta, Tommaso
Probabilistic admission control for elastic cloud computing
1 - 4 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - IEEE Computer Society (2011)
Cucinotta, Tommaso; Anastasi, Gaetano F.
A heuristic for optimum allocation of real-time service workflows
1 - 4 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - IEEE Computer Society (2011)
Abeni, Luca; Cucinotta, Tommaso
Efficient virtualisation of real-time activities
1 - 4 2011 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - IEEE Computer Society (2011)
Cucinotta, Tommaso
Optimum Scalability Point for Parallelisable Real-Time Components
- n.a. (2011)
Cucinotta, Tommaso; Spyridon, Gogouvitis; Kleopatra, Konstanteli
SLAs in Virtualized Cloud Computing Infrastructures with QoS Assurance
- IIMC International Information Management Corporation Ltd (2011)
Cucinotta, Tommaso; Dario, Faggioli; Giacomo, Bagnoli
Low-Latency Audio on Linux by Means of Real-Time Scheduling
- n.a. (2011)
B. Abid;M. Petracca;P. Pagano;S. Bocchino;D. Alessandrelli
Experimental validation of wireless localization techniques in IEEE802.15.4 networks
1 - 5 Software, Telecommunications and Computer Networks (SoftCOM), 2011 19th International Conference on - (2011)
Esteban Damian Gutierrez Mlot;Stefano Bocchino;Andrea Azzara;Matteo Petracca;Paolo Pagano
Web services transactions in 6LoWPAN networks [1]2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks
1 - 2 2011 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks - (2011)
Matteo Petracca;Marco Ghibaudi;Claudio Salvadori;Paolo Pagano;Daniele Munaretto
Performance evaluation of FEC techniques based on BCH codes in video streaming over wireless sensor networks2011 IEEE Symposium on Computers and Communications (ISCC)
43 - 48 2011 IEEE Symposium on Computers and Communications (ISCC) - (2011)
S., Chakraborty; DI NATALE, Marco; H., Falk; M., Lukasiewycz; F., Slomka
Timing and Schedulability Analysis for distributed automotive control applications
Proceedings of the 11th International Conference on Embedded Software, EMSOFT 2011 - ACM Association for Computing Machinery (2011)
Stefano Bocchino;Matteo Petracca;Paolo Pagano;Marco Ghibaudi;Francesco Lertora
SPEED routing protocol in 6LoWPAN networksETFA2011
1 - 9 ETFA2011 - (2011)
Nicola, Serreli; Lipari, Giuseppe; Bini, Enrico
The Demand Bound Function Interface of Distributed Sporadic Pipelines of Tasks Scheduled by EDF
Proceedings of ECRTS 2010 - IEEE Computer Society (2010)
Nicola, Serreli; Lipari, Giuseppe; Bini, Enrico
The Distributed Deadline Synchronization Protocol for Real-Time Systems Scheduled by EDF
IEEE Conference on Emerging Technologies and Factory Automation - IEEE Industrial Electronics Society (2010)
Gaetano F., Anastasi; Bini, Enrico; Antonio, Romano; Lipari, Giuseppe
A Service-Oriented Architecture for QoS Configuration and Management of Wireless Sensor Networks
Proceedings of ETFA - IEEE Industrial Electronics Society (2010)
S., Fontanelli; Bini, Enrico; P., Santi
Dynamic Route Planning in Vehicular Networks based on Future Travel Estimation
126 - 133 Proceedings if the 2010 IEEE Vehicular Networking Conference - IEEE (2010)
Lipari, Giuseppe; Bini, Enrico
A framework for hierarchical scheduling on multiprocessors: from application requirements to run-time allocation
249 - 258 RTSS 2010 - IEEE Computer Society (2010)
Bini, Enrico; DI NATALE, Marco
Optimal Period Selection of a Real-Time Task Set
- (2010)
Tullio, Facchinetti; Bini, Enrico; Bertogna, Marko
Reducing the Peak Power through Real-Time Scheduling Techniques in Cyber-Physical Energy Systems
- (2010)
Buttazzo, Giorgio Carlo; Bini, Enrico; Yifan, Wu
Heuristics for Partitioning Parallel Applications on Virtual Multiprocessors
- (2010)
Nicola, Serreli; Lipari, Giuseppe; Bini, Enrico
The Distributed Deadline Synchronization Protocol for real-time systems scheduled by EDF
1 - 8 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) - IEEE (2010)
Nicola, Serreli; Lipari, Giuseppe; Bini, Enrico
The Demand Bound Function Interface of Distributed Sporadic Pipelines of Tasks Scheduled by EDF
187 - 196 22nd Euromicro Conference on Real-Time Systems - IEEE (2010)
Gaetano F., Anastasi; Bini, Enrico; Antonio, Romano; Lipari, Giuseppe
A service-oriented architecture for QoS configuration and management of Wireless Sensor Networks
IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010) - IEEE (2010)
Lipari, Giuseppe; Bini, Enrico
A Framework for Hierarchical Scheduling on Multiprocessors: From Application Requirements to Run-Time Allocation
249 - 258 31st IEEE Real-Time Systems Symposium - IEEE (2010)
Ruscelli, Anna Lina; Cecchetti, Gabriele; S., Gopalakrishnan; Lipari, Giuseppe
A model for the design of wireless sensor networks using geographic routing
1712 - 1717 GLOBECOM Workshops (GC Wkshps), 2010 IEEE - IEEE (2010)
Cecchetti, Gabriele; Ruscelli, Anna Lina; Angelo, Alifano; Lipari, Giuseppe
Improving the QoS support in HCCA-EDCA mixed IEEE 802.11e networks
Proceedings of 21st Tyrrhenian Workshop on Digital Communications: Trustworthy Internet - CNIT (2010)
Bertogna, Marko; Buttazzo, Giorgio Carlo; Marinoni, Mauro; Gang, Yao; Francesco, Esposito; Marco, Caccamo
Preemption points placement for sporadic task sets
251 - 260 Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems - IEEE Computer Society (2010)
Gang, Yao; Buttazzo, Giorgio Carlo; Bertogna, Marko
Feasibility Analysis under Fixed Priority Scheduling with Fixed Preemption Points
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010) - IEEE Computer Society (2010)
Christian, Nastasi; Marinoni, Mauro; Luca, Santinelli; Pagano, Paolo; Lipari, Giuseppe; Franchino, Gianluca
BACCARAT: a dynamic real-time bandwidth allocation policy for IEEE 802.15.4
406 - 412 PerCom Workshops - IEEE (2010)
Franchino, Gianluca; Buttazzo, Giorgio Carlo; Marinoni, Mauro
An Energy-Aware Algorithm for TDMA MAC Protocols in Real-Time Wireless Networks
156 - 165 Proceedings of the IEEE Symposium on Industrial Embedded Systems (SIES 2010) - IEEE Computer Society (2010)
Luca, Santinelli; Marinoni, Mauro; Francesco, Prosperi; Francesco, Esposito; Franchino, Gianluca; Buttazzo, Giorgio Carlo
Energy-Aware Packet and Task Co-Scheduling for Embedded Systems
279 - 288 Proceedings of the 10th International Conference on Embedded Software (EMSOFT 2010) - ACM Press (2010)
Buttazzo, Giorgio Carlo; Bini, Enrico; Y., Wu
Partitioning parallel applications on multiprocessor reservations
24 - 33 Proceedings of the 22nd Euromicro Conference on Real-Time Systems - IEEE (2010)
Nikolay, Stoimenov; Lothar, Thiele; Luca, Santinelli; Buttazzo, Giorgio Carlo
Resource Adaptations with Servers for Hard Real-Time Systems
Proceedings of the 10th International Conference on Embedded Software (EMSOFT 2010) - ACM Press (2010)
Gang, Yao; Buttazzo, Giorgio Carlo
Reducing Stack with intra-task Threshold Priorities in Real-Time Systems
Proceedings of the 10th International Conference on Embedded Software (EMSOFT 2010) - ACM Press (2010)
Paolo, Burgio; Martino, Ruggiero; Francesco, Esposito; Marinoni, Mauro; Buttazzo, Giorgio Carlo; Luca, Benini
Adaptive TDMA bus Allocation and Elastic Scheduling: a unified approach for enhancing robustness in multi-core RT systems
187 - 194 Proceedings of the 28th IEEE International Conference on Computer Design (ICCD 2010) - IEEE Computer Society Press (2010)
K., Huang; L., Santinelli; J. J., Chen; L., Thiele; Buttazzo, Giorgio Carlo
Adaptive Power Management for Real-Time Event Streams
Proceedings of the 15th Asia and South Pacific Design Automation Conference (ASP-DAC 2010) - IEEE Inc. (2010)
D., Faggioli; Bertogna, Marko; Checconi, Fabio
Sporadic Server Revisited
- ACM (2010)
Cucinotta, Tommaso; Checconi, Fabio; Abeni, Luca; Palopoli, Luigi
Self-tuning Schedulers for Legacy Real-Time Applications
55 - 68 Proceedings of the 5th ACM European Conference on Computer Systems (EuroSys 2010) - Association for Computing Machinery (ACM) (2010)
Cucinotta, Tommaso; Checconi, Fabio; Kousiouris, George; Kyriazis, Dimosthenis; Varvarigou, Theodora; Mazzetti, Alessandro; Zlatev, Zlatko; Papay, Jury; Boniface, Michael; Berger, Sören; Lamp, Dominik; Voith, Thomas; Stein, Manuel
Virtualised e-Learning with Real-Time Guarantees on the IRMOS Platform
209 - 216 2010 IEEE International Conference on Service-oriented Computing and Applications (SOCA'10) - IEEE Computer Society (2010)
Cucinotta, Tommaso; Dhaval, Giani; Dario, Faggioli; Checconi, Fabio
Effective Real-Time Computing on Linux
Proceedings of the 12th Real-Time Linux Workshop (RTLWS 2010) - n.a. (2010)
Faggioli, Dario; Lipari, Giuseppe; Cucinotta, Tommaso
The Multiprocessor Bandwidth Inheritance Protocol
Proceedings of ECRTS 2010 - IEEE Computer Society (2010)
Chitnis, Mangesh; Salvadori, Claudio; Petracca, Matteo; Lipari, Giuseppe; Pagano, Paolo
Traffic related observations by line sensing techniques
373 - 0 - ACM (2010)
Dimosthenis, Kyriazis; Andreas, Menychtas; George, Kousiouris; Karsten, Oberle; Thomas, Voith; Michael, Boniface; Eduardo, Oliveros; Cucinotta, Tommaso; Soren, Berger
A Real-time Service Oriented Infrastructure
Proceedings of the Annual International Conference on Real-Time and Embedded Systems - GSTF (2010)
Cucinotta, Tommaso; Faggioli, Dario
An Exception Based Approach to Timing Constraints Violations in Real-Time and Multimedia Applications
2010 IEEE International Symposium on Industrial Embedded Systems (SIES) - IEEE Computer Society (2010)
Daniele Alessandrelli;Paolo Pagano;Christian Nastasi;Matteo Petracca;Aldo Franco Dragoni
MIRTES: MIddleware for real-time transactions in embedded systems3rd International Conference on Human System Interaction
586 - 593 3rd International Conference on Human System Interaction - (2010)
M., Magrini; D., Moroni; Pagano, Paolo; Petracca, Matteo; G., Pieri; Salvadori, Claudio; O., Salvetti
Image Mining for Informability
35 - 44 3rd Int. Workshop on Image Mining Theory and Applications (INSTICC Press, Angers, 2010) - INSTICC Press (2010)
DI NATALE, Marco; H., Zeng
System Identification and Extraction of Timing Properties from Controller Area Network (CAN) Message Traces
- IEEE Computer Society (2010)
P., Gai; DI NATALE, Marco; Huascar, Espinoza; Francois, Terrier; Sébastien, Gérard; Reinhold, Heckmann; Christian, Ferdinand; Giacomo, Gentile; Nicola, Ariotti
Time Predictability from System-level Design to Task Implementations in Automotive Applications
- Society of Automotive Engineering (2010)
DI NATALE, Marco; H., Zeng
Time Determinism and Semantics Preservation in the Implementation of Distributed Functions over FlexRay
- Society of Automotive Engineering (2010)
N., Serreli; Lipari, Giuseppe; Bini, Enrico
Deadline assignment for component-based analysis of real-time transactions
- Edicoes Politema (2009)
P., Marti; M., Velasco; Bini, Enrico
The Optimal Boundary and Regulator Design Problem for Event-Driven Controllers
441 - 444 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control - Springer (2009)
Bini, Enrico
Modeling Preemptive EDF and FP by Integer Variables
Proceedings of the 4th Multidisciplinary International Scheduling Conference - (2009)
M., Velasco; P., Marti; Bini, Enrico
Equilibrium Sampling Interval Sequences for Event-driven Controllers
Proceedings of the European Control Conference - (2009)
M., Velasco; P., Marti; Bini, Enrico
On Lyapunov Sampling for Event-driven Controllers
6238 - 6243 Proceedings of the 48th IEEE Conference on Decision and Control - IEEE (2009)
Bini, Enrico; Buttazzo, Giorgio Carlo; Bertogna, Marko
The Multy Supply Function Abstraction for Multiprocessors
294 - 302 Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - IEEE (2009)
Bini, Enrico; Bertogna, Marko; S., Baruah
Virtual Multiprocessor Platforms: Specification and Use
437 - 446 Proceedings of the 30th IEEE Real-Time Systems Symposium - IEEE (2009)
Gang, Yao; Buttazzo, Giorgio Carlo; Bertogna, Marko
Bounding the Maximum Length of Non-Preemptive Regions Under Fixed Priority Scheduling
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2009) - IEEE Press (2009)
Y., Wu; Bertogna, Marko
Improving Task Responsiveness with Limited Preemptions
- IEEE (2009)
Bertogna, Marko
Evaluation of existing schedulability tests for global EDF
- IEEE Computer Society (2009)
Bini, Enrico; Buttazzo, Giorgio Carlo; Yifan, Wu
Selecting the Minimum Consumed Bandwidth of an EDF Task Set
Proceedings of the 2nd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2009) - IEEE Press (2009)
Kai, Huang; Luca, Santinelli; Jian Jia, Chen; Lothar, Thiele; Buttazzo, Giorgio Carlo
Adaptive Dynamic Power Management for Hard Real-Time Systems
Proceedings of the 30th IEEE Real-Time Systems Symposium (RTSS 2009) - IEEE Press (2009)
Kai, Huang; Luca, Santinelli; Jian Jia, Chen; Lothar, Thiele; Buttazzo, Giorgio Carlo
Periodic Power Management Schemes for Real-Time Event Streams
Proceedings of the 48th IEEE Conference on Decision and Control (CDC 2009) - IEEE Press (2009)
Benjamin, Kuch; Remo, Bedini; L'Abbate, Antonio; Matthias, Wagner; Buttazzo, Giorgio Carlo; Arne, Sieber
Embedded data logging platform for research in diving physiology
Proceedings of the Seventh Workshop on Intelligent Solutions in Embedded Systems (WISES 09) - IEEE Press (2009)
B., Kuch; B., Koss; Buttazzo, Giorgio Carlo; A., Sieber
Underwater Navigation and Communication: A Novel GPS/GSM Diving Computer
Proceedings of the 35th Annual Scientific Meeting of the European Underwater and Baromedical Society - SPUMS (2009)
Paolo, Pagano; Mangesh, Chitnis; Romano, Antonio; Lipari, Giuseppe; Ricardo, Severino; Màrio, Alves; Paulo G., Sousa; Eduardo, Tovar
ERIKA and Open-ZB: a tool suite for real-time wireless networked applications
- (2009)
C., Nastasi; P., Pagano; Marinoni, Mauro; Lipari, Giuseppe; F., Focacci; P., Gai; S., Mannori; R., Bucher
Model based real-time networked applications for Wireless Sensor Networks
363 - 365 Pervasive Computing and Communications, 2009. PerCom 2009. IEEE International Conference on - IEEE Press (2009)
Checconi, Fabio; Cucinotta, Tommaso; Manuel, Stein
Real-Time Issues in Live Migration of Virtual Machines
454 - 466 Proceedings of the 4th Workshop on Virtualization and High-Performance Cloud Computing (VHPC 2009) - Euro-Par'09 - 2009 international conference on Parallel processing - Springer-Verlag Berlin (2009)
Cucinotta, Tommaso; Abeni, Luca; Palopoli, Luigi; Checconi, Fabio
The Wizard of OS: a Heartbeat for Legacy Multimedia Applications
70 - 79 Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia (ESTIMedia 2009) - IEEE (2009)
Checconi, Fabio; Cucinotta, Tommaso; Faggioli, Dario; Lipari, Giuseppe
Hierarchical Multiprocessor CPU Reservations for the Linux Kernel
15 - 22 Proceedings of OSPERT 2009: International Workshop on Operating Systems Platforms for Embedded Real-Time Applications - Politecnico do Porto (2009)
Cucinotta, Tommaso; Lipari, Giuseppe; Palopoli, Luigi; Abeni, Luca; Santos, RODRIGO MARTIN
Multi-level feedback control for Quality of Service Management
1 - 8 IEEE Conference on Emerging Technologies & Factory Automation (ETFA 2009), 2009 - IEEE industrial electronics society (2009)
CHITNIS MANGESH; LIANG YAO; ZHENG JIANG YU; PAGANO PAOLO; G. LIPARI
Wireless Line Sensor Network for Distributed Visual Surveillance.
Proceedings of the 6th ACM PE-WASUN - (2009)
PAGANO PAOLO; PIGA FRANCESCO; G. LIPARI; LIANG YAO
Visual tracking using sensor networks
SIMUTOOLS 2009 - (2009)
Volume nr. :8
NASTASI C; PAGANO P; MARINONI P; G. LIPARI; FOCACCI F; GAI P; MANNORI S; BUCHER R
Model based Real-Time networked applications for Wireless Sensor Networks
Proceedings of the 17th IEEE International Conference on Pervasive Computing and Communications (PerCom09) - (2009)
Cucinotta, Tommaso; Konstanteli, Kleopatra; Varvarigou, Theodora
Advance Reservations for Distributed Real-Time Workflows with Probabilistic Service Guarantees
254 - 261 Proceedings of the 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA 2009) - IEEE (2009)
Cucinotta, Tommaso; Faggioli, Dario; Evangelista, Alessandro
Exception-Based Management of Timing Constraints Violations for Soft Real-Time Applications
40 - 48 Proceedings of OSPERT 2009: International Workshop on Operating Systems Platforms for Embedded Real-Time Applications - Politecnico do Porto (2009)
Cucinotta, Tommaso; Anastasi, Gaetano; Abeni, Luca
Respecting temporal constraints in virtualised services
73 - 78 COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 02 - IEEE Computer Society (2009)
Volume nr. :2
G., Wang; DI NATALE, Marco; P. J., Mosterman; A., Sangiovanni Vincentelli
Automatic Code Generation for Synchronous Reactive Communication
- IEEE Computer Society (2009)
M., Velasco; P., Marti; Bini, Enrico
Control-driven Tasks: Modeling and Analysis
280 - 290 Proceedings of the 29th IEEE Real-Time Systems Symposium - IEEE (2008)
Bini, Enrico; A., Cervin
Delay-Aware Period Assignment in Control Systems
291 - 300 Proceedings of the 29th IEEE Real-Time Systems Symposium - IEEE (2008)
T. H., Chau' Nguyen; P., Richard; Bini, Enrico
Improved Approximate Response Time Bounds for Static-priority Tasks
- (2008)
Yifan, Wu; Bini, Enrico; Buttazzo, Giorgio Carlo
A Framework for Designing Embedded Real-Time Controllers
303 - 311 Proceedings of the 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - IEEE (2008)
Sanjoy, Baruah; Bini, Enrico
Partitioned Scheduling of Sporadic Task Systems: an ILP-based approach
- EURASIP (2008)
Bini, Enrico
Minimizing end-to-end response time in transactions
- (2008)
Santinelli, L; Lipari, Giuseppe; Ancilotti, Paolo
Extending Real-Time Calculus to Hierarchical Scheduling of real-time components
CRTS'08 - (2008)
Cecchetti, Gabriele; Ruscelli, Anna Lina
Performance evaluation of real-time schedulers for HCCA function in IEEE 802.11e wireless networks
1 - 8 Q2SWINET'08: PROCEEDINGS OF THE FOURTH ACM INTERNATIONAL SYMPOSIUM ON QOS AND SECURITY FOR WIRELESS AND MOBILE NETWORKS - ACM (2008)
Bertogna, Marko; Checconi, Fabio; D., Faggioli
Non-Preemptive Access to Shared Resources in Hierarchical Real-Time Systems
Proceedings of the 1st Workshop on Compositional Theory and Technology for Real-Time Embedded Systems - IEEE Computer Society (2008)
Faggioli, Dario; Michael, Trimarchi; Fabio, Checconi; Bertogna, Marko; Antonio, Mancina
An Implementation of the Earliest Deadline First Algorithm in Linux
24th Annual ACM Symposium on Applied Computing - ACM (2008)
Gianluca, Franchino; Tullio, Facchinetti; Buttazzo, Giorgio Carlo
Time Properties of the Bust Protocol Under the NPA Budget Allocation Scheme
- ACM Press (2008)
Tullio, Facchinetti; Gianluca, Franchino; Buttazzo, Giorgio Carlo
Distributed Coordination Protocol for the Connectivity Maintenance in a Network of Mobile Units
1 - 10 - IEEE Press (2008)
Gianluca, Franchino; Buttazzo, Giorgio Carlo; Tullio, Facchinetti
Properties of BuST and Timed Token Protocols in Managing Hard Real-Time Traffic
- IEEE Computer Society (2008)
Palopoli, Luigi; Abeni, Luca; Cucinotta, Tommaso; Lipari, Giuseppe; Sanjoy K., Baruah
Weighted Feedback Reclaiming for Multimedia Applications
121 - 126 Proceedings of the 6th IEEE Workshop on Embedded Systems for Real-Time Multimedia (ESTImedia 2008) - IEEE/IET Electronic Library (2008)
Palopoli, L; Abeni, L; Cucinotta, T; Lipari, Giuseppe; Baruah, S.
Weighted Feedback Reclaiming for Multimedia Applications October 2008
6th IEEE Workshop on Embedded Systems for Real-Time Multimedia - (2008)
Mancina, A; HERDER JM GRAS BM TANENBAUM, A; Lipari, Giuseppe
Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations
16th International Conference on Real-Time and Network Systems - (2008)
Bartolini, Cesare; Bini, Enrico; Lipari, Giuseppe
Slack-based Sensitivity Analysis for EDF
14th IEEE Real-Time and Embedded Technology and Applications Symposium, Work-in-Progress session - (2008)
Rodrigo, Santos; Lipari, Giuseppe; Bini, Enrico
Efficient On-line Schedulability Test for Feedback Scheduling of Soft Real-Time Tasks under Fixed-Priority
227 - 236 IEEE 14th Real-Time and Embedded Technology and Applications Symposium - IEEE (2008)
Antonio, Mancina; Jorrit, Herder; Ben, Gras; Andrew, Tanenbaum; Lipari, Giuseppe
Enhancing a Dependable Multiserver Operating System with Temporal Protection via Resource Reservations
16th International Conference on Real-Time and Network Systems - (2008)
Faggioli, Dario; Antonio, Mancina; Fabio, Checconi; Lipari, Giuseppe
Design and Implementation of a POSIX compliant Sporadic Server for the Linux Kernel
65 - 0 10th Real-Time Linux Workshop - (2008)
Faggioli, Dario; Lipari, Giuseppe; Cucinotta, Tommaso
An Efficient Implementation of the BandWidth Inheritance Protocol for Handling Hard and Soft Real-Time Applications in the Linux Kernel
1 - 0 Proceedings of the Fourth International Workshop on Operating Systems Platforms for Embedded Real-Time Applications - University of North Carolina (2008)
Cucinotta, Tommaso; Gaetano, Anastasi; Abeni, Luca
Real-Time Virtual Machines
Proceedings of the 29th IEEE Real-Time Systems Symposium, Work In Progress Session - Not Available (2008)
Cucinotta, Tommaso
Access Control for Adaptive Reservations on Multi-User Systems
387 - 396 Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008) - IEEE Computer Society (2008)
DI NATALE, Marco; G., Wang; A., SANGIOVANNI VINCENTELLI
Optimizing the Implementation of Communication in Synchronous Reactive Models
IEEE Real Time Applications Symposium - IEEE Publishing (2008)
DI NATALE, Marco
Design and Development of Component-Based Embedded Systems for Automotive Applications
Proceedings of ADA Europe 2008 - Springer Verlag (2008)
H., Heinecke; W., Damm; B., Josko; A., Metzner; H., Kopetz; A., Sangiovanni Vincentelli; DI NATALE, Marco
Software components for reliable automotive systems
549 - 554 - IEEE (2008)
M., Cirinei; Bini, Enrico; Lipari, Giuseppe; A., Ferrari
A Flexible Scheme for Scheduling Fault-Tolerant Real-Time Tasks on Multiprocessors
1 - 8 Proceddings of the 21th International Parallel and Distributed Processing Symposium - IEEE (2007)
Bini, Enrico; Buttazzo, Giorgio Carlo
The Space of EDF Feasible Deadlines
19 - 28 Proceedings of the 19th Euromicro Conference on Real-Time Systems - IEEE (2007)
DI NATALE, Marco; Bini, Enrico
Optimizing the FPGA implementation of HRT systems
Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium - IEEE Computer Society (2007)
DI NATALE, Marco; Bini, Enrico
Optimizing the FPGA Implementation of HRT Systems
22 - 31 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07) - IEEE (2007)
Cecchetti, Gabriele; Ruscelli, Anna Lina; Fabio, Checconi
W-CBS: A Scheduling Algorithm for Supporting QoS in IEEE 802.11e
Proceedings of The Fourth International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness & Workshops - ACM (2007)
Marta, Carbone; Cecchetti, Gabriele; Luigi, Rizzo; Ruscelli, Anna Lina; Fabio, Checconi
Wireless link emulation in OneLab
Proceedings of ROADS 2007 - ACM (2007)
Ruscelli, Anna Lina; Cecchetti, Gabriele
QoS Framework for wireless networks
193 - 196 Proceedings of WIRELLESS APPLICATIONS AND COMPUTING 2007 TELECOMMUNICATIONS, NETWORKS AND SYSTEMS 2007 DATA MINING 2007 - IADIS (2007)
Bertogna, Marko; N., Fisher; S., Baruah
Static-Priority Scheduling and Resource Hold Times
International Workshop on Parallel and Distributed Real-Time Systems (IPDPS) - IEEE International (2007)
N., Fisher; Bertogna, Marko; S. K., Baruah
Resource-Locking Durations in EDF-Scheduled Systems
13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) - IEEE Computer Society (2007)
N., Fisher; Bertogna, Marko; S. K., Baruah
The Design of an EDF-scheduled Resource-sharing Open Environment
28th IEEE Real-Time Systems Symposium (RTSS) - IEEE Computer Society (2007)
Bertogna, Marko; M., Cirinei
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms
28th IEEE Real-Time Systems Symposium (RTSS) - IEEE Computer Society (2007)
Hoai, Hoang; Buttazzo, Giorgio Carlo
Reducing Delay and Jitter in Software Control Systems
Proceedings of the 15th International Conference on Real-Time and Network Systems - IEEE Press (2007)
Buttazzo, Giorgio Carlo; Anton, Cervin
Comparative Assessment and Evaluation of Jitter Control Methods
Proceedings of the 15th International Conference on Real-Time and Network Systems - IEEE Press (2007)
Gianluca, Franchino; Buttazzo, Giorgio Carlo; Tullio, Facchinetti
BuST: Budget Sharing Token Protocol for Hard Real-Time Communication
- IEEE Press (2007)
M. Chitnis; P. Pagano; A. Romano; P. Gai; G. Lipari
Impact of the Operating System on the QoS offered by an IEEE 802.15.4-compliant Sensor Network
Proceedings of 7th IFAC international conference on Fieldbuses and nETworks (FET) in industrial and embedded systems, Nov, 2007 - (2007)
Palopoli, Luigi; Cucinotta, Tommaso
Feedback scheduling for pipelines of tasks
131 - 144 Proceedings of the 10th Conference on Hybrid Systems Computation and Control 2007 (HSCC07) - Springer Berlin (2007)
Volume nr. :127
Paolo Pagano; Prashant Batra; Giuseppe Lipari
A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems
Proceedings of the 21st IEEE International Parallel and Distributed Processing Symposium (WPDRTS) - (2007)
Paolo Pagano; Mangesh Chitnis; Giuseppe Lipari
{RTNS}: an {NS-2} Extension to Simulate Wireless Real-Time Distributed Systems for Structured Topologies
Proceedings of the $3^text{rd}$ Annual International Wireless Internet Conference - (2007)
Mangesh Chitnis; Paolo Gai; Giuseppe Lipari; Paolo Pagano; Antonio Romano
Rapid prototyping suite of {IEEE} 802.15.4-compliant Sensor Networks
Proceedings of the the $4^text{th}$ IEEE International Conference on Mobile Ad-hoc and Sensor Systems - (2007)
DI NATALE, Marco
Virtual platforms and Timing Analysis: Status, Challenges and Future Directions
ACM Design Automation Conference - IEEE Computer Society (2007)
G., Wang; DI NATALE, Marco; A., SANGIOVANNI VINCENTELLI
An OSEK-VDX Implementation of Synchronous Reactive Semantics-Preserving Communication
OSPERT 2007 Workshop - da organizzatori (2007)
DI NATALE, Marco; P., Giusto; S., Kanajan; C., Pinello; P., Popp
Architecture Exploration for Time-Critical and Cost-Sensitive Distributed Systems
Proceedings of the SAE International Conference - Society of Automotive Engineers (2007)
P.Gai; G. Lipari; M. Di Natale; N. Serreli; L. Palopoli; A. Ferrari
Adding Timing Analysis to Functional Design to Predict Implementation Errors
SAE International Conference - (2007)
Wei, Zheng; DI NATALE, Marco; C., Pinello; P., Giusto; A., SANGIOVANNI VINCENTELLI
Synthesis of Task and Message Activation Models in Real-Time Distributed Automotive Systems
Proceedings of the IEEE/ACM Design Automation and Test in Europe conference - IEEE Computer Society (2007)
DI NATALE, Marco; Wei, Zheng; C., Pinello; P., Giusto; A., SANGIOVANNI VINCENTELLI
Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems
proceedings of the IEEE Real-Time and Embedded Applications and Technologies Symposium - IEEE Computer Society (2007)
A., Benveniste; P., Caspi; DI NATALE, Marco; C., Pinello; A., Sangiovanni Vincentelli; S., Tripakis
Loosely Time-Triggered Architectures and Middleware based on Communication-by-Sampling: MoCC and Properties
Proceedings of the EMSOFT Conference - IEEE Computer Society (2007)
W., Zheng; Q., Zhu; DI NATALE, Marco; A., SANGIOVANNI VINCENTELLI
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed System
IEEE Real Proceedings of the Time Systems Symposium - IEEE Computer Society (2007)
A., Davare; Q., Zhu; DI NATALE, Marco; C., Pinello; S., Kanajan; A., SANGIOVANNI VINCENTELLI
Period Optimization for Hard Real-Time Distributed Automotive Systems
ACM Design Automation Conference - IEEE Computer Society (2007)
Patrick, Popp; DI NATALE, Marco; Paolo, Giusto; Sri, Kanajan; Claudio, Pinello
Towards a Methodology for the Quantitative Evaluation of Automotive Architectures
Proceedings of the IEEE/ACM Design Automation and Test in Europe conference - IEEE Computer Society (2007)
Cecchetti, Gabriele; Ruscelli, Anna Lina
Providing Enhanced Framework to support QoS in Open Wireless Architecture
120 - 125 Proceedings of World Wireless Congress 2007 - Delson Group Inc. (2007)
Ruscelli, Anna Lina
Wireless Networks: analysis and emulation
- IADIS – International Association for Development of the Information Society (2007)
Bini, Enrico; DI NATALE, Marco; Buttazzo, Giorgio Carlo
Sensitivity Analysis for Fixed-Priority Real-Time Systems
13 - 22 Proceedings of the 18th Euromicro Conference on Real-Time Systems (ECRTS 06) - IEEE (2006)
Buttazzo, Giorgio Carlo; Bini, Enrico
Optimal Dimensioning of a Constant Bandwidth Server
169 - 177 Proceedings of the 27th Real-Time Systems Symposium - IEEE (2006)
Cecchetti, Gabriele; Ruscelli, Anna Lina
A Framework for Enhanced QoS Support in IEEE 802.11e Networks
MobiMedia '06: Proceedings of the 2nd international conference on Mobile multimedia communications - ACM (2006)
Hoai, Hoang; Buttazzo, Giorgio Carlo; Magnus, Jonsson; Stefan, Karlsson
Computing the Minimum EDF Feasible Deadline in Periodic Systems
Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - IEEE Press (2006)
Buttazzo, Giorgio Carlo; Paolo, Gai
Efficient Implementation of an EDF Scheduler for Small Embedded Systems
Proceedings of the 2nd Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2006) - IEEE Press (2006)
Buttazzo, Giorgio Carlo
Why real-time computing?
50th Int. Congress of ANIPLA on Methodologies for Emerging Technologies in Automation - ANIPLA (2006)
Buttazzo, Giorgio Carlo; G., Chiandussi; C., Demartini; G., Iannizzotto; L., Lo Bello; F., Quagliotti
Land control and monitoring system for fire prevention
Proceedings of the 50th Int. Congress of ANIPLA on Methodologies for Emerging Technologies in Automation - ANIPLA (2006)
Marinoni, Mauro; Buttazzo, Giorgio Carlo
Balancing Energy vs. Performance in Processors with Discrete Voltage/Frequency Modes
294 - 301 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications - IEEE Press (2006)
Marinoni, Mauro; Tullio, Facchinetti; Buttazzo, Giorgio Carlo; Gianluca, Franchino
An Embedded Real-Time System for Autonomous Flight Control
Proceedings of the 50th Int. Congress of ANIPLA on Methodologies for Emerging Technologies in Automation - ANIPLA (2006)
José Lorente; Giuseppe Lipari; Enrico Bini
A Hierarchical Scheduling Model for Component-Based Real-Time Systems
Proceedings of the 14th IPDPS - (2006)
Paolo, Gai; Lipari, Giuseppe; Marco Di, Natale; Matteo, Duranti; Alberto, Ferrari
Support for multiprocessor synchronization and resource sharing in System-On-Programmable Chips with SoftCores
Proceedings of the IEEE SOC Conference - (2006)
JOSE' L., Lorente; Lipari, Giuseppe; Bini, Enrico
A hierarchical scheduling model for component-based real-time systems
Proceedings of the 20th International Parallel and Distributed Processing Symposium - IEEE (2006)
Claudio, Scordino; Lipari, Giuseppe
Linux and Real-Time: Current Approaches and Future Opportunities
ANIPLA - (2006)
M., Aldea; G., Bernat; I., Broster; A., Burns; R., Dobrin; J. M., Drake; G., Fohler; P., Gai; M., Gonzalez; G., Guidi; J. J., Gutierrez; T., Lenvall; Lipari, Giuseppe; J. M., Martinez; J. L., Medina; J. C., Palencia; M., Trimarchi
FSF: A Real-Time Scheduling Architecture Framework
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium - (2006)
DI NATALE, Marco
Evaluating message transmission times in Controller Area Networks without buffer preemption
- da organizzatori (2006)
Bini, Enrico; DI NATALE, Marco
Optimal Task Rate Selection in Fixed Priority Systems
Proceedings of the 26th IEEE Real-Time Systems Symposium - IEEE Computer Society (2005)
Bini, Enrico; Buttazzo, Giorgio Carlo; Lipari, Giuseppe
Speed Modulation in Energy-Aware Real-Time Systems
3 - 10 17th Euromicro Conference on Real-Time Systems (ECRTS'05) - IEEE (2005)
Bertogna, Marko; M., Cirinei; Lipari, Giuseppe
New Schedulability Tests for Real-Time task sets scheduled by Deadline Monotonic on Multiprocessors
International Conference on International Conference on Principles of Distributed Systems - (2005)
Bini, Enrico; Buttazzo, Giorgio Carlo; Lipari, Giuseppe
Speed Modulation in Energy-Aware Real-Time Systems
IEEE Proceedings of the 17th Euromicro Conference on Real-Time Systems - IEEE Computer Society (2005)
Tullio, Facchinetti; Buttazzo, Giorgio Carlo; Marinoni, Mauro; Giacomo, Guidi
Non-Preemptive Interrupt Scheduling for Safe Reuse of Legacy Drivers in Real-Time Systems
98 - 105 Proceedings of the 17th IEEE Euromicro Conference on Real-Time Systems (ECRTS 2005) - IEEE Press (2005)
Marinoni, Mauro; Buttazzo, Giorgio Carlo
Adaptive DVS Management through Elastic Scheduling
307 - 313 Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005) - IEEE Press (2005)
Volume nr. :2
Gianluca, Franchino; Buttazzo, Giorgio Carlo; Tullio, Facchinetti
A Distributed Architecture for Mobile Robot Coordination
Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005) - IEEE Press (2005)
Tullio, Facchinetti; Buttazzo, Giorgio Carlo; Luis, Almeida
A Flexible Visual Simulator for Wireless Ad-Hoc Networks of Mobile Nodes
Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005) - IEEE Press (2005)
Marinoni, Mauro; Buttazzo, Giorgio Carlo; Tullio, Facchinetti; Gianluca, Franchino
Kernel Support for Energy Management in Wireless Mobile Ad-Hoc Networks
Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2005) - IEEE Press (2005)
Palopoli, Luigi; Cucinotta, Tommaso; Luca, Marzario; Antonio, Mancina; Valente, Paolo
A unified framework for managing different resources with QoS guarantees
Proceedings of the First International Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT 2005) - n.a. (2005)
S., Rodrigo; Lipari, Giuseppe; Trimarchi, M.
Managing Shared Resources in Power Aware System
VII Brazilian Workshop on Real-Time Systems - (2005)
Bartolini, Cesare; Lipari, Giuseppe; DI NATALE, Marco
From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications
11th IEEE Real-Time and Embedded Technology and Application Symposium - IEEE Computer society (2005)
Paolo Valente; Giuseppe Lipari
An Upper Bound to the Lateness of Soft Real-Time Tasks Scheduled by EDF on Multiprocessors
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005) - (2005)
PELLIZZONI R; G. LIPARI
Improved schedulability analysis of real-time transactions with earliest deadline scheduling
Real-Time Embedded Systems and Applications Symposium - (2005)
Bertogna, Marko; M., Cirinei; Lipari, Giuseppe
Improved schedulability analysis of EDF on multiprocessor platforms
- IEEE Computer Society (2005)
Bertogna, Marko; M., Cirinei; Lipari, Giuseppe
New schedulability tests for real-time task sets scheduled by deadline monotonic on multiprocessors
- Springer (2005)
P., Gai; Lipari, Giuseppe; DI NATALE, Marco; M., Duranti; A., Ferrari
Support for multiprocessor synchronization and resource sharing in System-On-Programmable Chips with softcores
- IEEE Computer society (2005)
Bini, Enrico; DI NATALE, Marco
Optimal Task Rate Selection in Fixed Priority Systems
399 - 409 26th IEEE Real-Time Systems Symposium (RTSS'05) - IEEE (2005)
Bini, Enrico; DI NATALE, Marco; Luigi, Palopoli
Optimizing application performance by rate selection in fixed-priority rt systems
- IEEE press (2004)
DI NATALE, Marco; Cucinotta, Tommaso; Ancilotti, Paolo
Lo sviluppo di un'architettura modulare open-source per i servizi della PA: considerazioni tecniche e organizzative
SALPA: Sapere Aperto e Libero nella Pubblica Amministrazione - n.a. (2004)
Buttazzo, Giorgio Carlo; Marinoni, Mauro; Giacomo, Guidi
Energy-Aware Strategies in Real-Time Systems for Autonomous Robots
845 - 854 Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS 2004) - Springer (2004)
Volume nr. :127
Tullio, Facchinetti; Luis, Almeida; Buttazzo, Giorgio Carlo; Carlo, Marchini
Real-Time Resource Reservation Protocol for Wireless Mobile Ad Hoc Networks
Proceedings of the IEEE Real-Time Systems Symposium (RTSS 2004) - IEEE Press (2004)
Anton, Cervin; Bo, Lincoln; Johan, Eker; Karl Erik, Årzén; Buttazzo, Giorgio Carlo
The Jitter Margin and Its Application in the Design of Real-Time Control Systems
Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2004) - IEEE Press (2004)
Bini, Enrico; Buttazzo, Giorgio Carlo
Biasing Effects in Schedulability Measures
196 - 203 IEEE Proceedings of the 16th Euromicro Conference on Real-Time Systems - IEEE (2004)
Tullio, Facchinetti; Buttazzo, Giorgio Carlo
Integrated Wireless Communication Protocol for Ad-Hoc Mobile Networks
Proceedings of the Third International Workshop on Real-Time Networks (RTN 2004) - IEEE Press (2004)
Abeni, Luca; Cucinotta, Tommaso; Lipari, Giuseppe; Luca, Marzario; Palopoli, Luigi
Adaptive reservations in a Linux environment
238 - 245 Proceeding of the 10th IEEE Real-Time Application Symposium (RTAS 04) - IEEE Computer Society (2004)
Luca Marzario; Giuseppe Lipari; Patricia Balbastre; Alfons Crespo
IRIS: a new reclaiming algorithm for server-based real-time systems
Proceedings of the Real-Time Application Symposium - (2004)
Claudio Scordino; Giuseppe Lipari
Using resource reservation techniques for power-aware scheduling
Proc. 4th ACM international conference on Embedded software - (2004)
Rodrigo, Santos; Lipari, Giuseppe; Jorge, Santos
Scheduling Open Dynamic Systems: The Clearing Fund Algorithm
Proc. 10th Intl.Conference on Real-Time and Embedded Systems Computing Systems and Applications - (2004)
Sanjoy K. Baruah; Giuseppe Lipari
Executing Aperiodic Jobs in a Multiprocessor Constant-Bandwidth Server Implementation
ECRTS - (2004)
Sanjoy K. Baruah; Giuseppe Lipari
A Multiprocessor Implementation of the Total Bandwidth Server
18th International Parallel and Distributed Processing Symposium (IPDPS 2004) - (2004)
Rodolfo Pellizzoni; Giuseppe Lipari
A New Sufficient Feasibility Test for Asynchronous Real-Time Periodic Task Sets
ECRTS - (2004)
Cucinotta, Tommaso; DI NATALE, Marco; Riccardo, Brigo
Hybrid Fingerprint Matching on Programmable Smart Cards
232 - 241 1st International Conference on Trust and Privacy in Digital Business, LNCS 3184 - Springer Berlin (2004)
Cucinotta, Tommaso; Palapoli, Luigi; Marzario, Luca
Stochastic Feedback-Based Control of QoS in Soft Real-Time Systems
3533 - 3538 Proceedings of the IEEE Conference on Decision and Control - IEEE Computer Society (2004)
Volume nr. :5
J., Brunel; P., Giusto; L., Lavagno; DI NATALE, Marco; A., Ferrari
SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract
Design and Test in Europe - IEEE Computer Society (2004)
Cucinotta, Tommaso; DI NATALE, Marco; Riccardo, Brigo
Breaking down architectural gaps in smart-card middleware design
279 - 288 1st International Conference on Trust and Privacy in Digital Business, LNCS 3184 - Springer Berlin (2004)
F., Bertozzi; DI NATALE, Marco; L., Almeida
Admission control and overload handling in FTT-CAN
- IEEE IES (2004)
Lipari, Giuseppe; Bini, Enrico
Resource partitioning among real-time applications
151 - 158 15th Euromicro Conference on Real-Time Systems (ECRTS03) - IEEE (2003)
Cecchetti, Gabriele; Shiva, Kolachalam
Information System for Health-Care in E-Government
Proceedings of SSGRR2003W - SSGWR-03 (2003)
Buttazzo, Giorgio Carlo
Rate Monotonic vs. EDF: Judgment Day
- Springer (2003)
Tullio, Facchinetti; Buttazzo, Giorgio Carlo; Marco, Caccamo; Luis, Almeida
Wireless real-time communication protocol for cooperating mobile units
- Instituto Politecnico do Porto (2003)
Tullio, Facchinetti; Buttazzo, Giorgio Carlo
A Real-Time System for Tracking and Catching Moving Targets
- IFAC (2003)
Giuseppe, Carnevali; Buttazzo, Giorgio Carlo
Controlling a Ball Balancing Device via Web
- ACTA Press (2003)
Marinoni, Mauro; Buttazzo, Giorgio Carlo
A Computer Architecture for Small Walking Robots
183 - 188 Proceedings of the IASTED International Conference on Robotics and Applications - ACTA Press (2003)
Marinoni, Mauro; Alessio, Carlini; Buttazzo, Giorgio Carlo
A six-legged robot: Real-Time issues and architecture
- IFAC (2003)
Palopoli, Luigi; Cucinotta, Tommaso; Bicchi, Antonio
Quality of service control in soft real-time applications
Proceedings of the 42nd IEEE International Conference on Decision and Control (CDC) - IEEE Computer Society (2003)
S., Mazzini; M., D'Alessandro; DI NATALE, Marco; A., Domenici; Lipari, Giuseppe; T., Vardanega
HRT-UML: Taking HRT-HOOD onto UML
ADA Europe 2003 - Springer (2003)
Luigi Palopoli; Luca Abeni; Giuseppe Lipari
On the application of hybrid control to CPU Reservations
Hybrid systems Computation and Control (HSCC03) - (2003)
Claudio, Scordino; Lipari, Giuseppe
Energy Saving Scheduling for Embedded Real-Time Linux Applications
$5^{th}$ Real-Time Linux Workshop - (2003)
Bartolini, Cesare; Lipari, Giuseppe
An Algorithm for Process Partitioning and Deadline Assignment of Data?ow Applications
- (2003)
Liesbeth, Steffens; Gerhard, Folher; Lipari, Giuseppe; Buttazzo, Giorgio Carlo
Resource Reservation and Service Contract
Proceedings of the International Workshop on Advanced Real-Time Operating Systems Services - Euromicro (2003)
Cucinotta, Tommaso; Corcoran, David; DI NATALE, Marco
A protocol for programmable smart cards
369 - 374 Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03) - IEEE Computer Society (2003)
Cucinotta, Tommaso; Cecchetti, Gabriele; Ferraro, Gianluca
Adopting Redundancy Techniques for Multicast Stream Authentication
183 - 0 Proceedings of The Ninth IEEE Workshop on Future Trend of Distributed Computer System FTDCS 2003 - IEEE Computer Society (2003)
Cucinotta, Tommaso; DI NATALE, Marco; Shiva, Kolachalam
A Modular Open Source Architecture for ICT Services in the Public Administration
167 - 172 Proceedings of the 2nd EGOV Conference - Springer Berlin (2003)
Cucinotta, Tommaso; DI NATALE, Marco; David, Corcoran
A protocol for programmable smart cards
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA 2003) - IEEE Computer Society (2003)
S., Mazzini; M., D'Alessandro; DI NATALE, Marco; Lipari, Giuseppe; T., Vardanega
Issues in Mapping HRT-HOOD to UML
Euromicro Conference RTS - IEEE Computer Society (2003)
P., Gai; DI NATALE, Marco; Lipari, Giuseppe; A., Ferrari; C., Gabellini; P., Marceca
A Comparison of MPCP and MSRP when Sharing Resources in the Janus Multiple-Processor on a Chip Platform
IEEE Real Time Technology and Applications Symposium - IEEE Computer Society (2003)
Bini, Enrico; Buttazzo, Giorgio Carlo
The Space of Rate Monotonic Schedulability
169 - 178 Proceedings of the 23rd IEEE Real-Time Systems Symposium - IEEE (2002)
Cecchetti, Gabriele; Shiva, Kolachalam
Relazioni tra Sistemi Informativi ed E-Governament della Sanità
Procedings of International Symposium on Learning Management and Technology Developmet in the Information and Internet Age. The convergent paths of Public and Private Organizations - EA On Line (2002)
Buttazzo, Giorgio Carlo
Scalable Applications for Energy-Aware Processors
- Springer (2002)
Buttazzo, Giorgio Carlo
Real-Time Operating Systems: Problems and Novel Solutions
- Springer (2002)
Paulo, Pedreiras; Paolo, Gai; Buttazzo, Giorgio Carlo; Luis, Almeida
FTT-Ethernet: A Platform to Implement the Elastic Task Model over Message Streams
- Malardalen University (2002)
Buttazzo, Giorgio Carlo; Abeni, Luca
Smooth Rate Adaptation through Impedance Control
IEEE Proceedings of the 14th Euromicro Conference on Real-Time Systems - IEEE Computer Society (2002)
Paolo, Gai; Abeni, Luca; Buttazzo, Giorgio Carlo
Multiprocessor DSP Scheduling in System-on-a-chip Architectures
IEEE Proceedings of the 14th Euromicro Conference on Real-Time Systems - IEEE Computer Society (2002)
Luca Abeni; Luigi Palopoli; Giuseppe Lipari; Jonathan Walpole
Analysis of a Reservation-Based Feedback Scheduler
Proceedings of the Real-Time Systems Symposium - (2002)
Bini, Enrico; Lipari, Giuseppe; Carlo, Vitucci
Modeling event-driven real-time applications using DAGs
- (2001)
Bini, Enrico; Buttazzo, Giorgio Carlo; Buttazzo, Giuseppe
A Hyperbolic Bound for the Rate Monotonic Algorithm
59 - 66 Proceedings of the 13th Euromicro Conference on Real-Time Systems - IEEE (2001)
L., Palopoli; Lipari, Giuseppe; Abeni, Luca; DI NATALE, Marco; Ancilotti, Paolo; F., Conticelli
A Tool for Simulation and Fast Prototyping of Embedded Control Systems
Proceedings of The Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES 2001) - IEEE Computer society (2001)
J., Capucho; L., Almeida; Buttazzo, Giorgio Carlo
Using a Real-Time Kernel to Simulate the Micro-Rato Robotics Contest
- University of Aveiro (2001)
Paolo, Gai; Abeni, Luca; Massimiliano, Giorgi; Buttazzo, Giorgio Carlo
A New Kernel Approach for Modular Real-Time Systems Development
IEEE Proceedings of the 13th Euromicro Conference on Real-Time Systems - IEEE Computer Society (2001)
Abeni, Luca; Buttazzo, Giorgio Carlo
Hierarchical QoS Management for Time Sensitive Applications
Proceedings of the IEEE Real-Time Technology and Applications Symposium - IEEE Computer Society (2001)
Abeni, Luca; Buttazzo, Giorgio Carlo
Stochastic Analysis of a Reservation Based System
IEEE Proceedings of the 15th International Parallel and Distributed Processing Symposium - IEEE Computer Society (2001)
P., Gai; Lipari, Giuseppe; DI NATALE, Marco
Minimizing Memory Utilization of Real-Time Task Sets in Single and Multi-Processor Systems-on-a-chip
IEEE Real-Time Systems Symposium - IEEE Computer Society (2001)
M., D'Alessandro; S., Mazzini; DI NATALE, Marco; Lipari, Giuseppe
HRT-UML: A Design Method for Hard Real-Time Systems based on the UML Notation
- European Space Agency (2001)
Gerardo Lamastra; Giuseppe Lipari; Luca Abeni
A Bandwidth Inheritance Algorithm for Real-Time Task Synchronization in Open Systems
Proceedings of Real-Time Systems Symposium - (2001)
Giuseppe Lipari; Sanjoy K. Baruah
A Hierarchical Extension to the Constant Bandwidth Server Framework
IEEE Real Time Technology and Applications Symposium - (2001)
DI NATALE, Marco; A., SANGIOVANNI VINCENTELLI; F., Balarin
Scheduling Reactive Task Graphs In Embedded Control Systems
Real-time Application Symposium - IEEE Computer Society (2001)
P., Gai; Bini, Enrico; Lipari, Giuseppe; DI NATALE, Marco; Abeni, Luca
Architecture for a Portable Open Source Real-Time Kernel Environment
- (2000)
Buttazzo, Giorgio Carlo; Abeni, Luca
Adaptive Rate Control through Elastic Scheduling
IEEE Conference on Decision and Control - IEEE Computer Society (2000)
Abeni, Luca; Buttazzo, Giorgio Carlo
Support for Dynamic QoS in the HARTIK Kernel
International Conference on Real-Time Computing Systems and Applications - IEEE Computer Society (2000)
Xue, Liu; Lui, Sha; Marco, Caccamo; Buttazzo, Giorgio Carlo
Online Control Optimization Using Load Driven Scheduling
- IEEE Computer Society (2000)
Luigi, Palopoli; Abeni, Luca; Buttazzo, Giorgio Carlo; Fabio, Conticelli; DI NATALE, Marco
Real-Time control system analysis: an integrated approach
Proceedings of the IEEE Real-Time Systems Symposium - IEEE Computer Society (2000)
Abeni, Luca; Luigi, Palopoli; Buttazzo, Giorgio Carlo
On Adaptive Control Techniques in Real-Time Resource Allocation
IEEE Proceedings of the 12th Euromicro Conference on Real-Time Systems - IEEE Computer Society (2000)
Marco, Caccamo; Buttazzo, Giorgio Carlo; Lui, Sha
Elastic Feedback Control
- IEEE Computer Society (2000)
Mario, Alves; Eduardo, Tovar; Gerhard, Fohler; Buttazzo, Giorgio Carlo
CIDER - Envisaging a COTS Communication Infrastructure for Evolutionary Dependable Real-Time Systems
- IEEE Computer Society (2000)
Allotta, Benedetto; Colla, Valentina; Fabio, Conticelli; Palopoli, Luigi
An Autonomous Caddy for Golf Player Tracking
Soft Computing, Multimedia, and Image Processing V.11: Proceedings of the Fourth Biannual World Automation Congress (WAC 2000), ISSCI 2000 and IFMIP 2000, Maui, Hawaii, USA - TSI Press (2000)
Volume nr. :11
Lipari, Giuseppe; Sanjoy, Baruah
Greedy reclaimation of unused bandwidth in constant bandwidth servers
IEEE Proceedings of the 12th Euromicro Conference on Real-Time Systems - (2000)
Giuseppe Lipari; Sanjoy K. Baruah
Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems
IEEE Real Time Technology and Applications Symposium - (2000)
DI NATALE, Marco
Scheduling the CAN bus with Earliest Deadline Techniques
IEEE Real-Time Systems Symposium - IEEE Computer Society (2000)
DI NATALE, Marco; A., SANGIOVANNI VINCENTELLI; F., Balarin
Task Scheduling with RT Constraints
IEEE/ACM Design Automation Conference - IEEE Computer Society (2000)
PALOPOLI L.; BUTTAZZO G.; P. ANCILOTTI
A C Language Extension for Programming Real-Time Applications
Proceedings of the 6th IEEE Inter. Conf. on Real-Time Computing Sys. and Appl. - (1999)
DI NATALE, M.; Domenici, A.; Ancilotti, Paolo
The DASE Design Environment for Distributed Real-Time Analysis
Proceedings of the SCI Conference - (1999)
DI NATALE, M.; Prisco, G. M.; DI PIETRO, G.; Bergamasco, M.; Ancilotti, Paolo
The Design and Analysis of the MORIS Simulator
RTAS - Real-Time Applications Symposium, Vancouver, Canada - (1999)
Luigi, Palopoli; Buttazzo, Giorgio Carlo; Ancilotti, Paolo
A C Language Extension for Programming Real-Time Applications
- IEEE Computer Society (1999)
A., Taddei; A., Macerata; S., Dalmiani; Cecchetti, Gabriele; C., Carpeggiani; L., Chelozzi; Emdin, Michele; M., Raciti; M., Micalizzi; G., Kraft; A., Fiaschi; D., Pierotti; R., Conte; L., Landucci; C., Marchesi
Medical record System for Cardiology and Cardiac Surgery
85 - 88 Computers in Cardiology 1999 - IEEE (1999)
Volume nr. :26
A., Taddei; A., Macerata; C., Carpeggiani; S., Dalmiani; Cecchetti, Gabriele; C., Marchesi
Electronic Medical Record System for the Department of Cardiology
151 - 157 TEHRE Conference on the Creation of a European Electronic Health Record - CAEHR . (1999)
Volume nr. :1
Lipari, Giuseppe; Buttazzo, Giorgio Carlo
Scheduling Real-Time Multi-Task Applications in an Open System
IEEE Proceedings of the 11th Euromicro Conference on Real-Time Systems - IEEE Computer Society (1999)
Abeni, Luca; Lipari, Giuseppe; Buttazzo, Giorgio Carlo
Constant Bandwidth vs. Proportional Share Resource Allocation
Proceedings of the IEEE International Conference on Mutimedia Computing and Systems - IEEE Computer Society (1999)
Sanjoy, Baruah; Buttazzo, Giorgio Carlo; Sergey, Gorinsky; Lipari, Giuseppe
Scheduling Periodic Task Systems to Minimize Output Jitter
Proceedings of the International Conference on Real-Time Computing Systems and Applications - IEEE Computer Society (1999)
Marco, Caccamo; Lipari, Giuseppe; Buttazzo, Giorgio Carlo
Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines
Processdings of the IEEE Real-Time Systems Symposium - IEEE Computer Society (1999)
Abeni, Luca; Buttazzo, Giorgio Carlo
Adaptive Bandwidth Reservation for Multimedia Computing
Proceedings of the 6th IEEE International Conference on Real-Time Computing Systems and Applications - IEEE Computer Society (1999)
Abeni, Luca; Buttazzo, Giorgio Carlo
QoS Guarantee Using Probabilistic Deadlines
IEEE Proceedings of the 11th Euromicro Conference on Real-Time Systems - IEEE Computer Society (1999)
A., Taddei; A., Macerata; C., Carpeggiani; Emdin, Michele; Cecchetti, Gabriele; S., Dalmiani; C., Marchesi
Cartella clinica automatizzata per il reparto di cardiologia
Convegno Sanità Sistemi Medicali: automazione ed informatizzazione - Associazione Nazionale Italiana Per l'Automazione (1998)
Buttazzo, Giorgio Carlo; Lipari, Giuseppe; Abeni, Luca
Elastic Task Model for Adaptive Rate Control
286 - 295 Proceedings of the 19th IEEE Real-Time Systems Symposium - IEEE Computer Society (1998)
Antonino, Casile; Buttazzo, Giorgio Carlo; Gerardo, Lamastra; Lipari, Giuseppe
Simulation and Tracing of Hybrid Task Sets in Distributed Systems
Proceedings of the 5th International Conference of Real-Time Computing Systems and Applications - IEEE Computer Society (1998)
Buttazzo, Giorgio Carlo; Antonino, Casile; Gerardo, Lamastra; Lipari, Giuseppe
A Scheduling Simulator for Real-Time Distributed Systems
Proceedings of the 15th workshop Distributed Computer Control Systems - Pergamon Press (1998)
Abeni, Luca; Buttazzo, Giorgio Carlo
Integrating Multimedia Applications in Hard Real-Time Systems
Proceedings of the IEEE Real-Time Systems Symposium - IEEE Computer Society (1998)
Luigi, Palopoli; Buttazzo, Giorgio Carlo
ALERT: A C Language Extension for Real-Time Systems
- IEEE Computer Society (1998)
Abeni, Luca; Lipari, Giuseppe; Buttazzo, Giorgio Carlo
A Bandwidth-Based Server for Multimedia Applications
Proceedings of the 10th Euromicro Workshop on Real-Time Systems - Euromicro (1998)
Lipari, Giuseppe; Buttazzo, Giorgio Carlo; Abeni, Luca
A Bandwidth Reservation Algorithm for Multi Application Systems
Proceedings of the 5th International Conference of Real-Time Computing Systems and Applications - IEEE Computer Society (1998)
Sensini, F; Buttazzo, Giorgio Carlo; Ancilotti, Paolo
A tool for simulation and analysis of real-time scheduling algorithms"
42 - 49 REAL-TIME SYSTEMS EDUCATION II - IEEE Computer Society (1997)
A., Taddei; A., Macerata; C., Carpeggiani; Emdin, Michele; R., Balcocchi; S., Dalmiani; Cecchetti, Gabriele; D., Pierotti; C., Marchesi
Development of an Electronic Medical Record System for the Department of Cardiology
175 - 177 TOWARD AN ELECTRONIC HEALTH RECORD EUROPE '97 - CONFERENCE ON THE CREATION OF A EUROPEAN ELECTRONIC HEALTH RECORD, CONFERENCE PROCEEDINGS - CAEHR (1997)
Volume nr. :1
Gerardo, Lamastra; Lipari, Giuseppe; Buttazzo, Giorgio Carlo; Antonino, Casile; Fabio, Conticelli
HARTIK 3.0: A Portable System for Developing Real-Time Applications
Proceedings of the 4th IEEE International Workshop on Real-Time Computing Systems and Applications - IEEE Computer Society (1997)
Buttazzo, Giorgio Carlo; Lipari, Giuseppe
Scheduling Analysis of Hybrid Real-Time Task Sets
Proceeding of the 9th Euromicro Workshop on Real-Time Systems - IEEE Computer Society (1997)
Marco, Caccamo; Buttazzo, Giorgio Carlo
Exploiting Skips in Periodic Tasks for Enhancing Aperiodic Responsiveness
- IEEE Computer Society (1997)
Fabrizio, Sensini; Buttazzo, Giorgio Carlo; Ancilotti, Paolo
GHOST: A Tool for Simulation and Analysis of Real-Time Scheduling Algorithms
Proceedings of the IEEE Real-Time Educational Workshop - IEEE Computer Society (1997)
Buttazzo, Giorgio Carlo; Fabio, Conticelli; Gerardo, Lamastra; Lipari, Giuseppe
Robot Control in Hard Real-Time Environment
- IEEE Computer Society (1997)
G., Luculli; DI NATALE, Marco
Cache-aware scheduling algorithm for embedded systems
- IEEE Computer Society (1997)
Ancilotti, Paolo; Buttazzo, Giorgio Carlo; DI NATALE, Marco; M., Bizzarri
The MORIS Control System
77 - 82 Proceedings of the 8th IEEE Euromicro Workshop on Real-Time Systems - IEEE Computer society (1996)
Ancilotti, Paolo; Buttazzo, Giorgio Carlo; DI NATALE, Marco; M., Bizzarri
A Flexible Tool Kit for the Development of Real-Time Applications
Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium - IEEE Computer Society (1996)
Buttazzo, Giorgio Carlo
Real-Time Issues in Advanced Robotics Applications
- IEEE Computer Society (1996)
Buttazzo, Giorgio Carlo; Marco, Spuri; Fabrizio, Sensini
Value vs. Deadline Scheduling in Overload Conditions
- IEEE Computer Society (1995)
Ancilotti, Paolo; Buttazzo, Giorgio Carlo; DI NATALE, Marco; Marco, Spuri
TRACS: A Flexible Real-Time Environment for Traffic Control Systems
- IEEE Computer Siciety (1993)
Ancilotti, Paolo; Buttazzo, Giorgio Carlo; DI NATALE, Marco; Marco, Spuri
A Real-Time Vessel Traffic System
19 - 23 - Center for Vomputer Architecture (1993)
Buttazzo, Giorgio Carlo; Benedetto, Allotta; Felice, Fanizza
Mousebuster: a Robot System for Catching Fast Moving Objects by Vision
- IEEE Computer Society (1993)
Benedetto, Allotta; Buttazzo, Giorgio Carlo; Felice, Fanizza
High Performance Hand-Eye Coordination: the Ball and Plate Problem
- Halmstad University (1993)
Buttazzo, Giorgio Carlo; Benedetto, Allotta; Felice, Fanizza
Performance Enhancement in Real-Time Visual Servoing
- IEEE Computer Society (1993)
Buttazzo, Giorgio Carlo
HARTIK: A Real-Time Kernel for Robotics Applications
- IEEE Computer Society (1993)
Buttazzo, Giorgio Carlo; DI NATALE, Marco
HARTIK: A Hard Real-Time Kernel for Robot Control
- Halmstad University (1993)

Mancini, Riccardo; Tuli, Shreshth; Cucinotta, Tommaso; Buyya, Rajkumar
iGateLink: A Gateway Library for Linking IoT, Edge, Fog, and Cloud Computing Environments
(2020)
Cucinotta, Tommaso
Regolamento UE/679/2016 e soluzioni tecnologiche: un cambio di prospettiva
(2018)
Cucinotta, Tommaso
Privacy nell'era dei big-data e il cittadino `privato'
(2018)
Brandberg, CAROLINE MADELEINE; Di Natale, Marco
Enabling Flow Preservation and Portability in Multicore Implementations of Simulink Models
(2018)
Di Natale, Marco
Embedded Software Modeling and Design
(2018)
Cucinotta, Tommaso; Lipari, Giuseppe; Lutz, Schubert
Operating System and Scheduling for Future Multi-core and Many-Core Platforms
(2017)
Lutz, Schubert; Stefan, Wesner; Jan, Kuper; Christiaan, Baaij; Cucinotta, Tommaso
Autonomic Distribution and Adaptation
(2017)
DI NATALE, Marco
Specification and simulation of automotive functionality using AUTOSAR
(2017)
Antonante, Pasquale; Valverde-Alcalá, Juan; Basagiannis, Stylianos; Di Natale, Marco
Safe Implementation of Mixed-Criticality Applications in Multicore Platforms: A Model-Based Design Approach
(2017)
DI NATALE, Marco
Models and Tools for Complex Embedded Software and Systems
(2016)
Alberto Sangiovanni, Vincentelli; Haibo, Zeng; DI NATALE, Marco; Peter, Marwedel
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems
(2014)
Gogouvitis, Spyridon V.; Konstanteli, Kleopatra G.; Kyriazis, Dimosthenis P.; Katsaros, Gregory; Cucinotta, Tommaso; Boniface, Michael
Workflow management systems in distributed environments
(2013)
Gaetano F., Anastasi; Bini, Enrico; Lipari, Giuseppe
Extracting Data from WSNs: A Service-Oriented ApproachMethodologies and Technologies for Networked Enterprises
(2012)
Buttazzo, Giorgio Carlo
Handling Overload Conditions in Real-Time Systems
(2012)
Matteo Petracca;Paolo Pagano;Riccardo Pelliccia;Marco Ghibaudi;Claudio Salvadori;Christian Nastasi
On-Board Unit Hardware and Software Design for Vehicular Ad-Hoc NetworksRoadside Networks for Vehicular Communications
(2012)
C. Salvadori;M. Petracca;M. Ghibaudi;P. Pagano
On-board Image Processing in Wireless Multimedia Sensor Networks: a Parking Space Monitoring Solution for Intelligent Transportation Systems
(2012)
DI NATALE, Marco
Specification and simulation of automotive functionality using AUTOSAR in Real-time Simulation Technologies: Principles, Methodologies, and Applications
(2012)
Sai, Narasimhamurthy; Malcolm, Muggeridge; Stefan, Waldschmidt; Checconi, Fabio; Cucinotta, Tommaso
Data Storage in Cloud Based Real-Time Environments
(2011)
Mangesh Chitnis;Claudio Salvadori;Matteo Petracca;Paolo Pagano;Giuseppe Lipari;Luca Santinelli
Distributed Visual Surveillance with Resource Constrained Embedded SystemsVisual Information Processing in Wireless Sensor Networks
(2011)
Cucinotta, Tommaso; Spyridon V., Gogouvitis
Real-Time Attributes in Operating Systems
(2011)
Franchino, Gianluca; Buttazzo, Giorgio Carlo; T., Facchinetti
Token passing techniques for Hard Ral-Time Communication
(2010)
Gianluca, Franchino; Buttazzo, Giorgio Carlo; Tullio, Facchinetti
Token Passing Techniques for Hard Real-Time Communication
(2010)
Sébastien, Gérard; Huascar, Espinoza; François, Terrier; Felice, Tufo; Giacomo, Gentile; DI NATALE, Marco; Bran, Selic
Modeling Languages for Real-time and Embedded Systems: Requirements and Standards-Based Solutions
(2010)
Giuseppe, Carnevali; Buttazzo, Giorgio Carlo
Implementation of a Remote Laboratory accessible through the web
(2009)
Ruscelli, Anna Lina; Cecchetti, Gabriele
Toward the QoS Support in 4G Wireless Systems
(2007)
Cecchetti, Gabriele; Ruscelli, Anna Lina
A Scheduling Algorithm for Providing QoS Guarantees in 802.11e WLANs
(2007)
Buttazzo, Giorgio Carlo
Real-Time Scheduling and Resource Management
(2006)
Marco, Caccamo; Ted, Baker; Alan, Burns; Buttazzo, Giorgio Carlo; Lui, Sha
Real-Time Scheduling for Embedded Systems
(2005)
Buttazzo, Giorgio Carlo
Adaptive Real-Time Systems for Quality of Service Management
(2005)
DI NATALE, Marco
Embedded Software Modeling and Design
(2005)
Peter van der, Stok; Jan_jelle, Boomgaardt; Helmut, Burklin; Cecchetti, Gabriele; Jean Dominique, Decotignie; Hermann de, Meer; Gerhard, Fohler; Johan, Lukkien; Gerardo, Rubino
The FABRIC Project
(2004)
DI NATALE, Marco; Cucinotta, Tommaso; S., Kolachalam
A modular Open-source Architecture for ICT Services in the Public Administration
(2003)
Cucinotta, Tommaso
Firma digitale e assicurazioni: aspetti tecnologici
(2003)
DI NATALE, Marco; M., Saksena
Schedulability Analysis with UML
(2003)
Ancilotti, Paolo
Nuove tecnologie e PMI: l'esperienza del Progetto Link della Scuola Superiore Sant'Anna
(2002)
Buttazzo, Giorgio Carlo
Can a Machine Ever Become Self-aware?
(2000)
Sören, Berger; Dominik, Lamp; Manuel, Stein; Thomas, Voith; Tommaso, Cucinotta; Bertogna, Marko
Execution & Resource Management in QoS-aware Virtualized Infrastructures
(0000)

Restuccia, Francesco; Pagani, Marco; Biondi, Alessandro; Marinoni, Mauro; Buttazzo, Giorgio
Bounding Memory Access Times in Multi-Accelerator Architectures on FPGA SoCs
154 - 167 IEEE TRANSACTIONS ON COMPUTERS (2023)
Volume nr. :72
Issue nr. :1
Marinoni, Mauro; Amato, Pierluigi; Franco, Carmelo Di; Sabina, Salvatore; Buttazzo, Giorgio
A Novel Approach for Reducing Train Localization Errors by Inertial Measurements
5281 - 5295 IEEE ACCESS (2023)
Volume nr. :11
Andriolli, Nicola; Giorgetti, Alessio; Castoldi, Piero; Cecchetti, Gabriele; Cerutti, Isabella; Sambo, Nicola; Sgambelluri, Andrea; Valcarenghi, Luca; Cugini, Filippo; Martini, Barbara; Paolucci, Francesco
Optical networks management and control: A review and recent challenges
32767 - 0 OPTICAL SWITCHING AND NETWORKING (2022)
Volume nr. :44
Rossolini, Giulio; Biondi, Alessandro; Buttazzo, Giorgio
Increasing the Confidence of Deep Neural Networks by Coverage Analysis
1 - 14 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2022)
Restuccia, F.; Pagani, M.; Mascitti, A.; Barrow, M.; Marinoni, M.; Biondi, A.; Buttazzo, G.; Kastner, R.
ARTe: Providing real-time multitasking to Arduino
32767 - 0 THE JOURNAL OF SYSTEMS AND SOFTWARE (2022)
Volume nr. :127
Pagani, M.; Biondi, A.; Marinoni, M.; Molinari, L.; Lipari, G.; Buttazzo, G.
A Linux-based support for developing real-time applications on heterogeneous platforms with dynamic FPGA reconfiguration
125 - 140 FUTURE GENERATION COMPUTER SYSTEMS (2022)
Volume nr. :127
Brau, F.; Rossolini, G.; Biondi, A.; Buttazzo, G.
On the Minimal Adversarial Perturbation for Deep Neural Networks With Provable Estimation Error
1 - 15 IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE (2022)
Borgioli, Niccolo; Zini, Matteo; Casini, Daniel; Cicero, Giorgiomaria; Biondi, Alessandro; Buttazzo, Giorgio
An I/O Virtualization Framework with I/O-Related Memory Contention Control for Real-Time Systems
4469 - 4480 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (2022)
Volume nr. :41
Issue nr. :11
Pazzaglia, P.; Casini, D.; Biondi, A.; DI NATALE, Marco
Optimizing Inter-Core Communications under the LET Paradigm using DMA Engines
1 - 13 IEEE TRANSACTIONS ON COMPUTERS (2022)
Zini, M.; Casini, D.; Biondi, A.
Analyzing Arm's MPAM From the Perspective of Time Predictability
1 - 14 IEEE TRANSACTIONS ON COMPUTERS (2022)
Zini, Matteo; Cicero, Giorgiomaria; Casini, Daniel; Biondi, Alessandro
Profiling and controlling I/O‐related memory contention in COTS heterogeneous platforms
1095 - 1113 SOFTWARE-PRACTICE & EXPERIENCE (2022)
Volume nr. :52
Issue nr. :5
Casini, Daniel; Pazzaglia, Paolo; Biondi, Alessandro; Di Natale, Marco
Optimized partitioning and priority assignment of real-time applications on heterogeneous platforms with hardware acceleration
32767 - 0 JOURNAL OF SYSTEMS ARCHITECTURE (2022)
Volume nr. :124
Abeni, L.; Biondi, A.; Bini, E.
Partitioning real-time workloads on multi-core virtual machines
32767 - 0 JOURNAL OF SYSTEMS ARCHITECTURE (2022)
Volume nr. :127
Cucinotta, Tommaso; Mueller, Frank; Simmhan, Yogesh
Guest editorial: Special issue on the 2020 IEEE symposium on real-time distributed computing (ISORC)
32767 - 0 JOURNAL OF SYSTEMS ARCHITECTURE (2022)
Volume nr. :124
de Oliveira, D. B.; Casini, D.; Cucinotta, T.
Operating System Noise in the Linux Kernel
1 - 12 IEEE TRANSACTIONS ON COMPUTERS (2022)
Paolini, Emilio; DE MARINIS, Lorenzo; Cococcioni, Marco; Valcarenghi, Luca; Maggiani, Luca; Andriolli, Nicola
Photonic-aware neural networks
NEURAL COMPUTING & APPLICATIONS (2022)
BISCONTI LUCIDI, Piercosma; Orsitto, D.; Fedorczyk, F.; Brau, F.; Capasso, M.; De Marinis, L.; Eken, H.; Merenda, F.; Forti, M.; Pacini, M.; Schettini, C.
Maximizing team synergy in AI-related interdisciplinary groups: an interdisciplinary-by-design iterative methodology
AI & SOCIETY (2022)
Gharbaoui, M.; Martini, B.; Cecchetti, G.; Castoldi, P.
Resource Orchestration Strategies With Retrials for Latency-Sensitive Network Slicing Over Distributed Telco Clouds
32767 - 32767 IEEE ACCESS (2021)
Volume nr. :9
Biondi, A.; Casini, D.; Cicero, G.; Borgioli, N.; Buttazzo, G.; Patti, G.; Leonardi, L.; Bello, L. L.; Solieri, M.; Burgio, P.; Olmedo, I. S.; Ruocco, A.; Palazzi, L.; Bertogna, M.; Cilardo, A.; Mazzocca, N.; Mazzeo, A.
SPHERE: A Multi-SoC Architecture for Next-Generation Cyber-Physical Systems Based on Heterogeneous Platforms
32767 - 32767 IEEE ACCESS (2021)
Volume nr. :9
Nesti, Federico; Biondi, Alessandro; Buttazzo, Giorgio
Detecting Adversarial Examples by Input Transformations, Defense Perturbations, and Voting
1 - 13 IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS (2021)
Casini, Daniel; Biondi, Alessandro; Buttazzo, Giorgio Carlo
Task Splitting and Load Balancing of Dynamic Real-Time Workloads for Semi-Partitioned EDF
2168 - 2181 IEEE TRANSACTIONS ON COMPUTERS (2021)
Volume nr. :70
Issue nr. :1
Mascitti, Agostino; Cucinotta, Tommaso; Marinoni, Mauro; Abeni, Luca
Dynamic Partitioned Scheduling of Real-Time Tasks on ARM big.LITTLE Architectures
THE JOURNAL OF SYSTEMS AND SOFTWARE (2021)
Volume nr. :127
Calvaresi, D.; Dicente Cid, Y.; Marinoni, M.; Dragoni, A. F.; Najjar, A.; Schumacher, M.
Real-time multi-agent systems: rationality, formal model, and empirical results
AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS (2021)
Volume nr. :35
Issue nr. :1
Cucinotta, Tommaso; Abeni, Luca; Marinoni, Mauro; Mancini, Riccardo; Vitucci, Carlo
Strong Temporal Isolation among Containers in OpenStack for NFV Services
1 - 16 IEEE TRANSACTIONS ON CLOUD COMPUTING (2021)
Mascitti, Agostino; Cucinotta, Tommaso; Abeni, Luca
Combining admission tests for heuristic partitioning of real-time tasks on ARM big.LITTLE multi-processor architectures
JOURNAL OF SYSTEMS ARCHITECTURE (2021)
Serra, G.; Ara, G.; Fara, P.; Cucinotta, T.
ReTiF: A declarative real-time scheduling framework for POSIX systems
32767 - 0 JOURNAL OF SYSTEMS ARCHITECTURE (2021)
Volume nr. :118
Serafino, G.; Maresca, S.; Di Mauro, L.; Tardo, A.; Cuillo, A.; Scotti, F.; Ghelfi, P.; Pagano, P.; Bogoni, A.
A Photonics-Assisted Multi-Band MIMO Radar Network for the Port of the Future
1 - 13 IEEE JOURNAL OF SELECTED TOPICS IN QUANTUM ELECTRONICS (2021)
Volume nr. :27
Issue nr. :6
Velasco, L.; Signorelli, M.; De Dios, O. G.; Papagianni, C.; Bifulco, R.; Olmos, J. J. V.; Pryor, S.; Carrozzo, G.; Schulz-Zander, J.; Bennis, M.; Martinez, R.; Cugini, F.; Salvadori, C.; Lefebvre, V.; Valcarenghi, L.; Ruiz, M.
End-to-End Intent-Based Networking
106 - 112 IEEE COMMUNICATIONS MAGAZINE (2021)
Volume nr. :59
Issue nr. :10
Dettori, S.; Maddaloni, A.; Galli, F.; Colla, V.; Bucciarelli, F.; Checcacci, D.; Signorini, A.
Steam turbine rotor stress control through nonlinear model predictive control
3998 - 0 ENERGIES (2021)
Volume nr. :14
Issue nr. :13
Casini, D.; Biondi, A.; Buttazzo, G.
Timing isolation and improved scheduling of deep neural networks for real-time systems
1760 - 1777 SOFTWARE-PRACTICE & EXPERIENCE (2020)
Volume nr. :50
Issue nr. :9
Seyoum, Biruk B.; Pagani, Marco; Biondi, Alessandro; Balleri, Sara; Buttazzo, Giorgio
Spatio-Temporal Optimization of Deep Neural Networks for Reconfigurable FPGA SoCs
1 - 13 IEEE TRANSACTIONS ON COMPUTERS (2020)
de Oliveira, Daniel B.; de Oliveira, Rômulo S.; Cucinotta, Tommaso
A thread synchronization model for the PREEMPT_RT Linux kernel
JOURNAL OF SYSTEMS ARCHITECTURE (2020)
Volume nr. :107
Abeni, Luca; Cucinotta, Tommaso
EDF scheduling of real-time tasks on multiple cores: Adaptive Partitioning vs. Global Scheduling
5 - 18 APPLIED COMPUTING REVIEW (2020)
Volume nr. :20
Issue nr. :2
Pazzaglia, P.; Sun, Y.; Di Natale, M.
Generalized Weakly Hard Schedulability Analysis for Real-Time Periodic Tasks
1 - 26 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2020)
Volume nr. :20
Civerchia, F.; Pelcat, M.; Maggiani, L.; Kondepu, K.; Castoldi, P.; Valcarenghi, L.
Is OpenCL Driven Reconfigurable Hardware Suitable for Virtualising 5G Infrastructure?
1 - 1 IEEE TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT (2020)
Tannous, M.; Miraglia, M.; Inglese, F.; Giorgini, L.; Ricciardi, F.; Pelliccia, R.; Milazzo, M.; Stefanini, C.
Haptic-based touch detection for collaborative robots in welding applications
32767 - 0 ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING (2020)
Volume nr. :64
Afroz, A. S.; Digiacomo, F.; Pelliccia, R.; Inglese, F.; Stefanini, C.; Milazzo, M.
Optimization of a wearable speed monitoring device for welding applications
1285 - 1293 INTERNATIONAL JOURNAL, ADVANCED MANUFACTURING TECHNOLOGY (2020)
Volume nr. :110
Issue nr. :5
Digiacomo, F.; Afroz, A. S.; Pelliccia, R.; Inglese, F.; Milazzo, M.; Stefanini, C.
Head-Mounted Standalone Real-Time Tracking System for Moving Light-Emitting Targets Fusing Vision and Inertial Sensors
8953 - 8961 IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT (2020)
Volume nr. :69
Issue nr. :11
Di Natale, M.; Chang, L. P.; Chen, Y. S.
Introduction to the special issues on embedded systems in applied computing
JOURNAL OF SYSTEMS ARCHITECTURE (2020)
Volume nr. :109
Prastowo, T.; Palopoli, L.; Abeni, L.
Tice: A real-time language compilable using C++ compilers
SOFTWARE-PRACTICE & EXPERIENCE (2020)
Abeni, Luca; Biondi, Alessandro; Bini, Enrico
Hierarchical scheduling of real-time tasks over Linux-based virtual machines
234 - 249 THE JOURNAL OF SYSTEMS AND SOFTWARE (2019)
Volume nr. :127
Ruscelli, A. L.; Cecchetti, G.; Castoldi, P.
Elastic QoS Scheduling with Step-by-Step Propagation in IEEE 802.11e Networks with Multimedia Traffic
1 - 23 WIRELESS COMMUNICATIONS AND MOBILE COMPUTING (2019)
Volume nr. :127
Restuccia, Francesco; Pagani, M.; Biondi, A.; Marinoni, M.; Buttazzo, G.
Is your bus arbiter really fair? Restoring fairness in axi interconnects for FPGA SOCs
1 - 22 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2019)
Volume nr. :18
Issue nr. :5
Biondi, Alessandro; Nesti, Federico; Cicero, Giorgiomaria; Casini, Daniel; Buttazzo, Giorgio Carlo
A Safe, Secure, and Predictable Software Architecture for Deep Learning in Safety-Critical Systems
IEEE EMBEDDED SYSTEMS LETTERS (2019)
Seyoum, B. B.; Biondi, A.; Buttazzo, G. C.
Flora: Floorplan optimizer for reconfigurable areas in FPGAs
1 - 20 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2019)
Volume nr. :18
Issue nr. :5
Calvaresi, Davide; Marinoni, Mauro; Dragoni, ALDO FRANCO; Hilfiker, Roger; Schumacher, Michael
Real-time multi-agent systems for telerehabilitation scenarios
ARTIFICIAL INTELLIGENCE IN MEDICINE (2019)
Mascitti, Agostino; Cucinotta, Tommaso; Marinoni, Mauro
An adaptive, utilization-based approach to schedule real-time tasks for ARM big. LITTLE architectures
18 - 23 SIGBED REVIEW (2019)
Balsini, Alessio; Cucinotta, Tommaso; Abeni, Luca; Fernandes, Joel; Burk, Phil; Bellasi, Patrick; Rasmussen, Morten
Energy-efficient low-latency audio on android
182 - 195 THE JOURNAL OF SYSTEMS AND SOFTWARE (2019)
Volume nr. :127
Sun, Youcheng; Di Natale, Marco
Pessimism in multicore global schedulability analysis
142 - 152 JOURNAL OF SYSTEMS ARCHITECTURE (2019)
Volume nr. :97
Al-Bayati, Z.; Sun, Y.; Zeng, H.; Di Natale, M.; Zhu, Q.; Meyer, B. H.
Partitioning and selection of data consistency mechanisms for multicore real-time systems
1 - 28 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2019)
Volume nr. :18
Issue nr. :4
Peng, C.; Zeng, H.; Di Natale, M.
A comparison of schedulability analysis methods using state and digraph models for the schedulability analysis of synchronous FSMs
598 - 638 REAL-TIME SYSTEMS (2019)
Volume nr. :55
Issue nr. :3
Galli, F.; Vannucci, M.; Colla, V.
Optimization of data resampling through GA for the classification of imbalanced datasets
297 - 307 IJAIN-INTERNATIONAL JOURNAL OF ADVANCES IN INTELLIGENT INFORMATICS (2019)
Volume nr. :5
Issue nr. :3
DI FRANCO, Carmelo; Marinoni, Mauro; Bini, Enrico; Buttazzo, Giorgio C.
Dynamic Multidimensional Scaling with anchors and height constraints for indoor localization of mobile nodes
28 - 37 ROBOTICS AND AUTONOMOUS SYSTEMS (2018)
Volume nr. :108
Biondi, Alessandro; Buttazzo, Giorgio
Modeling and Analysis of Engine Control Tasks Under Dynamic Priority Scheduling
1 - 0 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2018)
Feld, Timo; Biondi, Alessandro; Davis, Robert I.; Buttazzo, Giorgio; Slomka, Frank
A survey of schedulability analysis techniques for rate-dependent tasks
100 - 107 THE JOURNAL OF SYSTEMS AND SOFTWARE (2018)
Volume nr. :127
Biondi, Alessandro; Natale, Marco Di; Buttazzo, Giorgio C.; Pazzaglia, Paolo
Selecting the Transition Speeds of Engine Control Tasks to Optimize the Performance
1 - 26 ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS (2018)
Volume nr. :2
Issue nr. :1
Biondi, Alessandro; Buttazzo, Giorgio; Bertogna, Marko
A design flow for supporting component-based software development in multiprocessor real-time systems
1 - 30 REAL-TIME SYSTEMS (2018)
Buonocunto, Pasquale; Giantomassi, Andrea; Marinoni, Mauro; Calvaresi, Davide; Buttazzo, Giorgio
A Limb Tracking Platform for Tele-Rehabilitation
1 - 23 ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS (2018)
Volume nr. :2
Issue nr. :4
Casini, Daniel; Biondi, Alessandro; Buttazzo, Giorgio Carlo
Handling Transients of Dynamic Real-Time Workload Under EDF Scheduling
1 - 16 IEEE TRANSACTIONS ON COMPUTERS (2018)
Biondi, Alessandro; Sun, Youcheng
On the ineffectiveness of 1/m-based interference bounds in the analysis of global EDF and FIFO scheduling
1 - 22 REAL-TIME SYSTEMS (2018)
Pannocchi, Luigi; Di Franco, Carmelo; Marinoni, Mauro; Buttazzo, Giorgio
Integrated Framework for Fast Prototyping and Testing of Autonomous Systems
JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (2018)
Cucinotta, Tommaso; Abeni, Luca; Lelli, Juri; Lipari, Giuseppe
Improving Responsiveness of Time-Sensitive Applications by Exploiting Dynamic Task Dependencies
820 - 841 SOFTWARE-PRACTICE & EXPERIENCE (2018)
Volume nr. :48
Issue nr. :4
Bernardeschi, Cinzia; Di Natale, Marco; Dini, Gianluca; Palmieri, Maurizio
Verifying data secure flow in AUTOSAR models
269 - 289 JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES (2018)
Volume nr. :14
Issue nr. :4
Villalba Frías, Bernardo; Palopoli, Luigi; Abeni, Luca; Fontanelli, Daniele
The PROSIT tool: Toward the optimal design of probabilistic soft real-time systems
1940 - 1967 SOFTWARE-PRACTICE & EXPERIENCE (2018)
Volume nr. :48
Issue nr. :11
Paolucci, Francesco; Cugini, Filippo; Cecchetti, Gabriele; Castoldi, Piero
Open Network Database for Application-Based Control in Multilayer Networks
1469 - 1476 JOURNAL OF LIGHTWAVE TECHNOLOGY (2017)
Volume nr. :35
Issue nr. :9
Marinoni, Mauro; Biondi, Alessandro; Buonocunto, Pasquale; Franchino, Gianluca; Cesarini, Daniel; Buttazzo, Giorgio Carlo
Real-Time Analysis and Design of a Dual Protocol Support for Bluetooth LE Devices
80 - 91 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2017)
Volume nr. :13
Issue nr. :1
Franchino, Gianluca; Buttazzo, Giorgio Carlo
A power-aware MAC layer protocol for real-time communication in wireless embedded systems
21 - 34 JOURNAL OF NETWORK AND COMPUTER APPLICATIONS (2017)
Volume nr. :82
Garate, Virginia Ruiz; Parri, Andrea; Yan, Tingfang; Munih, Marko; Lova, Raffaele Molino; Vitiello, Nicola; Ronsse, Renaud
Experimental validation of motor primitive-based control for leg exoskeletons during continuous multi-locomotion tasks
1 - 17 FRONTIERS IN NEUROROBOTICS (2017)
Volume nr. :11
Melani, Alessandra; Bertogna, Marko; Bonifaci, Vincenzo; Marchetti Spaccamela, Alberto; Buttazzo, Giorgio Carlo
Schedulability Analysis of Conditional Parallel Task Graphs in Multicore Systems
339 - 353 IEEE TRANSACTIONS ON COMPUTERS (2017)
Volume nr. :66
Issue nr. :2
Biondi, Alessandro; Di Natale, Marco; Buttazzo, Giorgio
Response-Time Analysis of Engine Control Applications under Fixed-Priority Scheduling
1 - 1 IEEE TRANSACTIONS ON COMPUTERS (2017)
Cesarini, Daniel; Jelicic, Vana; Kuri, Marijan; Marinoni, Mauro; Brunelli, Davide; Bilas, Vedran
Experimental validation of energy harvesting-system availability improvement through battery heating
3497 - 3506 IEEE SENSORS JOURNAL (2017)
Volume nr. :17
Issue nr. :11
Sun, Youcheng; Di Natale, Marco
Weakly hard schedulability analysis for fixed priority scheduling of periodic real-time tasks
1 - 19 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2017)
Volume nr. :16
Issue nr. :5
Leone, Giuseppe Riccardo; Moroni, Davide; Pieri, Gabriele; Petracca, Matteo; Salvetti, Ovidio; Azzarã , Andrea; Marino, Francesco
An intelligent cooperative visual sensor network for urban mobility
2588 - 0 SENSORS (2017)
Volume nr. :17
Issue nr. :11
Franchino, Gianluca; Buttazzo, Giorgio Carlo; Marinoni, Mauro
Bandwidth optimization and energy management in real-Time wireless networks
1 - 29 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2016)
Volume nr. :15
Issue nr. :3
Bambagini, Mario; Marinoni, Mauro; Aydin, Hakan; Buttazzo, Giorgio Carlo
Energy-aware scheduling for real-time systems: A survey
1 - 34 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2016)
Volume nr. :15
Issue nr. :1
DI FRANCO, Carmelo; Buttazzo, Giorgio Carlo
Coverage Path Planning for UAVs Photogrammetry with Energy and Resolution Constraints
445 - 462 JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS (2016)
Volume nr. :83
Issue nr. :3
Biondi, Alessandro; Buttazzo, Giorgio Carlo; Bertogna, Marko
Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources
1593 - 1605 IEEE TRANSACTIONS ON COMPUTERS (2016)
Volume nr. :65
Issue nr. :5
Calvaresi, Davide; Cesarini, Daniel; Sernani, Paolo; Marinoni, Mauro; Dragoni, Aldo Franco; Sturm, Arnon
Exploring the ambient assisted living domain: a systematic review
239 - 257 JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING (2016)
Volume nr. :8
Issue nr. :2
DI NATALE, Marco; Perillo, David; Chirico, Francesco; Sindico, Andrea; SANGIOVANNI VINCENTELLI, Alberto
A Model-Based Approach for the Synthesis of Software to Firmware Adapters for use with Automatically Generated Components
SOFTWARE AND SYSTEMS MODELING (2016)
Deng, Peng; Zhu, Qi; Davare, Abhijit; Mourikis, Anastasios; Liu, Xue; DI NATALE, Marco
An Efficient Control-driven Period Optimization Algorithm for Distributed Real-time Systems
3552 - 3566 IEEE TRANSACTIONS ON COMPUTERS (2016)
Volume nr. :65
Issue nr. :12
Ernst, Rolf; DI NATALE, Marco
Mixed Criticality Systems-A History of Misconceptions?
65 - 74 IEEE DESIGN & TEST (2016)
Volume nr. :33
Issue nr. :5
Di Natale, Marco; Perillo, David; Chirico, Francesco; Sindico, Andrea; Sangiovanni-Vincentelli, Alberto
A Model-based approach for the synthesis of software to firmware adapters for use with automatically generated components
1 - 23 SOFTWARE AND SYSTEMS MODELING (2016)
Volume nr. :17
Issue nr. :1
Ruscelli, A. L.; Cecchetti, G.
Improving the QoS of IEEE 802.11e networks through imprecise computation
152 - 167 INTERNATIONAL JOURNAL OF AD HOC AND UBIQUITOUS COMPUTING (2016)
Volume nr. :23
Issue nr. :3
Lelli, Juri; Scordino, Claudio; Abeni, Luca; Faggioli, Dario
Deadline scheduling in the Linux kernel
821 - 839 SOFTWARE-PRACTICE & EXPERIENCE (2016)
Volume nr. :46
Issue nr. :6
Palopoli, Luigi; Fontanelli, Daniele; Abeni, Luca; Frias, Bernardo Villalba
An Analytical Solution for Probabilistic Guarantees of Reservation Based Soft Real-Time Systems
640 - 653 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS (2016)
Volume nr. :27
Issue nr. :3
Bini, Enrico
The Quadratic Utilization Upper Bound for Arbitrary Deadline Real-Time Tasks
593 - 599 IEEE TRANSACTIONS ON COMPUTERS (2015)
Volume nr. :64
Issue nr. :2
Buttazzo, Giorgio Carlo; Franco, Carmelo Di; Marinoni, Mauro; DI FRANCO, Carmelo
Design and analysis of target-sensitive real-time systems
1181 - 1200 SOFTWARE-PRACTICE & EXPERIENCE (2015)
Volume nr. :46
Issue nr. :9
Garcia Valls, Marisol; Cucinotta, Tommaso
Real-time and distributed computing in emerging applications. Foreword by the general chairs of Reaction 2012
267 - 268 THE JOURNAL OF SYSTEMS AND SOFTWARE (2015)
Volume nr. :61
Issue nr. :5
Haibo, Zeng; DI NATALE, Marco
Computing periodic request functions to speed-up the analysis of non-cyclic task models
REAL-TIME SYSTEMS (2015)
Abeni, Luca; Kiraly, Csaba; Li, Nanfang; Bianco, Andrea
On the performance of KVM-based virtual routers
40 - 53 COMPUTER COMMUNICATIONS (2015)
Volume nr. :70
Abeni, Luca; Kiraly, Csaba
Running repeatable and controlled virtual routing experiments
455 - 471 SOFTWARE-PRACTICE & EXPERIENCE (2015)
Volume nr. :45
Issue nr. :4
Traverso, Stefano; Abeni, Luca; Birke, Robert; Kiraly, Csaba; Leonardi, Emilio; Lo Cigno, Renato; Mellia, Marco
Neighborhood filtering strategies for overlay construction in P2P-TV systems: Design and experimental comparison
741 - 754 IEEE-ACM TRANSACTIONS ON NETWORKING (2015)
Volume nr. :23
Issue nr. :3
Bini, Enrico; Giuseppe, Buttazzo
The Optimal Sampling Pattern for Linear Control Systems
78 - 90 IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2014)
Volume nr. :59
Issue nr. :1
Artem, Burmyakov; Bini, Enrico; Eduardo, Tovar
Compositional multiprocessor scheduling: the GMPR interface
342 - 376 REAL-TIME SYSTEMS (2014)
Volume nr. :50
Issue nr. :3
Giulio Mose, Mancuso; Bini, Enrico; Gabriele, Pannocchia
Optimal Priority Assignment to Control Tasks
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2014)
Volume nr. :13
Issue nr. :5
Ruscelli, Anna Lina; Cecchetti, Gabriele
A IEEE 802.11e HCCA scheduler with a reclaiming mechanism for multimedia applications
ADVANCES IN MULTIMEDIA (2014)
Volume nr. :127
Benedetto, Salvatore; Lipari, Giuseppe
ADOK: a minimal object oriented real-time operating system in C++
74 - 79 SIGBED REVIEW (2014)
Volume nr. :11
Issue nr. :1
Theeten, Bart; Bedini, Ivan; Cogan, Peter; Sala, Alessandra; Cucinotta, Tommaso
Towards the optimization of a parallel streaming engine for telco applications
181 - 197 BELL LABS TECHNICAL JOURNAL (2014)
Volume nr. :18
Issue nr. :4
Konstanteli, Kleopatra; Cucinotta, Tommaso; Psychas, Konstantinos; Varvarigou, Theodora A.
Elastic admission control for federated cloud services
348 - 361 IEEE TRANSACTIONS ON CLOUD COMPUTING (2014)
Volume nr. :2
Issue nr. :3
GARCIA VALLS, Marisol; Cucinotta, Tommaso; Lu, Chenyang
Challenges in real-time virtualization and predictable cloud computing
726 - 740 JOURNAL OF SYSTEMS ARCHITECTURE (2014)
Volume nr. :60
Issue nr. :9
Han, Gang; Zeng, Haibo; DI NATALE, Marco; Liu, Xue; Dou, Wenhua
Experimental evaluation and selection of data consistency mechanisms for hard real-time applications on multicore platforms
903 - 918 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2014)
Volume nr. :10
Issue nr. :2
Zeng, Haibo; DI NATALE, Marco; Zhu, Qi
Minimizing stack and communication memory usage in real-time embedded applications
1 - 25 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2014)
Volume nr. :13
Issue nr. :5
Buttazzo, Giorgio Carlo; M., Bertogna; G., Yao
Limited Preemptive Scheduling for Real-Time Systems: a Survey
3 - 15 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2013)
Volume nr. :9
Issue nr. :1
Brondi, Raffaello; Bannò, F; Bendinelli, S; Castelli, C; Mancina, A; Marinoni, Mauro; Sartiano, D; Sernissi, F; Bongioanni, P.
Drugs Don't Work in Patients Who Don't Take Them: Dr. Drin, The New ICT Paradigm For Chronic Therapies
100 - 104 ANNUAL REVIEW OF CYBERTHERAPY AND TELEMEDICINE (2013)
Volume nr. :127
Issue nr. :1
Salvadori, Claudio; Petracca, Matteo; Madeo, Simone; Bocchino, Stefano; Pagano, Paolo
Video Streaming Applications in Wireless Camera Networks: a change detection based approach targeted to 6LoWPAN
JOURNAL OF SYSTEMS ARCHITECTURE (2013)
Paolo Pagano;Matteo Petracca;Daniele Alessandrelli;Claudio Salvadori
Is ICT mature for an EU-wide Intelligent Transport System?
151 - 159 IET INTELLIGENT TRANSPORT SYSTEMS (2013)
Volume nr. :7
D. Alessandrelli;L. Mainetti;L. Patrono;G. Pellerano;M. Petracca;M. Stefanizzi
Performance evaluation of an energy-efficient MAC scheduler by using a test bed approach
84 - 96 (2013)
Volume nr. :9
Matteo Petracca; Stefano Bocchino; Andrea Azzara; Riccardo Pelliccia; Marco Ghibaudi; Paolo Pagano
WSN and RFID Integration in the IoT scenario: an Advanced Safety System for Industrial Plants
(2013)
H., Zeng; DI NATALE, Marco
An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization
644 - 661 IEEE TRANSACTIONS ON COMPUTERS (2013)
Volume nr. :62
Issue nr. :4
G., Han; DI NATALE, Marco; H., Zeng; X., Liu; W., Dou
Optimizing the implementation of real-time Simulink models onto distributed automotive architectures
JOURNAL OF SYSTEMS ARCHITECTURE (2013)
E., Azketa; J. J., Gutiérrez; DI NATALE, Marco; L., Almeida; M., Marcos
Algoritmo genético permutacional para el despliegue y la planificación de sistemas de tiempo real distribuidos
REVISTA IBEROAMERICANA DE AUTOMÁTICA E INFORMÁTICA INDUSTRIAL (2013)
Abeni, Luca; Bonelli, Nicola; Procissi, Gregorio
Randomized packet filtering through specialized partitioning of rulesets
2380 - 2383 IEEE COMMUNICATIONS LETTERS (2013)
Volume nr. :17
Issue nr. :12
R., Santos; Lipari, Giuseppe; Bini, Enrico; T., Cucinotta
On-line schedulability tests for adaptive reservations in fixed priority scheduling
601 - 634 REAL-TIME SYSTEMS (2012)
Volume nr. :5
Issue nr. :48
Santos, Rodrigo; Lipari, Giuseppe; Bini, Enrico; Cucinotta, Tommaso
On-line schedulability tests for adaptive reservations in fixed priority scheduling
601 - 634 REAL-TIME SYSTEMS (2012)
Volume nr. :48
Issue nr. :5
Ruscelli, Anna Lina; Cecchetti, Gabriele; A., Alifano; Lipari, Giuseppe
Enhancement of QoS support of HCCA schedulers using EDCA function in IEEE 802.11e networks
147 - 161 AD HOC NETWORKS (2012)
Volume nr. :10
Cucinotta, Tommaso; Checconi, Fabio; Abeni, Luca; Palopoli, Luigi
Adaptive Real-Time Scheduling for Legacy Multimedia Applications
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2012)
Volume nr. :11
Issue nr. :4
Faggioli, Dario; Lipari, Giuseppe; Cucinotta, Tommaso
Analysis and implementation of the multiprocessor bandwidth inheritance protocol
789 - 825 REAL-TIME SYSTEMS (2012)
Volume nr. :48
Issue nr. :6
Cucinotta, Tommaso; Faggioli, Dario
Handling timing constraints violations in soft real-time applications as exceptions
995 - 1011 THE JOURNAL OF SYSTEMS AND SOFTWARE (2012)
Volume nr. :85
Issue nr. :4
Q., Zhu; H., Zeng; W., Zheng; DI NATALE, Marco; A., Sangiovanni Vincentelli
Optimization of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2012)
Volume nr. :11
Issue nr. :4
Buttazzo, Giorgio Carlo; Bini, Enrico; Yifan, Wu
Partitioning Parallel Applications on Multiprocessor Reservations
302 - 315 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)
Volume nr. :7
Bini, Enrico; Buttazzo, Giorgio Carlo; Johan, Eker; Stefan, Schorr; Raphael, Guerra; Gerhard, Fohler; Karl Erik, Arzen; Vanessa Romero, Segovia; Claudio, Scordino
Resource Management on Multicore Systems: The ACTORS Approach
72 - 81 IEEE MICRO (2011)
Volume nr. :31
Bini, Enrico; Buttazzo, Giorgio Carlo; Johan, Eker; Stefan, Schorr; Raphael, Guerra; Gerhard, Fohler; Karl Erik, Arzen; Vanessa, Romero; Claudio, Scordino
Resource Management on Multicore Systems: The ACTORS Approach
72 - 81 IEEE MICRO (2011)
Volume nr. :31
Gang, Yao; Buttazzo, Giorgio Carlo; Bertogna, Marko
Feasibility Analysis under Fixed Priority Scheduling with Limited Preemptions
198 - 223 REAL-TIME SYSTEMS (2011)
Volume nr. :47
Benjamin, Kuch; Buttazzo, Giorgio Carlo; Arne, Sieber
Bubble model based decompression algorithm optimized for implementation on a low power microcontroller
195 - 202 UNDERWATER TECHNOLOGY (2011)
Volume nr. :29
Kai, Huang; Luca, Santinelli; Jian Jia, Chen; Lothar, Thiele; Buttazzo, Giorgio Carlo
Applying Real-Time Interface and Calculus for Dynamic Power Management in Hard Real-Time Systems
163 - 193 REAL-TIME SYSTEMS (2011)
Volume nr. :47
Buttazzo, Giorgio Carlo; Bini, Enrico; Yifan, Wu
Partitioning Real-Time Applications Over Multicore Reservations
302 - 315 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)
Volume nr. :7
Issue nr. :2
Sojka, Michal; Píša, Pavel; Faggioli, Dario; Cucinotta, Tommaso; Checconi, Fabio; Hanzálek, Zdeněk; Lipari, Giuseppe
Modular software architecture for flexible reservation mechanisms on heterogeneous resources
366 - 382 JOURNAL OF SYSTEMS ARCHITECTURE (2011)
Volume nr. :57
Cucinotta, Tommaso; Checconi, Fabio; George, Kousiouris; Kleopatra, Konstanteli; Spyridon, Gogouvitis; Dimosthenis, Kyriazis; Theodora, Varvarigou; Alessandro, Mazzetti; Zlatko, Zlatev; Juri, Papay; Michael, Boniface; Sören, Berger; Dominik, Lamp; Thomas
Virtualised e-Learning on the IRMOS real-time Cloud
151 - 166 SERVICE ORIENTED COMPUTING AND APPLICATIONS (2011)
Volume nr. :6
Issue nr. :2
Ruslan, Asaula; Cucinotta, Tommaso; Gianluca, Dini; Palopoli, Luigi
Trading Security for Control Performance in Distributed Robotic Applications
26 - 39 INTERNATIONAL TRANSACTIONS ON SYSTEMS SCIENCE AND APPLICATIONS (2011)
Volume nr. :7
Issue nr. :1
Cucinotta, Tommaso; Abeni, Luca; Luigi, Palopoli; Lipari, Giuseppe
A robust mechanism for adaptive scheduling of multimedia applications
1 - 24 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2011)
Volume nr. :10
Nicola, Serreli; Lipari, Giuseppe; Bini, Enrico
A tool for component-based schedulability analysis of distributed real-time pipelines
70 - 72 SIGBED REVIEW (2011)
Volume nr. :8
George, Kousiouris; Cucinotta, Tommaso; Theodora, Varvarigou
The effects of scheduling, workload type and consolidation scenarios on virtual machine performance and their prediction through optimized artificial neural networks
1270 - 1291 THE JOURNAL OF SYSTEMS AND SOFTWARE (2011)
Volume nr. :84
Issue nr. :8
M., Magrini; D., Moroni; Nastasi, Christian; Pagano, Paolo; Petracca, Matteo; G., Pieri; Salvadori, Claudio; O., Salvetti
Visual sensor networks for infomobility
20 - 29 (2011)
Volume nr. :21
H., Zeng; DI NATALE, Marco; A., Ghosal; A., Sangiovanni Vincentelli
Schedule Optimization of Time-Triggered Systems Communicating over the FlexRay Static Segment
1 - 17 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2011)
Volume nr. :58
Cecchetti, Gabriele; Ruscelli, Anna Lina
Real-time support for HCCA function in IEEE 802.11e networks: a performance evaluation
299 - 315 SECURITY AND COMMUNICATION NETWORKS (2011)
Volume nr. :4
Bini, Enrico; Bertogna, Marko; Sanjoy K., Baruah
The Parallel Supply Function Abstraction for a Virtual Multiprocessor
DAGSTUHL SEMINAR PROCEEDINGS (2010)
Bertogna, Marko; S., Baruah
Limited preemption EDF scheduling of sporadic task systems
579 - 591 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Volume nr. :6
Y., Wu; Buttazzo, Giorgio Carlo; Bini, Enrico; A., Cervin
Parameter Selection for Real-time Controllers in Resource-Constrained Systems
610 - 620 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Volume nr. :6
Pau, Marti; Manel, Velasco; Josep M., Fuertes; Antonio, Camacho; Buttazzo, Giorgio Carlo
Design of an Embedded Control Systems Laboratory Experiment
3297 - 3307 IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS (2010)
Volume nr. :57
Cucinotta, Tommaso; Palopoli, Luigi
QoS Control for Pipelines of Tasks using Multiple Resources
416 - 430 IEEE TRANSACTIONS ON COMPUTERS (2010)
Volume nr. :59
Issue nr. :3
Cucinotta, Tommaso; Palopoli, Luigi; Abeni, Luca; Faggioli, Dario; Lipari, Giuseppe
On the integration of application level and resource level QoS control for real-time applications
479 - 491 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Volume nr. :6
Issue nr. :4
Pagano, Paolo; Chitnis, Mangesh; Lipari, Giuseppe; Nastasi, Christian; Liang, Yao
Simulating Real-Time Aspects of Wireless Sensor Networks
EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING (2010)
Volume nr. :127
Issue nr. :1
Konstanteli, Kleopatra; Cucinotta, Tommaso; Varvarigou, Theodora
Optimum Allocation of Distributed Service Workflows with Probabilistic Real-Time Guarantees
229 - 243 SERVICE ORIENTED COMPUTING AND APPLICATIONS (2010)
Volume nr. :4
Dimosthenis, Kyriazis; Andreas, Menychtas; George, Kousiouris; Karsten, Oberle; Thomas, Voith; Michael, Boniface; Eduardo, Oliveros; Cucinotta, Tommaso; Soren, Berger
A Real-time Service Oriented Infrastructure
GSTF INTERNATIONAL JOURNAL ON COMPUTING (2010)
Volume nr. :1
Issue nr. :2
DI NATALE, Marco; SANGIOVANNI VINCENTELLI, A.
Moving from Federated to Integrated Architectures in Automotive: the Role of Standards, Methods and Tools
PROCEEDINGS OF THE IEEE (2010)
Q., Zhu; Y., Yang; DI NATALE, Marco; E., Scholte; A., Sangiovanni Vincentelli
Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
DI NATALE, Marco; L., Guo; H., Zeng; A., Sangiovanni Vincentelli
Synthesis of Multitask Implementations of Simulink Models with Minimum Delay
637 - 651 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
H., Zeng; DI NATALE, Marco; P., Giusto; A., Sangiovanni Vincentelli
Using Statistical Methods to compute the Probability distribution of Message Response Time in Controller Area Network
678 - 691 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
G., Wang; DI NATALE, Marco; A., Sangiovanni Vincentelli
Optimal Synthesis of Communication Procedures in Real-Time Synchronous Reactive Models
729 - 743 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2010)
Bini, Enrico; THI HUYEN CHAU, Nguyen; Pascal, Richard; Sanjoy, Baruah
A response time bound in fixed-priority scheduling with arbitrary deadlines
279 - 286 IEEE TRANSACTIONS ON COMPUTERS (2009)
Volume nr. :58
T. H. C., Nguyen; Bini, Enrico; P., Richard
Approximation techniques for response-time analysis of static-priority tasks
147 - 176 REAL-TIME SYSTEMS (2009)
Volume nr. :43
Bini, Enrico; Buttazzo, Giorgio Carlo; Lipari, Giuseppe
Minimizing CPU energy in real-time systems with discrete speed management
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2009)
Volume nr. :8
Issue nr. :4
Bertogna, Marko; N., Fisher; S., Baruah
Resource-sharing servers for Open Environments
202 - 220 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)
Volume nr. :5
Bertogna, Marko; M., Cirinei; Lipari, Giuseppe
Schedulability analysis of global scheduling algorithms on multiprocessor platforms
553 - 566 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS (2009)
Volume nr. :20
Bini, Enrico; Buttazzo, Giorgio Carlo; Lipari, Giuseppe
Minimizing CPU energy in real-time systems with discrete speed management
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2009)
Volume nr. :8
Bini, Enrico; Buttazzo, Giorgio Carlo
The space of EDF deadlines: the exact region and a convex approximation
27 - 51 REAL-TIME SYSTEMS (2009)
Volume nr. :41
Issue nr. :1
Palopoli, Luigi; Cucinotta, Tommaso; Marzario, Luca; Lipari, Giuseppe
AQuoSA-adaptive quality of service architecture
1 - 31 SOFTWARE-PRACTICE & EXPERIENCE (2009)
Volume nr. :39
L., Palopoli; Cucinotta, Tommaso; L., Marzario; Lipari, Giuseppe; Cucinotta, Tommaso
AQuoSA - adaptive quality of service architecture
1 - 31 SOFTWARE-PRACTICE & EXPERIENCE (2009)
Volume nr. :39
Cucinotta, Tommaso; Mancina, A; Anastasi, G; Lipari, Giuseppe; Mangeruca, L; Checcozzo, R; Rusinà, F.
A Real-time Service-Oriented Architecture for Industrial Automation
267 - 277 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)
Volume nr. :5
Abeni, Luca; Palopoli, L; Scordino, C; Lipari, Giuseppe
Resource Reservations for General Purpose Applications
12 - 21 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)
Volume nr. :5
Mancina, A; Faggioli, D; Lipari, Giuseppe; HERDER J., N; Gras, B; Tanenbaum, A. S.
Enhancing a dependable multiserver operating system with temporal protection via resource reservations
177 - 210 REAL-TIME SYSTEMS (2009)
Volume nr. :43
Cucinotta, Tommaso; Mancina, Antonio; Anastasi, Gaetano F.; Lipari, Giuseppe; Mangeruca, Leonardo; Checcozzo, Roberto; Rusina, Francesco
A Real-Time Service-Oriented Architecture for Industrial Automation
267 - 277 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)
Volume nr. :5
Issue nr. :3
DI NATALE, Marco; G., Wang; A., SANGIOVANNI VINCENTELLI
Improving the size of communication buffers in synchronous models with time constraints
229 - 240 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)
Volume nr. :5
A., SANGIOVANNI VINCENTELLI; DI NATALE, Marco
Challenges and Solutions in the Development of Automotive Systems
937 - 940 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (2009)
Volume nr. :28
H., Zeng; DI NATALE, Marco; P., Giusto; A., SANGIOVANNI VINCENTELLI
Stochastic Analysis of CAN-based Real-time Automotive Systems
388 - 401 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2009)
Volume nr. :5
DI NATALE, Marco
What CAN go wrong in CAN (timing analysis)
SAE INTERNATIONAL JOURNAL OF PASSENGER CARS. ELECTRONIC AND ELECTRICAL SYSTEMS (2009)
Bini, Enrico; DI NATALE, Marco; Buttazzo, Giorgio Carlo
Sensitivity Analysis for Fixed-Priority Real-Time Systems
5 - 30 REAL-TIME SYSTEMS (2008)
Volume nr. :39
Issue nr. :4
Bini, Enrico; DI NATALE, Marco; Buttazzo, Giorgio Carlo
Sensitivity analysis for fixed-priority real-time systems
5 - 30 REAL-TIME SYSTEMS (2008)
Volume nr. :39
Issue nr. :1
Ancilotti, Paolo; Boari, M.
Evoluzione dei sistemi operativi: dai sistemi batch a Linux
48 - 62 MONDO DIGITALE (2008)
Volume nr. :7
Issue nr. :1
Ancilotti, Paolo; Boari, M.
Evoluzione dei sistemi operativi: Categorie particolari
24 - 34 MONDO DIGITALE (2008)
Volume nr. :7
Issue nr. :2
Buttazzo, Giorgio Carlo
Artificial Consciousness: Hazardous Questions (and Answers)
139 - 146 ARTIFICIAL INTELLIGENCE IN MEDICINE (2008)
Volume nr. :44
Issue nr. :2
Santos, R; Lipari, Giuseppe; Santos, J.
Improving the schedulability of soft real-time open dynamic systems: The inheritor is actually a debtor
1093 - 1104 THE JOURNAL OF SYSTEMS AND SOFTWARE (2008)
Volume nr. :81
Issue nr. :7
DI NATALE, Marco; V., Pappalardo
Buffer optimization in multitask implementations of Simulink models
1 - 32 ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS (2008)
Volume nr. :3
S., Tripakis; C., Pinello; A., Benveniste; A., SANGIOVANNI VINCENTELLI; P., Caspi; DI NATALE, Marco
Implementing Synchronous Models on Loosely Time Triggered Architectures
1300 - 1314 IEEE TRANSACTIONS ON COMPUTERS (2008)
Volume nr. :57
Marinoni, Mauro; Buttazzo, Giorgio Carlo
Elastic DVS Management in Processors with Discrete Voltage/Frequency Modes
51 - 62 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (2007)
Volume nr. :3
Issue nr. :1
Buttazzo, Giorgio Carlo
Why real-time computing?
82 - 88 AUTOMAZIONE E STRUMENTAZIONE (2007)
Volume nr. :55
Issue nr. :2
Pellizzoni, R; Lipari, Giuseppe
Holistic analysis of asynchronous real-time transactions with earliest deadline scheduling
186 - 206 JOURNAL OF COMPUTER AND SYSTEM SCIENCES (2007)
Volume nr. :73
Issue nr. :2
A., SANGIOVANNI VINCENTELLI; DI NATALE, Marco
Embedded System Design for Automotive Applications
42 - 51 COMPUTER (2007)
Volume nr. :40
Issue nr. :10
Buttazzo, Giorgio Carlo
Research Trends in Real-Time Computing for Embedded Systems
1 - 10 SIGBED REVIEW (2006)
Volume nr. :3
Issue nr. :3
Buttazzo, Giorgio Carlo
Real-Time Operating System Support for Energy-Aware Computing
88 - 95 AUTOMAZIONE E STRUMENTAZIONE (2006)
Volume nr. :54
Issue nr. :1
Buttazzo, Giorgio Carlo
Achieving Scalability in Real-Time Systems
54 - 59 COMPUTER (2006)
Volume nr. :39
Issue nr. :5
Bertogna, Marko; M., Cirinei; Lipari, Giuseppe
New Schedulability Tests for Real-Time task sets scheduled by Deadline Monotonic on Multiprocessors
306 - 321 LECTURE NOTES IN COMPUTER SCIENCE (2006)
Volume nr. :127
Scordino, C; Lipari, Giuseppe
A Resource Reservation Algorithm for Power-Aware Scheduling of Periodic and Aperiodic Real-Time Tasks
1509 - 1522 IEEE TRANSACTIONS ON COMPUTERS (2006)
Volume nr. :55
Issue nr. :12
Bini, Enrico; Buttazzo, Giorgio Carlo
Measuring the Performance of Schedulability Tests
129 - 154 REAL-TIME SYSTEMS (2005)
Volume nr. :30
P., Gai; Lipari, Giuseppe; M., Trimarchi; G., Guidi; Ancilotti, Paolo
A hierarchical framework for component-based real-time systems
253 - 266 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005)
Volume nr. :116
Marco, Caccamo; Buttazzo, Giorgio Carlo; AND D. C., Thomas
Efficient Reclaiming in Reservation-Based Real-Time Systems with Variable Execution Times
198 - 213 IEEE TRANSACTIONS ON COMPUTERS (2005)
Volume nr. :54
T., Facchinetti; Buttazzo, Giorgio Carlo; L., Almeida
Dynamic Resource Reservation and Connectivity Tracking to Support Real-Time Communication among Mobile Units
712 - 730 EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING (2005)
Volume nr. :127
Issue nr. :5
Buttazzo, Giorgio Carlo
Rate Monotonic vs. EDF: Judgment Day
5 - 26 REAL-TIME SYSTEMS (2005)
Volume nr. :29
Abeni, Luca; Cucinotta, Tommaso; Lipari, Giuseppe; Marzario, L.; Palopoli, Luigi
QoS Management through Adaptive Reservations
131 - 155 REAL-TIME SYSTEMS (2005)
Volume nr. :29
Abeni, Luca; Cucinotta, Tommaso; Lipari, Giuseppe; Marzario, Luca; Palopoli, Luigi
QoS Management Through Adaptive Reservations
131 - 155 REAL-TIME SYSTEMS (2005)
Volume nr. :29
Issue nr. :2
Pellizzoni, R.; Lipari, Giuseppe
Feasibility Analysis of Real-Time Periodic Tasks with Offsets
105 - 128 REAL-TIME SYSTEMS (2005)
Volume nr. :30
Pezzè, M; Baldini, A; Denaro, G; Lipari, Giuseppe; Rossi, M; Rogai, D.
QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems
113 - 131 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005)
Volume nr. :116
Lipari, Giuseppe; Bini, Enrico
A methodology for designing hierarchical scheduling systems
257 - 269 JOURNAL OF EMBEDDED COMPUTING (2005)
Volume nr. :1
Cucinotta, Tommaso; Riccardo, Brigo; DI NATALE, Marco
A Fingerprint Matching Algorithm for Programmable Smart Cards
INFORMATION SECURITY BULLETIN (2005)
Volume nr. :10
Issue nr. :9
Cucinotta, Tommaso; DI NATALE, Marco; D., Corcoran
An open middleware for smart cards
COMPUTER SYSTEMS SCIENCE AND ENGINEERING (2005)
Volume nr. :20
Cucinotta, Tommaso; DI NATALE, Marco; David, Corcoran
An open middleware for smart-cards
COMPUTER SYSTEMS SCIENCE AND ENGINEERING (2005)
Volume nr. :20
Issue nr. :6
Bini, Enrico; Buttazzo, Giorgio Carlo
Schedulability Analysis of Periodic Fixed Priority Systems
1462 - 1473 IEEE TRANSACTIONS ON COMPUTERS (2004)
Volume nr. :53
L., Sha; T., Abdelzaher; K., Arzen; A., Cervin; T., Baker; A., Burns; Buttazzo, Giorgio Carlo; M., Caccamo; J., Lehoczky; Buttazzo, G.
Real-Time Scheduling Theory: A Hystorical Perspective
101 - 155 REAL-TIME SYSTEMS (2004)
Volume nr. :28
Abeni, Luca; Buttazzo, Giorgio Carlo
Resource Reservation in Dynamic Real-Time Systems
123 - 167 REAL-TIME SYSTEMS (2004)
Volume nr. :27
Lipari, Giuseppe; Abeni, Luca; G., Lamastra
Task Synchronisation in Reservation-Based Real-Time Systems
1591 - 1601 IEEE TRANSACTIONS ON COMPUTERS (2004)
Volume nr. :53
Issue nr. :12
Bini, Enrico; Buttazzo, Giorgio Carlo; Buttazzo, Giuseppe
Rate monotonic scheduling: The hyperbolic bound
933 - 942 IEEE TRANSACTIONS ON COMPUTERS (2003)
Volume nr. :52
Lipari, Giuseppe; Bini, Enrico; Fohler, G.
A Framework for Composing Real-Time Schedulers
133 - 146 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2003)
Volume nr. :82
Issue nr. :6
Lipari, Giuseppe; Bini, Enrico; Gerhard, Folher
A Framework for Composing Real-Time Schedulers
133 - 146 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2003)
Volume nr. :82
S., Mazzini; M., D'Alessandro; DI NATALE, Marco; A., Domenici; Lipari, Giuseppe; T., Vardanega
HRT-UML: Taking HRT-HOOD onto UML
LECTURE NOTES IN COMPUTER SCIENCE (2003)
Palopoli, Luigi; Lipari, Giuseppe; G., Lamastra; Abeni, Luca; Bolognini, Gabriele; Ancilotti, Paolo
An object-oriented tool for simulating distributed real-time control systems
907 - 932 SOFTWARE-PRACTICE & EXPERIENCE (2002)
Volume nr. :32
Buttazzo, Giorgio Carlo; M., Caccamo; L., Sha
Handling Execution Overruns in Hard Real-Time Control Systems
835 - 849 IEEE TRANSACTIONS ON COMPUTERS (2002)
Volume nr. :51
Buttazzo, Giorgio Carlo; Lipari, Giuseppe; Caccamo, M.; Abeni, Luca
Elastic Scheduling for Flexible Workload Management
289 - 302 IEEE TRANSACTIONS ON COMPUTERS (2002)
Volume nr. :51
Issue nr. :3
Buttazzo, Giorgio Carlo; Abeni, Luca
Adaptive Workload Management through Elastic Scheduling
7 - 24 REAL-TIME SYSTEMS (2002)
Volume nr. :23
P., Gai; Lipari, Giuseppe; DI NATALE, Marco
Stack size minimization for embedded real-time systems-on-a-chip
53 - 87 DESIGN AUTOMATION FOR EMBEDDED SYSTEMS (2002)
Volume nr. :7
Issue nr. :1
Luigi, Palopoli; Lipari, Giuseppe; Abeni, Luca; DI NATALE, Marco; Ancilotti, Paolo; Fabio, Conticelli
A Tool for Simulation and Fast Prototyping of Embedded Control Systems
73 - 81 ACM SIGPLAN NOTICES (2001)
Volume nr. :36
L., Palopoli; Lipari, Giuseppe; Abeni, Luca; DI NATALE, Marco; Ancilotti, Paolo; F., Conticelli
A tool for simulation and fast prototyping of embedded control systems
ACM SIGPLAN NOTICES (2001)
Buttazzo, Giorgio Carlo
Artificial Consciousness: Utopia or Real-Possibility?
24 - 30 COMPUTER (2001)
Volume nr. :34
DI NATALE, Marco; A., Meschi
Scheduling Messages with Earliest Deadline Techniques
255 - 285 REAL-TIME SYSTEMS (2001)
Volume nr. :20
Lipari, Giuseppe; Buttazzo, Giorgio Carlo
Schedulability Analysis of Periodic and Aperiodic Tasks with Resource Constraints
327 - 338 JOURNAL OF SYSTEMS ARCHITECTURE (2000)
Volume nr. :46
DI NATALE, Marco; J., Stankovic
Scheduling Distributed Real-Time Tasks with Minimum Jitter
303 - 316 IEEE TRANSACTIONS ON COMPUTERS (2000)
Volume nr. :49
Alessandro, Taddei; Stefano, Dalmiani; Cecchetti, Gabriele; Alberto, Macerata; Clara, Carpeggiani; L., Chelozzi; Carlo, Marchesi
C3: Java-based Medical Record System for Cardiology
791 - 794 STUDIES IN HEALTH TECHNOLOGY AND INFORMATICS (1999)
Volume nr. :68
Buttazzo, Giorgio Carlo; M., Caccamo
Minimizing Aperiodic Response Times in a Firm Real-Time Environment
22 - 32 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (1999)
Volume nr. :25
Buttazzo, Giorgio Carlo; Sensini, F.
Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks in Hard Real-Time Environments
1035 - 1052 IEEE TRANSACTIONS ON COMPUTERS (1999)
Volume nr. :48
Buttazzo, Giorgio Carlo; DI NATALE, Marco; Ancilotti, Paolo; M., Spuri
Design and Programming Tools for Time Critical Applications", Real-Time Systems
251 - 267 REAL-TIME SYSTEMS (1998)
Volume nr. :14
Buttazzo, Giorgio Carlo; DI NATALE, Marco; Ancilotti, Paolo; M., Spuri
A Development Environment for Hard Real-Time Applications
331 - 354 INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING (1996)
Volume nr. :6
Buttazzo, Giorgio Carlo; M., Spuri
Scheduling Aperiodic Tasks in Dynamic Priority Systems
179 - 210 REAL-TIME SYSTEMS (1996)
Volume nr. :10
J. A., Stankovic; M., Spuri; DI NATALE, Marco; Buttazzo, Giorgio Carlo
Implications of Classical Scheduling Results for Real-Time Systems
COMPUTER (1995)
Ancilotti, Paolo; Lazzerini, B; PRETE C., A; Sacchi, M.
A Distributed Commit Protocol for a multi-computer system
718 - 724 IEEE TRANSACTIONS ON COMPUTERS (1990)
Volume nr. :39
Dario, Paolo; Buttazzo, Giorgio Carlo
An Anthropomorphic Robot Finger For Investigating Artificial Tactile Perception
25 - 48 THE INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH (1987)
Volume nr. :6
Issue nr. :3
Lucia Lo, Bello; Bini, Enrico; Gaetano, Patti
Priority-driven Swapping-based Scheduling of Aperiodic Real-Time Messages over EtherCAT Networks
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS (0000)
Bertogna, Marko; S., Baruah
Tests for global EDF schedulability analysis
JOURNAL OF SYSTEMS ARCHITECTURE (0000)

Bernardeschi, Cinzia; Del Vigna, Gabriele; DI NATALE, Marco; Dini, Gianluca; Varano, Dario
Using AUTOSAR high-level specifications for the synthesis of security components in automotive systems
101 - 117 - Springer Verlag (2016)
Volume nr. :127
Alberto Sangiovanni, Vincentelli; Haibo, Zeng; DI NATALE, Marco; Peter, Marwedel
Embedded Systems Development
- Springer (2014)
DI NATALE, Marco; H., Zeng; P., Giusto; A., Ghosal
Understanding and Using the Controller Area Network Communication Protocol
- Springer (2012)
Buttazzo, Giorgio Carlo
HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications (Third Edition)
1 - 521 - Springer (2011)
Marco, Avvenuti; Cecchetti, Gabriele; Mario G. C. A., Cimino
Lezioni di programmazione Web
- Esculapio (2010)
Ancilotti, Paolo; Boari, M.; Ciampolini, A.; Lipari, Giuseppe
Sistemi Operativi
1 - 403 - McGraw-Hill (2008)
Ancilotti, Paolo; Boari, M.
Programmazione Concorrente e Distribuita
1 - 295 - McGraw-Hill (2007)
Volume nr. :1
Marco, Avvenuti; Cecchetti, Gabriele; Mario G. C. A., Cimino
Lezioni e laboratori di tecnologie web lato server con riferimento al linguaggio PHP
- Servizio Editoriale Universitario di Pisa (2007)
Marco, Avvenuti; Cecchetti, Gabriele; Mario G. C. A., Cimino
Lezioni e laboratori di tecnologie web lato client con riferimento ai linguaggi HTML, CSS e JavaScript
- Servizio Editoriale Universitario di Pisa (2007)
Buttazzo, Giorgio Carlo
Sistemi in Tempo Reale, Terza Edizione
1 - 388 - Pitagora (2006)
Buttazzo, Giorgio Carlo
HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and Applications - Second Edition
1 - 425 - Springer (2005)
Buttazzo, Giorgio Carlo; Lipari, Giuseppe; Abeni, Luca; Marco, Caccamo
Soft Real-Time Systems: Predictability vs. Efficiency
1 - 275 - Springer (2005)
Ancilotti, Paolo; Maurelio, Boari; Anna, Ciampolini; Lipari, Giuseppe
Sistemi Operativi
1 - 0 - McGraw-Hill Italia (2004)
Cecchetti, Gabriele; Marco, Avvenuti
Protocollo http, interfaccia CGI e linguaggio PHP
- Servizio Editoriale Universitario di Pisa (2004)
Marco, Avvenuti; Cecchetti, Gabriele
HTML, CSS e JavaScript
- Servizio Editoriale Universitario di Pisa (2004)
Buttazzo, Giorgio Carlo
Sistemi in Tempo Reale, Seconda Edizione
- Pitagora (2001)
Buttazzo, Giorgio Carlo; Stankovic, J.; Spuri, M.; Ramamritham, K.
Deadline Scheduling for Real-Time Systems
- Kluwer Academics Publishers (1998)
Buttazzo, Giorgio Carlo
Sistemi in Tempo Reale
- Pitagora (1995)

Bini, Enrico
ACM SIGBED Review: Special Issue Work-in-Progress (WiP) session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
(2011)
Bini, Enrico; Lipari, Giuseppe
ACM SIGBED Review: Special Issue 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2010)
(2011)
Buttazzo, Giorgio Carlo; T. W., Kuo
Special Issue on Real-Time Systems - Part II
(2009)
Buttazzo, Giorgio Carlo; Tei Wei, Kuo
"Special Section on Real-Time Systems", in IEEE Transactions on Industrial Informatics, Volume 4, Issue 4, November 2008
(2008)
Buttazzo, Giorgio Carlo; R., Manzotti
Special Issue on "Artificial consciousness", in Artificial Intelligence in Medicine, Vol. 44, Issue 2, October 2008.
(2008)
Faggioli, Dario
Hierarchical Sporadic Server Scheduling in the Linux Kernel
(2008)
Alberto, Bemporad; Antonio, Bicchi; Buttazzo, Giorgio Carlo
Proceedings of the 10th International Conference on Hybrid Systems: Computation and Control", in Lecture Notes in Computer Science, Vol. 4416, Springer, 2007
(2007)

Cucinotta, Tommaso; Santogidis, Aram
CloudNetSim - Simulation of Real-Time Cloud Computing Applications
(2013)
Cucinotta, Tommaso; Redini, Nilo; Dini, Gianluca
Access Control for the Pepys Internet-Wide File-System
(2012)
Cucinotta, Tommaso; Checconi, Fabio; George, Kousiouris; Dimosthenis, Kyriazis; Theodora, Varvarigou; Alessandro, Mazzetti; Zlatko, Zlatev; Jury, Papay; Michael, Boniface; Soeren, Berger; Dominik, Lamp; Thomas, Voith; Manuel, Stein
The IRMOS/ISONI Real-Time Cloud Infrastructure: a Virtualised e-Learning Case-Study
(2011)
Cucinotta, Tommaso; Checconi, Fabio; George, Kousiouris; Dimosthenis, Kyriazis; Theodora, Varvarigou; Alessandro, Mazzetti; Zlatko, Zlatev; J., Papay; Michael, Boniface; Soeren, Berger; Dominik, Lamp; Thomas, Voith; Manuel, Stein
The IRMOS/ISONI Real-Time Cloud Infrastructure: a Virtualised e-Learning Case-Study
(2011)

Cucinotta, Tommaso; Vannucci, Marco; Ritacco, Antonio; Lanciano, Giacomo; Artale, Antonino; Barata, Joao; Sposato, Enrica
Metodo per predire l'evoluzione temporale di una pluralità di dati relativi ad un'infrastruttura telefonica per la network function virtualization
(2019)
Cucinotta, Tommaso; Vannucci, Marco; Ritacco, Antonio; Lanciano, Giacomo; Artale, Antonino; Barata, Joao; Sposato, Enrica
Metodo per identificare e classificare le modalità comportamentali di una pluralità di dati relativi ad un'infrastruttura telefonica per la network function virtualization
(2019)
Milazzo, Mario; Stefanini, Cesare; Cavallotti, Carmela; Pelliccia, Riccardo; Donati, Elisa; Pagella, Manuela; Varese Enrico, Giuseppe; Piovano, Marco; JANSEN VAN VUUREN, Godfried; Inglese, Francesco.
Sistema meccatronico per la manutenzione di tubature
(2017)
Cucinotta, Tommaso
Method of preventing access to sensitive data of a computing device
(2014)
Cucinotta, Tommaso; Meroni, Andrea; Hilt, Volker
State migration for elastic virtualized components
(2014)
Cucinotta, Tommaso; Fangzhe, Chang; Viswanathan, Ramesh
Exploiting probabilistic latency expressions for placing cloud applications
(2013)

News

The ReTiS lab at BRIGHT 2019

SPHERE project Kick-off meeting

The ReTiS lab on Facebook

Research Opportunities in AI for Data Center Operations