RIBAUDO, MARINA
RIBAUDO, MARINA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
An Acceptance Testing Approach for Internet of Things Systems
2018-01-01 Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina
An Efficient Algorithm for Aggregating PEPA Models
2001-01-01 S., Gilmore; J., Hillston; Ribaudo, Marina
Envisioning smart disclosure in the public administration
2014-01-01 Ciaccio, Giuseppe; A., Pastorino; Ribaudo, Marina
Evaluating the effectiveness of automatic image captioning for web accessibility
2022-01-01 Leotta, Maurizio; Mori, Fabrizio; Ribaudo, Marina
GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets
1995-01-01 Chiola, Giovanni; Franceschinis, G.; Gaeta, R.; Ribaudo, Marina
Integrating TwoTowers and GreatSPN through a Compact Net Semantics
2002-01-01 M., Bernardo; N., Busi; Ribaudo, Marina
L'Ora del Codice è arrivata a Genova!
2015-01-01 Ancona, Davide; Barla, Annalisa; Catania, Barbara; Delzanno, Giorgio; Guerrini, Giovanna; Mascardi, Viviana; Odone, Francesca; Ribaudo, Marina
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras
1995-01-01 Ribaudo, Marina
On the Computation of Performance Characteristics of Concurrent Programs using GSPNs
1994-01-01 G., Balbo; S., Donatelli; G., Franceschinis; A., Mazzeo; N., Mazzocca; Ribaudo, Marina
PEPA nets: A structured performance modelling formalism
2003-01-01 S., Gilmore; J., Hillston; L., Kloul; Ribaudo, Marina
Process algebras for systems diagnosis
2002-01-01 L., Console; C., Picardi; Ribaudo, Marina
Use of GSPNs for concurrent software validation in EPOCA
1994-01-01 S., Donatelli; G., Franceschinis; Ribaudo, Marina; S., Russo
User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study
2012-01-01 S., Valtolina; B. R., Barricelli; M., Mesiti; Ribaudo, Marina
VisualPedia: Wiki per la didattica a supporto di studenti con diverse forme di disabilità
2011-01-01 S., Dini; M., Mesiti; Ribaudo, Marina
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| An Acceptance Testing Approach for Internet of Things Systems | 1-gen-2018 | Leotta, Maurizio; Clerissi, Diego; Olianas, Dario; Ricca, Filippo; Ancona, Davide; Delzanno, Giorgio; Franceschini, Luca; Ribaudo, Marina | |
| An Efficient Algorithm for Aggregating PEPA Models | 1-gen-2001 | S., Gilmore; J., Hillston; Ribaudo, Marina | |
| Envisioning smart disclosure in the public administration | 1-gen-2014 | Ciaccio, Giuseppe; A., Pastorino; Ribaudo, Marina | |
| Evaluating the effectiveness of automatic image captioning for web accessibility | 1-gen-2022 | Leotta, Maurizio; Mori, Fabrizio; Ribaudo, Marina | |
| GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets | 1-gen-1995 | Chiola, Giovanni; Franceschinis, G.; Gaeta, R.; Ribaudo, Marina | |
| Integrating TwoTowers and GreatSPN through a Compact Net Semantics | 1-gen-2002 | M., Bernardo; N., Busi; Ribaudo, Marina | |
| L'Ora del Codice è arrivata a Genova! | 1-gen-2015 | Ancona, Davide; Barla, Annalisa; Catania, Barbara; Delzanno, Giorgio; Guerrini, Giovanna; Mascardi, Viviana; Odone, Francesca; Ribaudo, Marina | |
| On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras | 1-gen-1995 | Ribaudo, Marina | |
| On the Computation of Performance Characteristics of Concurrent Programs using GSPNs | 1-gen-1994 | G., Balbo; S., Donatelli; G., Franceschinis; A., Mazzeo; N., Mazzocca; Ribaudo, Marina | |
| PEPA nets: A structured performance modelling formalism | 1-gen-2003 | S., Gilmore; J., Hillston; L., Kloul; Ribaudo, Marina | |
| Process algebras for systems diagnosis | 1-gen-2002 | L., Console; C., Picardi; Ribaudo, Marina | |
| Use of GSPNs for concurrent software validation in EPOCA | 1-gen-1994 | S., Donatelli; G., Franceschinis; Ribaudo, Marina; S., Russo | |
| User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study | 1-gen-2012 | S., Valtolina; B. R., Barricelli; M., Mesiti; Ribaudo, Marina | |
| VisualPedia: Wiki per la didattica a supporto di studenti con diverse forme di disabilità | 1-gen-2011 | S., Dini; M., Mesiti; Ribaudo, Marina |