Marina Ribaudo

Cited by

	All	Since 2020
Citations	1634	239
h-index	19	9
i10-index	33	9

120

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 33 23 31 44 34 40 57 79 101 67 71 91 96 68 78 69 50 66 44 48 31 29 25 45 38 39 49 43 46 58 4

Public access

View all

1 article

2 articles

available

not available

Based on funding mandates

Co-authors

Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVerified email at ed.ac.uk
Maurizio LeottaAssistant Professor at University of Genova (Italy)Verified email at unige.it
filippo riccaAssociate professor of Computer Science, Università di Genova (Italy)Verified email at disi.unige.it
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
Rossano GaetaFull Professor, Computer Science, Università di TorinoVerified email at di.unito.it
Luca FranceschiniEsaote SpAVerified email at dibris.unige.it
Davide AnconaGenovaVerified email at unige.it
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Verified email at di.unito.it
Claudia PicardiResearcher in Computer Science, University of TorinoVerified email at di.unito.it
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Marco MesitiAssociate Professor, Università di milanoVerified email at di.unimi.it
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Stefano ValtolinaAssociate Professor, Department of Computer Science, Università degli Studi - MilanoVerified email at di.unimi.it
Gianna ReggioDIBRIS - University of Genova, ItalyVerified email at unige.it
nicola mazzoccaUniversità di Napoli Federico IIVerified email at unina.it
Antonino MazzeoProfessore università di Napoli Federico IIVerified email at unina.it
Marco BernardoUniversity of UrbinoVerified email at uniurb.it
Barbara Rita BarricelliUniversità degli Studi di BresciaVerified email at unibs.it
Stefano RussoProfessor of Computer Engineering, Università di Napoli Federico IIVerified email at unina.it

Marina Ribaudo

Università di Genova

Verified email at unige.it


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	394	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	98	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	42	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	36	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
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	26	2018
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 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	23	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	22	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
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors