Concepedia

Marina Ribaudo

MR

19

Publications

785

Citations

14

H-Index

1994

Active since

Affiliations

University of Turin(Current)

University of Edinburgh

University of Genoa

Ingegneria dei Sistemi (Italy)

Gestione Sistemi per l’Informatica (Italy)

Marina Ribaudo is an author at University of Turin specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsFormal VerificationProgram AnalysisParallel ProgrammingProcess ControlSoftware DesignSystem Software

Publications per year

1994–2023

19

Publications

19

GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets

G. Chiola, G. Franceschinis, Rossano Gaeta et al. · Performance Evaluation · 1995 · 247 citations

Petri Net, Reachability Analysis, Engineering +14

An efficient algorithm for aggregating PEPA models

Stephen Gilmore, Jane Hillston, Marina Ribaudo · IEEE Transactions on Software Engineering · 2001 · 95 citations · Full text

Engineering, Computer Architecture, Software Analysis +26

PEPA nets: a structured performance modelling formalism

Stephen Gilmore, Jane Hillston, Leı̈la Kloul et al. · Performance Evaluation · 2003 · 73 citations

Engineering, Formal Modeling, Performance Modeling +9

A comparison of performance evaluation process algebra and generalized stochastic Petri nets

Susanna Donatelli, Marina Ribaudo, Jane Hillston · 2002 · 48 citations

Petri Net, Engineering, Industrial Engineering +15

Process algebras for systems diagnosis

Luca Console, Claudia Picardi, Marina Ribaudo · Artificial Intelligence · 2002 · 41 citations

Process Algebras, Process Calculus, Engineering +10

Rows per page

1–5 of 19