Degree programme
Programme Structure
Show/Search Programme
Degree Programme
Quantitative data
International context
Customized Schedule
Your customized time schedule has been disabled
Search a Professor
Professor's activities
Search a Course
Search a Course (system prior D.M. n. 509)
Search Lessons taught in English
Information on didactic, research and institutional assignments on this page are certified by the University; more information, prepared by the professor, are available on the personal web page and in the curriculum vitae indicated on this webpage.
Information on professor
ProfessorFornaciari William
QualificationAssociate professor full time
Belonging DepartmentDipartimento di Elettronica, Informazione e Bioingegneria
Scientific-Disciplinary SectorING-INF/05 - Information Processing Systems
Curriculum VitaeDownload CV (497.02Kb - 28/02/2022)

Professor's office hours
DEIB1125WednesdayFrom 08:30
To 10:00
+390223993504+390223993411Due to the Covid situation, it is better to use email/teams or to schedule an appointment
Professor's personal websitehttps://fornaciari.faculty.polimi.it/

Data source: RE.PUBLIC@POLIMI - Research Publications at Politecnico di Milano

List of publications and reserach products for the year 2023 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Abstract in Atti di convegno
Poster Abstract: Run-time Dynamic WCET Estimation (Show >>)
Conference proceedings
An Evaluation of the State-Of-The-Art Software and Hardware Implementations of BIKE (Show >>)
Dynamic Power Consumption of the Full Posit Processing Unit: Analysis and Experiments (Show >>)
Efficient control-oriented modelling of heterogeneous large-scale computer cooling systems (Show >>)
Hardware and Software Support for Mixed Precision Computing: A Roadmap for Embedded and HPC Systems (Show >>)
Mixed-Criticality with Integer Multiple WCETs and Dropping Relations: New Scheduling Challenges (Show >>)
RISC-V Processor Technologies for Aerospace Applications in the ISOLDE Project (Show >>)
RISC-V-Based Platforms for HPC: Analyzing Non-functional Properties for Future HPC and Big-Data Clusters (Show >>)
Journal Articles
A survey on run-time power monitors at the edge (Show >>)
FCPP+Miosix: Scaling Aggregate Programming to Embedded Systems (Show >>)
Modelling and Simulation Challenges and Solutions in Cooling Systems for Nanoscale Integrated Circuits (Show >>)
Reliability-oriented resource management for High-Performance Computing (Show >>)
Sema-IIoVT: Emergent Semantic-Based Trustworthy Information-Centric Fog System and Testbed for Intelligent Internet of Vehicles (Show >>)
Software Fault Tolerance in Real-Time Systems: Identifying the Future Research Questions (Show >>)

List of publications and reserach products for the year 2022 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Abstract in Atti di convegno
ScaDL 2022 Invited Talk 1: Design of secure power monitors for accelerators, by exploiting ML techniques, in the Euro-HPC TEXTAROSSA project (Show >>)
Conference proceedings
A Mixed-Criticality Approach to Fault Tolerance: Integrating Schedulability and Failure Requirements (Show >>)
FPGA implementation of BIKE for quantum-resistant TLS (Show >>)
Feedforward temperature compensation in sub-microsecond wireless clock synchronisation (Show >>)
On the Effectiveness of True Random Number Generators Implemented on FPGAs (Show >>)
On the use of hardware accelerators in QC-MDPC code-based cryptography (Show >>)
The TEXTAROSSA Approach to Thermal Control of Future HPC Systems (Show >>)
Journal Articles
BarMan: a Run-Time Management Framework in the Resource Continuum (Show >>)
Design of side-channel resistant power monitors (Show >>)
Towards EXtreme scale technologies and accelerators for euROhpc hw/Sw supercomputing applications for exascale: The TEXTAROSSA approach (Show >>)

List of publications and reserach products for the year 2021 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Conference proceedings
A Multi-Level DPM Approach for Real-Time DAG Tasks in Heterogeneous Processors (Show >>)
Event-Based Control Enters the Real-Time World: Perspectives and Pitfalls (Show >>)
Integrating Side Channel Security in the FPGA Hardware Design Flow (Show >>)
Managing the Resource Continuum in a Real Video Surveillance Scenario (Show >>)
TEXTAROSSA: Towards EXtreme scale Technologies and Accelerators for euROhpc hw/Sw Supercomputing Applications for exascale (Show >>)
The Italian research on HPC key technologies across EuroHPC (Show >>)
Work-in-Progress: Run-time pWCET Estimation and Quality Monitoring (Show >>)
Journal Articles
3D-ICE 3.0: efficient nonlinear MPSoC thermal simulation with pluggable heat sink models (Show >>)
An FPU design template to optimize the accuracy-efficiency-area trade-off (Show >>)
Automatic identification and hardware implementation of a resource-constrained power model for embedded systems (Show >>)

