Marco Paolieri

Orcid: 0000-0001-5110-203X

Affiliations:
  • University of Southern California, Los Angeles, CA, USA


According to our database1, Marco Paolieri authored at least 57 papers between 2007 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Benchmark for ML Inference Latency on Mobile Devices.
Proceedings of the 7th International Workshop on Edge Systems, Analytics and Networking, 2024

2023
Compositional Safe Approximation of Response Time Probability Density Function of Complex Workflows.
ACM Trans. Model. Comput. Simul., October, 2023

Predicting Ground Reaction Force from Inertial Sensors.
CoRR, 2023

Predicting Inference Latency of Neural Architectures on Mobile Devices.
Proceedings of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

Equilibrium Analysis of Markov Regenerative Processes.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows.
Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022
Sojourn Time Minimization of Successful Jobs.
SIGMETRICS Perform. Evaluation Rev., August, 2022

Predicting Throughput of Distributed Stochastic Gradient Descent.
IEEE Trans. Parallel Distributed Syst., 2022

Defending against Poisoning Backdoor Attacks on Federated Meta-learning.
ACM Trans. Intell. Syst. Technol., 2022

The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems.
SIGMETRICS Perform. Evaluation Rev., 2022

Inference Latency Prediction at the Edge.
CoRR, 2022

A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

Using the ORIS Tool and the SIRIO Library for Model-Driven Engineering of Quantitative Analytics.
Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

Performance and Revenue Analysis of Hybrid Cloud Federations with QoS Requirements.
Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022

2021
The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems.
IEEE Trans. Software Eng., 2021

Deep-n-Cheap: An Automated Efficient and Extensible Search Framework for Cost-Effective Deep Learning.
SN Comput. Sci., 2021

Compositional Safe Approximation of Response Time Distribution of Complex Workflows.
Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020
Backdoor Attacks on Federated Meta-Learning.
CoRR, 2020

Throughput Prediction of Asynchronous SGD in TensorFlow.
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

Emulating and Verifying Sensing, Computation, and Communication in Distributed Remote Sensing Systems.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

2019
A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.
IEEE Trans. Hum. Mach. Syst., 2019

Constellations in the Cloud: Virtualizing Remote Sensing Systems.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2018
A Model-Based Approach to Streamlining Distributed Training for Asynchronous SGD.
Proceedings of the 26th IEEE International Symposium on Modeling, 2018

2017
Guest Editorial: Special issue on formal modeling and analysis of timed systems.
Real Time Syst., 2017

SC-Share: Performance Driven Resource Sharing Markets for the Small Cloud.
CoRR, 2017

An introduction to the ORIS tool.
Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Performance Driven Resource Sharing Markets for the Small Cloud.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016
Probabilistic Model Checking of Regenerative Concurrent Systems.
IEEE Trans. Software Eng., 2016

Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.
Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

2015
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

2014
Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters.
Proceedings of the Computer Safety, Reliability, and Security, 2014

A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

On How to Efficiently Implement Regular Expression Matching on FPGA-Based Systems.
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

2013
Timing effects of DDR memory systems in hard real-time multicore architectures: Issues and solutions.
ACM Trans. Embed. Comput. Syst., 2013

A hard real-time capable multi-core SMT processor.
ACM Trans. Embed. Comput. Syst., 2013

Non-markovian analysis for model driven engineering of real-time software.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Quantitative evaluation of availability measures of gas distribution networks.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes.
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Software rejuvenation impacts on a phased-mission system for Mars exploration.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-Markovian Regenerative Analysis.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012
Transient analysis of non-Markovian models using stochastic state classes.
Perform. Evaluation, 2012

2011
A Multi-core processor for hard real-time systems.
PhD thesis, 2011

IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers.
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

A Software-Pipelined Approach to Multicore Execution of Timing Predictable Multi-threaded Hard Real-Time Tasks.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Towards functional-safe timing-dependable real-time architectures.
Proceedings of the 17th IEEE International On-Line Testing Symposium (IOLTS 2011), 2011

2010
Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability.
IEEE Micro, 2010

A Reconfigurable System Based on a Parallel and Pipelined Solution for Regular Expression Matching.
Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009
An Analyzable Memory Controller for Hard Real-Time CMPs.
IEEE Embed. Syst. Lett., 2009

Hardware support for WCET analysis of hard real-time multicore systems.
Proceedings of the 36th International Symposium on Computer Architecture (ISCA 2009), 2009

2008
An adaptable FPGA-based System for Regular Expression Matching.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
ReCPU: a Parallel and Pipelined Architecture for Regular Expression Matching.
Proceedings of the VLSI-SoC: Advanced Topics on Systems on a Chip, 2007

StateCharts to systemc: a high level hardware simulation approach.
Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

SC2 StateCharts to SystemC: Automatic Executable Models Generation.
Proceedings of the Forum on specification and Design Languages, 2007

Power Modeling and Power Analysis for IEEE 802.15.4: a Concurrent State Machine Approach.
Proceedings of the 4th IEEE Consumer Communications and Networking Conference, 2007


  Loading...