Andrea Marin

ORCID

Publication Activity (10 Years)

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

Top Venues

Publications

Diletta Olliaro, Marco Ajmone Marsan, Simonetta Balsamo, Andrea Marin
The Saturated Multiserver Job Queuing Model with Two Classes of Jobs: Exact and Approximate Results. SIGMETRICS Perform. Evaluation Rev. 51 (4) (2024)
Diletta Olliaro, Giuliano Casale, Andrea Marin, Sabina Rossi
A Product-form Network for Systems with Job Stealing Policies. ACM Trans. Model. Perform. Evaluation Comput. Syst. 9 (2) (2024)
Andrea Marin, Marco Ajmone Marsan, Michela Meo, Matteo Sereno
Queuing models of links carrying streaming and elastic services. Comput. Networks 244 (2024)
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daniel Sadoc Menasché
Confirmed or Dropped? Reliability Analysis of Transactions in PoW Blockchains. IEEE Trans. Netw. Sci. Eng. 11 (4) (2024)
Andrea Marin, Michela Meo, Matteo Sereno, Marco Ajmone Marsan
Queuing Network Models of Multiservice RANs. ACM Trans. Model. Perform. Evaluation Comput. Syst. 9 (2) (2024)
Muhammad Waqas, Leonardo Maccari, Andrea Marin
Finite Capacity Multi-Server Job Systems: A Simulation Study. ECMS (2024)
Alberto Avritzer, Andrea Janes, Andrea Marin, André van Hoorn, Matteo Camilli, Catia Trubiani, Daniel S. Menasché
Assessment of Aging and Rejuvenation for Resiliency in Heterogeneous Network Clusters. ISSREW (2023)
Marco Bernardo, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen
Causal Reversibility Implies Time Reversibility. QEST (2023)
Daria Smuseva, Ivan Malakhov, Andrea Marin, Sabina Rossi
Crisis of Trust: Analyzing the Verifier's Dilemma in Ethereum's Proof-of-Stake Blockchain. Blockchain (2023)
Daria Smuseva, Andrea Marin, Sabina Rossi
Selfish Mining in Public Blockchains: A Quantitative Analysis. VALUETOOLS (2023)
Diletta Olliaro, Marco Ajmone Marsan, Simonetta Balsamo, Andrea Marin
The saturated Multiserver Job Queuing Model with two classes of jobs: Exact and approximate results. Perform. Evaluation 162 (2023)
Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions. QEST (2023)
Andrea Marin, Sabina Rossi, Diletta Olliaro
A product-form network for systems with job stealing policies. SIGMETRICS Perform. Evaluation Rev. 50 (4) (2023)
Andrea Marin
Theory and Practice in Performance Evaluation Courses: The Challenge of Online Teaching. ICPE (Companion) (2023)
Ivan Malakhov, Andrea Marin, Sabina Rossi
Analysis of the confirmation time in proof-of-work blockchains. Future Gener. Comput. Syst. 147 (2023)
Alessandro Abate, Andrea Marin
Introduction to the Special Issue on QEST 2021. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Andrea Marin, Carla Piazza, Sabina Rossi
Proportional lumpability and proportional bisimilarity. Acta Informatica 59 (2-3) (2022)
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva
On the Use of Proof-of-Work in Permissioned Blockchains: Security and Fairness. IEEE Access 10 (2022)
Simonetta Balsamo, Andrea Marin, Isi Mitrani
A Mixed PS-FCFS Policy for CPU Intensive Workloads. ICPE (2022)
Simonetta Balsamo, Ivan Malakhov, Andrea Marin, Isi Mitrani
Transaction confirmation in proof-of-work blockchains: auctions, delays and droppings. MedComNet (2022)
Andrea Marin, Michela Meo, Matteo Sereno, Marco Ajmone Marsan
Modeling Service Mixes in Access Links: Product Form and Oscillations. WoWMoM (2022)
Daria Smuseva, Ivan Malakhov, Andrea Marin, Aad van Moorsel, Sabina Rossi
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis. QEST (2022)
Simonetta Balsamo, Andrea Marin, Isi Mitrani, Nicola Rebagliati
Prediction of the Consolidation Delay in Blockchain-based Applications. ICPE (2021)
Andrea Marin, Carey Williamson
Cheating at Craps: A Quantitative Analysis. SIGMETRICS Perform. Evaluation Rev. 48 (4) (2021)
Andrea Marin, Isi Mitrani
A Foreground-Background queueing model with speed or capacity modulation. CoRR (2021)
Ivan Malakhov, Carlo Gaetan, Andrea Marin, Sabina Rossi
Workload Prediction in BTC Blockchain and Application to the Confirmation Time Estimation. EPEW (2021)
Alessio Del Conte, Andrea Marin, Claudio E. Palazzi
A FANET Simulator Designed and Implemented to Study Routing Algorithms. DS-RT (2021)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Persistent Stochastic Non-Interference. Fundam. Informaticae 181 (1) (2021)
Andrea Marin, Carla Piazza, Sabina Rossi
: Delimited persistent stochastic non-interference. Theor. Comput. Sci. 884 (2021)
Andrea Marin, Sabina Rossi, Carey Williamson
Speed scaling in fork-join queues: a comparative study. VALUETOOLS (2020)
B. Maryam Elahi, Andrea Marin, Sabina Rossi, Carey Williamson
Frequency scaling in multilevel queues. SIGMETRICS Perform. Evaluation Rev. 48 (3) (2020)
Andrea Marin, Sabina Rossi, Carlo Zen
Size-based scheduling for TCP flows: Implementation and performance evaluation. Comput. Networks 183 (2020)
Andrea Marin, Giuliano Casale, Dorina C. Petriu, Sabina Rossi
Guest editor's forewords: Special issue on Valuetools 2017. Perform. Evaluation 137 (2020)
B. Maryam Elahi, Andrea Marin, Sabina Rossi, Carey Williamson
Frequency scaling in multilevel queues. Perform. Evaluation 143 (2020)
Yousaf Bin Zikria, Muhammad Khalil Afzal, Sung Won Kim, Andrea Marin, Mohsen Guizani
Deep learning for intelligent IoT: Opportunities, challenges and solutions. Comput. Commun. 164 (2020)
Andrea Marin, Sabina Rossi, Carlo Zen
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing Queues. QEST (2020)
Ivan Malakhov, Andrea Marin, Sabina Rossi, Daria Smuseva
Fair Work Distribution on Permissioned Blockchains: a Mobile Window Based Approach. Blockchain (2020)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Computation of the normalising constant for product-form models of distributed systems with synchronisation. Future Gener. Comput. Syst. 111 (2020)
Andrea Marin, Sabina Rossi, Matteo Sottana
Dynamic Resource Allocation in Fork-Join Queues. ACM Trans. Model. Perform. Evaluation Comput. Syst. 5 (1) (2020)
Andrea Marin, Carla Piazza, Sabina Rossi
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. QEST (2019)
Andrea Marin, Sabina Rossi, Matteo Sottana, Carlo Zen
Theoretical and Experimental Evaluation of the Two-Level Processor Sharing Discipline for TCP Flows. MASCOTS (2019)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Delimited Persistent Stochastic Non-Interference. VALUETOOLS (2019)
Andrea Marin, Carla Piazza, Sabina Rossi
Proportional Lumpability. FORMATS (2019)
Armir Bujari, Andrea Marin, Claudio E. Palazzi, Sabina Rossi
Smart-RED: A Novel Congestion Control Mechanism for High Throughput and Low Queuing Delay. Wirel. Commun. Mob. Comput. 2019 (2019)
Andrea Marin, Sabina Rossi
A Queueing Model that Works Only on the Biggest Jobs. EPEW (2019)
Andrea Marin, Carla Piazza, Sabina Rossi
A Process Algebra for (Delimited) Persistent Stochastic Non-Interference. CILC (2019)
Kishor Patil, Mohsin Raza Jafri, Dieter Fiems, Andrea Marin
Stochastic modeling of depth based routing in underwater sensor networks. Ad Hoc Networks 89 (2019)
Andrea Marin, Isi Mitrani, B. Maryam Elahi, Carey Williamson
Control and Optimization of the SRPT Service Policy by Frequency Scaling. QEST (2018)
Andrea Marin, Sabina Rossi, Dario Burato, Andrea Sina, Matteo Sottana
A Product-Form Model for the Performance Evaluation of a Bandwidth Allocation Strategy in WSNs. ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Mohsin Raza Jafri, Andrea Marin, Andrea Torsello, Majid Ghaderi
On the Optimality of Opportunistic Routing Protocols for Underwater Sensor Networks. MSWiM (2018)
Mohsin Raza Jafri, Simonetta Balsamo, Andrea Marin, Robert Martin
Implementation of depth-based routing and its enhancement in AquaSim-Next Generation for underwater wireless sensor networks. Int. J. Commun. Syst. 31 (12) (2018)
Giacomo Alzetta, Andrea Marin, Carla Piazza, Sabina Rossi
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses. Inf. Comput. 260 (2018)
Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi
Information Flow Security for Stochastic Processes. EPEW (2018)
Andrea Marin, Sabina Rossi, Matteo Sottana
Biased Processor Sharing in Fork-Join Queues. QEST (2018)
Andrea Marin, Sabina Rossi
On the relations between Markov chain lumpability and reversibility. Acta Informatica 54 (5) (2017)
Simonetta Balsamo, Dieter Fiems, Mohsin Raza Jafri, Andrea Marin
Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks. InfQ@VALUETOOLS (2017)
Andrea Marin, Sabina Rossi
Fair workload distribution for multi-server systems with pulling strategies. Perform. Evaluation 113 (2017)
Andrea Marin, Simonetta Balsamo, Jean-Michel Fourneau
LB-networks: A model for dynamic load balancing in queueing networks. Perform. Evaluation 115 (2017)
Andrea Marin, Sabina Rossi
Power control in saturated fork-join queueing systems. Perform. Evaluation 116 (2017)
Andrea Marin, Sabina Rossi
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming. ASMTA (2017)
Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin
Lumping and reversed processes in cooperating automata. Ann. Oper. Res. 239 (2) (2016)
Sabina Rossi, Andrea Marin
Fair workload distribution for multi-server systems with pulling strategies. VALUETOOLS (2016)
Lucia Gallina, Andrea Marin, Sabina Rossi
Connectivity and energy-aware preorders for mobile ad-hoc networks. Telecommun. Syst. 63 (2) (2016)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Testing spnps perfect sampling tool on fork-join queueing networks (tool paper). VALUETOOLS (2016)
Jean-Michel Fourneau, Andrea Marin, Simonetta Balsamo
Modeling Energy Packets Networks in the Presence of Failures. MASCOTS (2016)
Armir Bujari, Andrea Marin, Claudio E. Palazzi, Sabina Rossi
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic. Comput. Networks 108 (2016)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. QEST (2016)
Gian-Luca Dei Rossi, Mauro Iacono, Andrea Marin
Evaluating the impact of eDoS attacks to cloud facilities. EAI Endorsed Trans. Security Safety 3 (10) (2016)
Andrea Marin, Sabina Rossi, Armir Bujari, Claudio E. Palazzi
Performance evaluation of AQM techniques with heterogeneous traffic. CCNC (2016)
Filippo Cavallin, Andrea Marin, Sabina Rossi
Product-Forms for Probabilistic Input/Output Automata. MASCOTS (2016)
Simonetta Balsamo, Filippo Cavallin, Andrea Marin, Sabina Rossi
Applying Reversibility Theory for the Performance Evaluation of Reversible Computations. ASMTA (2016)
Andrea Marin, Sabina Rossi
Priority-based bandwidth allocation in wireless sensor networks. EAI Endorsed Trans. Wirel. Spectr. 2 (10) (2016)
Andrea Marin, Sabina Rossi
Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations. QEST (2016)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams. MASCOTS (2015)
Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems. Int. J. Comput. Aided Eng. Technol. 7 (2) (2015)
Andrea Marin, Sabina Rossi
Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses. QEST (2015)
Sabina Rossi, Andrea Marin
On Discrete Time Reversibility modulo State Renaming and its Applications. EAI Endorsed Trans. Self Adapt. Syst. 1 (3) (2015)
Andrea Marin, Sabina Rossi
Quantitative Analysis of Concurrent Reversible Computations. FORMATS (2015)
Andrea Marin, Atul Kumar, Kai-Che Liu, Shih-Wei Wayne Huang, Angelo Wang
Stress Analysis at Trocar and Endoscope Interface Using Computational Simulation: A Preliminary Study. RVSP (2015)
Erol Gelenbe, Andrea Marin
Interconnected Wireless Sensors with Energy Harvesting. ASMTA (2015)
Filippo Cavallin, Andrea Marin, Sabina Rossi
A Product-Form Model for the Analysis of Systems with Aging Objects. MASCOTS (2015)
Andrea Marin, Samuel Rota Bulò
Explicit solutions for queues with Hypo- or Hyper-exponential service time distribution and application to product-form approximations. Perform. Evaluation 81 (2014)
Michele Bugliesi, Lucia Gallina, Sardaouna Hamadou, Andrea Marin, Sabina Rossi
Behavioural equivalences and interference metrics for mobile ad-hoc networks. Perform. Evaluation 73 (2014)
Peter G. Harrison, Andrea Marin
Product-Forms in Multi-Way Synchronizations. Comput. J. 57 (11) (2014)
Andrea Marin, Sabina Rossi
On the Relations between Lumpability and Reversibility. MASCOTS (2014)
Michele Bugliesi, Andrea Marin, Sabina Rossi
Model checking adaptive service compositions. Sci. Comput. Program. 94 (2014)
Sabina Rossi, Andrea Marin
On Discrete Time Reversibility modulo State Renaming and its Applications. VALUETOOLS (2014)
Simonetta Balsamo, Andrea Marin, Ivan Stojic
Optimisation of Servers with Different Quality of Services. MASCOTS (2014)
Simonetta Balsamo, Andrea Marin
Separable solutions for Markov processes in random environments. Eur. J. Oper. Res. 229 (2) (2013)
Andrea Marin, Sabina Rossi
Autoreversibility: Exploiting Symmetries in Markov Chains. MASCOTS (2013)
Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin
Queueing networks and conditional product-forms. VALUETOOLS (2013)
Lucia Gallina, Andrea Marin, Sabina Rossi, Tingting Han, Marta Z. Kwiatkowska
A process algebraic framework for estimating the energy consumption in ad-hoc wireless sensor networks. MSWiM (2013)
Jane Hillston, Andrea Marin, Sabina Rossi, Carla Piazza
Contextual lumpability. VALUETOOLS (2013)
Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo, Mauro Iacono, Andrea Marin
Exploiting product forms solution techniques in multiformalism modeling. Electron. Notes Theor. Comput. Sci. 296 (2013)
Simonetta Balsamo, Gian-Luca Dei Rossi, Andrea Marin
Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets. ASMTA (2013)
Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou
Interference-Sensitive Preorders for MANETs. QEST (2012)
Andrea Marin, Maria Grazia Vigliotti
Algorithmic product-form approximations of interacting stochastic models. Comput. Math. Appl. 64 (12) (2012)
Andrea Marin, Samuel Rota Bulò, Simonetta Balsamo
A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes. MASCOTS (2012)
Simonetta Balsamo, Peter G. Harrison, Andrea Marin
Methodological construction of product-form stochastic Petri nets for performance evaluation. J. Syst. Softw. 85 (7) (2012)
Andrea Marin, Simonetta Balsamo, Peter G. Harrison
Analysis of stochastic Petri nets with signals. Perform. Evaluation 69 (11) (2012)

Andrea Marin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrea Marin