Search the dblp DataBase

Publications of Author

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