Use of GSPNs for concurrent software validation in EPOCA. - Susanna Donatelli; Giuliana Franceschinis; Marina Ribaudo; Stefano Russo 001 (Inf. Softw. Technol., 1994)

On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. - Gianfranco Balbo; Susanna Donatelli; Giuliana Franceschinis; Antonino Mazzeo; Nicola Mazzocca; Marina Ribaudo (Perform. Evaluation, 1994)

A comparison of performance evaluation process algebra and generalized stochastic Petri nets. - Susanna Donatelli; Marina Ribaudo; Jane Hillston (PNPM, 1995)

Stochastic Petri net semantics for stochastic process algebras. - Marina Ribaudo (PNPM, 1995)

On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras. - Marina Ribaudo (Comput. J., 1995)

GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. - Giovanni Chiola; Giuliana Franceschinis; Rossano Gaeta; Marina Ribaudo (Perform. Evaluation, 1995)

Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. - Giuliana Franceschinis; Marina Ribaudo (Petri Nets (2), 1996)

Exploiting Symmetries in Stochastic Process Algebras. - Holger Hermanns; Marina Ribaudo (ESM, 1998)

Exploiting Modal Logic to Express Performance Measures. - Graham Clark; Stephen Gilmore; Jane Hillston; Marina Ribaudo (Computer Performance Evaluation / TOOLS, 2000)

Diagnosis and Diagnosability Analysis Using PEPA. - Luca Console; Claudia Picardi; Marina Ribaudo (ECAI, 2000)

Compact Net Semantics for Process Algebras. - Marco Bernardo 001; Marina Ribaudo; Nadia Busi (FORTE, 2000)

Integrating Two Towers and GreatSPN. - Marco Bernardo 001; Nadia Busi; Marina Ribaudo (ICALP Satellite Workshops, 2000)

A Comparison of the Expressiveness of SPA and Bounded SPN Models. - Jane Hillston; Laura Recalde; Marina Ribaudo; Manuel Silva Suárez (PNPM, 2001)

An Efficient Algorithm for Aggregating PEPA Models. - Stephen Gilmore; Jane Hillston; Marina Ribaudo (IEEE Trans. Software Eng., 2001)

PEPA Nets: A Structured Performance Modelling Formalism. - Stephen Gilmore; Jane Hillston; Marina Ribaudo (Computer Performance Evaluation / TOOLS, 2002)

Process algebras for systems diagnosis. - Luca Console; Claudia Picardi; Marina Ribaudo (Artif. Intell., 2002)

Integrating TwoTowers and GreatSPN through a compact net semantics. - Marco Bernardo 001; Nadia Busi; Marina Ribaudo (Perform. Evaluation, 2002)

PEPA nets: a structured performance modelling formalism. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (Perform. Evaluation, 2003)

Modelling Mobility with PEPA Nets. - Jane Hillston; Marina Ribaudo (ISCIS, 2004)

Software performance modelling using PEPA nets. - Stephen Gilmore; Jane Hillston; Leïla Kloul; Marina Ribaudo (WOSP, 2004)

Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs. - Giovanni Chiola; Marina Ribaudo (IPDPS, 2008)

AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova. - Marina Ribaudo; Marina Rui (CSEDU (2), 2009)

Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances? - Maura Cerioli; Marina Ribaudo (EC-TEL, 2009)

A Collaborative Environment for the Design of Accessible Educational Objects. - Patrizia Boccacci; Marina Ribaudo; Marco Mesiti (Web Intelligence/IAT Workshops, 2009)

Accessibility and Usability of a Collaborative e-Learning Application. - Andrea Bozza; Marco Mesiti; Stefano Valtolina; Silvia Dini; Marina Ribaudo (CSEDU (1), 2010)

Collaborative Environments: Accessibility and Usability for Users with Special Needs. - Marco Mesiti; Marina Ribaudo; Stefano Valtolina; Barbara Rita Barricelli; Patrizia Boccacci; Silvia Dini (Community-Built Databases, 2011)

SOA adoption in the Italian industry. - Maurizio Leotta; Filippo Ricca; Marina Ribaudo; Gianna Reggio; Egidio Astesiano; Tullio Vernazza (ICSE, 2012)

Open Data for the Masses - Unleashing Personal Data into the Wild. - Giuseppe Ciaccio; Marina Ribaudo (WEBIST, 2012)

An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. - Maurizio Leotta; Filippo Ricca; Marina Ribaudo; Gianna Reggio; Egidio Astesiano; Tullio Vernazza (WSE, 2012)

User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study. - Stefano Valtolina; Barbara Rita Barricelli; Marco Mesiti; Marina Ribaudo (IxD&A, 2012)

