DIBRIS

Publication

Accessibility

• S. Valtolina, B. R. Barricelli, M. Mesiti, and M. Ribaudo. User-Centered Design of E-Learning Tools for Users with Special Needs: The VisualPedia Case Study. HCI@Large - Educate to the new frontiers of the Human-Machine Interaction, Alghero, 2011.
• B. R. Barricelli, P. Boccacci, S. Dini, M. Mesiti, M. Ribaudo, and S. Valtolina. Collaborative Environments: Accessibility and Usability for Users with Special Needs. In: Community-built databases. ISBN 9783642190469. Springer, 2011.
• A. Bozza, S. Dini, M. Mesiti, M. Ribaudo, and S. Valtolina. Accessibility and usability of a collaborative e-learning application. In CSEDU 2010, 2010.
• P. Boccacci, M. Mesiti, and M. Ribaudo. A collaborative environment for the design of accessible educational objects. In Web Intelligence and Intelligent Agent Technology, IEEE/WIC/ACM International Conference on, volume 3, pages 207-210. IEEE Computer Society, 2009.
• In Italian: S. Dini, M. Mesiti e M. Ribaudo. VisualPedia: Wiki per la didattica a supporto di studenti con diverse forme di disabilità. In TD TECNOLOGIE DIDATTICHE (ISSN 1970-061X), edizioni Menabò, 2011.

E-learning

• M. Cerioli, M. Ribaudo, and M. Rui. LMS Adoption at the University of Genova: Ten Years After. In A. Azevedo R. Babo, editor, Higher Education Institutions and Learning Management Systems: Adoption and Standardization. IGI Global, 2011.
• M. Cerioli and M. Ribaudo.Great is the enemy of good: Is perfecting specific courses harmful to global curricula performances? In Learning in the Synergy of Multiple Disciplines, volume 5794 of LNCS, pages 651-656, 2009.
• M. Ribaudo and M. Rui. AulaWeb, web-based learning as a commodity - the experience of the University of Genova. In CSEDU 2009, pages 41-46, 2009.
• G. Meraviglia, M. Ribaudo, and M. Rui. Virtual mobility or distance learning? a unique case study from the faculty of economics (poster). In Proc. of EDEN Annual Conference, 2008.
• In Italian: M. Ferrante e M. Ribaudo. Problematiche per la gestione di un servizio basato su Moodle in un contesto universitario di medie dimensioni . In E-learning, gestione e condivisione della conoscenza (atti del Moodlemoot Italia 2007), edizioni Artestampa, 2007.

Network applications and services

• M. Leotta, F. Ricca, M. Ribaudo, G. Reggio, E. Astesiano, T. Vernazza. An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. 14th IEEE International Symposium on Web Systems Evolution, WSE 2012, Trento, Italy.
• M. Leotta, F. Ricca, M. Ribaudo, G. Reggio, E. Astesiano, T. Vernazza. SOA adoption in the Italian industry. 34th International Conference on Software Engineering, 2012, Zurich, Switzerland. IEEE 201 2012: 1441-1442
• G. Ciaccio and M. Ribaudo. Open Data for the Masses: Unleashing Personal Data into the Wild. 8th Int. Conf. on Web Information Systems and Technologies (WEBIST 2012), Porto, Apr. 2012.
• G. Ciaccio, A. Pastorino, C. Ragnini, and M. Ribaudo. Publish-subscribe over social networks. In Int. Conf. on Next Generation Networks and Services (NGNS 2010), Marrakech, Morocco, Jul 2010.
• G. Ciaccio, A. Pastorino, C. Ragnini, and M. Ribaudo. Social networks as a support for event notification services. In Proceedings of WWW/INTERNET 2009. IADIS International Conference, 2009.
• G. Chiola and M. Ribaudo. Neighbor-of-neighbor routing over deterministically modulated chord-like DHTs In IPDPS, pages 1-8, 2008.

Formal methods, stochastic process algebras, stochastic Petri nets, diagnosis and performance modelling

