Marco Paolieri

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 34

Top Topics

Stochastic Gradient Descent

Resource Sharing

Top Venues

SIGMETRICS Perform. Evaluation Rev.

Publications

Zhuojin Li, Marco Paolieri, Leana Golubchik
A Benchmark for ML Inference Latency on Mobile Devices. EdgeSys@EuroSys (2024)
Zhuojin Li, Marco Paolieri, Leana Golubchik
Inference latency prediction for CNNs on heterogeneous mobile devices and ML frameworks. Perform. Evaluation 165 (2024)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Laura Carnevali, Marco Paolieri, Benedetta Picano, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows. EPEW (2023)
Zhuojin Li, Marco Paolieri, Leana Golubchik
Predicting Inference Latency of Neural Architectures on Mobile Devices. ICPE (2023)
Bowen Song, Marco Paolieri, Harper E. Stewart, Leana Golubchik, Jill L. McNitt-Gray, Vishal Misra, Devavrat Shah
Predicting Ground Reaction Force from Inertial Sensors. CoRR (2023)
András Horváth, Marco Paolieri, Enrico Vicario
Equilibrium Analysis of Markov Regenerative Processes. QEST (2023)
Bowen Song, Marco Paolieri, Leana Golubchik
Performance and Revenue Analysis of Hybrid Cloud Federations with QoS Requirements. CLOUD (2022)
Yuan Yao, Marco Paolieri, Leana Golubchik
Scheduling to Optimize Sojourn Time of Successful Jobs. CoRR (2022)
Yuan Yao, Marco Paolieri, Leana Golubchik
Sojourn Time Minimization of Successful Jobs. SIGMETRICS Perform. Evaluation Rev. 50 (2) (2022)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Federico Tammaro, Enrico Vicario
Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics. EPEW (2022)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario
A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. ISSRE Workshops (2022)
Zhuojin Li, Marco Paolieri, Leana Golubchik
Inference Latency Prediction at the Edge. CoRR (2022)
Zhuojin Li, Marco Paolieri, Leana Golubchik, Sung-Han Lin, Wumo Yan
Predicting Throughput of Distributed Stochastic Gradient Descent. IEEE Trans. Parallel Distributed Syst. 33 (11) (2022)
Chien-Lun Chen, Sara Babakniya, Marco Paolieri, Leana Golubchik
Defending against Poisoning Backdoor Attacks on Federated Meta-learning. ACM Trans. Intell. Syst. Technol. 13 (5) (2022)
Laura Carnevali, Marco Paolieri, Enrico Vicario
The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems. SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Laura Carnevali, Marco Paolieri, Riccardo Reali, Enrico Vicario
Compositional Safe Approximation of Response Time Distribution of Complex Workflows. QEST (2021)
Sourya Dey, Sara Babakniya, Saikrishna C. Kanala, Marco Paolieri, Leana Golubchik, Peter A. Beerel, Keith M. Chugg
Deep-n-Cheap: An Automated Efficient and Extensible Search Framework for Cost-Effective Deep Learning. SN Comput. Sci. 2 (4) (2021)
Marco Paolieri, Marco Biagi, Laura Carnevali, Enrico Vicario
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems. IEEE Trans. Software Eng. 47 (6) (2021)
Chien-Lun Chen, Leana Golubchik, Marco Paolieri
Backdoor Attacks on Federated Meta-Learning. CoRR (2020)
Zhuojin Li, Wumo Yan, Marco Paolieri, Leana Golubchik
Throughput Prediction of Asynchronous SGD in TensorFlow. ICPE (2020)
Matthew French, Marco Paolieri, Vivek V. Menon, Andrew G. Schmidt
Emulating and Verifying Sensing, Computation, and Communication in Distributed Remote Sensing Systems. IGARSS (2020)
Zhuojin Li, Wumo Yan, Marco Paolieri, Leana Golubchik
Throughput Prediction of Asynchronous SGD in TensorFlow. CoRR (2019)
Andrew G. Schmidt, Vivek Venugopalan, Marco Paolieri, Matthew French
Constellations in the Cloud: Virtualizing Remote Sensing Systems. IGARSS (2019)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments. IEEE Trans. Hum. Mach. Syst. 49 (4) (2019)
Sung-Han Lin, Marco Paolieri, Cheng-Fu Chou, Leana Golubchik
A Model-Based Approach to Streamlining Distributed Training for Asynchronous SGD. MASCOTS (2018)
Marco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario
Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes. QEST (2017)
Sung-Han Lin, Ranjan Pal, Marco Paolieri, Leana Golubchik
Performance Driven Resource Sharing Markets for the Small Cloud. ICDCS (2017)
Marco Biagi, Laura Carnevali, Enrico Vicario, Marco Paolieri
An introduction to the ORIS tool. VALUETOOLS (2017)
Marco Paolieri, Sriram Sankaranarayanan, Enrico Vicario
Guest Editorial: Special issue on formal modeling and analysis of timed systems. Real Time Syst. 53 (3) (2017)
Sung-Han Lin, Ranjan Pal, Marco Paolieri, Leana Golubchik
SC-Share: Performance Driven Resource Sharing Markets for the Small Cloud. CoRR (2017)
Marco Biagi, Laura Carnevali, Marco Paolieri, Fulvio Patara, Enrico Vicario
A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling. EPEW (2016)
Stefano Martina, Marco Paolieri, Tommaso Papini, Enrico Vicario
Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes. MASCOTS (2016)
Marco Paolieri, András Horváth, Enrico Vicario
Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Trans. Software Eng. 42 (2) (2016)
Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3. EPEW (2015)
Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri, Sindhu Suresh
A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. QEST (2014)
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. SAFECOMP Workshops (2014)
Vincenzo Rana, Francesco Bruschi, Marco Paolieri, Donatella Sciuto, Marco Domenico Santambrogio
On How to Efficiently Implement Regular Expression Matching on FPGA-Based Systems. EUC (2014)
Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario
Quantitative evaluation of availability measures of gas distribution networks. VALUETOOLS (2013)
Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. QEST (2013)
Marco Paolieri, Jörg Mische, Stefan Metzlaff, Mike Gerdes, Eduardo Quiñones, Sascha Uhrig, Theo Ungerer, Francisco J. Cazorla
A hard real-time capable multi-core SMT processor. ACM Trans. Embed. Comput. Syst. 12 (3) (2013)
Laura Carnevali, Marco Paolieri, Alessandro Santoni, Enrico Vicario
Non-markovian analysis for model driven engineering of real-time software. ICPE (2013)
Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla
Timing effects of DDR memory systems in hard real-time multicore architectures: Issues and solutions. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida
Software rejuvenation impacts on a phased-mission system for Mars exploration. ISSRE (Supplemental Proceedings) (2013)
Laura Carnevali, Marco Paolieri, Kumiko Tadano, Enrico Vicario
Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis. EPEW (2013)
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
Transient analysis of non-Markovian models using stochastic state classes. Perform. Evaluation 69 (7-8) (2012)
Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Robert I. Davis, Mateo Valero
IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2011)
Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Julian Wolf, Theo Ungerer, Sascha Uhrig, Zlatko Petrov
A Software-Pipelined Approach to Multicore Execution of Timing Predictable Multi-threaded Hard Real-Time Tasks. ISORC (2011)
András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. QEST (2011)
Marco Paolieri, Riccardo Mariani
Towards functional-safe timing-dependable real-time architectures. IOLTS (2011)
Francesco Bruschi, Marco Paolieri, Vincenzo Rana
A Reconfigurable System Based on a Parallel and Pipelined Solution for Regular Expression Matching. FPL (2010)
Theo Ungerer, Francisco J. Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Christine Rochange, Eduardo Quiñones, Mike Gerdes, Marco Paolieri, Julian Wolf, Hugues Cassé, Sascha Uhrig, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische
Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. IEEE Micro 30 (5) (2010)
Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero
Hardware support for WCET analysis of hard real-time multicore systems. ISCA (2009)
Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Mateo Valero
An Analyzable Memory Controller for Hard Real-Time CMPs. IEEE Embed. Syst. Lett. 1 (4) (2009)
Ivano Bonesana, Marco Paolieri, Marco D. Santambrogio
An adaptable FPGA-based System for Regular Expression Matching. DATE (2008)
Marcello Mura, Marco Paolieri, Luca Negri, Mariagiovanna Sami
StateCharts to systemc: a high level hardware simulation approach. ACM Great Lakes Symposium on VLSI (2007)
Marcello Mura, Marco Paolieri, Fabio Fabbri, Luca Negri, Maria Giovanna Sami
Power Modeling and Power Analysis for IEEE 802.15.4: a Concurrent State Machine Approach. CCNC (2007)
Marcello Mura, Marco Paolieri
SC2 StateCharts to SystemC: Automatic Executable Models Generation. FDL (2007)
Marco Paolieri, Ivano Bonesana, Marco D. Santambrogio
ReCPU: A parallel and pipelined architecture for regular expression matching. VLSI-SoC (2007)
Marco Paolieri, Ivano Bonesana, Marco D. Santambrogio
ReCPU: a Parallel and Pipelined Architecture for Regular Expression Matching. VLSI-SoC (Selected Papers) (2007)