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

   2004
1Bondavalli A., Chiaradonna S., Di Giandomenico F., Mura I. Dependability modeling & evaluation of multiple-phased systems using DEEM. In: Ieee Transactions on Reliability, vol. 53 (4) pp. 509 - 522. IEEE Reliability Society, 2004.  
2Bondavalli A., Chiaradonna S., Cotroneo D., Romano L. Effective fault treatment for improving the dependability of COTS- and legacy-based applications. In: Ieee Transactions on Dependable and Secure Computing, vol. 1 (4) pp. 223 - 237. IEEE, 2004.  

Contribution to Book/Monograph

   2004
1Porcarelli S., Castaldi M., Di Giandomenico F., Bondavalli A., Inverardi P. A framework for reconfiguration-based fault-tolerance in distributed systems. In: Architecting Dependable Systems II. pp. 167 - 190. Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.). (Lecture Notes in Computer Science, vol. 3069). Germany: Springer-Verlag Heidelberg, 2004.  
2Simoncini L., Di Giandomenico F., Bondavalli A., Chiaradonna S. Architectural challenges for a dependable information society. In: Building the Information Society. pp. 283 - 304. Rene' Jacquart (ed.). USA: Kluwer Academic Publishers, 2004.  

Proceedings

   2004
1Coccoli A., Bondavalli A. Analysis of safety related architectures. In: IEEE International Workshop on Object-oriented Real-Time Dependable Systems (Capri, Italy, 1-3 October 2003). Proceedings, pp. 111 - 117. L. Bacellar, K. H. Kim, L. Romano, S. Russo (eds.). IEEE Computer Society, 2004.  
2Lollini P., Bondavalli A., Di Giandomenico F., Porcarelli S. Congestion analysis during outage, congestion treatment and outage recovery for simple GPRS networks. In: IEEE ISCC 2004 (Alexandria, Egypt, June 28-July 2004). Proceedings, vol. 2 pp. 772 - 778. IEEE Computer Society, 2004.  
3Porcarelli S., Di Giandomenico F., Bondavalli A., Lollini P. Model-based evaluation of a radio resource management system for wireless. In: ACM Computing Frontiers 2004 (Ischia, Italy, April 14-16). Proceedings, pp. 51 - 59. ACM, 2004.  

Technical reports

   2004
1Bondavalli A., Chiaradonna S., Cotroneo D., Romano L. Effective fault treatment for improving the dependability of cots- and legacy-based applications. The document has been submitted to Journal: IEEE Transactions on Dependable and Secure Computing, Technical report, 2004.  
2Di Giandomenico F., Lollini P., Bondavalli A., Grandoni F., Hourdakis M., Gkroustiotis E., Nikitopoulos D., Papaoulakis N., Elefsiniotis G., Kyriazakos S. A., Nousiainen S., Kordybach K., Mpartzos D., Mura I., Moreno O., Syrenius J. M., Dimopoulos E., Clarkson A., Umbert A. CAUTION++ - Implementation report. Capacity and network management platform for increased utilization of wireless telecommunication systems of next generation ++. Deliverable D-4.5, 2004.  
3Di Giandomenico F., Chiaradonna S., Clarkson A., Velentzas S., Kyriazakos S. A., Kechagias C., Hourdakis M., Elefsiniotis G., Kemppi P., Nousiainen S., Vlahodimitropoulos K., Chatzikonstantinou A., Kyriazidis F., Mura I., Moreno O., Pirinen J., Lollini P., Dimopoulos E., Casadevall F. CAUTION++ - Validation report verification & validation of the CAUTION++ system. Capacity and network management platform for increased utilization of wireless telecommunication systems of next generation ++. Deliverable D-4.6, 2004.  
4Lollini P., Di Giandomenico F., Bondavalli A. A modeling methodology for hierarchical control systems and its application. The document has been submitted to Journal: Journal of the Brazilian Computer Society, special issue on Dependable Computing, Technical report, 2004.  
5Lollini P., Di Giandomenico F., Bondavalli A., Porcarelli S. Congestion analysis in a multi-cell GPRS network. The document has been submitted to Conference: Mobile Venue 2004, Technical report, 2004.  

Abstracts

   2004
1Di Giandomenico F., Porcarelli S., Viva D., Bondavalli A., Lollini P. Model-based Evaluation for Dependability Assessment of CAUTION++ Instances. In: Mobile Venue 2004 (Athens, Greece, 27-28 May 2004).   
2Lollini P., Di Giandomenico F., Bondavalli A., Porcarelli S. Congestion analysis in a general GPRS network. In: Mobile Venue 2004 (Athens, Greece, 27-28 May 2004).   

 

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


Journal articles

   2004
1Basanieri F., Bertolino A., Lombardi G., Nucera G., Marchetti E., Ribolini A. Cow_Suite: a UML-based tool for test-suite planning and derivation. In: Ercim News, vol. 58 pp. 30 - 32. ERCIM, 2004.     
2Bertolino A., Marchetti E., Mirandola R. Decision support for personnel and resources management in multi-project environments. In: Ercim News, vol. 56 pp. 24 - 25. ERCIM, 2004.     
3Bonuccelli M., Martelli F., Pelagatti S. Optimal packet scheduling in tree-structured LEO satellite clusters. In: Mobile Networks & Applications, vol. 9 (4) pp. 289 - 295. Kluwer Academic Publishers, 2004.  
4Muccini H., Bertolino A., Inverardi P. Using Software Architecture for Code Testing. In: Ieee Transactions on Software Engineering, vol. 30 (3) pp. 160 - 171. IEEE Computer Society, 2004.     

