Marina Ribaudo
Marina Ribaudo
Geverifieerd e-mailadres voor unige.it
Titel
Geciteerd door
Geciteerd door
Jaar
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
3651995
An efficient algorithm for aggregating PEPA models
S Gilmore, J Hillston, M Ribaudo
IEEE Transactions on Software Engineering 27 (5), 449-464, 2001
1242001
PEPA nets: a structured performance modelling formalism
S Gilmore, J Hillston, L Kloul, M Ribaudo
Performance Evaluation 54 (2), 79-104, 2003
1032003
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
911995
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
722002
Stochastic Petri net semantics for stochastic process algebras
M Ribaudo
Proceedings 6th International Workshop on Petri Nets and Performance Modelsá…, 1995
581995
Stochastic process algebras: a new approach to performance modeling
J Hillston, M Ribaudo
Modeling and Simulation of Advanced Computer Systems. Gordon Breach, 1998
401998
Software performance modelling using PEPA nets
S Gilmore, J Hillston, L Kloul, M Ribaudo
ACM SIGSOFT Software Engineering Notes 29 (1), 13-23, 2004
382004
Diagnosis and diagnosability analysis using process algebra
L Console, C Picardi, M Ribando
Proceedings of the Eleventh International Workshop on Principles ofá…, 2000
382000
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
262002
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
182018
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
Use of GSPNs for concurrent software validation in EPOCA
S Donatelli, G Franceschinis, M Ribaudo, S Russo
Information and Software Technology 36 (7), 443-448, 1994
131994
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20