| 2008 |
|---|
| 17 | EE | Giovanni Chiola,
Marina Ribaudo:
Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs.
IPDPS 2008: 1-8 |
| 2004 |
|---|
| 16 | EE | Jane Hillston,
Marina Ribaudo:
Modelling Mobility with PEPA Nets.
ISCIS 2004: 513-522 |
| 15 | EE | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
Software performance modelling using PEPA nets.
WOSP 2004: 13-23 |
| 2003 |
|---|
| 14 | EE | Stephen Gilmore,
Jane Hillston,
Leïla Kloul,
Marina Ribaudo:
PEPA nets: a structured performance modelling formalism.
Perform. Eval. 54(2): 79-104 (2003) |
| 2002 |
|---|
| 13 | EE | Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism.
Computer Performance Evaluation / TOOLS 2002: 111-130 |
| 12 | EE | Luca Console,
Claudia Picardi,
Marina Ribaudo:
Process algebras for systems diagnosis.
Artif. Intell. 142(1): 19-51 (2002) |
| 11 | | Marco Bernardo,
Nadia Busi,
Marina Ribaudo:
Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Eval. 50(2/3): 153-187 (2002) |
| 2001 |
|---|
| 10 | EE | Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
An Efficient Algorithm for Aggregating PEPA Models.
IEEE Trans. Software Eng. 27(5): 449-464 (2001) |
| 2000 |
|---|
| 9 | EE | Graham Clark,
Stephen Gilmore,
Jane Hillston,
Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures.
Computer Performance Evaluation / TOOLS 2000: 247-261 |
| 8 | | Luca Console,
Claudia Picardi,
Marina Ribaudo:
Diagnosis and Diagnosability Analysis Using PEPA.
ECAI 2000: 131-135 |
| 7 | | Marco Bernardo,
Marina Ribaudo,
Nadia Busi:
Compact Net Semantics for Process Algebras.
FORTE 2000: 319-334 |
| 6 | | Marco Bernardo,
Nadia Busi,
Marina Ribaudo:
Integrating Two Towers and GreatSPN.
ICALP Satellite Workshops 2000: 551-564 |
| 1998 |
|---|
| 5 | | Holger Hermanns,
Marina Ribaudo:
Exploiting Symmetries in Stochastic Process Algebras.
ESM 1998: 763-770 |
| 1996 |
|---|
| 4 | | Giuliana Franceschinis,
Marina Ribaudo:
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.
Petri Nets (2) 1996: 386-437 |
| 1995 |
|---|
| 3 | | Marina Ribaudo:
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras.
Comput. J. 38(7): 600-611 (1995) |
| 2 | | Giovanni Chiola,
Giuliana Franceschinis,
Rossano Gaeta,
Marina Ribaudo:
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.
Perform. Eval. 24(1-2): 47-68 (1995) |
| 1994 |
|---|
| 1 | | Gianfranco Balbo,
Susanna Donatelli,
Giuliana Franceschinis,
Antonino Mazzeo,
Nicola Mazzocca,
Marina Ribaudo:
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Eval. 19(2-3): 195-222 (1994) |