Towards an Acceptance Testing Approach for Internet of Things Systems. - Maurizio Leotta; Filippo Ricca; Diego Clerissi; Davide Ancona; Giorgio Delzanno; Marina Ribaudo; Luca Franceschini (ICWE Workshops, 2017)

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. - Davide Ancona; Giorgio Delzanno; Luca Franceschini; Maurizio Leotta; Enrico Prampolini; Marina Ribaudo; Filippo Ricca (RP, 2017)

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. - Davide Ancona; Luca Franceschini; Giorgio Delzanno; Maurizio Leotta; Marina Ribaudo; Filippo Ricca (ALP4IoT@iFM, 2017)

Towards a Runtime Verification Approach for Internet of Things Systems. - Maurizio Leotta; Davide Ancona; Luca Franceschini; Dario Olianas; Marina Ribaudo; Filippo Ricca (ICWE Workshops, 2018)

: DRHOP, A Platform Proposal for Online Charity. - Francesco Dagnino; Marina Ribaudo (WEBIST, 2018)

Physical Web for Smart Campus Management. - Giorgio Delzanno; Giovanna Guerrini; Maurizio Leotta; Marina Ribaudo (WEBIST, 2018)

An acceptance testing approach for Internet of Things systems. - Maurizio Leotta; Diego Clerissi; Dario Olianas; Filippo Ricca; Davide Ancona; Giorgio Delzanno; Luca Franceschini; Marina Ribaudo (IET Softw., 2018)

ZenHackAdemy: Ethical Hacking @ DIBRIS. - Luca Demetrio; Giovanni Lagorio; Marina Ribaudo; Enrico Russo 001; Andrea Valenza (CSEDU (1), 2019)

Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study. - Maurizio Leotta; Diego Clerissi; Luca Franceschini; Dario Olianas; Davide Ancona; Filippo Ricca; Marina Ribaudo (ENASE, 2019)

Improving the Performance of Road Network Analysis: The Morandi Bridge Case Study. - Vincenzo Petito; Maurizio Leotta; Marina Ribaudo (GISTAM, 2019)

Civic participation powered by ethereum: a proposal. - Maura Cerioli; Marina Ribaudo (Programming, 2019)

TickEth, a ticketing system built on ethereum. - Pietro Corsi; Giovanni Lagorio; Marina Ribaudo (SAC, 2019)

Semi-automatic generation of cybersecurity exercises: a preliminary proposal. - Marina Ribaudo; Andrea Valenza (EnSEmble@ESEC/SIGSOFT FSE, 2019)

A NERD DOGMA: Introducing CTF to Non-expert Audience. - Gabriele Costa 001; Martina Lualdi; Marina Ribaudo; Andrea Valenza (SIGITE, 2020)

CyberChallenge.IT@Unige: Ethical Hacking for Young Talents. - Gaspare Ferraro; Giovanni Lagorio; Marina Ribaudo (UMAP (Adjunct Publication), 2020)

Capture the Flag competitions for Higher Education. - Giovanni Lagorio; Marina Ribaudo; Alessandro Armando (ITASEC, 2021)

OT Cyber Security Frameworks Comparison Tool (CSFCTool). - Giuseppina Murino; Marina Ribaudo; Simon Pietro Romano; Armando Tacchella (ITASEC, 2021)

Automatic Challenge Generation for Hands-on Cybersecurity Training. - Matteo Benzi; Giovanni Lagorio; Marina Ribaudo (EuroS&P Workshops, 2022)

Designing a Serious Game for Cybersecurity Education. - Gabriele Costa 001; Marina Ribaudo (Software Engineering for Games in Serious Contexts, 2023)

Cyber Range and Cyber Defense Exercises: Gamification Meets University Students. - Enrico Russo 001; Marina Ribaudo; Alessandro Orlich; Giacomo Longo; Alessandro Armando (Gamify@SIGSOFT FSE, 2023)

Evaluating the effectiveness of automatic image captioning for web accessibility. - Maurizio Leotta; Fabrizio Mori; Marina Ribaudo (Univers. Access Inf. Soc., 2023)

Enlisting Students in Gamifying Software Testing Education: Results and Key Insights. - Maura Cerioli; Maurizio Leotta; Marina Ribaudo (Gamify@ISSTA, 2024)

Evaluating the Effectiveness of STEM Images Captioning. - Maurizio Leotta; Marina Ribaudo (W4A, 2024)

Improving Web Accessibility With an LLM-Based Tool: A Preliminary Evaluation for STEM Images. - Giacomo Pedemonte; Maurizio Leotta; Marina Ribaudo (IEEE Access, 2025)