Marina Ribaudo

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 20

Top Topics

Abstract Machine

Web Accessibility

University Campus

Top Venues

Publications

Maurizio Leotta, Fabrizio Mori, Marina Ribaudo
Evaluating the effectiveness of automatic image captioning for web accessibility. Univers. Access Inf. Soc. 22 (4) (2023)
Enrico Russo, Marina Ribaudo, Alessandro Orlich, Giacomo Longo, Alessandro Armando
Cyber Range and Cyber Defense Exercises: Gamification Meets University Students. Gamify@SIGSOFT FSE (2023)
Matteo Benzi, Giovanni Lagorio, Marina Ribaudo
Automatic Challenge Generation for Hands-on Cybersecurity Training. EuroS&P Workshops (2022)
Giuseppina Murino, Marina Ribaudo, Simon Pietro Romano, Armando Tacchella
OT Cyber Security Frameworks Comparison Tool (CSFCTool). ITASEC (2021)
Giovanni Lagorio, Marina Ribaudo, Alessandro Armando
Capture the Flag competitions for Higher Education. ITASEC (2021)
Gaspare Ferraro, Giovanni Lagorio, Marina Ribaudo
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents. UMAP (Adjunct Publication) (2020)
Gabriele Costa, Martina Lualdi, Marina Ribaudo, Andrea Valenza
A NERD DOGMA: Introducing CTF to Non-expert Audience. SIGITE (2020)
Marina Ribaudo, Andrea Valenza
Semi-automatic generation of cybersecurity exercises: a preliminary proposal. EnSEmble@ESEC/SIGSOFT FSE (2019)
Luca Demetrio, Giovanni Lagorio, Marina Ribaudo, Enrico Russo, Andrea Valenza
ZenHackAdemy: Ethical Hacking @ DIBRIS. CSEDU (1) (2019)
Vincenzo Petito, Maurizio Leotta, Marina Ribaudo
Improving the Performance of Road Network Analysis: The Morandi Bridge Case Study. GISTAM (2019)
Maura Cerioli, Marina Ribaudo
Civic participation powered by ethereum: a proposal. Programming (2019)
Pietro Corsi, Giovanni Lagorio, Marina Ribaudo
TickEth, a ticketing system built on ethereum. SAC (2019)
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)
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)
Francesco Dagnino, Marina Ribaudo
: DRHOP, A Platform Proposal for Online Charity. WEBIST (2018)
Giorgio Delzanno, Giovanna Guerrini, Maurizio Leotta, Marina Ribaudo
Physical Web for Smart Campus Management. WEBIST (2018)
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) (2018)
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)
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)
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)
Giuseppe Ciaccio, Marina Ribaudo
Open Data for the Masses - Unleashing Personal Data into the Wild. WEBIST (2012)
Maurizio Leotta, Filippo Ricca, Marina Ribaudo, Gianna Reggio, Egidio Astesiano, Tullio Vernazza
SOA adoption in the Italian industry. ICSE (2012)
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)
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 (2012)
Andrea Bozza, Marco Mesiti, Stefano Valtolina, Silvia Dini, Marina Ribaudo
Accessibility and Usability of a Collaborative e-Learning Application. CSEDU (1) (2010)
Marina Ribaudo, Marina Rui
AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova. CSEDU (2) (2009)
Maura Cerioli, Marina Ribaudo
Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances? EC-TEL (2009)
Patrizia Boccacci, Marina Ribaudo, Marco Mesiti
A Collaborative Environment for the Design of Accessible Educational Objects. Web Intelligence/IAT Workshops (2009)
Giovanni Chiola, Marina Ribaudo
Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs. IPDPS (2008)
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
Software performance modelling using PEPA nets. WOSP (2004)
Jane Hillston, Marina Ribaudo
Modelling Mobility with PEPA Nets. ISCIS (2004)
Stephen Gilmore, Jane Hillston, Leïla Kloul, Marina Ribaudo
PEPA nets: a structured performance modelling formalism. Perform. Evaluation 54 (2) (2003)
Luca Console, Claudia Picardi, Marina Ribaudo
Process algebras for systems diagnosis. Artif. Intell. 142 (1) (2002)
Stephen Gilmore, Jane Hillston, Marina Ribaudo
PEPA Nets: A Structured Performance Modelling Formalism. Computer Performance Evaluation / TOOLS (2002)
Marco Bernardo, Nadia Busi, Marina Ribaudo
Integrating TwoTowers and GreatSPN through a compact net semantics. Perform. Evaluation 50 (2/3) (2002)
Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez
A Comparison of the Expressiveness of SPA and Bounded SPN Models. PNPM (2001)
Stephen Gilmore, Jane Hillston, Marina Ribaudo
An Efficient Algorithm for Aggregating PEPA Models. IEEE Trans. Software Eng. 27 (5) (2001)
Luca Console, Claudia Picardi, Marina Ribaudo
Diagnosis and Diagnosability Analysis Using PEPA. ECAI (2000)
Marco Bernardo, Marina Ribaudo, Nadia Busi
Compact Net Semantics for Process Algebras. FORTE (2000)
Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
Exploiting Modal Logic to Express Performance Measures. Computer Performance Evaluation / TOOLS (2000)
Marco Bernardo, Nadia Busi, Marina Ribaudo
Integrating Two Towers and GreatSPN. ICALP Satellite Workshops (2000)
Holger Hermanns, Marina Ribaudo
Exploiting Symmetries in Stochastic Process Algebras. ESM (1998)
Giuliana Franceschinis, Marina Ribaudo
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) (1996)
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) (1995)
Marina Ribaudo
Stochastic Petri net semantics for stochastic process algebras. PNPM (1995)
Marina Ribaudo
On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras. Comput. J. 38 (7) (1995)
Susanna Donatelli, Marina Ribaudo, Jane Hillston
A comparison of performance evaluation process algebra and generalized stochastic Petri nets. PNPM (1995)
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) (1994)
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo
Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. 36 (7) (1994)