Marco Paolieri

According to our database1, Marco Paolieri authored at least 38 papers between 2007 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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
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...