Andrea Marin
Citado por
Citado por
Petri nets for modelling metabolic pathways: a survey
P Baldan, N Cocco, A Marin, M Simeoni
Natural Computing 9, 955-989, 2010
Deep learning for intelligent IoT: Opportunities, challenges and solutions
YB Zikria, MK Afzal, SW Kim, A Marin, M Guizani
Computer Communications 164, 50-53, 2020
Methodological construction of product-form stochastic Petri nets for performance evaluation
S Balsamo, PG Harrison, A Marin
Journal of Systems and Software, 2011
Interconnected wireless sensors with energy harvesting
E Gelenbe, A Marin
Analytical and Stochastic Modelling Techniques and Applications: 22nd …, 2015
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
Analysis of stochastic Petri nets with signals
A Marin, S Balsamo, PG Harrison
Performance Evaluation 69 (11), 551-572, 2012
Queueing networks
S Balsamo, A Marin
International school on formal methods for the design of computer …, 2007
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
Contextual lumpability
J Hillston, C Piazza, A Marin, S Rossi
ValueTools 2013--7th International Conference on Performance Evaluation …, 2013
On the relations between Markov chain lumpability and reversibility
A Marin, S Rossi
Acta Informatica 54 (5), 447-485, 2017
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
Product-forms in multi-way synchronizations
PG Harrison, A Marin
The Computer Journal 57 (11), 1693-1710, 2014
A probabilistic energy-aware model for mobile ad-hoc networks
L Gallina, S Hamadou, A Marin, S Rossi
Analytical and Stochastic Modeling Techniques and Applications: 18th …, 2011
On the relations between lumpability and reversibility
A Marin, S Rossi
2014 IEEE 22nd International Symposium on Modelling, Analysis & Simulation …, 2014
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
On the use of proof-of-work in permissioned blockchains: Security and fairness
I Malakhov, A Marin, S Rossi, D Smuseva
IEEE Access 10, 1305-1316, 2021
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
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
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
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
G Alzetta, A Marin, C Piazza, S Rossi
Information and Computation 260, 99-125, 2018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20