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
3641995
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1252001
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1042003
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
921995
Diagnosis and diagnosability analysis using PEPA
L Console, C Picardi, M Ribaudo
ECAI, 131-135, 2000
842000
Process algebras for systems diagnosis
L Console, C Picardi, M Ribaudo
Artificial Intelligence 142 (1), 19-51, 2002
712002
Stochastic Petri net semantics for stochastic process algebras
M Ribaudo
Proceedings 6th International Workshop on Petri Nets and Performance Modelsá…, 1995
591995
Software performance modelling using PEPA nets
S Gilmore, J Hillston, L Kloul, M Ribaudo
ACM SIGSOFT Software Engineering Notes 29 (1), 13-23, 2004
392004
Stochastic process algebras: a new approach to performance modeling
J Hillston, M Ribaudo
Modeling and Simulation of Advanced Computer Systems. Gordon Breach, 1998
391998
Diagnosis and diagnosability analysis using process algebra
L Console, C Picardi, M Ribando
Proceedings of the Eleventh International Workshop on Principles ofá…, 2000
372000
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
251995
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
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
172018
On the Relationship between Stochastic Process Algebras and Stochastic Petri Nets
M Ribaudo
Ph. D. Thesis, University of Torino (Italy), 1995
141995
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
132018
GSPN and SPA compared in Practice
S Donatelli, H Hermanns, J Hillston, M Ribaudo
Quantitative methods in parallel systems, 38-51, 1995
131995
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry
M Leotta, F Ricca, M Ribaudo, G Reggio, E Astesiano, T Vernazza
2012 14th IEEE International Symposium on Web Systems Evolution (WSE), 21-30, 2012
122012
The system can't perform the operation now. Try again later.
Articles 1–20