Andrea Marin

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

Simonetta Balsamo, Peter G. Harrison, Andrea Marin · Journal of Systems and Software · 2011 · 44 citations

Engineering, Industrial Engineering, Systems Engineering +11

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

Ivan Malakhov, Andrea Marin, Sabina Rossi et al. · IEEE Access · 2021 · 38 citations · Full text

Computing, Computer Science, Computer Systems +16

Analysis of stochastic Petri nets with signals

Andrea Marin, Simonetta Balsamo, Peter G. Harrison · Performance Evaluation · 2012 · 37 citations

Engineering, Electrical Engineering, Systems Engineering +11

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

Simonetta Balsamo, Peter G. Harrison, Andrea Marin · 2010 · 30 citations

Business, Computer Science, Computer Networks +16

Exploiting product forms solution techniques in multiformalism modeling

Enrico Barbierato, Gian-Luca Dei Rossi, Marco Gribaudo et al. · Electronic Notes in Theoretical Computer Science · 2013 · 28 citations · Full text

Engineering, Computer Systems, Systems Engineering +10