Contribution to Book/Monograph

   2004
1Denaro G., Polini A., Emmerich W. Performance testing of distributed component architecture. In: Testing Commercial-off-the-Shelf Components and Systems. pp. 293 - 314. Sami Beydeda, Volker Gruhn. Berlin: Springer, 2004.  
2Polini A., Bertolino A. A User-oriented Framework for Component Deployment Testing. In: Testing Commercial-off-the-shelf Components and Systems. pp. 169 - 194. Sami Beyeda, Volker Gruhn (Eds.). Germany: Springer, 2004.     
3Porcarelli S., Castaldi M., Di Giandomenico F., Bondavalli A., Inverardi P. A framework for reconfiguration-based fault-tolerance in distributed systems. In: Architecting Dependable Systems II. pp. 167 - 190. Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.). (Lecture Notes in Computer Science, vol. 3069). Germany: Springer-Verlag Heidelberg, 2004.  

Proceedings

   2004
1Bertolino A., Mirandola R. CB-SPE Tool: putting component-based performance engineering into practice. In: Component-Based Software Engineering: 7th International Symposium, CBSE 2004 (Edimburgh, May 24-25 2004). Proceedings, vol. 3054 pp. 233 - 248. (Lecture Notes in Computer Science, vol. 3054). Springer-Verlag, 2004.     
2Bertolino A., Gnesi S. PLUTO: A Test Methodology for Product Families. In: Software Product-Family Engineering: 5th International Workshop, PFE 2003 (Siena, Italy, November 4-6, 2003). Proceedings, pp. 181 - 197. Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen (eds.). (Lecture Notes in Computer Science, vol. 3014). Springer-Verlag, 2004.     
3Bertolino A., Mirandola R. Software Performance Engineering of Component-based Systems. In: Fourth International Workshop on Software and Performance WOSP 2004 (California, USA, January 14-16, 2004). Proceedings, vol. WOSP pp. 238 - 242. Jozo J. Dujmovic, Virgílio A. F. Almeida, Doug Lea (eds.). ACM, 2004.     
4Bonuccelli M., Martelli F., Pelagatti S. An Optimal Packet Scheduling and Load Balancing Algorithm for LEO/MEO Satellite Networks. In: 7th ACM International Symposium on Modeling, Analysis and Simulation (Venice, Italy, 4-6 October 2004). Proceedings, vol. 1-58113-953-5 pp. 47 - 51. Simonetta Balsamo, Carla-Fabiana Chiasserini, Lorenzo Donatiello (eds.). ACM, 2004.     
5Denaro G., Polini A., Wolfgang E. Early performance testing of distributed software applications. In: Fourth International Workshop on Software and Performance WOSP 2004 (California, USA, January 14-16). Proceedings, vol. WOSP pp. 94 - 103. Jozo J. Dujmovic, Virgilio A. F. Almeida, Doug Lea (eds.). ACM, 2004.  

Editorials

   2004
1Geppert B., John I., Lami G. Editorial activity - First International Software Product Lines Young Researchers Workshop. In: IESE-Report. Editorial, vol. 086.04/E Version 1.1 p. -. Proceedings of the First International Software Product Lines Young Researchers Workshop - SPLYR (Boston, MA - August 30th, 2004). In conjunction with the 3rd Software Product Line Conference (SPLC). Birgit Geppert , Isabel John, Giuseppe Lami (eds.). IESE, 2004.     

Technical reports

   2004
1Bertolino A., Marchetti E. A brief essay on Software Testing. The document has been submitted to other: Software Engineering , IEEE Computer Society, Technical report, 2004.  
2Bertolino A., Fantechi A., Gnesi S., Lami G. Product line use cases. Technical report, 2004.  
3Bertolino A. TELCERT - Initial recommendations on advanced testing technologies. Technology Enhanced Learning: Conformance - European Requirements & Testing. Deliverable D09v.1.0, 2004.  
4Denaro G., Polini A., Emmerich W. Performance testing of distributed components architecture. The document has been submitted to other: to appear in, Technical report, 2004.  
5Polini A., Bertolino A. A User Oriented Framework for Component Deployment Testing. Published in: Testing Commercial-off-the-shelf Components and Systems, pp. 169-194. (ISBN: 3-540-21871-8). Sami Beyeda, Volker Gruhn (Eds.). Springer, 2004 The document has been submitted to other: to appear in, Technical report, 2004.

Dissertations

   2004
1Lami G. Quality evaluation of natural language software requirements: methods, techniques and tools. Dipartimento di Ingegneria della Informazione Elettronica, Informatica, Telecomunicazioni. Ph.D. Dissertation, 2004.  
2Polini A. Testing component-based software systems. CNR-ISTI. Ph.D. Dissertation, 2004.  

Abstracts

   2004
1Bertolino A., Polini A., Inverardi P., Muccini H. Towards Anti-model-based Testing. In: International Conference of Dependable Systems and Networks (Florence, Italy, June 28 - 1 July 2004).      
2Fabbrini F., Fusani M., Gnesi S., Lami G., Trentanni G. Early Analysis of Natural Language Requirements. In: International Symposium on Empirical Software Engineering (Redondo Beach, California, USA, 19-20/08/2004 2004).