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]


Contribution to Book/Monograph

   2008
1Chiaradonna S., Di Giandomenico F., Lollini P. Evaluation of critical infrastructures: challenges and viable approaches. In: Architecting Dependable Systems V. pp. 52 - 77. Rogerio de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.). (Lecture Notes in Computer Science, vol. 5135). Germany: Springer, 2008.        
2Daidone A., Chiaradonna S., Bondavalli A., Verissimo P. Analysis of a redundant architecture for critical infrastructure protection. In: Architecting Dependable Systems V. pp. 78 - 100. Rogerio de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.). (Lecture Notes in Computer Science, vol. 5135). Germany: Springer, 2008.        
3Verissimo P., Neves N., Correia M., Deswarte Y., El Kalam A. A., Bondavalli A., Daidone A. The CRUTIAL architecture for critical information infrastructures. In: Architecting Dependable Systems V. pp. 1 - 27. Rogerio de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.). (Lecture Notes in Computer Science, vol. 5135). Germany: Springer, 2008.        

Proceedings

   2008
1Ceccarelli A., Majzik I., Iovino D., Caneschi F., Pinter G., Bondavalli A. A resilient sil 2 driver machine interface for train control systems. In: DepCoS-RELCOMEX 08 - IEEE Third International Conference on Dependability of Computer Systems (Szklarskapor, Eba, Poland, 26-28 June 2008). Proceedings, pp. 365 - 374. IEEE, 2008.        

Editorials

   2008
1De Lemos R., Di Giandomenico F., Gacek C., Muccini H., Vieira M. Architecting dependable systems V - Preface. pp. VII - XI. Rogerio de Lemos, Felicita Di Giandomenico, Cristina Gacek, Henry Muccini, Marlon Vieira (eds.). Springer, 2008.        

Technical reports

   2008
1Caneschi F., Ceccarelli A., Ciompi P., Iovino D., Majzik I., Bondavalli A. SAFEDMI - Detailed HW and SW specification. Safe Driver Machine Interface (DMI) for ERTMS automatic train control (031413). Deliverable D2.2, 2008.  
2Chiaradonna S., Di Giandomenico F., Lollini P. Interdependency analysis in electric power systems. Technical report, 2008.  
3Di Giandomenico F., et al. .. CRUTIAL - Dissemination actions and collected publications. Critical Utility InfrastructurAL Resilience (IST-FP6-STREP - 027513). Deliverable D.12, 2008.  
4Donatelli S., Chiaradonna S., Codetta D., Di Giandomenico F., et al. .. CRUTIAL - List of requirements on formalisms and selection of appropriate tools. Critical Utility InfrastructurAL Resilience (IST-FP6-STREP - 027513). Deliverable D.11, 2008.  
5Donatelli S., Chiaradonna S., Di Giandomenico F., Bondavalli A., et al. .. CRUTIAL - Model-based evaluation of the middleware services and protocols & architectural patterns. Critical Utility InfrastructurAL Resilience (IST-FP6-STREP - 027513). Deliverable D.25, 2008.  
6Kaaniche M., Beccuti M., Brasca C., Chiaradonna S., Donatelli S., Di Giandomenico F., et al. .. CRUTIAL - Preliminary Modeling Framework. Critical Utility InfrastructurAL Resilience (IST-FP6-STREP - 027513). Deliverable D.8, 2008.  
7Neves N., Verissimo P., Bondavalli A., Grandoni F., et al .. CRUTIAL - Preliminary specification of services and protocols. Critical Utility InfrastructurAL Resilience (IST-FP6-STREP - 027513). Deliverable D10, 2008.  

 

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


Contribution to Book/Monograph

   2008
1Bartolini C., Bertolino A., Marchetti E., Parissis I. Data flow-based validation of Web services compositions: perspectives and examples. In: Architecting Dependable Systems V. pp. 298 - 325. R. de Lemos, F. Di Giandomenico, H. Muccini, C. Gacek, M. Vieira (eds.). (Lecture Notes in Computer Science, vol. 5135). Berlin/Heidelberg: Springer, 2008.        

Proceedings

   2008