• J. Hillston and M. Ribaudo, Modelling mobility using PEPA nets, 19th International Symposium on Computer and Information Sciences, Kemer, Turkey, October 2004.
• S. Gilmore, J. Hillston, L. Kloul and M. Ribaudo. Software performance modelling using PEPA nets, Workshop on Software and Performance (WOSP 2004), Redwood City, California, USA, January 2004.
• S. Gilmore, J. Hillston, L. Kloul and M. Ribaudo. PEPA nets: A structured performance modelling formalism, extended version of [6], Performance Evaluation, vol. 54(2), pages 79-104, October 2003.
• M. Bernardo, N. Busi, M. Ribaudo, Integrating TwoTowers and GreatSPN through a Compact Net Semantics. In Performance Evaluation, vol. 50, pages 153-187, November 2002.
• L. Console, C. Picardi, M. Ribaudo, Process algebras for systems diagnosis. In Artificial Intelligence, vol. 142, pages 19-51, November 2002.
• S. Gilmore, J. Hillston, and M. Ribaudo. PEPA nets: A structured performance modelling formalism. In Proc. of the 12th International Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation, LNCS 2324, pages 111-130, London, UK, April 2002.
• J. Hillston, L. Recalde, M. Ribaudo, and M. Silva. A Comparison of the Expressiveness of SPA and Bounded SPN models. In Proc. of 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany. September 2001.
• S. Gilmore, J. Hillston, and M. Ribaudo. An Efficient Algorithm for Aggregating PEPA Models. IEEE Transactions of Software Engineering, (27), May 2001.
• M. Bernardo, N. Busi, and M. Ribaudo. Compact Net Semantics for Process Algebras. In IFIP Joint Int. Conf. on Formal Description Techniques and Protocol Specification, Testing, and Verification, Pisa, October 2000.
• L. Console, C. Picardi, and M. Ribaudo. Diagnosis and Diagnosability Analysis using PEPA. In Proc. of 14th European Conference on Artificial Intelligence, Berlin, August 2000. A longer version in the Proc. of 11th Int. Workshop on Principles of Diagnosis (DX00), Morelia, Mexico, June 2000.
• M. Bernardo, N. Busi, and M. Ribaudo. Integrating TwoTowers and GreatSPN. In Proc. of 8th Process Algebras and Performance Modelling Workshop, Ginevra, July 2000.
• G. Clark, S. Gilmore, J. Hillston, and M. Ribaudo. Exploiting Modal Logic to Express Performance Measures. In Proc. of 11th Int. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Illinois, USA, March 2000.
• G. Franceschinis and M. Ribaudo. Efficient Performance Analysis Techniques for Stochastic Well-formed nets and Stochastic Process Algebras. In W. Reisig and G. Rozenberg, editors, Lectures on Petri Nets II - Applications; (Advances in Petri Nets), volume 1492 of LNCS, pages 386-437. Springer Verlag, 1998.
• G. Franceschinis and M. Ribaudo. Symmetric and behavioural aggregation in a simple protocol example. In Proc. of 6th Process Algebras and Performance Modelling Workshop, pages 119-136, Nice, September 1998.
• H. Hermanns and M. Ribaudo. Exploiting Symmetries in Stochastic Process Algebras. In Proc. of 12th European Simulation Multiconference (Manchester, UK), pages 763-770. SCS Europe, 1998.
• J. Hillston and M. Ribaudo. Stochastic Process Algebras. In G. Balbo and M. Silva, editors, Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques, pages 135-181. KRONOS, 1998.
• J. Hillston and M. Ribaudo. Stochastic Process Algebras: a New Approach to Performance Modeling. In Advanced Computer Performance Modeling and Simulation, pages 235-256. Gordon and Breach Science Publishers, 1998.
• G. Balbo, H. Hermanns, U. Herzog, V. Mertsiotakis, and M. Ribaudo. Stochastic Process Algebras - Foundation and Relation with SPN. In Tutorials of PNPM '97/Modelling Techniques and Tools '97, Saint-Malo, June 1997.
• M. Ribaudo, editor. Proc. of 4th Process Algebras and Performance Mod- elling Workshop. CLUT, Torino, July 1996.
• S. Donatelli, H. Hermanns, J. Hillston, and M. Ribaudo. GSPN and SPA Compared in Practice - Modelling A Distributed Mail System. In Quantitative Methods in Parallel Systems, Esprit Basic Research Series, pages 38-51. Springer Verlag, October 1995.
• S. Donatelli, J. Hillston, and M. Ribaudo. A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets. In Proc. 6th Intern. Workshop on Petri Nets and Performance Models, pages 158-168, Durham, NC, USA, October 1995.
• M. Ribaudo. Stochastic Petri Nets Semantics for Stochastic Process Algebras. In Proc. 6th Intern. Workshop on Petri Nets and Performance Models, pages 148-157, Durham, NC, USA, October 1995.
• M. Ribaudo. On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras. The Computer Journal, 38(7):600-611, 1995. Special Issue: Proc. of 3rd Process Algebra and Performance Modelling Workshop.
• S. Donatelli, H. Hermanns, U. Herzog, J. Hillston, V. Mertsiotakis, M. Rettelbach, and M. Ribaudo. Petri Nets and/or Process Algebras for Integrated Performance Modelling? In Tutorials of SIGMETRICS/PERFORMANCE 1995, Ottawa, Canada, May 1995.
• M. Ribaudo. On the relationship between Stochastic Petri Nets and Stochastic Process Algebras. PhD thesis, Dipartimento di Informatica, Università: di Torino, April 1995.
• G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, 24:47-68, 1995. Special Issues on Performance Modelling Tools.
• G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo. On the Computation of Performance Characteristics of Concurrent Programs using GSPNs. Performance Evaluation, 19:195-222, 1994.
• M. Ribaudo. Understanding Stochastic Process Algebras via their Stochastic Petri Nets Semantics. In U. Herzog and M. Rettelbach, editors, Proc. 2nd Workshop on Process Algebra and Performance Modelling, pages 31-50, Erlangen, 1994.
• S. Donatelli, G. Franceschinis, M. Ribaudo, and S. Russo. Use of GSPNs for Concurrent Software Validation in EPOCA. Information and Software Technology, 36(7):443-448, 1994.
• G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo. DISC-GreatSPN: an integrated system for distributed software development and validation. In Proc. of AICA 93, Parallel and distributed architectures and algorithms, pages 115-129, Lecce, September 1993.
• S. Donatelli, G. Franceschinis, M. Ribaudo, and S. Russo. Petri Net based Concurrent Software Validation in the DISC-GreatSPN Envinronment. In Proc. Workshoa on Software Engineering for Parallel Systems, Aachen Germany, September 1993.
• G. Chiola, R. Gaeta, and M. Ribaudo. Designing an efficient tool for Stochastic Well-Formed Coloured Petri Nets. In R. Pooley and J. Hillston, editors, Computer Performance Evaluation: Techniques and Tools, pages 308-311, Edinburgh, UK, September 1992. Edinburgh University Press.