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

   2007
1Serafini M., Bondavalli A., Suri N. Online diagnosis and recovery: on the choice and impact of tuning parameters. In: Ieee Transactions on Dependable and Secure Computing, vol. 4 (4) pp. 295 - 312. Ravi K. Iyer (ed.). IEEE Computer Society, 2007.        

Proceedings

   2007
1Bondavalli A., Ceccarelli A., Falai L., Vadursi M. Foundations of measurement theory applied to the evaluation of dependability attributes. In: 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks. DSN'07 (Edinburgh, UK, 25-28 June 2007). Proceedings, pp. 522 - 533. IEEE Computer Society, 2007.        
2Chiaradonna S., Lollini P., Di Giandomenico F. On a modeling framework for the analysis of interdependencies in electric power systems. In: IEEE/IFIP 37th Int. Conference on Dependable Systems and Networks. DSN 2007 (Edinburgh, UK, 25-28 June 2007). Proceedings, pp. 185 - 195. IEEE Computer Society, 2007.     
3Romani F., Chiaradonna S., Di Giandomenico F., Simoncini L. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. In: 10th IEEE High Assurance Systems Engineering Symposium. HASE'07 (Dallas, TX, 14-16 November 2007). Proceedings, pp. 305 - 312. IEEE Computer Society, 2007.     

Editorials

   2007
