Follow
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
3911995
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1272001
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1082003
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
981995
Diagnosis and diagnosability analysis using PEPA
L Console, C Picardi, M Ribaudo
ECAI, 131-135, 2000
902000
Process algebras for systems diagnosis
L Console, C Picardi, M Ribaudo
Artificial Intelligence 142 (1), 19-51, 2002
762002
Stochastic Petri net semantics for stochastic process algebras
M Ribaudo
Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995
601995
Stochastic process algebras: a new approach to performance modeling
J Hillston, M Ribaudo
Modeling and Simulation of Advanced Computer Systems, 235-256, 1998
441998
Diagnosis and diagnosability analysis using process algebra
L Console, C Picardi, M Ribando
Proceedings of the Eleventh International Workshop on Principles of …, 2000
422000
Software performance modelling using PEPA nets
S Gilmore, J Hillston, L Kloul, M Ribaudo
ACM SIGSOFT Software Engineering Notes 29 (1), 13-23, 2004
402004
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
362018
Exploiting symmetries in stochastic process algebras
H Hermanns, M Ribaudo
12th European Simulation Multiconference, ESM 1998, 763-770, 1998
321998
PEPA nets: A structured performance modelling formalism
S Gilmore, J Hillston, M Ribaudo
International Conference on Modelling Techniques and Tools for Computer …, 2002
282002
On the aggregation techniques in stochastic Petri nets and stochastic process algebras
M Ribaudo
The Computer Journal 38 (7), 600-611, 1995
271995
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
262018
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
251994
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
222018
Exploiting modal logic to express performance measures
G Clark, S Gilmore, J Hillston, M Ribaudo
Computer Performance Evaluation. Modelling Techniques and Tools: 11th …, 2000
222000
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
212018
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
151995
The system can't perform the operation now. Try again later.
Articles 1–20