| 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 | 358 | 1995 |
| An efficient algorithm for aggregating PEPA models S Gilmore, J Hillston, M Ribaudo IEEE Transactions on Software Engineering 27 (5), 449-464, 2001 | 124 | 2001 |
| PEPA nets: a structured performance modelling formalism S Gilmore, J Hillston, L Kloul, M Ribaudo Performance Evaluation 54 (2), 79-104, 2003 | 102 | 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 | 90 | 1995 |
| Diagnosis and diagnosability analysis using PEPA L Console, C Picardi, M Ribaudo ECAI, 131-135, 2000 | 84 | 2000 |
| Process algebras for systems diagnosis L Console, C Picardi, M Ribaudo Artificial Intelligence 142 (1), 19-51, 2002 | 71 | 2002 |
| Stochastic Petri net semantics for stochastic process algebras M Ribaudo Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995 | 59 | 1995 |
| 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 |
| Stochastic process algebras: a new approach to performance modeling J Hillston, M Ribaudo Modeling and Simulation of Advanced Computer Systems. Gordon Breach, 1998 | 39 | 1998 |
| Diagnosis and diagnosability analysis using process algebra L Console, C Picardi, M Ribando Proceedings of the Eleventh International Workshop on Principles of …, 2000 | 37 | 2000 |
| Exploiting Symmetries in Stochastic Process Algebras. H Hermanns, M Ribaudo ESM, 763-770, 1998 | 30 | 1998 |
| 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 | 25 | 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 | 22 | 1994 |
| Exploiting modal logic to express performance measures G Clark, S Gilmore, J Hillston, M Ribaudo International Conference on Modelling Techniques and Tools for Computer …, 2000 | 21 | 2000 |
| 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 | 14 | 2018 |
| On the Relationship between Stochastic Process Algebras and Stochastic Petri Nets M Ribaudo Ph. D. Thesis, University of Torino (Italy), 1995 | 14 | 1995 |
| GSPN and SPA compared in Practice S Donatelli, H Hermanns, J Hillston, M Ribaudo Quantitative methods in parallel systems, 38-51, 1995 | 13 | 1995 |
| Introduzione all'informatica L Console, M Ribaudo, U Avalle | 12 | 2004 |
| On the relationship between stochastic petri nets and stochastic process algebras M Ribaudo Dottorato di ricerca in informatica, Dipartamento di Informatica, Universita …, 1995 | 12 | 1995 |
Jane HillstonProfessor of Quantitative Modelling, University of EdinburghVahvistettu sähköpostiosoite verkkotunnuksessa ed.ac.uk
