Marco Paolieri

ACM Trans. Model. Comput. Simul., July, 2024

Inference latency prediction for CNNs on heterogeneous mobile devices and ML frameworks.

[BibT_eX]

[DOI]

Perform. Evaluation, 2024

Approximation of Cumulative Distribution Functions by Bernstein Phase-Type Distributions.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

A Benchmark for ML Inference Latency on Mobile Devices.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., October, 2023

Predicting Ground Reaction Force from Inertial Sensors.

[BibT_eX]

[DOI]

CoRR, 2023

Predicting Inference Latency of Neural Architectures on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023

Equilibrium Analysis of Markov Regenerative Processes.

[BibT_eX]

[DOI]

András Horváth

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

A Quantitative Approach to Coordinated Scaling of Resources in Complex Cloud Computing Workflows.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering and Stochastic Modelling, 2023

2022

Sojourn Time Minimization of Successful Jobs.

[BibT_eX]

[DOI]

Yuan Yao

SIGMETRICS Perform. Evaluation Rev., August, 2022

Predicting Throughput of Distributed Stochastic Gradient Descent.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2022

Defending against Poisoning Backdoor Attacks on Federated Meta-learning.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2022

The ORIS tool: app, library, and toolkit for quantitative evaluation of non-Markovian systems.

[BibT_eX]

[DOI]

Laura Carnevali

SIGMETRICS Perform. Evaluation Rev., 2022

Inference Latency Prediction at the Edge.

[BibT_eX]

[DOI]

CoRR, 2022

A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 18th European Workshop, 2022

Performance and Revenue Analysis of Hybrid Cloud Federations with QoS Requirements.

[BibT_eX]

[DOI]

Bowen Song

Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022

2021

The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

Deep-n-Cheap: An Automated Efficient and Extensible Search Framework for Cost-Effective Deep Learning.

[BibT_eX]

[DOI]

SN Comput. Sci., 2021

Compositional Safe Approximation of Response Time Distribution of Complex Workflows.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

2020

Backdoor Attacks on Federated Meta-Learning.

[BibT_eX]

[DOI]

Chien-Lun Chen

CoRR, 2020

Throughput Prediction of Asynchronous SGD in TensorFlow.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

2019

A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive Environments.

[BibT_eX]

[DOI]

IEEE Trans. Hum. Mach. Syst., 2019

Constellations in the Cloud: Virtualizing Remote Sensing Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2018

A Model-Based Approach to Streamlining Distributed Training for Asynchronous SGD.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Modeling, 2018

2017

Guest Editorial: Special issue on formal modeling and analysis of timed systems.

[BibT_eX]

[DOI]

Sriram Sankaranarayanan

Real Time Syst., 2017

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

[BibT_eX]

[DOI]

CoRR, 2017

An introduction to the ORIS tool.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Performance Driven Resource Sharing Markets for the Small Cloud.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016

Probabilistic Model Checking of Regenerative Concurrent Systems.

[BibT_eX]

[DOI]

András Horváth

IEEE Trans. Software Eng., 2016

Performance Evaluation of Fischer's Protocol through Steady-State Analysis of Markov Regenerative Processes.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

A Stochastic Model-Based Approach to Online Event Prediction and Response Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 13th European Workshop, 2016

2015

Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids.

[BibT_eX]

[DOI]

Daniel Sadoc Menasché

Marco Domenico Santambrogio

Sindhu Suresh

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

On How to Efficiently Implement Regular Expression Matching on FPGA-Based Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Eduardo Quiñones

Francisco J. Cazorla

ACM Trans. Embed. Comput. Syst., 2013

A hard real-time capable multi-core SMT processor.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Non-markovian analysis for model driven engineering of real-time software.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013

Quantitative evaluation of availability measures of gas distribution networks.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Software rejuvenation impacts on a phased-mission system for Mars exploration.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

2012

Transient analysis of non-Markovian models using stochastic state classes.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

2011

A Multi-core processor for hard real-time systems.

[BibT_eX]

[DOI]

PhD thesis, 2011

IA^3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Riccardo Mariani

Proceedings of the 17th IEEE International On-Line Testing Symposium (IOLTS 2011), 2011

2010

Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability.

[BibT_eX]

[DOI]

IEEE Micro, 2010

A Reconfigurable System Based on a Parallel and Pipelined Solution for Regular Expression Matching.

[BibT_eX]

[DOI]

Francesco Bruschi

Vincenzo Rana

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009

An Analyzable Memory Controller for Hard Real-Time CMPs.

[BibT_eX]

[DOI]

IEEE Embed. Syst. Lett., 2009

Hardware support for WCET analysis of hard real-time multicore systems.

[BibT_eX]

[DOI]

Proceedings of the 36th International Symposium on Computer Architecture (ISCA 2009), 2009

2008

An adaptable FPGA-based System for Regular Expression Matching.

[BibT_eX]

[DOI]

Ivano Bonesana

Marco D. Santambrogio

Proceedings of the Design, Automation and Test in Europe, 2008

2007

ReCPU: A parallel and pipelined architecture for regular expression matching.

[BibT_eX]

[DOI]

Ivano Bonesana

Marco D. Santambrogio

Proceedings of the IFIP VLSI-SoC 2007, 2007

StateCharts to systemc: a high level hardware simulation approach.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, 2007

SC2 StateCharts to SystemC: Automatic Executable Models Generation.

[BibT_eX]

[DOI]

Marcello Mura