1Bartolini C., Bertolino A., Marchetti E. Introducing service-oriented coverage testing. In: ARAMIS 2008 - 1st International Workshop on Automated engineeRing of Autonomous and run-tiMe evolvIng Systems. 23rd IEEE/ACM International Conference on Automated Software Engineering Workshops (L'Aquila, 16 September 2008). Proceedings, pp. 57 - 64. IEEE, 2008.        
2Bartolini C., Bertolino A., Marchetti E., Polini A. Towards automated WSDL-based testing of Web services. In: ICSOC 2008 - Service-Oriented Computing. 6th International Conference (Sydney, Australia, 1-5 December 2008). Proceedings, pp. 524 - 529. A. Bouguettaya, I. Krueger, T. Margaria (eds.). (Lecture Notes in Computer Science, vol. 5364). Springer-Verlag, 2008.        
3Bertolino A., De Angelis G., Di Marco A., Inverardi P., Sabetta A., Tivoli M. A framework for analyzing and testing the performance of software services. In: ISoLA 2008 - Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium ISoLA 2008 (Porto Sani, Greece, October 13-15 2008). Proceedings, pp. 206 - 220. Tiziana Margaria, Bernhard Steffen (eds.). (Communications in Computer and Information Science, vol. 17). Springer Berlin Heidelberg, 2008.        
4Bertolino A., De Angelis G., Lonetti F., Sabetta A. Let the puppets move! Automated testbed generation for service-oriented mobile applications. In: The 34th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2008) (Parma, Italia, 3-5 Settembre 2008). Proceedings, pp. 321 - 338. IEEE/CS, 2008.     
5Bertolino A., De Angelis G., Frantzen L., Polini A. Model-based generation of testbeds for Web services. In: The 20th IFIP Int. Conference on Testing of Communicating Systems. TESTCOM 2008 (Tokyo, Giappone, 10-13 Giugno 2008). Proceedings, pp. 266 - 282. Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (eds.). (Lecture Notes in Computer Science, vol. 5047). Springer, 2008.     
6Bertolino A., Emmerich W., Inverardi P., Issarny V., Liotopoulos F., Plaza P. PLASTIC: Providing Lightweight & Adaptable Service Technology for Pervasive Information & Communication. In: ARAMIS 2008 - 1st International Workshop on Automated EngineeRing of Autonomous and run-tiMe evolvIng Systems, ASE Workshops 2008. 23rd IEEE/ACM International Conference on Automated Software Engineering (L'Aquila, 16 settembre 2008). Proceedings, pp. 65 - 70. IEEE, 2008.        
7Bertolino A., De Angelis G., Sabetta A. VCR: Virtual Capture and Replay for performance testing. In: The International Conference on Automated Software Engineering. ASE 2008 (L'Aquila, Italia, 15-19 Settembre 2008). Proceedings, pp. 399 - 402. IEEE Computer Society, 2008.     
8Bertolino A., Cartaxo E., Machado P., Marchetti E. Weighting influence of user behavior in software validation. In: CUB08 - 1st International Workshop on Computer Users' Behaviour in conjunction with the 19th International Conference on Database and Expert Systems Applications - DEXA'08, (Torino, Italy, 1-5 settembre 2008). Proceedings, pp. 495 - 500. IEEE Computer Society, 2008.     

Technical reports

   2008
1Bertolino A., Bianculli D., De Angelis G., Frantzen L., Kiss Z. G., Ghezzi C., Polini A., Raimondi F., Sabetta A., Toffetti Carughi G., Wolf A. PLASTIC - Test Framework: Assessment and Revision. Providing Lightweight and Adaptable Service Technology for pervasive Information and Communication (IST-2005-26955). Deliverable D4.3, 2008.     
2Bertolino A., De Angelis G., Fl├ávian C., Hoppenbrouwers J., Marchetti E., Polini A., Sabetta A. TAS3 - Trustworthiness - State of the Art. Trusted Architecture for Securely Shared Services (ICT-2007-26955). Deliverable D10.1, 2008.  

Abstracts

   2008
1Bertolino A. A guided tour of four decades of a software testing discipline. In: SEAA 2008 - EUROMICRO Conference on Software Engineering and Advanced Applications (Parma, 3-5 September 2008). Abstract, p. XXIII. IEEE, 2008.        
2Bertolino A. Software testing forever: old and new processes and techniques for validating today's applications. In: Product-Focused Software Process Improvement (Monte Porzio Catone, 23-25 June 2008). Abstract, p. 1. Andreas Jedlitschka, Outi Salo (Eds.). (Lecture Notes in Computer Science, vol. 5089). Springer, 2008.