Andrea Marin

Daniel Sadoc Menasché

IEEE Trans. Netw. Sci. Eng., 2024

Computational Algorithms for the Product Form Solution of Closed Queuing Networks with Finite Buffers and Skip-Over Policy.

[BibT_eX]

[DOI]

CoRR, 2024

Queuing models of links carrying streaming and elastic services.

[BibT_eX]

[DOI]

Comput. Networks, 2024

Cosmos discovery: Quantitative assessment of Cosmos blockchain.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Modeling, 2024

The Non-Saturated Multiserver Job Queuing Model with Two Job Classes: a Matrix Geometric Analysis.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Modeling, 2024

Measurements and Models for Resiliency Assessment of VM clusters under Aging and Rejuvenation.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

Finite Capacity Multi-Server Job Systems: A Simulation Study.

[BibT_eX]

[DOI]

Muhammad Waqas

Leonardo Maccari

Proceedings of the 38th ECMS International Conference on Modelling and Simulation, 2024

Stability Condition for the Multi-server Job Queuing Model: Sensitivity Analysis.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2024

2023

The saturated Multiserver Job Queuing Model with two classes of jobs: Exact and approximate results.

[BibT_eX]

[DOI]

Perform. Evaluation, November, 2023

Introduction to the Special Issue on QEST 2021.

[BibT_eX]

[DOI]

Alessandro Abate

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

A product-form network for systems with job stealing policies.

[BibT_eX]

[DOI]

Diletta Olliaro

SIGMETRICS Perform. Evaluation Rev., April, 2023

Analysis of the confirmation time in proof-of-work blockchains.

[BibT_eX]

[DOI]

Ivan Malakhov

Future Gener. Comput. Syst., 2023

Theory and Practice in Performance Evaluation Courses: The Challenge of Online Teaching.

[BibT_eX]

[DOI]

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

Selfish Mining in Public Blockchains: A Quantitative Analysis.

[BibT_eX]

[DOI]

Daria Smuseva

Proceedings of the Performance Evaluation Methodologies and Tools, 2023

Skipping and Fetching: Insights on Non-conventional Product-Form Solutions.

[BibT_eX]

[DOI]

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

Causal Reversibility Implies Time Reversibility.

[BibT_eX]

[DOI]

Marco Bernardo

Ivan Lanese

Claudio Antares Mezzina

Claudio Sacerdoti Coen

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

Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain, 2023

2022

Proportional lumpability and proportional bisimilarity.

[BibT_eX]

[DOI]

Acta Informatica, 2022

On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness.

[BibT_eX]

[DOI]

IEEE Access, 2022

Modeling Service Mixes in Access Links: Product Form and Oscillations.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on a World of Wireless, 2022

A Mixed PS-FCFS Policy for CPU Intensive Workloads.

[BibT_eX]

[DOI]

Isi Mitrani

Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022

Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Transaction confirmation in proof-of-work blockchains: auctions, delays and droppings.

[BibT_eX]

[DOI]

Proceedings of the 20th Mediterranean Communication and Computer Networking Conference, 2022

2021

<i>D</i>_<i>PSNI</i>: Delimited persistent stochastic non-interference.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2021

Cheating at Craps: A Quantitative Analysis.

[BibT_eX]

[DOI]

Carey Williamson

SIGMETRICS Perform. Evaluation Rev., 2021

Persistent Stochastic Non-Interference.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2021

A Foreground-Background queueing model with speed or capacity modulation.

[BibT_eX]

[DOI]

Isi Mitrani

CoRR, 2021

Prediction of the Consolidation Delay in Blockchain-based Applications.

[BibT_eX]

[DOI]

Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation.

[BibT_eX]

[DOI]

Proceedings of the Performance Engineering and Stochastic Modeling, 2021

A FANET Simulator Designed and Implemented to Study Routing Algorithms.

[BibT_eX]

[DOI]

Alessio Del Conte

Claudio E. Palazzi

Proceedings of the 25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2021

2020

Dynamic Resource Allocation in Fork-Join Queues.

[BibT_eX]

[DOI]

Matteo Sottana

ACM Trans. Model. Perform. Evaluation Comput. Syst., 2020

