Get started
Author

Marina Ribaudo

Observed names: M. Ribaudo, RIBAUDO, MARINA, Ribaudo, M., Ribaudo, Marina
Institution: University of Genoa
ORCID: 0000-0003-0697-2225
Observed ORCID: 0000-0003-0697-2225
OpenAlex ID: A5089677272
GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
1995 · G. Chiola, G. Franceschinis, et al. · Performance Evaluation · 253
An efficient algorithm for aggregating PEPA models
2001 · S. Gilmore, J. Hillston, et al. · IEEE Transactions on Software Engineering · 96
PEPA Nets: A Structured Performance Modelling Formalism
2002 · Stephen Gilmore, Jane Hillston, et al. · Lecture notes in computer science · 85
PEPA nets: a structured performance modelling formalism
2003 · Stephen Gilmore, Jane Hillston, et al. · Performance Evaluation · 75
PDF
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
2002 · S. Donatelli, M. Ribaudo, et al. · International Workshop on Petri Nets and Performance Models · 47
Process algebras for systems diagnosis
2002 · Luca Console, Claudia Picardi, et al. · Artificial Intelligence · 41
PDF
Diagnosis and diagnosability analysis using PEPA
2000 · Luca Console, Claudia Picardi, et al. · 38
Evaluating the effectiveness of automatic image captioning for web accessibility
2022 · Maurizio Leotta, Fabrizio Mori, et al. · Universal Access in the Information Society · 31
PDF
An acceptance testing approach for Internet of Things systems
2018 · Maurizio Leotta, Diego Clerissi, et al. · IET Software · 29
PDF
Software performance modelling using PEPA nets
2004 · Stephen Gilmore, Jane Hillston, et al. · ACM SIGSOFT Software Engineering Notes · 28
Stochastic Petri net semantics for stochastic process algebras
2002 · M. Ribaudo · International Workshop on Petri Nets and Performance Models · 28
Software performance modelling using PEPA nets
2004 · Stephen Gilmore, Jane Hillston, et al. · International Workshop on Software and Performance (WOSP) · 25
Exploiting Symmetries in Stochastic Process Algebras
1998 · Holger Hermanns, Marina Ribaudo · 24
Improving Web Accessibility With an LLM-Based Tool: A Preliminary Evaluation for STEM Images
2025 · Giacomo Pedemonte, Maurizio Leotta, et al. · IEEE Access · 19
Exploiting Modal Logic to Express Performance Measures
2000 · Graham Clark, Stephen Gilmore, et al. · Lecture notes in computer science · 19
On the computation of performance characteristics of concurrent programs using GSPNs
1994 · G. Balbo, S. Donatelli, et al. · Performance Evaluation · 19
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
1995 · M. Ribaudo · The Computer Journal · 17
Cyber Range and Cyber Defense Exercises: Gamification Meets University Students
2023 · Enrico Russo, Marina Ribaudo, et al. · 16
PDF
Towards an Acceptance Testing Approach for Internet of Things Systems
2018 · Maurizio Leotta, Filippo Ricca, et al. · Lecture notes in computer science · 16
Towards a Runtime Verification Approach for Internet of Things Systems
2018 · Maurizio Leotta, Davide Ancona, et al. · Lecture notes in computer science · 15
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry
2012 · Maurizio Leotta, Filippo Ricca, et al. · IEEE International Symposium on Web Systems Evolution (WSE) · 12
TickEth, a ticketing system built on ethereum
2019 · Pietro Corsi, Giovanni Lagorio, et al. · ACM/SIGAPP Symposium on Applied Computing (SAC) · 11
Use of GSPNs for concurrent software validation in EPOCA
1994 · Susanna Donatelli, Giuliana Franceschinis, et al. · Information and Software Technology · 11
Collaborative Environments: Accessibility and Usability for Users with Special Needs
2011 · M. Mesiti, M. Ribaudo, et al. · Springer eBooks · 10
A comparison of the expressiveness of SPA and bounded SPN models
2002 · J. Hillston, L. Recalde, et al. · International Workshop on Petri Nets and Performance Models · 10
Works count: 73
Citation count: 1,107
H-index: 17
I10-index: 25
Year
Topic
Type