Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. - Andrea Acquaviva; Alessandro Aldini; Marco Bernardo 001; Alessandro Bogliolo; Edoardo Bontà; Emanuele Lattanzi (DSN, 2004)

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. - Marco Bernardo 001; Edoardo Bontà (WICSA, 2004)

Preserving Architectural Properties in Multithreaded Code Generation. - Marco Bernardo 001; Edoardo Bontà (COORDINATION, 2005)

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. - Andrea Acquaviva; Alessandro Aldini; Marco Bernardo 001; Alessandro Bogliolo; Edoardo Bontà; Emanuele Lattanzi (SFM, 2005)

Dynamic Power Management Strategies Within the IEEE 802.11 Standard. - Andrea Acquaviva; Edoardo Bontà; Emanuele Lattanzi (SFM, 2005)

Synthesizing Concurrency Control Components from Process Algebraic Specifications. - Edoardo Bontà; Marco Bernardo 001; Jeff Magee; Jeff Kramer (COORDINATION, 2006)

Non-synchronous Communications in Process Algebraic Architectural Description Languages. - Marco Bernardo 001; Edoardo Bontà (ECSA, 2008)

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs. - Edoardo Bontà (2008)

PADL2Java: A Java code generator for process algebraic architectural descriptions. - Edoardo Bontà; Marco Bernardo 001 (WICSA/ECSA, 2009)

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. - Marco Bernardo 001; Edoardo Bontà; Alessandro Aldini (J. Syst. Softw., 2010)

Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. - Marco Bernardo 001; Edoardo Bontà; Alessandro Aldini (CoRR, 2018)