Publications

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.

Journal Papers

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.


Conference Papers

E. Bontà, G. Torrisi, and M. Bernardo, "ChaRLeS: An Open-Source Chat Room Learning System", to appear in Proc. of the 2nd Italian Conf. on E-learning, Media education & MoodleMoot (EMEMITALIA 2016), McGraw-Hill, Modena (Italy), September 2016.
[SLIDES]

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]


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]