Edoardo Bontà

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 1

Top Venues

CoRR

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Marco Bernardo, Edoardo Bontà, Alessandro Aldini
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. CoRR (2018)
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. J. Syst. Softw. 83 (8) (2010)
Edoardo Bontà, Marco Bernardo
PADL2Java: A Java code generator for process algebraic architectural descriptions. WICSA/ECSA (2009)
Marco Bernardo, Edoardo Bontà
Non-synchronous Communications in Process Algebraic Architectural Description Languages. ECSA (2008)
Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer
Synthesizing Concurrency Control Components from Process Algebraic Specifications. COORDINATION (2006)
Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi
Dynamic Power Management Strategies Within the IEEE 802.11 Standard. SFM (2005)
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. SFM (2005)
Marco Bernardo, Edoardo Bontà
Preserving Architectural Properties in Multithreaded Code Generation. COORDINATION (2005)
Marco Bernardo, Edoardo Bontà
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions. WICSA (2004)
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. DSN (2004)

Edoardo Bontà.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Edoardo Bontà