Alberto Leva

ORCID

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 49

Top Venues

CoRR

CDC

ECC

IEEE Trans. Control. Syst. Technol.

Publications

Alberto Leva, Federico Terraneo, William Fornaciari
Wireless synchronisation as a control problem embedded in new-generation networked automation systems. MED (2023)
Chiara Cimino, Federico Terraneo, Gianni Ferretti, Alberto Leva
Efficient Control Representation in Digital Twins: An Imperative Challenge for Declarative Languages. IEEE Trans. Ind. Informatics 19 (11) (2023)
Valentina Breschi, Simone Formentin, Alberto Leva
Model predictive control with dynamic move blocking. CoRR (2023)
Alessandro Sorrentino, Federico Terraneo, Alberto Leva
Efficient Abstraction of Clock Synchronization at the Operating System Level. NG-RES@HiPEAC (2023)
Massimo Fioravanti, Daniele Cattaneo, Federico Terraneo, Silvano Seva, Stefano Cherubin, Giovanni Agosta, Francesco Casella, Alberto Leva
Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models. ACM Trans. Math. Softw. 49 (3) (2023)
Alberto Leva, Federico Terraneo, William Fornaciari
Efficient control-oriented modelling of heterogeneous large-scale computer cooling systems. MED (2023)
Federico Terraneo, Alberto Leva, William Fornaciari, Marina Zapater, David Atienza
3D-ICE 3.0: Efficient Nonlinear MPSoC Thermal Simulation With Pluggable Heat Sink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (4) (2022)
Federico Terraneo, Zaigham Khalid, William Fornaciari, Alberto Leva
Feedforward temperature compensation in sub-microsecond wireless clock synchronisation. CCTA (2022)
Alberto Leva, Simone Formentin, Silvano Seva
Overlapping-Horizon MPC: A Novel Approach to Computational Constraints in Real-Time Predictive Control. NG-RES@HiPEAC (2022)
Alberto Leva, Federico Terraneo, Silvano Seva
A Multitransmission Event-Based Architecture for Energy-Efficient Autotuning Wireless Controls. IEEE Trans. Control. Syst. Technol. 30 (4) (2022)
Massimo Fioravanti, Daniele Cattaneo, Federico Terraneo, Silvano Seva, Stefano Cherubin, Giovanni Agosta, Francesco Casella, Alberto Leva
Array-Aware Matching: Taming the Complexity of Large-Scale Simulation Models. CoRR (2022)
Silvano Seva, William Fornaciari, Alberto Leva
Event-Based Control Enters the Real-Time World: Perspectives and Pitfalls. NG-RES@HiPEAC (2021)
Silvano Seva, Chiara Cimino, Alberto Leva
On the criticality of the model parametrisation method in industrial autotuning controllers. CDC (2021)
Luciano Baresi, Alberto Leva, Giovanni Quattrocchi
Fine-Grained Dynamic Resource Allocation for Big-Data Applications. IEEE Trans. Software Eng. 47 (8) (2021)
Chiara Cimino, Gianni Ferretti, Alberto Leva
Harmonising and integrating the Digital Twins multiverse: A paradigm and a toolset proposal. Comput. Ind. 132 (2021)
Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. SEAMS@ICSE (2021)
Danny Weyns, Bradley R. Schmerl, Masako Kishida, Alberto Leva, Marin Litoiu, Necmiye Ozay, Colin Paterson, Kenji Tei
Towards Better Adaptive Systems by Combining MAPE, Control Theory, and Machine Learning. CoRR (2021)
Silvano Seva, Claudia Esther Lukaschewsky Mauriziano, William Fornaciari, Alberto Leva
A Low Energy FPGA Platform for Real-Time Event-Based Control. NG-RES@HiPEAC (2020)
Federico Terraneo, Federico Amedeo Izzo, Alberto Leva, William Fornaciari
TDMH: a communication stack for real-time wireless mesh networks. CoRR (2020)
Claudio Mandrioli, Alberto Leva, Bo Bernhardsson, Martina Maggio
Modeling of energy consumption in GPS receivers for power aware localization systems. ICCPS (2019)
Alberto Leva, Silvia Carla Strada, Mara Tanelli
Control-oriented modelling of proof-of-work blockchains. ECC (2019)
Viola Corbellini, Gianni Ferretti, Elena Ficara, Alberto Leva, Francesca Malpei, Alessandro Negri
Modelling and structure-tailored control of biogas plants fed on agro-food residues. ECC (2019)
Giovanni Agosta, Francesco Casella, Stefano Cherubin, Alberto Leva, Federico Terraneo
Towards a benchmark suite for high-performance Modelica compilers. EOOLT (2019)
Alberto Leva
PID control education for computer engineering students: A step to bridge a cultural gap. IFAC J. Syst. Control. 8 (2019)
Federico Terraneo, Alberto Leva, William Fornaciari
An Open-Hardware Platform for MPSoC Thermal Modeling. SAMOS (2019)
Giovanni Agosta, Emanuele Baldino, Francesco Casella, Stefano Cherubin, Alberto Leva, Federico Terraneo
Towards a High-Performance Modelica Compiler. Modelica (2019)
Alberto Leva, Chiara Cimino
Teaching to design control applications with coordinated modulating and logic functions. ECC (2019)
Alberto Leva, Federico Terraneo, Irene Giacomello, William Fornaciari
Event-Based Power/Performance-Aware Thermal Management for High-Density Microprocessors. IEEE Trans. Control. Syst. Technol. 26 (2) (2018)
Alessandro Vittorio Papadopoulos, Federico Terraneo, Alberto Leva, Maria Prandini
Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis. IEEE Trans. Autom. Control. 63 (11) (2018)
Alberto Leva, Silvano Seva, Alessandro Vittorio Papadopoulos
Progress Rate Control for Computer Applications. ECC (2018)
Federico Terraneo, Paolo Polidori, Alberto Leva, William Fornaciari
TDMH-MAC: Real-Time and Multi-hop in the Same Wireless MAC. RTSS (2018)
Federico Terraneo, Alberto Leva, Silvano Seva, Martina Maggio, Alessandro Vittorio Papadopoulos
Reverse Flooding: exploiting radio interference for efficient propagation delay compensation in WSN clock synchronization. CoRR (2018)
Claudio Mandrioli, Alberto Leva, Martina Maggio
Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking. CCTA (2018)
Federico Terraneo, Fabiano Riccardi, Alberto Leva
Jitter-compensated VHT and its application to WSN clock synchronization. CoRR (2018)
Federico Terraneo, Paolo Polidori, Alberto Leva, William Fornaciari
TDMH-MAC: Real-time and multi-hop in the same wireless MAC. CoRR (2018)
Francesco Casella, Alberto Leva, Andrea Bartolini
Simulation of Large Grids in OpenModelica: reflections and perspectives. Modelica (2017)
Alberto Leva
An Introduction to Systems and Control Theory for Computer Scientists and Engineers. ICPE (2017)
Federico Terraneo, Alessandro Vittorio Papadopoulos, Alberto Leva, Maria Prandini
FLOPSYNC-QACS: Quantization-aware clock synchronization for wireless sensor networks. J. Syst. Archit. 80 (2017)
Federico Terraneo, Alessandro Vittorio Papadopoulos, Alberto Leva, Maria Prandini
FLOPSYNC-QACS: quantization-aware clock synchronization for wireless sensor networks. SIGBED Rev. 14 (4) (2017)
Alessandro Vittorio Papadopoulos, Federico Terraneo, Alberto Leva, Maria Prandini
Switched control for quantized feedback systems: invariance and limit cycles analysis. CoRR (2017)
Alberto Leva, Federico Terraneo, Silvano Seva
Periodic event-based control with past measurements transmission. EBCCSP (2017)
Federico Terraneo, Fabiano Riccardi, Alberto Leva
Jitter-Compensated VHT and Its Application to WSN Clock Synchronization. RTSS (2017)
Alberto Leva, Federico Terraneo, Luigi Rinaldi, Alessandro Vittorio Papadopoulos, Martina Maggio
High-Precision Low-Power Wireless Nodes' Synchronization via Decentralized Control. IEEE Trans. Control. Syst. Technol. 24 (4) (2016)
Luciano Baresi, Sam Guinea, Alberto Leva, Giovanni Quattrocchi
A discrete-time feedback controller for containerized cloud applications. SIGSOFT FSE (2016)
Alberto Leva, Federico Terraneo, William Fornaciari
Event-based control as an enabler for high power density processors. EBCCSP (2016)
Alberto Leva, Federico Terraneo, Silvano Seva, Irene Giacomello
High-speed thermal management for power-dense microprocessors. CDC (2016)
Davide Arcelli, Vittorio Cortellessa, Alberto Leva
A Library of Modeling Components for Adaptive Queuing Networks. EPEW (2016)
Federico Terraneo, Alberto Leva, William Fornaciari
Demo: A High-Performance, Energy-Efficient Node for a Wide Range of WSN Applications. EWSN (2016)
Aida Brankovic, Jacopo Guanetti, Donald Selmanaj, Alberto Leva
Applying simple PID tuning rules with extended frequency response knowledge. CDC (2016)
Davide Arcelli, Vittorio Cortellessa, Antonio Filieri, Alberto Leva
Control Theory for Model-based Performance-driven Software Adaptation. QoSA (2015)
Federico Terraneo, Alberto Leva, Maria Prandini
A switched control scheme to handle quantisation in the design of high-precision computing system components. ICCPS (2015)
Alessandro Vittorio Papadopoulos, Roberto Carone, Martina Maggio, Alberto Leva
A control-theoretical approach to thread scheduling for multicore processors. CCA (2015)
Alberto Leva, Alessandro Vittorio Papadopoulos
Disturbance rejection in autotuners: An assessment method and a rule proposal. ACC (2015)
Federico Terraneo, Alberto Leva, Silvano Seva, Martina Maggio, Alessandro Vittorio Papadopoulos
Reverse Flooding: Exploiting Radio Interference for Efficient Propagation Delay Compensation in WSN Clock Synchronization. RTSS (2015)
Antonio Filieri, Lars Grunske, Alberto Leva
Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models. ICSE (1) (2015)
Alberto Leva, Federico Terraneo, William Fornaciari
Event-based thermal control for high-density processors. EBCCSP (2015)
Alessandro Vittorio Papadopoulos, Martina Maggio, Alberto Leva, Enrico Bini
Hard real-time guarantees in feedback-based resource reservations. Real Time Syst. 51 (3) (2015)
Federico Terraneo, Luigi Rinaldi, Martina Maggio, Alessandro Vittorio Papadopoulos, Alberto Leva
FLOPSYNC-2: Efficient Monotonic Clock Synchronisation. RTSS (2014)
Alessandro Vittorio Papadopoulos, Alberto Leva
Automating efficiency-targeted approximations in modelling and simulation tools: dynamic decoupling and mixed-mode integration. Simul. 90 (10) (2014)
Martina Maggio, Federico Terraneo, Alberto Leva
Task scheduling: A control-theoretical viewpoint for a general and flexible solution. ACM Trans. Embed. Comput. Syst. 13 (4) (2014)
Alberto Leva, Daniele Mastrandrea, Marco Bonvini, Alessandro Vittorio Papadopoulos
Object-Oriented Modelling and Simulation of Air Flow in Data Centres Based on a Quasi-3D Approach for Energy Optimisation. UCC (2014)
Alberto Leva, Alessandro Vittorio Papadopoulos, Martina Maggio
A general control-theoretical methodology for runtime resource allocation in computing systems. CDC (2013)
Alessandro Vittorio Papadopoulos, Alberto Leva
Automating Dynamic Decoupling in Object-Oriented Modelling and Simulation Tools. EOOLT (2013)
Alessandro Vittorio Papadopoulos, Johan Åkesson, Francesco Casella, Alberto Leva
Automatic partitioning and simulation of weakly coupled systems. CDC (2013)
Henry Hoffmann, Martina Maggio, Marco D. Santambrogio, Alberto Leva, Anant Agarwal
A generalized software framework for accurate and efficient management of performance goals. EMSOFT (2013)
Alberto Leva, Alessandro Vittorio Papadopoulos
Teaching a Conscious Use of PI/PID Tuning Rules. ACE (2013)
Alessandro Vittorio Papadopoulos, Alberto Leva
Laboratories Over the Network: From Remote to Mobile. ACE (2013)
Federico Terraneo, Alberto Leva
Feedback-based memory management with active swap-in. ECC (2013)
Andrea Bartolini, Francesco Casella, Alberto Leva, Erika Calderara
Object-oriented modelling for control synthesis and commissioning in power plants: A case study on flue gas path control. ACC (2013)
Martina Maggio, Henry Hoffmann, Marco D. Santambrogio, Anant Agarwal, Alberto Leva
Power Optimization in Embedded Systems via Feedback Control of Resource Allocation. IEEE Trans. Control. Syst. Technol. 21 (1) (2013)
Alberto Leva, Federico Terraneo
Low power synchronisation in wireless sensor networks via simple feedback controllers: The FLOPSYNC scheme. ACC (2013)
Alberto Leva, Martina Maggio, Federico Terraneo
Performance analysis of operating systems schedulers realised as discrete-time controllers. CCA (2012)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Autotuning control structures for reliability-driven dynamic binding. CDC (2012)
Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi
Flexible logic-based Co-simulation of Modelica models. INDIN (2012)
Andrea Bartolini, Francesco Casella, Alberto Leva, Luca Savoldelli
Object-oriented simulation for primary reserve scheduling in a combined cycle power plant. CCA (2012)
Martina Maggio, Henry Hoffmann, Alessandro Vittorio Papadopoulos, Jacopo Panerati, Marco D. Santambrogio, Anant Agarwal, Alberto Leva
Comparison of Decision-Making Strategies for Self-Optimization in Autonomic Computing Systems. ACM Trans. Auton. Adapt. Syst. 7 (4) (2012)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Reliability-driven dynamic binding via feedback control. SEAMS (2012)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Discrete-time dynamic modeling for software and services composition as an extension of the Markov chain approach. CCA (2012)
Marco Bonvini, Alberto Leva
Exploiting object-oriented modelling for scalable-detail studies on control for energy efficiency. CCA (2012)
Marco Bonvini, Alberto Leva, Erica Zavaglio
Object-oriented quasi-3D sub-zonal airflow models for energy-related system-level building simulation. Simul. Model. Pract. Theory 22 (2012)
Antonio Filieri, Carlo Ghezzi, Alberto Leva, Martina Maggio
Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements. ASE (2011)
Martina Maggio, Henry Hoffmann, Marco D. Santambrogio, Anant Agarwal, Alberto Leva
Decision making in autonomic computing systems: comparison of approaches and techniques. ICAC (2011)
Martina Maggio, Henry Hoffmann, Marco D. Santambrogio, Anant Agarwal, Alberto Leva
Controlling software applications via resource allocation within the heartbeats framework. CDC (2010)
Alberto Leva, Martina Maggio
On the use of models with delay in PI(D) autotuning. CDC (2010)
Martina Maggio, Alberto Leva
Toward a deeper use of feedback control in the design of critical computing system components. CDC (2010)
Alberto Leva, Luigi Piroddi
A pseudo-multirate implementation of digital systems for improved performance. CDC (2010)
Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini
A control-theoretical methodology for the scheduling problem CoRR (2010)
Alberto Leva, Luigi Piroddi
A multirate autotuning PI with improved static performance. ACC (2009)
Massimiliano Di Felice, Luigi Piroddi, Alberto Leva, Alessandro Boer
Adaptive temperature control of a household refrigerator. ACC (2009)
Alberto Leva, Filippo Donida, Michele Bordoni
Object-oriented modelling and simulation of starch mashing. ADHS (2009)
Alberto Leva
Extending PI tuning rules to 2-dof regulator structures. ECC (2009)
Alberto Leva, Sara Negro, Alessandro Vittorio Papadopoulos
PI(D) tuning with contextual model identification. ECC (2009)
Alberto Leva, Filippo Donida
Multifunctional Remote Laboratory for Education in Automatic Control: The CrAutoLab Experience. IEEE Trans. Ind. Electron. 55 (6) (2008)
Alberto Leva
Autotuning of PI+p controllers. CACSD (2008)
Luca Bascetta, Alberto Leva
Nonparametric decoupling of MIMO systems. CACSD (2008)
Alberto Leva, Alberto Marinelli
On some approaches to the autotuning of cascade controls. CACSD (2008)
Martina Maggio, Alberto Leva, Luigi Piroddi
Closed- versus open-loop active vibration control in the presence of finite precision arithmetic. CACSD (2008)
Alberto Leva, Luigi Piroddi
On the parameterisation of simple process models for the autotuning of industrial regulators. ACC (2007)
Alberto Leva, Luca Bascetta
Model-based autotuning of industrial SISO regulators accommodating for free-structure process models. ACC (2007)
Alberto Leva
Model-based PI(D) tuning with ad-hoc regulator expressions. ACC (2007)

Alberto Leva.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alberto Leva