Marina Ribaudo

54 papers A* 1A 2B 2C 4Misc 2Journal 12Unranked 29
YearRankTypeTitle / Venue / Authors
2025 J jnl
Improving Web Accessibility With an LLM-Based Tool: A Preliminary Evaluation for STEM Images.
IEEE Access
Giacomo Pedemonte, Maurizio Leotta, Marina Ribaudo
2024 — conf
Enlisting Students in Gamifying Software Testing Education: Results and Key Insights.
Gamify@ISSTA
Maura Cerioli, Maurizio Leotta, Marina Ribaudo
2024 — conf
Evaluating the Effectiveness of STEM Images Captioning.
W4A
Maurizio Leotta, Marina Ribaudo
2023 — conf
Cyber Range and Cyber Defense Exercises: Gamification Meets University Students.
Gamify@SIGSOFT FSE
Enrico Russo, Marina Ribaudo, Alessandro Orlich, Giacomo Longo, Alessandro Armando
2023 — ch.
Designing a Serious Game for Cybersecurity Education.
Software Engineering for Games in Serious Contexts
Gabriele Costa, Marina Ribaudo
2023 J jnl
Evaluating the effectiveness of automatic image captioning for web accessibility.
Univers. Access Inf. Soc.
Maurizio Leotta, Fabrizio Mori, Marina Ribaudo
2022 — conf
Automatic Challenge Generation for Hands-on Cybersecurity Training.
EuroS&P Workshops
Matteo Benzi, Giovanni Lagorio, Marina Ribaudo
2021 — conf
Capture the Flag competitions for Higher Education.
ITASEC
Giovanni Lagorio, Marina Ribaudo, Alessandro Armando
2021 — conf
OT Cyber Security Frameworks Comparison Tool (CSFCTool).
ITASEC
Giuseppina Murino, Marina Ribaudo, Simon Pietro Romano, Armando Tacchella
2020 Misc conf
A NERD DOGMA: Introducing CTF to Non-expert Audience.
SIGITE
Gabriele Costa, Martina Lualdi, Marina Ribaudo, Andrea Valenza
2020 — conf
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents.
UMAP (Adjunct Publication)
Gaspare Ferraro, Giovanni Lagorio, Marina Ribaudo
2019 — conf
Civic participation powered by ethereum: a proposal.
Programming
Maura Cerioli, Marina Ribaudo
2019 B conf
Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study.
ENASE
Maurizio Leotta, Diego Clerissi, Luca Franceschini, Dario Olianas, Davide Ancona, Filippo Ricca, Marina Ribaudo
2019 — conf
Improving the Performance of Road Network Analysis: The Morandi Bridge Case Study.
GISTAM
Vincenzo Petito, Maurizio Leotta, Marina Ribaudo
2019 — conf
Semi-automatic generation of cybersecurity exercises: a preliminary proposal.
EnSEmble@ESEC/SIGSOFT FSE
Marina Ribaudo, Andrea Valenza
2019 Misc conf
TickEth, a ticketing system built on ethereum.
SAC
Pietro Corsi, Giovanni Lagorio, Marina Ribaudo
2019 — conf
ZenHackAdemy: Ethical Hacking @ DIBRIS.
CSEDU (1)
Luca Demetrio, Giovanni Lagorio, Marina Ribaudo, Enrico Russo, Andrea Valenza
2018 C conf
: DRHOP, A Platform Proposal for Online Charity.
WEBIST
Francesco Dagnino, Marina Ribaudo
2018 J jnl
An acceptance testing approach for Internet of Things systems.
IET Softw.
Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo
2018 C conf
Physical Web for Smart Campus Management.
WEBIST
Giorgio Delzanno, Giovanna Guerrini, Maurizio Leotta, Marina Ribaudo
2018 — conf
Towards a Runtime Verification Approach for Internet of Things Systems.
ICWE Workshops
Maurizio Leotta, Davide Ancona, Luca Franceschini, Dario Olianas, Marina Ribaudo, Filippo Ricca
2017 — conf
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues.
RP
Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca
2017 — conf
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things.
ALP4IoT@iFM
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
2017 — conf
Towards an Acceptance Testing Approach for Internet of Things Systems.
ICWE Workshops
Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini
2012 — conf
An exploratory survey on SOA knowledge, adoption and trend in the Italian industry.
WSE
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
2012 C conf
Open Data for the Masses - Unleashing Personal Data into the Wild.
WEBIST
Giuseppe Ciaccio, Marina Ribaudo
2012 A* conf
SOA adoption in the Italian industry.
ICSE
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
2012 J jnl
User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study.
IxD&A
Stefano Valtolina, Barbara Rita Barricelli, Marco Mesiti, Marina Ribaudo
2011 — ch.
Collaborative Environments: Accessibility and Usability for Users with Special Needs.
Community-Built Databases
Marco Mesiti, Marina Ribaudo, Stefano Valtolina, Barbara Rita Barricelli, Patrizia Boccacci, Silvia Dini
2010 — conf
Accessibility and Usability of a Collaborative e-Learning Application.
CSEDU (1)
Andrea Bozza, Marco Mesiti, Stefano Valtolina, Silvia Dini, Marina Ribaudo
2009 — conf
A Collaborative Environment for the Design of Accessible Educational Objects.
Web Intelligence/IAT Workshops
Patrizia Boccacci, Marina Ribaudo, Marco Mesiti
2009 — conf
AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova.
CSEDU (2)
Marina Ribaudo, Marina Rui
2009 B conf
Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?
EC-TEL
Maura Cerioli, Marina Ribaudo
2008 A conf
Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs.
IPDPS
Giovanni Chiola, Marina Ribaudo
2004 — conf
Modelling Mobility with PEPA Nets.
ISCIS
Jane Hillston, Marina Ribaudo
2004 — conf
Software performance modelling using PEPA nets.
WOSP
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
2003 J jnl
PEPA nets: a structured performance modelling formalism.
Perform. Evaluation
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
2002 J jnl
Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Evaluation
Marco Bernardo, Nadia Busi, Marina Ribaudo
2002 — conf
PEPA Nets: A Structured Performance Modelling Formalism.
Computer Performance Evaluation / TOOLS
Stephen Gilmore, Jane Hillston, Marina Ribaudo
2002 J jnl
Process algebras for systems diagnosis.
Artif. Intell.
Luca Console, Claudia Picardi, Marina Ribaudo
2001 — conf
A Comparison of the Expressiveness of SPA and Bounded SPN Models.
PNPM
Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez
2001 J jnl
An Efficient Algorithm for Aggregating PEPA Models.
IEEE Trans. Software Eng.
Stephen Gilmore, Jane Hillston, Marina Ribaudo
2000 C conf
Compact Net Semantics for Process Algebras.
FORTE
Marco Bernardo, Marina Ribaudo, Nadia Busi
2000 A conf
Diagnosis and Diagnosability Analysis Using PEPA.
ECAI
Luca Console, Claudia Picardi, Marina Ribaudo
2000 — conf
Exploiting Modal Logic to Express Performance Measures.
Computer Performance Evaluation / TOOLS
Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
2000 — conf
Integrating Two Towers and GreatSPN.
ICALP Satellite Workshops
Marco Bernardo, Nadia Busi, Marina Ribaudo
1998 — conf
Exploiting Symmetries in Stochastic Process Algebras.
ESM
Holger Hermanns, Marina Ribaudo
1996 — conf
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.
Petri Nets (2)
Giuliana Franceschinis, Marina Ribaudo
1995 — conf
A comparison of performance evaluation process algebra and generalized stochastic Petri nets.
PNPM
Susanna Donatelli, Marina Ribaudo, Jane Hillston
1995 J jnl
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.
Perform. Evaluation
Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo
1995 J jnl
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras.
Comput. J.
Marina Ribaudo
1995 — conf
Stochastic Petri net semantics for stochastic process algebras.
PNPM
Marina Ribaudo
1994 J jnl
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
1994 J jnl
Use of GSPNs for concurrent software validation in EPOCA.
Inf. Softw. Technol.
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo