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

   2003
1Porcarelli S., Di Giandomenico F., Bondavalli A., Barbera M., Mura I. Service level availability estimation of GPRS. In: IEEE Transactions on Mobile Computing, vol. 2 (3) pp. 233 - 247. IEEE, 2003.  

Contribution to Book/Monograph

   2003
1Bondavalli A., Majzik I., Pataricza A. Stochastic dependability analysis of system architecture based on UML designs. In: Architecting Dependable Systems. pp. 219 - 244. R. de Lemos, C. Gacek and A. Romanovsky (eds.). (Lecture Notes in Computer Science, vol. 2677). Germany: Springer-Verlag, 2003.  

Proceedings

   2003
1Bondavalli A., Chiaradonna S., Cotroneo D., Romano L. A Fault-tolerant distributed legacy-based system and its evaluation. In: LADC 2003, Dependable Computing, First Latin-American Symposium (Sao Paulo, Brazil, 2-21 October 2003). Proceedings, pp. 303 - 320. Rogério de Lemos, Taisy Silva Weber, João Batista Camargo Jr (eds.). (Lecture Notes in Computer Science, vol. 2847). Springer, 2003.     
2Di Giandomenico F., Porcarelli S., Lollini P., Bondavalli A. Dependability issues in radio resource management of wireless systems. In: The International Symposium on Wireless Personal Multimedia (Yokosuka, Japan, 19-22 October 2003). Proceedings, vol. 2 pp. 146 - 150. WPMC Steering Board; ISSN:1347-6890, 2003.  

Technical reports

   2003
1Bondavalli A., Di Giandomenico F., Grandoni F., Lollini P., Porcarelli S., Mura I. CAUTION IST-2001-38229: Report of model-based validation activities. CAUTION IST-2001-38229 research project. Deliverable D-3.6, 2003.  
2Ciompi P. Note on an extremal problem arising from the diagnosis of regularly interconnected systems diagnosis of regularly interconnected systems. The document will be submitted to Journal: Theoretical Computer Science, Technical report, 2003.  
3Kyriazakos S. A., Karetsos G. T., Di Giandomenico F., Casadevall F., Jubera M., Mura I., Tselikas N., Vlahodimitropoulos K. Managing Resources in Heterogeneous Wireless Networking Environments. The document has been submitted to Journal IEEE Wireless Communications Magazine - Special Issue on Mobility and Resource Management, Technical report, 2003.  
4Lollini P., Bondavalli A., Di Giandomenico F., Porcarelli S. Model-based congestion analysis during outage and system reconfiguration in GPRS networks. The document has been submitted to Conference: IEEE International Symposium on Computers and Communications (ISCC 2004), Technical report, 2003.  
5Tulone D. How accurately and efficiently can processes get the reference time?. The document has been submitted to Conference DISC 2003, Technical report, 2003.  
6Tulone D. On the efficiency of ordering operations with arbitrary failures. The document has been submitted to Conference SRDS 2003, Technical report, 2003.  

Abstracts

   2003
1Bondavalli A., Di Giandomenico F., Grandoni F., Lollini P., Porcarelli S. Dependability provisions for a network management platform. In: International Conference on Dependable Systems and Networks (San Francisco, US, 22-25 June 2003).   
2Porcarelli S., Castaldi M., Di Giandomenico F., Bondavalli A., Inverardi P. An approach to manage reconfiguration in fault-tolerant distributed systems. In: Workshop on Software Architectures for Dependable Systems (Portland, Oregon, May 3-11, 2003).   

 

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


Journal articles

   2003
1Arrighi R., Bonuccelli M., Lonetti F., Martelli F. Integrating GSM networks and Internet: new unstructured services. In: Ercim News, vol. 54 pp. 27 - 28. Special theme: Applications and service platforms for the mobile user. Ercim, 2003.     
2Basanieri F., Bertolino A., Marchetti E., Mirandola R. UML-based Performance Analysis Techniques Applied to Software Multiprojects Management. In: International Journal of Computer & Information Sciences, vol. 4 (1) pp. 1 - 13. The International Association for Computer & Information Science, 2003.     
3Bertolino A., Marchetti E., Polini A. Integration of components to test software components. In: Electronic Notes in Theoretical Computer, vol. 82 (6) pp. 44 - 54. Elsevier, 2003.     
4Marrè M., Bertolino A. Using Spanning Sets for Coverage Testing. In: Ieee Transactions on Software Engineering, vol. 29 (11) pp. 974 - 984. IEEE, 2003.     

