Power Modeling and Power Analysis for IEEE 802.15.4: a Concurrent State Machine Approach. - Marcello Mura; Marco Paolieri; Fabio Fabbri; Luca Negri; Maria Giovanna Sami (CCNC, 2007)

SC2 StateCharts to SystemC: Automatic Executable Models Generation. - Marcello Mura; Marco Paolieri (FDL, 2007)

StateCharts to systemc: a high level hardware simulation approach. - Marcello Mura; Marco Paolieri; Luca Negri; Mariagiovanna Sami (ACM Great Lakes Symposium on VLSI, 2007)

ReCPU: A parallel and pipelined architecture for regular expression matching. - Marco Paolieri; Ivano Bonesana; Marco D. Santambrogio (VLSI-SoC, 2007)

An adaptable FPGA-based System for Regular Expression Matching. - Ivano Bonesana; Marco Paolieri; Marco D. Santambrogio (DATE, 2008)

Hardware support for WCET analysis of hard real-time multicore systems. - Marco Paolieri; Eduardo Quiñones; Francisco J. Cazorla; Guillem Bernat; Mateo Valero (ISCA, 2009)

An Analyzable Memory Controller for Hard Real-Time CMPs. - Marco Paolieri; Eduardo Quiñones; Francisco J. Cazorla; Mateo Valero (IEEE Embed. Syst. Lett., 2009)

A Reconfigurable System Based on a Parallel and Pipelined Solution for Regular Expression Matching. - Francesco Bruschi; Marco Paolieri; Vincenzo Rana (FPL, 2010)

Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. - Theo Ungerer; Francisco J. Cazorla; Pascal Sainrat; Guillem Bernat; Zlatko Petrov; Christine Rochange; Eduardo Quiñones; Mike Gerdes 001; Marco Paolieri; Julian Wolf 002; Hugues Cassé; Sascha Uhrig; et al. (IEEE Micro, 2010)

Towards functional-safe timing-dependable real-time architectures. - Marco Paolieri; Riccardo Mariani (IOLTS, 2011)

A Software-Pipelined Approach to Multicore Execution of Timing Predictable Multi-threaded Hard Real-Time Tasks. - Marco Paolieri; Eduardo Quiñones; Francisco J. Cazorla; Julian Wolf 002; Theo Ungerer; Sascha Uhrig; Zlatko Petrov (ISORC, 2011)

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (QEST, 2011)

IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems. - Marco Paolieri; Eduardo Quiñones; Francisco J. Cazorla; Robert I. Davis 001; Mateo Valero (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

A Multi-core processor for hard real-time systems. - Marco Paolieri (2011)

Transient analysis of non-Markovian models using stochastic state classes. - András Horváth; Marco Paolieri; Lorenzo Ridi; Enrico Vicario (Perform. Evaluation, 2012)

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. - Laura Carnevali; Marco Paolieri; Kumiko Tadano; Enrico Vicario (EPEW, 2013)

Software rejuvenation impacts on a phased-mission system for Mars exploration. - Stefano Ballerini; Laura Carnevali; Marco Paolieri; Kumiko Tadano; Fumio Machida (ISSRE (Supplemental Proceedings), 2013)

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. - Paolo Ballarini; Nathalie Bertrand 001; András Horváth; Marco Paolieri; Enrico Vicario (QEST, 2013)

Quantitative evaluation of availability measures of gas distribution networks. - Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario (VALUETOOLS, 2013)

Non-markovian analysis for model driven engineering of real-time software. - Laura Carnevali; Marco Paolieri; Alessandro Santoni; Enrico Vicario (ICPE, 2013)

A hard real-time capable multi-core SMT processor. - Marco Paolieri; Jörg Mische; Stefan Metzlaff; Mike Gerdes 001; Eduardo Quiñones; Sascha Uhrig; Theo Ungerer; Francisco J. Cazorla (ACM Trans. Embed. Comput. Syst., 2013)

Timing effects of DDR memory systems in hard real-time multicore architectures: Issues and solutions. - Marco Paolieri; Eduardo Quiñones; Francisco J. Cazorla (ACM Trans. Embed. Comput. Syst., 2013)

On How to Efficiently Implement Regular Expression Matching on FPGA-Based Systems. - Vincenzo Rana; Francesco Bruschi; Marco Paolieri; Donatella Sciuto; Marco Domenico Santambrogio (EUC, 2014)

A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. - Alberto Avritzer; Laura Carnevali; Lucia Happe; Anne Koziolek; Daniel Sadoc Menasché; Marco Paolieri; Sindhu Suresh (QEST, 2014)

Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. - Laura Carnevali; Marco Paolieri; Fabio Tarani; Enrico Vicario; Kumiko Tadano (SAFECOMP Workshops, 2014)

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. - Laura Carnevali; Francesco Flammini; Marco Paolieri; Enrico Vicario (EPEW, 2015)

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. - Marco Biagi; Laura Carnevali; Marco Paolieri; Fulvio Patara; Enrico Vicario (EPEW, 2016)

Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes. - Stefano Martina; Marco Paolieri; Tommaso Papini; Enrico Vicario (MASCOTS, 2016)

Probabilistic Model Checking of Regenerative Concurrent Systems. - Marco Paolieri; András Horváth; Enrico Vicario (IEEE Trans. Software Eng., 2016)

Performance Driven Resource Sharing Markets for the Small Cloud. - Sung-Han Lin; Ranjan Pal; Marco Paolieri; Leana Golubchik (ICDCS, 2017)

Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. - Marco Biagi; Laura Carnevali; Marco Paolieri; Tommaso Papini; Enrico Vicario (QEST, 2017)

An introduction to the ORIS tool. - Marco Biagi; Laura Carnevali; Enrico Vicario; Marco Paolieri (VALUETOOLS, 2017)

SC-Share: Performance Driven Resource Sharing Markets for the Small Cloud. - Sung-Han Lin; Ranjan Pal; Marco Paolieri; Leana Golubchik (CoRR, 2017)

Guest Editorial: Special issue on formal modeling and analysis of timed systems. - Marco Paolieri; Sriram Sankaranarayanan 001; Enrico Vicario (Real Time Syst., 2017)

A Model-Based Approach to Streamlining Distributed Training for Asynchronous SGD. - Sung-Han Lin; Marco Paolieri; Cheng-Fu Chou; Leana Golubchik (MASCOTS, 2018)

Constellations in the Cloud: Virtualizing Remote Sensing Systems. - Andrew G. Schmidt; Vivek Venugopalan; Marco Paolieri; Matthew French (IGARSS, 2019)

A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments. - Marco Biagi; Laura Carnevali; Marco Paolieri; Fulvio Patara; Enrico Vicario (IEEE Trans. Hum. Mach. Syst., 2019)

Emulating and Verifying Sensing, Computation, and Communication in Distributed Remote Sensing Systems. - Matthew French; Marco Paolieri; Vivek V. Menon; Andrew G. Schmidt (IGARSS, 2020)

Throughput Prediction of Asynchronous SGD in TensorFlow. - Zhuojin Li; Wumo Yan; Marco Paolieri; Leana Golubchik (ICPE, 2020)

Backdoor Attacks on Federated Meta-Learning. - Chien-Lun Chen; Leana Golubchik; Marco Paolieri (CoRR, 2020)

Compositional Safe Approximation of Response Time Distribution of Complex Workflows. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Enrico Vicario (QEST, 2021)

Deep-n-Cheap: An Automated Efficient and Extensible Search Framework for Cost-Effective Deep Learning. - Sourya Dey; Sara Babakniya; Saikrishna C. Kanala; Marco Paolieri; Leana Golubchik; Peter A. Beerel; Keith M. Chugg (SN Comput. Sci., 2021)

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. - Marco Paolieri; Marco Biagi; Laura Carnevali; Enrico Vicario (IEEE Trans. Software Eng., 2021)

Performance and Revenue Analysis of Hybrid Cloud Federations with QoS Requirements. - Bowen Song; Marco Paolieri; Leana Golubchik (CLOUD, 2022)

Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Federico Tammaro; Enrico Vicario (EPEW, 2022)

A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (ISSRE Workshops, 2022)

Inference Latency Prediction at the Edge. - Zhuojin Li; Marco Paolieri; Leana Golubchik (CoRR, 2022)

The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. - Laura Carnevali; Marco Paolieri; Enrico Vicario (SIGMETRICS Perform. Evaluation Rev., 2022)

Defending against Poisoning Backdoor Attacks on Federated Meta-learning. - Chien-Lun Chen; Sara Babakniya; Marco Paolieri; Leana Golubchik (ACM Trans. Intell. Syst. Technol., 2022)

Predicting Throughput of Distributed Stochastic Gradient Descent. - Zhuojin Li; Marco Paolieri; Leana Golubchik; Sung-Han Lin; Wumo Yan (IEEE Trans. Parallel Distributed Syst., 2022)

Sojourn Time Minimization of Successful Jobs. - Yuan Yao; Marco Paolieri; Leana Golubchik (SIGMETRICS Perform. Evaluation Rev., 2022)

A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows. - Laura Carnevali; Marco Paolieri; Benedetta Picano; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (EPEW, 2023)

Equilibrium Analysis of Markov Regenerative Processes. - András Horváth; Marco Paolieri; Enrico Vicario (QEST, 2023)

Predicting Inference Latency of Neural Architectures on Mobile Devices. - Zhuojin Li; Marco Paolieri; Leana Golubchik (ICPE, 2023)

Predicting Ground Reaction Force from Inertial Sensors. - Bowen Song; Marco Paolieri; Harper E. Stewart; Leana Golubchik; Jill L. McNitt-Gray; Vishal Misra; Devavrat Shah (CoRR, 2023)

Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Enrico Vicario (ACM Trans. Model. Comput. Simul., 2023)

A Benchmark for ML Inference Latency on Mobile Devices. - Zhuojin Li; Marco Paolieri; Leana Golubchik (EdgeSys@EuroSys, 2024)

Approximation of First Passage Time Distributions of Compositions of Independent Markov Chains. - András Horváth; Marco Paolieri; Enrico Vicario (EPEW, 2024)

Inference latency prediction for CNNs on heterogeneous mobile devices and ML frameworks. - Zhuojin Li; Marco Paolieri; Leana Golubchik (Perform. Evaluation, 2024)

Introduction to the Special Issue on QEST 2022, Part 1. - Erika Ábrahám; Marco Paolieri (ACM Trans. Model. Comput. Simul., 2024)

Approximation of cumulative distribution functions by Bernstein phase-type distributions. - András Horváth; Illés Horváth; Marco Paolieri; Miklós Telek; Enrico Vicario (Perform. Evaluation, 2025)

Cost-Effective Software Rejuvenation Combining Time-Based and Inspection-Based Policies. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (IEEE Trans. Emerg. Top. Comput., 2025)

Estimating Ground Reaction Forces From Inertial Sensors. - Bowen Song; Marco Paolieri; Harper Stewart; Leana Golubchik; Jill L. McNitt-Gray; Vishal Misra; Devavrat Shah (IEEE Trans. Biomed. Eng., 2025)

Introduction to the Special Issue on QEST 2022, Part 2. - Erika Ábrahám; Marco Paolieri (ACM Trans. Model. Comput. Simul., 2025)

Compositional Coordinated Resource Provisioning in Workflows With Stochastic Durations. - Laura Carnevali; Marco Paolieri; Riccardo Reali; Leonardo Scommegna; Enrico Vicario (IEEE Trans. Parallel Distributed Syst., 2025)