Guest editor's forewords: Special issue on Valuetools 2017.

[BibT_eX]

[DOI]

Perform. Evaluation, 2020

Frequency scaling in multilevel queues.

[BibT_eX]

[DOI]

Perform. Evaluation, 2020

Computation of the normalising constant for product-form models of distributed systems with synchronisation.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

Deep learning for intelligent IoT: Opportunities, challenges and solutions.

[BibT_eX]

[DOI]

Yousaf Bin Zikria

Muhammad Khalil Afzal

Sung Won Kim

Mohsen Guizani

Comput. Commun., 2020

Size-based scheduling for TCP flows: Implementation and performance evaluation.

[BibT_eX]

[DOI]

Carlo Zen

Comput. Networks, 2020

Speed scaling in fork-join queues: a comparative study.

[BibT_eX]

[DOI]

Carey Williamson

Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020

A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues.

[BibT_eX]

[DOI]

Carlo Zen

Proceedings of the Quantitative Evaluation of Systems - 17th International Conference, 2020

Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Blockchain, 2020

2019

Smart-RED: A Novel Congestion Control Mechanism for High Throughput and Low Queuing Delay.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2019

Stochastic modeling of depth based routing in underwater sensor networks.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2019

Delimited Persistent Stochastic Non-Interference.

[BibT_eX]

[DOI]

Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019

A Process Algebra for (Delimited) Persistent Stochastic Non-Interference.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Symposium on Modeling, 2019

Proportional Lumpability.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

A Queueing Model that Works Only on the Biggest Jobs.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 16th European Workshop, 2019

2018

A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2018

Implementation of depth-based routing and its enhancement in AquaSim-Next Generation for underwater wireless sensor networks.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2018

Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Biased Processor Sharing in Fork-Join Queues.

[BibT_eX]

[DOI]

Matteo Sottana

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Control and Optimization of the SRPT Service Policy by Frequency Scaling.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

On the Optimality of Opportunistic Routing Protocols for Underwater Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM International Conference on Modeling, 2018

Information Flow Security for Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

Power control in saturated fork-join queueing systems.

[BibT_eX]

[DOI]

Perform. Evaluation, 2017

Fair workload distribution for multi-server systems with pulling strategies.

[BibT_eX]

[DOI]

Perform. Evaluation, 2017

LB-networks: A model for dynamic load balancing in queueing networks.

[BibT_eX]

[DOI]

Jean-Michel Fourneau

Perform. Evaluation, 2017

On the relations between Markov chain lumpability and reversibility.

[BibT_eX]

[DOI]

Acta Informatica, 2017

Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2017

2016

Connectivity and energy-aware preorders for mobile ad-hoc networks.

[BibT_eX]

[DOI]

Lucia Gallina

Telecommun. Syst., 2016

Evaluating the impact of eDoS attacks to cloud facilities.

[BibT_eX]

[DOI]

Mauro Iacono

EAI Endorsed Trans. Security Safety, 2016

Priority-based bandwidth allocation in wireless sensor networks.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Wirel. Spectr., 2016

Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic.

[BibT_eX]

[DOI]

Comput. Networks, 2016

Lumping and reversed processes in cooperating automata.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2016

Testing spnps perfect sampling tool on fork-join queueing networks (tool paper).

[BibT_eX]

[DOI]

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Modeling Energy Packets Networks in the Presence of Failures.

[BibT_eX]

[DOI]

Jean-Michel Fourneau

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

Product-Forms for Probabilistic Input/Output Automata.

[BibT_eX]

[DOI]

Filippo Cavallin

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

Performance evaluation of AQM techniques with heterogeneous traffic.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE Annual Consumer Communications & Networking Conference, 2016

Applying Reversibility Theory for the Performance Evaluation of Reversible Computations.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015

On Discrete Time Reversibility modulo State Renaming and its Applications.

[BibT_eX]

[DOI]

EAI Endorsed Trans. Self Adapt. Syst., 2015

Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems.

[BibT_eX]

[DOI]

Int. J. Comput. Aided Eng. Technol., 2015

Stress Analysis at Trocar and Endoscope Interface Using Computational Simulation: A Preliminary Study.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Robot, Vision and Signal Processing, 2015

Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

