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

   2005
1Karetsos G. T., Kyriazakos S. A., Groustiotis E., Di Giandomenico F., Mura I. A hierarchical radio resource management framework for integrating WLANs in cellular networking environments. In: Ieee Wireless Communications, vol. 12 (6) pp. 11 - 17. IEEE Communications Society, 2005.  
2Lollini P., Bondavalli A., Di Giandomenico F. A modeling methodology for hierarchical control systems and its application. In: Journal of the Brazilian Computer Society, vol. 10 (3) pp. 57 - 69. SBC - The Brazilian Computer Society, 2005.  

Contribution to Book/Monograph

   2005
1Bondavalli A., Chiaradonna S., Di Giandomenico F. Model-based evaluation as a support to the design of dependable systems. In: Dependable Computing Systems - Paradigms, Performance Issues, and. pp. 57 - 86. Hassan B. Diab, Albert Y. Zomaya (eds.). United States of America: John Wiley & Sons, 2005.  
2Porcarelli S., Di Giandomenico F., Lollini P., Bondavalli A. A modular approach for model-based dependability evaluation of a class of systems. In: Service Availability. vol. 3335 pp. 160 - 174. (Lecture Notes in Computer Science, vol. 3335). Berlin Heidelberg: Springer Verlag, 2005.     

Proceedings

   2005
