Segui
Marina Ribaudo
Marina Ribaudo
Email verificata su unige.it
Titolo
Citata da
Citata da
Anno
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
3851995
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
961995
Diagnosis and diagnosability analysis using PEPA
L Console, C Picardi, M Ribaudo
ECAI, 131-135, 2000
882000
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
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
Diagnosis and diagnosability analysis using process algebra
L Console, C Picardi, M Ribando
Proceedings of the Eleventh International Workshop on Principles of …, 2000
402000
Exploiting symmetries in stochastic process algebras
H Hermanns, M Ribaudo
12th European Simulation Multiconference, ESM 1998, 763-770, 1998
321998
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
302018
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
281995
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
261994
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
232018
Exploiting modal logic to express performance measures
G Clark, S Gilmore, J Hillston, M Ribaudo
Computer Performance Evaluation. Modelling Techniques and Tools: 11th …, 2000
232000
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
192018
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
182018
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20