A Product-Form Model for the Analysis of Systems with Aging Objects.

[BibT_eX]

[DOI]

Filippo Cavallin

Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

Quantitative Analysis of Concurrent Reversible Computations.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Interconnected Wireless Sensors with Energy Harvesting.

[BibT_eX]

[DOI]

Erol Gelenbe

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2015

2014

Model checking adaptive service compositions.

[BibT_eX]

[DOI]

Michele Bugliesi

Sci. Comput. Program., 2014

Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations.

[BibT_eX]

[DOI]

Perform. Evaluation, 2014

Behavioural equivalences and interference metrics for mobile ad-hoc networks.

[BibT_eX]

[DOI]

Perform. Evaluation, 2014

Product-Forms in Multi-Way Synchronizations.

[BibT_eX]

[DOI]

Comput. J., 2014

On the Relations between Lumpability and Reversibility.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

Optimisation of Servers with Different Quality of Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

2013

Separable solutions for Markov processes in random environments.

[BibT_eX]

[DOI]

Eur. J. Oper. Res., 2013

Contextual lumpability.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Queueing networks and conditional product-forms.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM International Conference on Modeling, 2013

Autoreversibility: Exploiting Symmetries in Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013

Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012

Analysis of stochastic Petri nets with signals.

[BibT_eX]

[DOI]

Perform. Evaluation, 2012

Methodological construction of product-form stochastic Petri nets for performance evaluation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

Exploiting product forms solution techniques in multiformalism modeling.

[BibT_eX]

[DOI]

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Algorithmic product-form approximations of interacting stochastic models.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2012

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the IFIP Wireless Days Conference 2012, Ireland, November 21-23, 2012, 2012

Deriving the rate equations characterising product-form models and application to propagating synchronisations.

[BibT_eX]

[DOI]

Proceedings of the 6th International ICST Conference on Performance Evaluation Methodologies and Tools, 2012

Interference-Sensitive Preorders for MANETs.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Evaluating resistance to jamming and casual interception in mobile wireless networks.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Modeling, 2012

A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on Modeling, 2012

Cooperating Stochastic Automata: Approximate Lumping an Reversed Process.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences III, 2012

2011

Performance engineering with product-form models: efficient solutions and applications.

[BibT_eX]

[DOI]

Proceedings of the ICPE'11, 2011

A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols.

[BibT_eX]

[DOI]

Proceedings of the IFIP Wireless Days Conference 2011, 2011

A framework for throughput and energy efficiency in mobile ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the IFIP Wireless Days Conference 2011, 2011

Explicit solutions for queues with hypo-exponential service time and applications to product-form analysis.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools Communications, 2011

Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data.

[BibT_eX]

[DOI]

Nikolas Anastasiou

William J. Knottenbelt

Proceedings of the Computer Performance Engineering, 2011

A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

Optimisation of Virtual Machine Garbage Collection Policies.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010

On the relations among product-form stochastic models.

[BibT_eX]

[DOI]

PhD thesis, 2010

Petri nets for modelling metabolic pathways: a survey.

[BibT_eX]

[DOI]

Nat. Comput., 2010

A general result for deriving product-form solutions in markovian models.

[BibT_eX]

[DOI]

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Separable equilibrium distributions for systems with unreliable wireless links.

[BibT_eX]

[DOI]

Proceedings of the 3rd IFIP Wireless Days Conference 2010, 2010

A unifying approach to product-forms in networks with finite capacity constraints.

[BibT_eX]

[DOI]

Proceedings of the SIGMETRICS 2010, 2010

From Systems to Components: Constructive Methods for Product-Form Solutions.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

On product-form approximations of cooperating stochastic models.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2010

A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2010

Product-Form Solutions for Models with Joint-State Dependent Transition Rates.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009

A general algorithm to compute the steady-state solution of product-form cooperating Markov chains.

[BibT_eX]

[DOI]

Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009

On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines.

[BibT_eX]

[DOI]

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2007

Representing LCFSPR BCMP service center with Coxian service time by GSPN.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Queueing Networks.

[BibT_eX]

[DOI]