Marina Ribaudo

Orcid: 0000-0003-0697-2225

According to our database1, Marina Ribaudo authored at least 51 papers between 1994 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Evaluating the effectiveness of automatic image captioning for web accessibility.
Univers. Access Inf. Soc., November, 2023

Cyber Range and Cyber Defense Exercises: Gamification Meets University Students.
Proceedings of the 2nd International Workshop on Gamification in Software Development, 2023

Designing a Serious Game for Cybersecurity Education.
Proceedings of the Software Engineering for Games in Serious Contexts, 2023

2022
Automatic Challenge Generation for Hands-on Cybersecurity Training.
Proceedings of the IEEE European Symposium on Security and Privacy, 2022

2021
OT Cyber Security Frameworks Comparison Tool (CSFCTool).
Proceedings of the Italian Conference on Cybersecurity, 2021

Capture the Flag competitions for Higher Education.
Proceedings of the Italian Conference on Cybersecurity, 2021

2020
CyberChallenge.IT@Unige: Ethical Hacking for Young Talents.
Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 2020

A NERD DOGMA: Introducing CTF to Non-expert Audience.
Proceedings of the SIGITE '20: The 21st Annual Conference on Information Technology Education, 2020

2019
Semi-automatic generation of cybersecurity exercises: a preliminary proposal.
Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms, 2019

TickEth, a ticketing system built on ethereum.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Civic participation powered by ethereum: a proposal.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Improving the Performance of Road Network Analysis: The Morandi Bridge Case Study.
Proceedings of the 5th International Conference on Geographical Information Systems Theory, 2019

Comparing Testing and Runtime Verification of IoT Systems: A Preliminary Evaluation based on a Case Study.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

ZenHackAdemy: Ethical Hacking @ DIBRIS.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018
An acceptance testing approach for Internet of Things systems.
IET Softw., 2018

Physical Web for Smart Campus Management.
Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018

: DRHOP, A Platform Proposal for Online Charity.
Proceedings of the 14th International Conference on Web Information Systems and Technologies, 2018

Towards a Runtime Verification Approach for Internet of Things Systems.
Proceedings of the Current Trends in Web Engineering, 2018

2017
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things.
Proceedings of the Proceedings First Workshop on Architectures, 2017

An Abstract Machine for Asynchronous Programs with Closures and Priority Queues.
Proceedings of the Reachability Problems - 11th International Workshop, 2017

Towards an Acceptance Testing Approach for Internet of Things Systems.
Proceedings of the Current Trends in Web Engineering, 2017

2012
User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study.
IxD&A, 2012

An exploratory survey on SOA knowledge, adoption and trend in the Italian industry.
Proceedings of the 14th IEEE International Symposium on Web Systems Evolution, 2012

Open Data for the Masses - Unleashing Personal Data into the Wild.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

SOA adoption in the Italian industry.
Proceedings of the 34th International Conference on Software Engineering, 2012

2011
Collaborative Environments: Accessibility and Usability for Users with Special Needs.
Proceedings of the Community-Built Databases - Research and Development., 2011

2010
Accessibility and Usability of a Collaborative e-Learning Application.
Proceedings of the CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010, 2010

2009
A Collaborative Environment for the Design of Accessible Educational Objects.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Great Is the Enemy of Good: Is Perfecting Specific Courses Harmful to Global Curricula Performances?
Proceedings of the Learning in the Synergy of Multiple Disciplines, 2009

AulaWeb, Web-based Learning as a Commodity - The Experience of the University of Genova.
Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2008
Neighbor-of-neighbor routing over deterministically modulated Chord-like DHTs.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

2004
Software performance modelling using PEPA nets.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

Modelling Mobility with PEPA Nets.
Proceedings of the Computer and Information Sciences, 2004

2003
PEPA nets: a structured performance modelling formalism.
Perform. Evaluation, 2003

2002
Integrating TwoTowers and GreatSPN through a compact net semantics.
Perform. Evaluation, 2002

Process algebras for systems diagnosis.
Artif. Intell., 2002

PEPA Nets: A Structured Performance Modelling Formalism.
Proceedings of the Computer Performance Evaluation, 2002

2001
An Efficient Algorithm for Aggregating PEPA Models.
IEEE Trans. Software Eng., 2001

A Comparison of the Expressiveness of SPA and Bounded SPN Models.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

2000
Integrating Two Towers and GreatSPN.
Proceedings of the ICALP Workshops 2000, 2000

Compact Net Semantics for Process Algebras.
Proceedings of the Formal Techniques for Distributed System Development, 2000

Diagnosis and Diagnosability Analysis Using PEPA.
Proceedings of the ECAI 2000, 2000

Exploiting Modal Logic to Express Performance Measures.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1998
Exploiting Symmetries in Stochastic Process Algebras.
Proceedings of the 12<sup>th</sup> European Simulation Multiconference - Simulation, 1998

1996
Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras.
Proceedings of the Lectures on Petri Nets II: Applications, 1996

1995
GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.
Perform. Evaluation, 1995

On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras.
Comput. J., 1995

Stochastic Petri net semantics for stochastic process algebras.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

A comparison of performance evaluation process algebra and generalized stochastic Petri nets.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995

1994
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation, 1994

Use of GSPNs for concurrent software validation in EPOCA.
Inf. Softw. Technol., 1994


  Loading...