Software Engineering and Dependable Computing Laboratory (SEDC)

home | people | topics | projects | publications | software | news


Publications

2002  2003  2004  2005  2006  2007  2008  2009  2010  2011  2012  2013  2014  2015  2016  2017 

 
PUMA, and MetaPub allow for more selective retrieval from the collections of the CNR Institutes; in particular from the CSCE, CNUCE, IEI, and ISTI collections.

 

A - Dependable Computing Laboratory (DC) [Past Unit]


Journal articles

   2009
1Chiaradonna S., Di Giandomenico F., Lollini P. Assessing the impact of interdependencies in electric power systems. In: International Journal System of Systems Engineering, vol. 1 (3) pp. 367 - 386. INDERSCIENCE Publisher, 2009.        
2Lollini P., Bondavalli A., Di Giandomenico F. A decomposition-based modeling framework for complex systems. In: Ieee Transactions on Reliability, vol. 58 (1) pp. 20 - 33. IEEE, 2009.        

Contribution to Book/Monograph

   2009
1Chiaradonna S., Di Giandomenico F., Lollini P. Interdependency analysis in electric power systems. In: Critical Information Infrastructures Security. pp. 60 - 71. Roberto Setola, Stefan Geretshuber (eds.). (Lecture Notes in Computer Science, vol. 5508). Berlin/Heidelberg: Springer Verlag, 2009.        

Proceedings

   2009
1Beccuti M., Franceschinis G., Donatelli S., Chiaradonna S., Di Giandomenico F., Lollini P., Dondossola G., Garrone F. Quantification of dependencies in electrical and information infrastructures: the CRUTIAL approach. In: Fourth International CRIS Conference on Critical Infrastructures (Linkoping, Sweden, 28-30 April 2009). Proceedings, pp. 1 - 8. IEEE, 2009.  
2Bernardeschi C., Masci P. M., Pfeifer H. Analysis of wireless sensor network protocols in dynamic scenarios. In: SSS09 - Stabilization, Safety, and Security of Distributed Systems. 11th International Symposium (Lyon, France, 3-6 November 2009). Proceedings, pp. 105 - 119. (Lecture Notes in Computer Science, vol. 5873). Springer, 2009.           

Technical reports

   2009
1Chiaradonna S., Di Giandomenico F., Lollini P., Et al .. CRUTIAL - Model-based evaluation of the middleware services and protocols & architectural patterns. Critical Utility InfrastructurAL Resilience. Deliverable D.19, 2009.  
2Chiaradonna S., Di Giandomenico F., Lollini P., Et al .. CRUTIAL - The CRUTIAL modelling framework (Final Version). Critical Utility InfrastructurAL Resilience. Deliverable D.16, 2009.  
3Di Giandomenico F., Et al .. CRUTIAL - Dissemination and exploitation. Critical Utility InfrastructurAL Resilience. Deliverable D.21, 2009.  
4Grandoni F., Bondavalli A., Daidone A., et al. .. CRUTIAL - Architecture, services and protocols for CRUTIAL. CRUTIAL - Critical Utility InfrastructurAL Resilience. Deliverable D.18, 2009.  
5Masci P. M., Chiaradonna S., Di Giandomenico F. Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities. Technical report, 2009.  

 

B - Software Engineering Laboratory (SE) [Past Unit]


Contribution to Book/Monograph

   2009
1Bertolino A., De Angelis G., Polini A., Frantzen L. The PLASTIC framework and tools for testing service-oriented applications. In: Software Engineering. pp. 106 - 139. Andrea Lucia, Filomena Ferrucci (eds.). (Lecture Notes in Computer Science, vol. 5413). Heidelberg: Springer-Verlag, 2009.        

Proceedings

   2009
1Bartolini C., Bertolino A., Marchetti E., Polini A. WS-TAXI: a WSDL-based testing tool for Web Services. In: ICST 2009 - International Conference on Software Testing, Verification and Validation 2009 (Denver, Colorado, 1-4 April 2009). Proceedings, pp. 326 - 335. IEEE, 2009.        
2Bartolini C., Bertolino A., Elbaum S., Marchetti E. Whitening SOA testing. In: ESEC/FSE 2009 - 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (Amsterdam, 24-28 August 2009). Proceedings, pp. 161 - 170. ACM, 2009.     
3Bertolino A. Approaches to testing service-oriented software systems. In: QUASOSS'09 - 1st International Workshop on Quality of Service-Oriented Software Systems (Amsterdam, 25 August 2009). Proceedings, pp. 1 - 2. ACM, 2009.        
4Bertolino A., Inverardi P., Pelliccione P., Tivoli M. Automatic synthesis of behavior protocols for composable Web-services. In: ESEC/FSE 2009 - 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium (Amsterdam, 24-28 August 2009). Proceedings, pp. 141 - 150. ACM, 2009.        
5Bertolino A., De Angelis G., Polini A. On-line validation of service oriented systems in the european project TAS3. In: PESOS'09 - 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems (Vancouver , Canada, 18-19 May 2009). Proceedings, pp. 107 - 110. IEEE, 2009.        
6Bertolino A., Polini A. SOA test governance: enabling service integration testing across organization and technology borders. In: ICSTW'09 - International Conference on Software Testing, Verification and Validation Workshops, 2009. (Denver, Colorado, 1-4 April 2009). Proceedings, pp. 277 - 286. IEEE, 2009.        
7Bonuccelli M. A., Giunta G., Lonetti F., Martelli F. Dynamic frame rate adjustment for real-time video in vehicular networks. In: IWSSIP - 16th International Conference on Systems, Signals and Image Processing (Chalkida, Greece, 18-20 June 2009). Proceedings, IEEE, 2009.     
8Bonuccelli M., Lonetti F., Martelli F. Exploiting signal strength detection and collision cancellation for tag identification in RFID systems. In: ISCC 2009 - IEEE Symposium on Computers and Communications (Sousse, Tunisia, 5-8 July 2009). Proceedings, pp. 499 - 505. IEEE, 2009.        
9Issarny V., Steffen B., Jonsson B., Blair G., Grace P., Kwiatkowska M., Calinescu R., Inverardi P., Tivoli M., Bertolino A., Sabetta A. CONNECT challenges: towards emergent connectors for eternal networked systems. In: ICECCS 2009 - 14th IEEE International Conference on Engineering of Complex Computer Systems (Potsdam, 2-4 June 2009). Proceedings, pp. 154 - 161. IEEE, 2009.        
10Pascale M., Roselli M., Rugani U., Bartolini C., Bertolino A., Lonetti F., Marchetti E., Polini A. Automated testing of healthcare document transformations in the PICASSO interoperability platform. In: ICSE-Companion 2009 - 31st International Conference on Software Engineering - Companion Volume (Vancouver, Canada, 16-24 May 2009). Proceedings, pp. 163 - 171. IEEE, 2009.        

Technical reports

   2009
1Mulas D. FP7 - Corso introduttivo sui principali aspetti amministrativi. Il corso รจ stato tenuto il giorno 17 Settembre 2009 in aula I6 dell'ISTI, Document n. /cnr.isti/2009-B5-003, 2009.