1Falai L., Bondavalli A. Experimental evaluation of the QoS of failure detectors on wide area network. In: International Conference on Dependable Systems and Networks -DSN 2005 (Yokohama, japan, 28 June - 1July 2005). Proceedings, pp. 624 - 633. IEEE Computer Society, 2005.  
2Falai L., Bondavalli A., Di Giandomenico F. NekoStat extension for Neko: quantitative evaluation of distributed algorithms. In: QEST 2005 (Torino, Italy, 19-22 September 2005). Proceedings, pp. 241 - 242. IEEE Computer Society, 2005.  
3Falai L., Bondavalli A., Di Giandomenico F. Quantitative evaluation of distributed algorithms using the Neko framework: the NekoStat extension. In: LADC 2005 (Salvador - Bahia, Brasil, 25-28 October 2005). Proceedings, vol. LNCS 3747 pp. 35 - 51. C.A. Maziero et al. (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
4Lollini P., Bondavalli A., Di Giandomenico F. Evaluation of the impact of congestion on service availability of GPRS infrastructures. In: ISAS 2005 (Berlin, Germany, 25-26 April 2005). Proceedings, vol. LNCS 3694 pp. 180 - 195. M. Malek, E. Nett and N. Suri (eds.). (Lecture Notes in Computer Science). Springer Verlag, 2005.  
5Lollini P., Bondavalli A., Di Giandomenico F. QoS analysis of a UMTS cell with different service classes. In: 4th IASTED International Conference Communication Systems and Networks (Benidorm, Spain, 12-14 September 2005). Proceedings, pp. 55 - 60. 2005.  

Technical reports

   2005
1Di Giandomenico F., Ciompi P., Clarkson A., Velentzas S., Kyriazakos S. A., Kechagias C., Nousiainen S., Vlahodimitropoulos K., Mura I., Moreno O., Franco I., Pirinen J., Talvitie I., Tselikas N., Casadevall F. CAUTION++ - Final exploitation plans. Capacity and network management platform for increased utilization of wireless telecommunication systems of next generation ++. Deliverable D-6.2, 2005.  
2Di Giandomenico F., Lollini P., Chiaradonna S., Moreno O., Papaoulakis N., Elefsiniotis G., Hourdakis M., Trakos A., Kaldanis V., Gkroustiotis E., Kyriazakos S. A., Nikitopoulos D., Nousiainen S., Kordybach K., Hautio J., Kemppi P., Mura I., Galliano E., Syrenius J. M., Casadevall F., Adelantado F., Umbert A., Limani D. CAUTION++ - Trial results and analysis. Capacity and network management platform for increased utilization of wireless telecommunication systems of next generation ++. Deliverable D-5.2, 2005.  
3Lollini P., Bondavalli A., Di Giandomenico F. QoS evaluation in a UMTS cell. The document has been submitted to Conference: The 4th IASTED International Conference on Communication Systems & Networks, Technical report, 2005.  

Abstracts

   2005
1Bondavalli A., Di Giandomenico F. Issues in on-line performability modeling and evaluation through the model-based approach. In: PMCCS 7: The International Workshop on Performability Modeling of Computer and Communication Systems (Torino, Italy, 23-24 September 2005).   
2Gonczy L., Pataricza A., Di Giandomenico F., Chiaradonna S., Bondavalli A. Dependability modeling of web service flows. In: European Dependable Computing Conference EDCC-5 - Fast Abstracts Track (Budapest, April 2005).   

 

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


Journal articles

   2005
1Bertolino A., Marchetti E., Muccini H. Introducing a reasonably complete and coherent approach for model-based testing. In: Electronic Notes in Theoretical Computer Science, vol. 116 pp. 85 - 97. Elsevier, 2005.  
2Bonuccelli M., Lonetti F., Martelli F. Video transcoding architectures for multimedia real time services. In: Ercim News, vol. 62 pp. 39 - 40. ERCIM, 2005.  
3Marchetti E. Automatic XML-schema generation UML application profile. In: Elektrotechnik und informationstechnik, vol. 12 pp. 485 - 487. Springer, 2005.     
4Polini A. Interoperability testing of Web services for e-Learning. In: Elektrotechnik und informationstechnik, vol. 12 pp. 495 - 497. Springer, 2005.  

Contribution to Book/Monograph

   2005
1Bertolino A., Marchetti E. A brief essay on software testing. In: Software Engineering: The Development Process. 3rd edition ed. vol. 1 pp. 393 - 411. Richard Thayer, Mark Christensen and Merlin Dorfman (eds.). ..: Wiley-IEEE Computer Society, 2005.  

Proceedings

   2005
1Afsharian S., Bertolino A., De Angelis G., Iovanna P., Mirandola R. A Model Based Approach to Design Applications for Network Processor. In: RISE 2004 - Workshop on Rapid Integration of Software Engineering (Luxembourg, November 26, 2004). Proceedings, pp. 93 - 101. (Lecture Notes in Computer Science, vol. 3475). Springer, 2005.     
2Balzerani L., Di Ruscio D., Pierantonio A., De Angelis G. A Product Line Architecture for Web Applications. In: SAC'05 - Symposium on Applied Computing (Santa Fe, New Mexico , USA, 13-17 March 2005). Proceedings, vol. 1­-58113-­964­-0/05/0003 pp. 1689 - 1693. ACM (ed.). 2005.     
3Bartolini C., Lipari G., Di Natale M. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. In: Real-Time and Embedded Technology and Applications - RTAS 2005 (San Francisco, California, 7-10 March 2005). Proceedings, pp. 458 - 467. IEEE, Computer Society, 2005.     
4Bertolino A., Herrmann H., Marchetti E., Polini A. Addressing testing objectives for e-learning. In: First International Conference on Methods and Technologies for (Palermo - Italy, March 08-1). Proceedings, vol. Vol. XXXIV pp. 401 - 409. G. Chiazzese, M. Allegra. A. Chifari & S. Ottaviano (eds.). WITPress, 2005.     
5Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An architecture-centric approach for producing quality systems. In: First International Conference on the Quality of Software (Erfurt, Germany, 20-22 September 2005). Proceedings, pp. 21 - 37. R. Reussner, J. Mayer, J.A. Stafford, S. Overhage, S. Becker, P.J (eds.). (Lecture Notes in Computer Science, vol. 3712). Springer, 2005.     
6Bertolino A., Polini A. The audition framework for testing web services interoperability. In: 31st Euromicro Conference on Software Engineering and Advanced (Porto, Portugal, 30 August- 3 September 2005). Proceedings, pp. 134 - 142. IEEE/CS, 2005.  
7Bertolino A., De Angelis G., Mirandola R. UML-based design of network processor applications. In: Euromicro 2005 (Porto, Portugal, Aug. 30- Sept 3. 2005). Proceedings, pp. 424 - 431. Bob Werner (ed.). IEEE Computer Society, 2005.     
8Bonuccelli M., Lonetti F., Martelli F. A fast skipping policy for H.263 video transcoder. In: International Workshop on Systems, Signals & Image Processing (Chalkida, Greece, 22-2 September 2005). Proceedings, vol. 7 pp. 355 - 360. Dimitrios A. Karras, Stamatios Voliotis, Maria Rangoussi, Apostolos (eds.). 2005.  
9Bonuccelli M., Lonetti F., Martelli F. Temporal transcoding for mobile video communication. In: International Conference on Mobile and Ubiquitous Systems: (San Diego, California, 17-2, July 2005). Proceedings, pp. 502 - 506. Ramesh Rao, Chiara Petrioli, Krishna Sivalingam (eds.). IEEE Computer Society, 2005.  
10Gao J., Marchetti E., Polini A. Applying Advanced UML based testing methodology to e-Learning. In: IADIS International Conference Applied Computing 2005 (Algarve, Portugal, 22-25 February 2005). Proceedings, vol. Vol 2 pp. 74 - 79. Nuno Guimarães and Pedro Isaías. IADIS Press, 2005.  

Technical reports

   2005
1Afsharian S., Bertolino A., De Angelis G., Iovanna P., Mirandola R. A model based approach to design applications for network processor. Published: Springer LNCS 3475 pp 93-101 Link The document has been submitted to Conference: RISE 2004 - Luxembourg, November 26, 2004, Technical report, 2005.
2Bartolini C., Lipari G., Di Natale M. A methodology for mapping functional blocks into earliest deadline scheduled threads. The document has been submitted to Journal: ACM Transactions on Embedded Computing Systems, Technical report, 2005.  
3Bartolini C., Lipari G., Di Natale M. From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications. Proceedings Published by IEEE Computer Society Link The document has been submitted to Conference: RTAS 2005, S. Francisco, 2005, 7-10 March, Technical report, 2005.
4Basanieri F., Bertolino A., Marchetti E. Introducing a UML Profile for Application Profiling in the e-Learning Domain. The document has been submitted to Journal: AACE International Journal on E-Learning (http://www.aace.org/pubs/ijel/default.htm), Technical report, 2005.  
5Bertolino A., De Angelis G., Bartolini C., Lipari G. A UML profile and a methodology for real-time systems design. Technical report, 2005.  
6Bertolino A., Herrmann H., Marchetti E., Polini A. Addressing testing objectives for e-learning. Published in: WITPress, Transactions on Information and Communication Technologies, Vol 34 Link The document has been submitted to Conference: Methods and Technologies for E-Learning, ICMTL 2005, Technical report, 2005.
7Bertolino A., Bucchiarone A., Gnesi S., Muccini H. An Architecture-centric Approach for producing Quality Systems. Technical report, 2005.
8Bertolino A., Frantzen L., Polini A., Tretmans J. Audition of Web Services for Testing Conformance to Open Specified Protocols. The document has been submitted to other: Springer LNCS, Technical report, 2005.  
9Bertolino A., Gao J., Marchetti E., Polini A. Partition Testing from XML Schema. The document has been submitted to Journal: IEEE Software, SWSI-0201-1005, Technical report, 2005.  
10Bertolino A., Polini A. The Audition Framework for Testing Web Services Interoperability. The document has been submitted to Conference: 31st Euromicro, Porto 30/08 - 03/09/2005, Technical report, 2005.  
11Bertolino A., De Angelis G., Mirandola R. UML-based Design of Network Processor Applications. Technical report, 2005.  
12Bonuccelli M., Lonetti F., Martelli F. A fast skipping policy for H.263 video transcoder. The document has been submitted to Conference: 12th International Workshop on Systems, Signals &Image Processing (IWSSIP '05), Technical report, 2005.  
13Bonuccelli M., Lonetti F., Martelli F. Randomized Hashing for Tag Identification in RFID Networks. The document has been submitted to Conference: IEEE Infocom 2006, Technical report, 2005.  
14Bonuccelli M., Lonetti F., Martelli F. Temporal Transcoding for Mobile Video Communication. The document has been submitted to Conference: Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services (MOBIQUITOUS 2005), Technical report, 2005.  
15Bucchiarone A., Pelliccione P., Polini A., Tivoli M. Towards an architectural approach for the dynamic and automatic composition of software components. The document has been submitted to : 5th International Symposium on Software Composition, Technical report, 2005.  
16Gao J., Marchetti E., Polini A. Applying Advanced UML based testing methodology to e-Learning. The document has been submitted to Conference: WBC 2005, Algarve Portugal, 23-25 February 2005, Technical report, 2005.  
17Marchetti E. Automatic XML Schema Generation UML Application. The document has been submitted to Journal: Elektrotechnik & Informationstechnik (e&i) by Springer Wien/New York, Technical report, 2005.  
18Polini A. Interoperability testing of Web Services for e-Learning. The document has been submitted to Journal: Educational Technology and Society Journal (SPRINGER), Technical report, 2005.  
19Rehman M. J., Jabeen F., Bertolino A., Polini A. Software Component Integration Testing: A Survey. The document has been submitted to Journal: WILEY: Software Testing, Verification and Reliability, Technical report, 2005.