DIBRIS - Pagine Personali

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. ID&A Interaction Design & Architecture (s), N. 13-14, Summer-Autumn 2012, ISSN: 1826-9745
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

U. Mambetakunov and M. Ribaudo. Training educators: plan for replicating the experience. e-Learning 2013, IADIS International Conference, Prague, 2013.
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: T. Podestà, M. Ribaudo, L. Sassarin, G. Vercelli. Alfabetizzazione Informatica per le Professioni Sanitarie: una esperienza di riuso. Atti EMEMITALIA 2015.
In Italian: M. Ribaudo. Migrazione a Moodle 2. Formazione per gli utenti. Atti del MoodleMoot Italia 2012.
In Italian: M. Canonico, G. Franceschinis, M. Ribaudo, L. Gavioli, T. Minerva. Una collaborazione inter-ateneo per un corso di Informatica di Base On Line. Atti del MoodleMoot Italia 2011
In Italian: M. Ribaudo, M. Rui, A. Squarcia. Aulaweb, un servizio cresciuto nel tempo. Atti del MoodleMoot Italia 2010.
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.

Open Data, network applications and services

M. Ribaudo, C. Torrigiani, F. De Cindio, M. Palumbo. The University in the Polis: An Emerging Role of Democratic Intermediary in e-Participation? In Empowering Organizations Enabling Platforms and Artefacts, In Lecture Notes in Information Systems and Organization - ISSN:2195-4968 vol. 11
G. Ciaccio, A. Pastorino and M. Ribaudo. Envisioning smart disclosure in the public administration. Mondo Digitale - Associazione Italiana per l'Informatica ed il Calcolo Automatico, Vol. 13(49), 2014. ISSN: 1720-898X
G. Ciaccio, A. Pastorino and M. Ribaudo. Open Data and Personal Information: A Smart Disclosure Approach Based on OAuth 2.0. In proc. 13th European Conference on e-Government (ECEG 2013). Como, Italy, June 13-14, 2013, pages 135-143. Academic Conferences and Publishing International Ltd, Reading, UK
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.