Marina Ribaudo
Marina Ribaudo
Verified email at unige.it
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
3551995
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1222001
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
992003
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
901995
Diagnosis and diagnosability analysis using PEPA
L Console, C Picardi, M Ribaudo
ECAI, 131-135, 2000
832000
Process algebras for systems diagnosis
L Console, C Picardi, M Ribaudo
Artificial Intelligence 142 (1), 19-51, 2002
702002
Stochastic Petri net semantics for stochastic process algebras
M Ribaudo
Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995
611995
Diagnosis and diagnosability analysis using process algebra
L Console, C Picardi, M Ribando
Proceedings of the Eleventh International Workshop on Principles of …, 2000
392000
Stochastic process algebras: a new approach to performance modeling
J Hillston, M Ribaudo
Modeling and Simulation of Advanced Computer Systems. Gordon Breach, 1998
391998
Software performance modelling using PEPA nets
S Gilmore, J Hillston, L Kloul, M Ribaudo
ACM SIGSOFT Software Engineering Notes 29 (1), 13-23, 2004
372004
Exploiting Symmetries in Stochastic Process Algebras.
H Hermanns, M Ribaudo
ESM, 763-770, 1998
301998
PEPA nets: A structured performance modelling formalism
S Gilmore, J Hillston, M Ribaudo
International Conference on Modelling Techniques and Tools for Computer …, 2002
272002
On the aggregation techniques in stochastic Petri nets and stochastic process algebras
M Ribaudo
The Computer Journal 38 (7), 600-611, 1995
261995
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
221994
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
212000
GSPN and SPA compared in Practice
S Donatelli, H Hermanns, J Hillston, M Ribaudo
Quantitative methods in parallel systems, 38-51, 1995
17*1995
On the Relationship between Stochastic Process Algebras and Stochastic Petri Nets
M Ribaudo
Ph. D. Thesis, University of Torino (Italy), 1995
141995
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
132018
Introduzione all'informatica
L Console, M Ribaudo, U Avalle
122004
On the relationship between stochastic petri nets and stochastic process algebras
M Ribaudo
Dottorato di ricerca in informatica, Dipartamento di Informatica, Universita …, 1995
121995
The system can't perform the operation now. Try again later.
Articles 1–20