Marina Ribaudo 个人学术档案

引用次数

	总计	2019 年至今
引用	1578	229
h 指数	19	9
i10 指数	31	8

120

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 33 26 31 44 34 40 56 79 101 66 70 90 97 67 78 70 50 66 44 47 30 28 26 43 35 32 45 42 45 30

开放获取的出版物数量

查看全部

1 篇文章

2 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Jane HillstonProfessor of Quantitative Modelling, University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Maurizio LeottaAssistant Professor at University of Genova (Italy)在 unige.it 的电子邮件经过验证
filippo riccaAssociate professor of Computer Science, Università di Genova (Italy)在 disi.unige.it 的电子邮件经过验证
Stephen GilmoreProfessor of Software Systems Modelling, The University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
Rossano GaetaFull Professor, Computer Science, Università di Torino在 di.unito.it 的电子邮件经过验证
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)在 di.unito.it 的电子邮件经过验证
Claudia PicardiResearcher in Computer Science, University of Torino在 di.unito.it 的电子邮件经过验证
Luca FranceschiniEsaote SpA在 dibris.unige.it 的电子邮件经过验证
Davide AnconaGenova在 unige.it 的电子邮件经过验证
Marco MesitiAssociate Professor, Università di milano在 di.unimi.it 的电子邮件经过验证
Giorgio DelzannoAssociate Professor, Università di Genova在 unige.it 的电子邮件经过验证
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campus在 cs.uni-saarland.de 的电子邮件经过验证
Stefano ValtolinaAssociate Professor, Department of Computer Science, Università degli Studi - Milano在 di.unimi.it 的电子邮件经过验证
Gianna ReggioDIBRIS - University of Genova, Italy在 unige.it 的电子邮件经过验证
nicola mazzoccaUniversità di Napoli Federico II在 unina.it 的电子邮件经过验证
Antonino MazzeoProfessore università di Napoli Federico II在 unina.it 的电子邮件经过验证
Marco BernardoUniversity of Urbino在 uniurb.it 的电子邮件经过验证
Barbara Rita BarricelliUniversità degli Studi di Brescia在 unibs.it 的电子邮件经过验证
Stefano RussoProfessor of Computer Engineering, Università di Napoli Federico II在 unina.it 的电子邮件经过验证

关注

Marina Ribaudo

Università di Genova

在 unige.it 的电子邮件经过验证


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets G Chiola, G Franceschinis, R Gaeta, M Ribaudo Performance evaluation 24 (1-2), 47-68, 1995	386	1995
An efficient algorithm for aggregating PEPA models S Gilmore, J Hillston, M Ribaudo IEEE Transactions on Software Engineering 27 (5), 449-464, 2001	127	2001
PEPA nets: a structured performance modelling formalism S Gilmore, J Hillston, L Kloul, M Ribaudo Performance Evaluation 54 (2), 79-104, 2003	108	2003
A comparison of performance evaluation process algebra and generalized stochastic Petri nets S Donatelli, M Ribaudo, J Hillston Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995	97	1995
Diagnosis and diagnosability analysis using PEPA L Console, C Picardi, M Ribaudo ECAI, 131-135, 2000	90	2000
Process algebras for systems diagnosis L Console, C Picardi, M Ribaudo Artificial Intelligence 142 (1), 19-51, 2002	76	2002
Stochastic Petri net semantics for stochastic process algebras M Ribaudo Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995	60	1995
Stochastic process algebras: a new approach to performance modeling J Hillston, M Ribaudo Modeling and Simulation of Advanced Computer Systems, 235-256, 1998	44	1998
Diagnosis and diagnosability analysis using process algebra L Console, C Picardi, M Ribando Proceedings of the Eleventh International Workshop on Principles of …, 2000	41	2000
Software performance modelling using PEPA nets S Gilmore, J Hillston, L Kloul, M Ribaudo ACM SIGSOFT Software Engineering Notes 29 (1), 13-23, 2004	40	2004
An acceptance testing approach for Internet of Things systems M Leotta, D Clerissi, D Olianas, F Ricca, D Ancona, G Delzanno, ... IET Software 12 (5), 430-436, 2018	32	2018
Exploiting symmetries in stochastic process algebras H Hermanns, M Ribaudo 12th European Simulation Multiconference, ESM 1998, 763-770, 1998	32	1998
PEPA nets: A structured performance modelling formalism S Gilmore, J Hillston, M Ribaudo International Conference on Modelling Techniques and Tools for Computer …, 2002	28	2002
On the aggregation techniques in stochastic Petri nets and stochastic process algebras M Ribaudo The Computer Journal 38 (7), 600-611, 1995	27	1995
On the computation of performance characteristics of concurrent programs using GSPNs G Balbo, S Donatelli, G Franceschinis, A Mazzeo, N Mazzocca, ... Performance Evaluation 19 (2-3), 195-222, 1994	25	1994
Towards runtime monitoring of node. js and its application to the internet of things D Ancona, L Franceschini, G Delzanno, M Leotta, M Ribaudo, F Ricca arXiv preprint arXiv:1802.01790, 2018	23	2018
Exploiting modal logic to express performance measures G Clark, S Gilmore, J Hillston, M Ribaudo Computer Performance Evaluation. Modelling Techniques and Tools: 11th …, 2000	22	2000
Towards a runtime verification approach for internet of things systems M Leotta, D Ancona, L Franceschini, D Olianas, M Ribaudo, F Ricca Current Trends in Web Engineering: ICWE 2018 International Workshops, MATWEP …, 2018	19	2018
Towards an acceptance testing approach for Internet of Things systems M Leotta, F Ricca, D Clerissi, D Ancona, G Delzanno, M Ribaudo, ... Current Trends in Web Engineering: ICWE 2017 International Workshops, Liquid …, 2018	19	2018
GSPN and SPA compared in practice: modelling a distributed mail system S Donatelli, H Hermanns, J Hillston, M Ribaudo Quantitative methods in parallel systems, 38-51, 1995	15	1995

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用