Edoardo Bontà

Edoardo Bontà

Università degli Studi di Urbino Carlo Bo - Urbino / Italy
Others
AD Scientific Index ID: 5944747
University of Urbino
person_outline Edoardo Bontà's MOST POPULAR ARTICLES
1-) Assessing the impact of dynamic power management on the functionality and the performance of battery-powered appliancesA Acquaviva, A Aldini, M Bernardo, A Bogliolo, E Bontà, E LattanziInternational Conference on Dependable Systems and Networks, 2004, 731-740, 2004212004
2-) A methodology based on formal methods for predicting the impact of dynamic power managementA Acquaviva, A Aldini, M Bernardo, A Bogliolo, E Bontà, E LattanziFormal Methods for Mobile Computing: 5th International School on Formal …, 2005182005
3-) Generating well-synchronized multithreaded programs from software architecture descriptionsM Bernardo, E BontàProceedings. Fourth Working IEEE/IFIP Conference on Software Architecture …, 2004182004
4-) Preserving architectural properties in multithreaded code generationM Bernardo, E BontàInternational Conference on Coordination Languages and Models, 188-203, 2005152005
5-) Synthesizing concurrency control components from process algebraic specificationsE Bontà, M Bernardo, J Magee, J KramerCoordination Models and Languages: 8th International Conference …, 2006122006