1De Lemos R., Di Giandomenico F., Gacek C. WADS 2007. In: DSN 2007. Editorial, vol. 3 p. 140. The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, section 3. The University of Edinburgh Printing Services (http://www.pps.ed.ac.uk), 2007.  

Technical reports

   2007
1Caneschi F., Ceccarelli A., Grandoni F., Bondavalli A., Iovino S., Majzik I. SAFEDMI - Architecture and related mechanisms. Safe Driver Machine Interface for ERTMS automatic train control. Deliverable D2.1, 2007.  
2Caneschi F., Ceccarelli A., Ciompi P., Iovino S., Bondavalli A., Majzik I. SAFEDMI - Detailed HW and SW specification. Safe Driver Machine Interface for ERTMS automatic train control. Deliverable D2.2, 2007.  
3Di Giandomenico F., Deconinck G., Donatelli S., Dondossola G., Kaaniche M., Verissimo P. CRUTIAL - Dissemination actions and collected publications. Critical Utility InfrastructurAL Resilience. Deliverable D5, 2007.  
4Di Giandomenico F., Chiaradonna S. CRUTIAL - Methodologies Synthesis. Critical Utility InfrastructurAL Resilience. Deliverable D3, 2007.  
5Grandoni F., Bondavalli A., Daidone A. CRUTIAL - Preliminary architecture specification. Critical Utility InfrastructurAL Resilience. Deliverable D4, 2007.  
6Romani F., Chiaradonna S., Di Giandomenico F., Simoncini L. Simulation models and implementation of a simulator for the performability analysis of electric power systems considering interdependencies. Technical report, 2007.     

Abstracts

   2007
1De Lemos R., Di Giandomenico F., Gacek C. Workshop on architecting dependable systems (WADS 2007). In: 37th International Conference on Dependable Systems and Networks (Edinburgh, UK, 25-28 July 2007). Abstract, pp. 805 - 806. IEEE Computer Society, 2007.  
2Romani F., Chiaradonna S., Di Giandomenico F., Simoncini L. A simulator for performability analysis of electrical power systems considering interdependencies. In: IEEE Int. Conference on Dependable Systems and Networks, Fast Abstracts Track. DSN-2007 (Edinburgh, UK, 25-28 June 2007). Abstract, vol. Supplemental volume pp. 354 - 355. IEEE, 2007.  

 

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


Journal articles

   2007
1Bertolino A., Marchetti E., Mirandola R. Performance measures for supporting project manager decisions. In: Software Process Improvement and Practice, vol. 12 (2) pp. 141 - 164. Wiley Interscience, 2007.     
2Bonuccelli M., Lonetti F., Martelli F. Instant collision resolution for tag identification in RFID networks. In: Ad Hoc Networks, vol. 5 (8) pp. 1220 - 1232. Elsevier, 2007.     
3Grassi V., Mirandola R., Sabetta A. Filling the gap between design and performance/reliability models of component-based systems: a model-driven approach. In: Journal of Systems and Software, vol. 80 (4) pp. 528 - 558. Software Performance, 5th International Workshop on Software and Performance. Elsevier, 2007.        
4Petriu D. C., Shen H., Sabetta A. Performance analysis of aspect-oriented UML models. In: Software and Systems Modeling, vol. 6 (4) pp. 453 - 471. Springer, 2007.        
5Rehman J., Jabeen F., Bertolino A., Polini A. Testing software components for integration: a survey of issues and techniques. In: Journal of Software Testing, Verification and Reliability, vol. 17 (2) pp. 95 - 133. Wiley InterScience, 2007.     

Contribution to Book/Monograph

   2007
1Bertolino A., Muccini H., Polini A. Architectural verification of black-box component-based systems. In: Rapid Integration of Software Engineering Techniques. pp. 98 - 113. Nicolas Guelfi and Didier Buchs (eds.). (Lecture Notes in Computer Science, vol. 4401). Berlin / Heidelberg: Springer, 2007.        
2Bertolino A., Gao J., Marchetti E., Polini A. Systematic generation of XML instances to test complex software applications. In: Rapid Integration of Software Engineering Techniques. pp. 114 - 129. (Lecture Notes in Computer Science, vol. 4401). Heidelberg: Springer, 2007.        
3Lonetti F., Martelli F. Temporal video transcoding for multimedia services. In: Multimedia Services in Intelligent Environments. G. A. Tsihrintzis and L. Jain Eds (eds.). Germany: Springer-Verlag, 2007.  

Proceedings

   2007
1Bertolino A., De Angelis G., Polini A. A QoS test-bed generator for Web services. In: 7th International Conference on Web Engineering. ICWE 2007 (Como, Italy, 16-20 July 2007). Proceedings, pp. 17 - 31. (Lecture Notes in Computer Science, vol. 4607). Springer, 2007.  
2Bertolino A., Gao J., Marchetti E., Polini A. Automatic Test Data Generation for XML Schema-based Partition Testing. In: Second International Workshop on Automation of Software Testing , 2007. AST '07 (Minneapolis, USA, 20-26 May 2007). Proceedings, IEEE Computer Society, 2007.     
3Bertolino A., De Angelis G., Polini A. Automatic generation of test-beds for pre-deployment QoS evaluation of Web services. In: Workshop on Software and Performance WOSP 2007 (Buenos Aires, Argentina, 5-8 February 2007). Proceedings, pp. 137 - 140. ACM Press, 2007.     
4Bertolino A., De Angelis G., Elbaum S., Sabetta A. Scaling up SLA monitoring in pervasive environments. In: International Workshop on the Engineering of Software Services for Pervasive Environments (ESSPE 2007) (Cavtat-Dubrovnik, Croatia, 4 September 2007). Proceedings, pp. 65 - 68. Alexander L. Wolf (ed.). ACM Digital Library, 2007.  
5Bertolino A. Software testing research: achievements, challenges, dreams. In: International Conference on Software Engineering. 2007 Future of Software Engineering (Minneapolis, MN, 20-26 May 2007). Proceedings, pp. 85 - 103. ACM/IEEE, 2007.     
6Bertolino A., Gao J., Marchetti E., Polini A. TAXI - A Tool for XML-Based Testing. In: ICSE '07 - 29th International Conference on Software Engineering (Minneapolis - MN USA, 20-26 May 2007). Proceedings, pp. 53 - 54. IEEE, 2007.        
7Bertolino A., Gao J., Marchetti E., Polini A. XModel-based testing of XSLT applications. In: Third INternational Conference on Web Information Systems and Technologies. WEBIST 2007 (Barcelona, Spain, 3-6 March 2007). Proceedings, vol. Web Interfaces and Applications pp. 282 - 288. Joaquim Filipe, José Cordeiro, Bruno Encarnacao and Vitor Pedrosa. ISTICC, 2007.     
8Bonuccelli M., Lonetti F., Martelli F. Exploiting ID Knowledge for Tag Identification in RFID Networks. In: 4th ACM workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks (PE-WASUN) (Chania, Crete Island, Greece, 22-26 October 2007). Proceedings, pp. 70 - 77. ACM Press, 2007.  
9Bonuccelli M., Giunta G., Lonetti F., Martelli F. Real-time video transmission in vehicular networks. In: MObile Networking for Vehicular Environments (Move 2007) (Anchorage, Alaska, USA, 11 May 2007). Proceedings, pp. 115 - 120. IEEE Press, 2007.        
10Lonetti F., Martelli F. Motion vector composition algorithm in H.264 transcoding. In: 14th International Conference on Systems, Signals and Image Processing (IWSSIP07) and 6th EURASIP Conference Focused on Speech and Image Processing, Multimedia Communications and Services. EC-SIPMCS 2007 (Maribor Slovenia, 27-30 giugno 2007). Proceedings, pp. 153 - 156. Z.Cucej, D.Gleich, P.Planinsic (eds.). IEEE, 2007.     
11Marchetti E., Bertolino A. Profiling and testing within domains to facilitate document exchangeability. In: DoSTA 2007 - Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting (Dubrovnik, Croatia, 4 settembre 2007). Proceedings, pp. 34 - 40. ACM, 2007.     
12Muccini H., Polini A., Ricci F., Bertolino A. Monitoring architectural properties in dynamic component-based systems. In: Component-Based Software Engineering. 10th International Symposium CBSE 2007 (Medford, MA, USA, 9-11 July 2007). Proceedings, pp. 124 - 139. Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman and Judith A. Stafford (eds.). (Lecture Notes in Computer Science, vol. 4608). Springer Berlin / Heidelberg, 2007.        

Editorials

   2007
1Crnkovic I., Bertolino A. ESEC/FSE 2007 Companion contents. In: Proceedings of the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. ESEC/FSE 2007 (2007, Dubrovnik, Croatia, September 3-7, 2007). Editorial, vol. 2 pp. 437 - 622. Ivica Crnkovic, Antonia Bertolino: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering,. ACM, 2007.     
2Crnkovic I., Bertolino A. ESEC/FSE 2007 Proceedings contents. In: 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering. ESEC/FSE 2007 (Dubrovnik, Croatia, September 3-7 2007). Editorial, vol. 1 ACM, 2007.     

Technical reports

   2007
1Bertolino A. PLASTIC - test framework specification and architecture. Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication (IST-2005-26955). Deliverable D4.1, 2007.     
2Bertolino A. PLASTIC - test framework: prototype implementation. Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication (IST-2005-26955). Deliverable D4.2, 2007.     
3Marchetti E. ART DECO - Preliminary report on devised methodologies and tools for verification, testing and QoS evaluation. adaptive infrastructures for decentralised organizations. Deliverable FIRB-2005-RBNE05C3AH R.A.10.1, 2007.  

Dissertations

   2007
1Cogoni F. Monitoraggio adattivo del livello di qualità in architetture orientate ai servizi. Corso di Laurea Specialistica in Tecnologie Informatiche, Facoltà di Scienze Matematiche Fisiche e Naturali, Università degli Studi di Pisa. Thesis, 2007.  
2De Angelis G. Exploiting extra functional model annotations for B3G applications. ISTI-CNR. Ph.D. Dissertation, 2007.  
3Lonetti F. Temporal Video Transcoding in Mobile Systems. Scuola di Dottorato GALILEO GALILEI, Dipartimento di Informatica, Università di Pisa. Ph.D. Dissertation, 2007.  
4Paris R. Sviluppo model-driven di uno strumento di modellazione visuale per Eclipse. Cattedra: Software Engineering Anno Accademico: 2006-07 Università : Università degli Studi di Pisa Facoltà : Facoltà di Scienze MM.FF.NN. Corso di laurea: Corso di Laurea in Informatica. Thesis, 2007.  
5Sabetta A. Automating the analysis of performance and reliability of reconfigurable component-based systems: a model-driven approach. DISP, Univ. di Roma Tor Vergata. Ph.D. Dissertation, 2007.  

Abstracts

   2007
1Bertolino A., Marchetti E., Parissis I. Perspectives on Data Flow-based Validation of Web Services Compositions. In: 3rd ROSATEA Workshop (The Role of Software Architecture for Testing and Analysis) (Boston, USA, 9-13 July 2007).