Andrea Marin
Title
Cited by
Cited by
Year
Petri nets for modelling metabolic pathways: a survey
P Baldan, N Cocco, A Marin, M Simeoni
Natural Computing 9 (4), 955-989, 2010
1062010
Interconnected wireless sensors with energy harvesting
E Gelenbe, A Marin
International Conference on Analytical and Stochastic Modeling Techniques …, 2015
482015
Methodological construction of product-form stochastic Petri nets for performance evaluation
S Balsamo, PG Harrison, A Marin
Journal of Systems and Software, 2011
472011
Analysis of stochastic Petri nets with signals
A Marin, S Balsamo, PG Harrison
Performance Evaluation 69 (11), 551-572, 2012
442012
A unifying approach to product-forms in networks with finite capacity constraints
S Balsamo, PG Harrison, A Marin
ACM SIGMETRICS Performance Evaluation Review 38 (1), 25-36, 2010
342010
Exploiting product forms solution techniques in multiformalism modeling
E Barbierato, GL Dei Rossi, M Gribaudo, M Iacono, A Marin
Electronic Notes in Theoretical Computer Science 296, 61-77, 2013
312013
Queueing networks
S Balsamo, A Marin
International School on Formal Methods for the Design of Computer …, 2007
312007
Contextual lumpability
J Hillston, A Marin, S Rossi, C Piazza
Proceedings of the 7th International Conference on Performance Evaluation …, 2013
262013
A general result for deriving product-form solutions in markovian models
A Marin, MG Vigliotti
Proceedings of the first joint WOSP/SIPEW international conference on …, 2010
252010
Analysis of ECN/RED and SAP-LAW with simultaneous TCP and UDP traffic
A Bujari, A Marin, CE Palazzi, S Rossi
Computer Networks 108, 160-170, 2016
222016
Performance engineering with product-form models: efficient solutions and applications
S Balsamo, A Marin
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
222011
Product-forms in multi-way synchronizations
PG Harrison, A Marin
The Computer Journal 57 (11), 1693-1710, 2014
182014
On the relations between lumpability and reversibility
A Marin, S Rossi
2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation …, 2014
182014
A probabilistic energy-aware model for mobile ad-hoc networks
L Gallina, S Hamadou, A Marin, S Rossi
International Conference on Analytical and Stochastic Modeling Techniques …, 2011
182011
On the relations between Markov chain lumpability and reversibility
A Marin, S Rossi
Acta Informatica 54 (5), 447-485, 2017
172017
Modeling energy packets networks in the presence of failures
JM Fourneau, A Marin, S Balsamo
2016 IEEE 24th international symposium on modeling, analysis and simulation …, 2016
172016
Interference-sensitive preorders for manets
M Bugliesi, L Gallina, A Marin, S Rossi, S Hamadou
2012 Ninth International Conference on Quantitative Evaluation of Systems …, 2012
172012
Separable solutions for Markov processes in random environments
S Balsamo, A Marin
European Journal of Operational Research 229 (2), 391-403, 2013
152013
A general algorithm to compute the steady-state solution of product-form cooperating Markov chains
A Marin, SR Bulo
2009 IEEE International Symposium on Modeling, Analysis & Simulation of …, 2009
152009
Behavioural equivalences and interference metrics for mobile ad-hoc networks
M Bugliesi, L Gallina, S Hamadou, A Marin, S Rossi
Performance Evaluation 73, 41-72, 2014
142014
The system can't perform the operation now. Try again later.
Articles 1–20