Marina Ribaudo

Cited by

	All	Since 2018
Citations	1535	234
h-index	17	8
i10-index	30	7

100

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202310 32 27 35 44 32 40 57 78 98 67 70 90 95 67 78 68 49 63 46 46 28 28 28 43 33 33 45 41 39

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
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghVerified email at inf.ed.ac.uk
filippo riccaAssociate professor of Computer Science, Università di Genova (Italy)Verified email at disi.unige.it
Rossano GaetaFull Professor, Computer Science, Università di TorinoVerified email at di.unito.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
Luca FranceschiniEsaote SpAVerified email at dibris.unige.it
Davide AnconaGenovaVerified email at unige.it
Marco MesitiAssociate Professor, Università di milanoVerified email at di.unimi.it
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.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	380	1995
An efficient algorithm for aggregating PEPA models S Gilmore, J Hillston, M Ribaudo IEEE Transactions on Software Engineering 27 (5), 449-464, 2001	125	2001
PEPA nets: a structured performance modelling formalism S Gilmore, J Hillston, L Kloul, M Ribaudo Performance Evaluation 54 (2), 79-104, 2003	105	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	96	1995
Diagnosis and diagnosability analysis using PEPA L Console, C Picardi, M Ribaudo ECAI, 131-135, 2000	89	2000
Process algebras for systems diagnosis L Console, C Picardi, M Ribaudo Artificial Intelligence 142 (1), 19-51, 2002	78	2002
Stochastic Petri net semantics for stochastic process algebras M Ribaudo Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995	61	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	40	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	39	2004
Exploiting Symmetries in Stochastic Process Algebras. H Hermanns, M Ribaudo ESM, 763-770, 1998	32	1998
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	29	2018
PEPA nets: A structured performance modelling formalism S Gilmore, J Hillston, M Ribaudo International Conference on Modelling Techniques and Tools for Computer …, 2002	27	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
Exploiting modal logic to express performance measures G Clark, S Gilmore, J Hillston, M Ribaudo Computer Performance Evaluation. Modelling Techniques and Tools: 11th …, 2000	23	2000
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	22	2018
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	17	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	15	2018
Use of GSPNs for concurrent software validation in EPOCA S Donatelli, G Franceschinis, M Ribaudo, S Russo Information and Software Technology 36 (7), 443-448, 1994	15	1994

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