 | 2010 |
|---|
| 9 |       | Marco Bernardo,
Edoardo Bontà,
Alessandro Aldini:
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.
Journal of Systems and Software 83(8): 1404-1429 (2010) |
| 2009 |
|---|
| 8 | | Edoardo Bontà,
Marco Bernardo:
PADL2Java: A Java code generator for process algebraic architectural descriptions.
WICSA/ECSA 2009: 161-170 |
| 2008 |
|---|
| 7 | | Marco Bernardo,
Edoardo Bontà:
Non-synchronous Communications in Process Algebraic Architectural Description Languages.
ECSA 2008: 3-18 |
| 2006 |
|---|
| 6 | | Edoardo Bontà,
Marco Bernardo,
Jeff Magee,
Jeff Kramer:
Synthesizing Concurrency Control Components from Process Algebraic Specifications.
COORDINATION 2006: 28-43 |
| 2005 |
|---|
| 5 | | Marco Bernardo,
Edoardo Bontà:
Preserving Architectural Properties in Multithreaded Code Generation.
COORDINATION 2005: 188-203 |
| 4 | | 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: 155-189 |
| 3 | | Andrea Acquaviva,
Edoardo Bontà,
Emanuele Lattanzi:
Dynamic Power Management Strategies Within the IEEE 802.11 Standard.
SFM 2005: 190-214 |
| 2004 |
|---|
| 2 | | 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: 731- |
| 1 | | Marco Bernardo,
Edoardo Bontà:
Generating Well-Synchronized Multithreaded Programs from Software Architecture Descriptions.
WICSA 2004: 167-176 |
Data released under the ODC-BY 1.0 license — See also our legal information page