Publications

Edoardo Bontà

Copyright Notice: The material below is presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the material below may not be reposted without explicit permission of the copyright holder.



Conference Papers

E. Bontà, "Un Sistema di Backup per Moodle su Server Linux", in Proc. of the 18th Italian Conf. MoodleMoot Italia 2022, G. Fiorentino, P. Gallo, S. Rabellino editors, pp. 57-66, Urbino (Italy), September 2022.
[SLIDES] [VIDEO]

E. Bontà and G. Cardamone, "Prevaluation: Un Plugin per Valutare Attività Esterne in Anticipo sul Primo Accesso a Moodle", in Proc. of the 17th Italian Conf. MoodleMoot Italia 2021, G. Fiorentino, P. Gallo, S. Rabellino editors, pp. 53-61, Torino (Italy), December 2021.
[SLIDES] [VIDEO]

M. Bernardo and E. Bontà, "Facing the COVID-19 Pandemic with Moodle, Collaborate, Smowl, Meet", in Proc. of the 2nd Int. Workshop on Higher Education Learning Methodologies and Technologies Online (HELMETO 2020), G. Casalino, R. Pecori editors, pp. 81-84, Bari (Italy), September 2020.

E. Bontà, G. Torrisi, and M. Bernardo, "ChaRLeS: An Open-Source Chat Room Learning System", in Proc. of the 2nd Italian Conf. on Education, Multimedia and Moodle (EMEMITALIA 2016), M. Rui editor, Genova University Press, pp. 1084-1093, Modena (Italy), September 2016.
[SLIDES] [VIDEO]

E. Bontà and M. Bernardo, "PADL2Java: A Java Code Generator for Process Algebraic Architectural Descriptions", in Proc. of the 1st Joint Working IEEE/IFIP Conf. on Software Architecture and European Conf. on Software Architecture (WICSA/ECSA 2009), R. Kazman, F. Oquendo, E. Poort, and J. Stafford editors, IEEE-CS Press, pp. 161-170, Cambridge (UK), September 2009.
[SLIDES]

M. Bernardo and E. Bontà, "Non-Synchronous Communications in Process Algebraic Architectural Description Languages", in Proc. of the 2nd European Conf. on Software Architecture (ECSA 2008), R. Morrison, D. Balasubramaniam, and K. E. Falkner editors, Lecture Notes in Computer Science 5292:3-18, Paphos (Cyprus), October 2008.

E. Bontà, M. Bernardo, J. Magee, and J. Kramer, "Synthesizing Concurrency Control Components from Process Algebraic Specifications", in Proc. of the 8th Int. Conf. on Coordination Models and Languages (COORDINATION 2006), P. Ciancarini and H. Wiklicky editors, Lecture Notes in Computer Science 4038:28-43, Bologna (Italy), June 2006.
[SLIDES]

M. Bernardo, A. Bogliolo, A. Acquaviva, A. Aldini, E. Bontà, and E. Lattanzi, "Predicting the Functional/Performance Impact of Dynamic Power Management", in Proc. of the 7th Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 7), pp. 10-13, Torino (Italy), September 2005.

M. Bernardo and E. Bontà, "Preserving Architectural Properties in Multithreaded Code Generation", in Proc. of the 7th Int. Conf. on Coordination Models and Languages (COORDINATION 2005), J.-M. Jacquet and G.P. Picco editors, Lecture Notes in Computer Science 3454:188-203, Namur (Belgium), April 2005.
[SLIDES]

A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, and E. Lattanzi, "Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances", in Proc. of the 5th IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN 2004), IEEE-CS Press, pp. 731-740, Firenze (Italy), June 2004.

M. Bernardo and E. Bontà, "Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions", in Proc. of the 4th Working IEEE/IFIP Conf. on Software Architecture (WICSA 2004), J. Magee, C. Szyperski, and J. Bosch editors, IEEE-CS Press, pp. 167-176, Oslo (Norway), June 2004.
[SLIDES]


Journal Papers

M. Bernardo and E. Bontà "Teaching and Learning Centers and Coordinated Technologies for an Effective Transition at COVID-19 Pandemic Time to Massive Distance Learning and Online Exams", in Journal of e-Learning and Knowledge Society 19:22-29, August 2023.

M. Bernardo, E. Bontà, and A. Aldini, "Handling Communications in Process Algebraic Architectural Description Languages: Modeling, Verification, and Implementation", in Journal of Systems and Software 83:1404-1429, August 2010.


Book Chapters

A. Acquaviva, A. Aldini, M. Bernardo, A. Bogliolo, E. Bontà, and E. Lattanzi, "A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management", in Formal Methods for Mobile Computing, M. Bernardo and A. Bogliolo editors, Lecture Notes in Computer Science 3465:155-189, April 2005.

A. Acquaviva, E. Bontà, and E. Lattanzi, "Dynamic Power Management Strategies Within the IEEE 802.11 Standard", in Formal Methods for Mobile Computing, M. Bernardo and A. Bogliolo editors, Lecture Notes in Computer Science 3465:190-214, April 2005.


Theses

E. Bontà, "Automatic Code Generation: From Process Algebraic Architectural Descriptions to Multithreaded Java Programs", Ph.D. Thesis, University of Bologna (Italy), March 2008. [syntax highlighted version]
[SLIDES]

E. Bontà, "Sviluppo di un Software per l'Inversione della Risposta Impulsiva di un Sistema Acustico", Laurea Thesis, University of Bologna (Italy), July 2001.
[SLIDES]