Marina Ribaudo

Citata da

	Tutte	Dal 2019
Citazioni	1603	252
Indice H	19	9
i10-index	32	9

120

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320249 33 26 31 44 34 40 56 79 101 66 70 90 97 68 77 70 50 66 44 48 30 28 26 44 37 39 48 42 45 41

Accesso pubblico

Visualizza tutto

1 articolo

2 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Jane HillstonProfessor of Quantitative Modelling, University of EdinburghEmail verificata su ed.ac.uk
Maurizio LeottaAssistant Professor at University of Genova (Italy)Email verificata su unige.it
filippo riccaAssociate professor of Computer Science, Università di Genova (Italy)Email verificata su disi.unige.it
Stephen GilmoreProfessor of Software Systems Modelling, The University of EdinburghEmail verificata su inf.ed.ac.uk
Rossano GaetaFull Professor, Computer Science, Università di TorinoEmail verificata su di.unito.it
Susanna DonatelliComputer Science Professor, Universita' di Torino (Italy)Email verificata su di.unito.it
Luca FranceschiniEsaote SpAEmail verificata su dibris.unige.it
Davide AnconaGenovaEmail verificata su unige.it
Claudia PicardiResearcher in Computer Science, University of TorinoEmail verificata su di.unito.it
Giorgio DelzannoAssociate Professor, Università di GenovaEmail verificata su unige.it
Marco MesitiAssociate Professor, Università di milanoEmail verificata su di.unimi.it
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail verificata su cs.uni-saarland.de
Stefano ValtolinaAssociate Professor, Department of Computer Science, Università degli Studi - MilanoEmail verificata su di.unimi.it
Gianna ReggioDIBRIS - University of Genova, ItalyEmail verificata su unige.it
nicola mazzoccaUniversità di Napoli Federico IIEmail verificata su unina.it
Antonino MazzeoProfessore università di Napoli Federico IIEmail verificata su unina.it
Marco BernardoUniversity of UrbinoEmail verificata su uniurb.it
Barbara Rita BarricelliUniversità degli Studi di BresciaEmail verificata su unibs.it
Stefano RussoProfessor of Computer Engineering, Università di Napoli Federico IIEmail verificata su unina.it

Segui

Marina Ribaudo

Università di Genova

Email verificata su unige.it


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
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	387	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	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	34	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	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
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	21	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori