default search action

combined dblp search
author search
venue search
publication search

ask others

Marina Ribaudo

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/gamify/CerioliLR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gamify/CerioliLR24
Maura Cerioli, Maurizio Leotta, Marina Ribaudo:
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights. Gamify@ISSTA 2024: 18-25
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/w4a/LeottaR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/w4a/LeottaR24
Maurizio Leotta, Marina Ribaudo:
Evaluating the Effectiveness of STEM Images Captioning. W4A 2024: 150-159
2023
[j11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/uais/LeottaMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/uais/LeottaMR23
Maurizio Leotta, Fabrizio Mori, Marina Ribaudo:
Evaluating the effectiveness of automatic image captioning for web accessibility. Univers. Access Inf. Soc. 22(4): 1293-1313 (2023)
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/gamify/RussoROLA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gamify/RussoROLA23
Enrico Russo, Marina Ribaudo, Alessandro Orlich, Giacomo Longo, Alessandro Armando:
Cyber Range and Cyber Defense Exercises: Gamification Meets University Students. Gamify@SIGSOFT FSE 2023: 29-37
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/sp/23/0001R23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/23/0001R23
Gabriele Costa, Marina Ribaudo:
Designing a Serious Game for Cybersecurity Education. Software Engineering for Games in Serious Contexts 2023: 265-290
2022
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/eurosp/BenziLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurosp/BenziLR22
Matteo Benzi, Giovanni Lagorio, Marina Ribaudo:
Automatic Challenge Generation for Hands-on Cybersecurity Training. EuroS&P Workshops 2022: 496-503
2021
[c36]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/itasec/MurinoRRT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/MurinoRRT21
Giuseppina Murino, Marina Ribaudo, Simon Pietro Romano, Armando Tacchella:
OT Cyber Security Frameworks Comparison Tool (CSFCTool). ITASEC 2021: 9-22
[c35]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/itasec/LagorioRA21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itasec/LagorioRA21
Giovanni Lagorio, Marina Ribaudo, Alessandro Armando:
Capture the Flag competitions for Higher Education. ITASEC 2021: 447-460
2020
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/sigite/CostaLRV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigite/CostaLRV20
Gabriele Costa, Martina Lualdi, Marina Ribaudo, Andrea Valenza:
A NERD DOGMA: Introducing CTF to Non-expert Audience. SIGITE 2020: 413-418
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/um/FerraroLR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/um/FerraroLR20
Gaspare Ferraro, Giovanni Lagorio, Marina Ribaudo:
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents. UMAP (Adjunct Publication) 2020: 127-134

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/DemetrioLRRV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/DemetrioLRRV19
Luca Demetrio, Giovanni Lagorio, Marina Ribaudo, Enrico Russo, Andrea Valenza:
ZenHackAdemy: Ethical Hacking @ DIBRIS. CSEDU (1) 2019: 405-413
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/LeottaCFOARR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/LeottaCFOARR19
Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo:
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. ENASE 2019: 434-441
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/gistam/PetitoLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gistam/PetitoLR19
Vincenzo Petito, Maurizio Leotta, Marina Ribaudo:
Improving the Performance of Road Network Analysis: The Morandi Bridge Case Study. GISTAM 2019: 259-266
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/CerioliR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/CerioliR19
Maura Cerioli, Marina Ribaudo:
Civic participation powered by ethereum: a proposal. Programming 2019: 15:1-15:6
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/CorsiLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/CorsiLR19
Pietro Corsi, Giovanni Lagorio, Marina Ribaudo:
TickEth, a ticketing system built on ethereum. SAC 2019: 409-416
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/RibaudoV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/RibaudoV19
Marina Ribaudo, Andrea Valenza:
Semi-automatic generation of cybersecurity exercises: a preliminary proposal. EnSEmble@ESEC/SIGSOFT FSE 2019: 16-21
2018
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iet-sen/LeottaCORADFR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iet-sen/LeottaCORADFR18
Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo:
An acceptance testing approach for Internet of Things systems. IET Softw. 12(5): 430-436 (2018)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icwe/LeottaAFORR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/LeottaAFORR18
Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca:
Towards a Runtime Verification Approach for Internet of Things Systems. ICWE Workshops 2018: 83-96
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/webist/DelzannoGLR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/DelzannoGLR18
Giorgio Delzanno, Giovanna Guerrini, Maurizio Leotta, Marina Ribaudo:
Physical Web for Smart Campus Management. WEBIST 2018: 277-284
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/webist/DagninoR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/DagninoR18
Francesco Dagnino, Marina Ribaudo:
: DRHOP, A Platform Proposal for Online Charity. WEBIST 2018: 285-292
2017
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/icwe/LeottaRCADRF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/LeottaRCADRF17
Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini:
Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops 2017: 125-138
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/AnconaDFLPRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/AnconaDFLPRR17
Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca:
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP 2017: 59-74
[c21]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1802-01790
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1802-01790
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca:
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM 2017: 27-42
2012
[j9]
- view
  - electronic edition @ uniroma2.it (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/ixda/ValtolinaBMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ixda/ValtolinaBMR12
Stefano Valtolina, Barbara Rita Barricelli, Marco Mesiti, Marina Ribaudo:
User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study. IxD&A 13-14: 47-55 (2012)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LeottaRRRAV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LeottaRRRAV12
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
SOA adoption in the Italian industry. ICSE 2012: 1441-1442
[c19]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/webist/CiaccioR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/webist/CiaccioR12
Giuseppe Ciaccio, Marina Ribaudo:
Open Data for the Masses - Unleashing Personal Data into the Wild. WEBIST 2012: 201-206
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/wse/LeottaRRRAV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wse/LeottaRRRAV12
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza:
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. WSE 2012: 21-30
2011
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/MesitiRVBBD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/MesitiRVBBD11
Marco Mesiti, Marina Ribaudo, Stefano Valtolina, Barbara Rita Barricelli, Patrizia Boccacci, Silvia Dini:
Collaborative Environments: Accessibility and Usability for Users with Special Needs. Community-Built Databases 2011: 319-340
2010
[c17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csedu/BozzaMVDR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/BozzaMVDR10
Andrea Bozza, Marco Mesiti, Stefano Valtolina, Silvia Dini, Marina Ribaudo:
Accessibility and Usability of a Collaborative e-Learning Application. CSEDU (1) 2010: 102-109

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csedu/RibaudoR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/RibaudoR09
Marina Ribaudo, Marina Rui:
AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova. CSEDU (2) 2009: 41-46
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ectel/CerioliR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ectel/CerioliR09
Maura Cerioli, Marina Ribaudo:
Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances? EC-TEL 2009: 651-656
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/BoccacciRM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/BoccacciRM09
Patrizia Boccacci, Marina Ribaudo, Marco Mesiti:
A Collaborative Environment for the Design of Accessible Educational Objects. Web Intelligence/IAT Workshops 2009: 207-210
2008
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/ChiolaR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/ChiolaR08
Giovanni Chiola, Marina Ribaudo:
Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs. IPDPS 2008: 1-8
2004
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/iscis/HillstonR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscis/HillstonR04
Jane Hillston, Marina Ribaudo:
Modelling Mobility with PEPA Nets. ISCIS 2004: 513-522
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/wosp/GilmoreHKR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wosp/GilmoreHKR04
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
Software performance modelling using PEPA nets. WOSP 2004: 13-23
2003
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/GilmoreHKR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/GilmoreHKR03
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo:
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54(2): 79-104 (2003)
2002
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/ConsolePR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/ConsolePR02
Luca Console, Claudia Picardi, Marina Ribaudo:
Process algebras for systems diagnosis. Artif. Intell. 142(1): 19-51 (2002)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/BernardoBR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/BernardoBR02
Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Evaluation 50(2/3): 153-187 (2002)
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/GilmoreHR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/GilmoreHR02
Stephen Gilmore, Jane Hillston, Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS 2002: 111-130
2001
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/GilmoreHR01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/GilmoreHR01
Stephen Gilmore, Jane Hillston, Marina Ribaudo:
An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27(5): 449-464 (2001)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/HillstonRRS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/HillstonRRS01
Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez:
A Comparison of the Expressiveness of SPA and Bounded SPN Models. PNPM 2001: 197-206
2000
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cpe/ClarkGHR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpe/ClarkGHR00
Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo:
Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS 2000: 247-261
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/ecai/ConsolePR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/ConsolePR00
Luca Console, Claudia Picardi, Marina Ribaudo:
Diagnosis and Diagnosability Analysis Using PEPA. ECAI 2000: 131-135
[c6]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/BernardoRB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/BernardoRB00
Marco Bernardo, Marina Ribaudo, Nadia Busi:
Compact Net Semantics for Process Algebras. FORTE 2000: 319-334
[c5]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/icalp/BernardoBR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/BernardoBR00
Marco Bernardo, Nadia Busi, Marina Ribaudo:
Integrating Two Towers and GreatSPN. ICALP Satellite Workshops 2000: 551-564

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1998
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/esm/HermannsR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esm/HermannsR98
Holger Hermanns, Marina Ribaudo:
Exploiting Symmetries in Stochastic Process Algebras. ESM 1998: 763-770
1996
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ac/FranceschinisR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/FranceschinisR96
Giuliana Franceschinis, Marina Ribaudo:
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) 1996: 386-437
1995
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/cj/Ribaudo95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cj/Ribaudo95
Marina Ribaudo:
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras. Comput. J. 38(7): 600-611 (1995)
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/ChiolaFGR95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/ChiolaFGR95
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo:
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perform. Evaluation 24(1-2): 47-68 (1995)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/Ribaudo95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/Ribaudo95
Marina Ribaudo:
Stochastic Petri net semantics for stochastic process algebras. PNPM 1995: 148-157
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/pnpm/DonatelliRH95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/DonatelliRH95
Susanna Donatelli, Marina Ribaudo, Jane Hillston:
A comparison of performance evaluation process algebra and generalized stochastic Petri nets. PNPM 1995: 158-168
1994
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/DonatelliFRR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/DonatelliFRR94
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo:
Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. 36(7): 443-448 (1994)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/pe/BalboDFMR94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pe/BalboDFMR94
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo:
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation 19(2-3): 195-222 (1994)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.