Proceedings

   2003
1Basanieri F., Iani P., Lombardi G., Marchetti E. An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation. In: 4th ACIS International Conference on Software Engineering SNPD 2003 (Lubeck, Germany, 16-18 October 2003). Proceedings, pp. 218 - 225. 2003.     
2Bertolino A., Polini A. A Framework for Component Deployment Testing. In: 25th International Conference on Software Engineering ICSE 2003 (Portland, Oregon, Usa, 3-10 May 2003). Proceedings, pp. 221 - 231. ACM - IEEE Computer Society Technical Council on Software, 2003.     
3Bertolino A., Inverardi P., Muccini H. Formal Methods in Testing Software Architectures. In: Chapter in Formal Methods for Software Architectures: Third (Bertinoro, Italy, 22-27 September 2003). Proceedings, pp. 122 - 147. Marco Bernardo, Paola Inverardi (eds.). (Lecture Notes in Computer Science, vol. 2804). Springer, 2003.     
4Bertolino A., Mirandola R. Modeling and Analysis of non-functional properties in component-based systems. In: International Workshop on Test and Analysis of Component Based Systems TACOS 2003 (Warsaw, Poland, 5-13 April 2003). Proceedings, pp. 173 - 183. Maur Pezze (ed.). Elsevier Science BV (Electronic Notes in Theoretical Computer, 2003.     
5Bertolino A. Sotware Testing Research and Practice. In: International Workshop on Abstract State Machines ASM 2003 (Taormina, Italy, 3-7 March 2003). Proceedings, pp. 1 - 21. Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.). (Lecture Notes in Computer Science, vol. 2589). Springer Verlag, 2003.     
6Bertolino A., Mirandola R. Towards Component Based Software Performance Engineering. In: 6th Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, of 25th International Conference on Software Engineering ICSE 2003 (Portland, Oregon, USA, 3-4 May 2003). Proceedings, pp. 1 - 6. Ivica Crnkovic, Heinz Schmidt, Judith Stafford, Kurt Wallnau (eds.). 2003.     
7Bertolino A., Gnesi S. Use Case-based Testing of Product Lines. In: 9th European Software Engineering Conference and 11th SIGSOFT (Helsinki, Finland, 1-5 September 2003). Proceedings, pp. 355 - 358. Paola Inverardi (ed.). ACM Press, 2003.     
8Marchetti E., Martelli F., Polini A. Refactoring a Legacy System Using Components. In: 4th Acis International Conference on Software Engineering SNPD 2003 (Lubeck, Germany, 16-18 October 2003). Proceedings, pp. 24 - 31. 2003.     

Technical reports

   2003
1Arrighi R., Bonuccelli M., Lonetti F., Martelli F. Integrating GSM Networks and Internet: New Unstructured Services. The document has been submitted to Journal ERCIM News No. 54, July 2003, Technical report, 2003.
2Bertolino A., Marchetti E., Mirandola R. Propean, a RT-UML based Approach to Help Manager's Decision-making. The document other, Technical report, 2003.  
3Marrè M., Bertolino A. Using Spanning Sets for Coverage Testing. Published in: IEEE Transaction on Software Engineering, vol.29 n. 11 Link The document has been submitted to Journal IEEE Transactions on Software Engineering, Technical report, 2003.
4Muccini H., Bertolino A., Inverardi P. Using Software Architecture for Code Testing. Published in: IEEE Transactions on Software Engineering, Vol 30 N.o 3, March 2004, p. 160-171 Link The document has been submitted to Journal IEEE Transactions on Software Engineering, Technical report, 2003.

Dissertations

   2003
1Marchetti E. Software testing in the XXI century: methods, tools and new approaches to manage, control and evaluate this critical phase. CNR-ISTI. Ph.D. Dissertation, 2003.  

Abstracts

   2003
1Bartolini C., Lipari G. An algorithm for process partitioning and deadline assignment of a dataflow application. In: CAES Workshop, Real-Time Systems Symposium RTSS 2003 (Cancun, Mexico, 2-5 December 2003).      
2Porcarelli S., Castaldi M., Di Giandomenico F., Bondavalli A., Inverardi P. An approach to manage reconfiguration in fault-tolerant distributed systems. In: Workshop on Software Architectures for Dependable Systems (Portland, Oregon, May 3-11, 2003).