Edoardo Bontà

According to our database, Edoardo Bontà authored at least 11 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications.

Marco Bernardo, Edoardo Bontà, Alessandro Aldini

CoRR, 2018

2010

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.

Marco Bernardo, Edoardo Bontà, Alessandro Aldini

J. Syst. Softw., 2010

2009

PADL2Java: A Java code generator for process algebraic architectural descriptions.

Edoardo Bontà, Marco Bernardo

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

2008

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs.

Edoardo Bontà

PhD thesis, 2008

Non-synchronous Communications in Process Algebraic Architectural Description Languages.

Marco Bernardo, Edoardo Bontà

Proceedings of the Software Architecture, Second European Conference, 2008

2006

Synthesizing Concurrency Control Components from Process Algebraic Specifications.

Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Dynamic Power Management Strategies Within the IEEE 802.11 Standard.

Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi

Proceedings of the Formal Methods for Mobile Computing, 2005

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.

Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi

Proceedings of the Formal Methods for Mobile Computing, 2005

Preserving Architectural Properties in Multithreaded Code Generation.

Marco Bernardo, Edoardo Bontà

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions.

Marco Bernardo, Edoardo Bontà

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.

Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004