List of publications and reserach products for the year 2020 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Abstract in Rivista
Guest Editorial: Special Issue on Intelligent Embedded Systems Architectures and Applications (INTESA) (Show >>)
Chair s Welcome (Show >>)
A computing platform and method for synchronize the prototype execution and simulation of hardware devices (Show >>)
Una piattaforma informatica per prevenire attacchi ai canali laterali (Show >>)
Conference proceedings
A Game Theory Approach to Heterogeneous Resource Management: Work-in-Progress (Show >>)
A Low Energy FPGA Platform for Real-Time Event-Based Control (Show >>)
Dynamic Thermal Management with Proactive Fan Speed Control Through Reinforcement Learning (Show >>)
Predictive Resource Management in Energy-constrained Embedded Systems (Show >>)
Tiny Neural Networks for EnvironmentalPredictions: an integrated approach with Miosix (Show >>)
VGM-Bench: FPU Benchmark suite for Computer Vision, Computer Graphics and Machine Learning applications (Show >>)
Journal Articles
All-digital control-theoretic scheme to optimize energy budget and allocation in multi-cores (Show >>)
Dealing with uncertainty in pWCET estimations (Show >>)
Efficient and scalable FPGA-oriented design of QC-LDPC bit-flipping decoders for post-quantum cryptography (Show >>)
Flexible and scalable FPGA-oriented design of multipliers for large binary polynomials (Show >>)
Optimizing Energy in Non-preemptive Mixed-Criticality Scheduling by Exploiting Probabilistic Information (Show >>)
Predictive Reliability and Fault Management in Exascale Systems: State of the Art and Perspectives (Show >>)
Probabilistic-WCET Reliability: Statistical Testing of EVT hypotheses (Show >>)
Scramble Suit: A Profile Differentiation Countermeasure to Prevent Template Attacks (Show >>)
The RECIPE Approach to Challenges in Deeply Heterogeneous High Performance Systems (Show >>)
Timing Predictability in High-Performance Computing with Probabilistic Real-Time (Show >>)

List of publications and reserach products for the year 2019 (Show all details | Hide all details)
Type Title of the Publicaiton/Product
Preface (Show >>)
Breve introduzione
Introduction (Show >>)
Abstract in Atti di convegno
Work-in-Progress: Why statistical power matters for probabilistic real-time (Show >>)
Enabling Run-time Resource-aware Task Placement in Fog Scenario (Show >>)
Contributions on scientific books
Event-Based Thermal Control for High Power Density Microprocessors (Show >>)
Floreon+ Modules: A Real-World HARPA Application in the High-End HPC System Domain (Show >>)
Monitor and Knob Techniques in Network-on-Chip Architectures (Show >>)
The HARPA Approach to Ensure Dependable Performance (Show >>)
The HARPA-OS (Show >>)
The M2DC Approach towards Resource-efficient Computing (Show >>)
Conference proceedings
A Probabilistic Approach to Energy-Constrained Mixed-Criticality Systems (Show >>)
Accelerating Automotive Analytics: The M2DC Appliance Approach (Show >>)
An Open-hardware Platform for MPSoC Thermal Modeling (Show >>)
Challenges in Deeply Heterogeneous High Performance Systems (Show >>)
Evaluating the Trade-offs in the Hardware Design of the LEDAcrypt Encryption Functions (Show >>)
Partial Packet Forwarding to Improve Performance in Fully Adaptive Routing for Cache-coherent NoCs (Show >>)
Predictive Resource Management for Next-generation High-Performance Computing Heterogeneous Platforms (Show >>)
Probabilistic-WCET reliability: on the experimental validation of EVT hypotheses (Show >>)
Run-Time Managed Mobile Application Execution (Show >>)
Scientific Books
Harnessing Performance Variability in Embedded and High-performance Many/Multi-core Platforms (Show >>)
Journal Articles
All-digital energy-constrained controller for general-purpose accelerators and CPUs (Show >>)
Statistical Power Estimation Dataset for External Validation GoF tests on EVT distribution (Show >>)
The Real-Time Linux Kernel: A Survey on PREEMPT_RT (Show >>)
manifesti v. 3.5.10 / 3.5.10
Area Servizi ICT