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

   2011
1Chiaradonna S., Di Giandomenico F., Lollini P. Definition, implementation and application of a model-based framework for analyzing interdependencies in electric power systems. In: International Journal of Critical Infrastructure Protection, vol. 4 (1) pp. 24 - 40. Elsevier, 2011.        

Contribution to Book/Monograph

   2011
1Bertolino A., Calabrò A., Di Giandomenico F., Nostro N. Dependability and Performance Assessment of Dynamic CONNECTed Systems. In: Formal Methods for Eternal Networked Software Systems - SFM 2011. pp. 350 - 392. Bernardo, Marco; Issarny, Valerie (eds.). (Lecture Notes in Computer Science, vol. 6659). Berlin Heidelberg: Springer Verlag, 2011.     

Proceedings

   2011
1Bertolino A., Calabrò A., Di Giandomenico F., Martinucci M., Masci P. Automated refinement of dependability analysis through monitoring in dynamically connected systems. In: ISADS 2011 - 10th International Symposium on Autonomous Decentralized Systems (Tokyo & Hiroshima, 23-27 March 2011). Proceedings, pp. 315 - 318. IEEE, 2011.        
2Chiaradonna S., Di Giandomenico F., Nostro N. Modeling and analysis of the impact of failures in electric power systems organized in interconnected regions. In: DSN-PDS 2011 - 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (Hong Kong, 27-30 Giugno 2011). Proceedings, pp. 442 - 453. IEEE, 2011.        
3Masci P., Nostro N., Di Giandomenico F. On enabling dependability assurance in heterogeneous networks through automated model-based analysis. In: SERENE 2011 - Software Engineering for Resilient Systems. Third International Workshop (Geneva, Switzerland, 29-30 Settembre 2011). Proceedings, pp. 78 - 92. A. Troubitsyna (ed.). (Lecture Notes in Computer Science, vol. 6968). Springer Verlag, 2011.           
4Masci P., Martinucci M., Di Giandomenico F. Towards automated dependability analysis of dynamically connected. In: ISADS 2011 - 2011 10th International Symposium on Autonomous Decentralized Systems (Kobe, Japan, 29 June - 1 July 2011). Proceedings, pp. 139 - 146. IEEE, 2011.           

 

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


Journal articles

   2011
1Bartolini C., Bertolino A., Elbaum S., Marchetti E. Bringing white-box testing to service oriented architectures through a service oriented approach. In: Journal of Systems and Software, vol. 84 (4) pp. 655 - 668. Byounjiu Choi, Richard Lai (eds.). Elsevier, 2011.        
2Bertolino A., De Angelis G., Di Sandro A., Sabetta A. Is my model right? Let me ask the expert. In: Journal of Systems and Software, vol. 84 (7) pp. 1089 - 1099. Elsevier, 2011.           

Contribution to Book/Monograph

   2011
1Bertolino A., Calabrò A., Di Giandomenico F., Nostro N. Dependability and Performance Assessment of Dynamic CONNECTed Systems. In: Formal Methods for Eternal Networked Software Systems - SFM 2011. pp. 350 - 392. Bernardo, Marco; Issarny, Valerie (eds.). (Lecture Notes in Computer Science, vol. 6659). Berlin Heidelberg: Springer Verlag, 2011.     
2Bertolino A., De Angelis G., Polini A., Sabetta A. Trends and Research Issues in SOA Validation. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. pp. 98 - 115. Valeria Cardellini, Emiliano Casalicchio, Kalinka Regina Lucas Jaquie Castelo Branco, Julio Cezar Estrella, Francisco Josè Monaco (eds.). United States of America: IGI Global, 2011.        

Proceedings

   2011
1Bertolino A., De Angelis G., Polini A. (role)CAST : a framework for on-line service testing. In: WEBIST 2011 - 7th International Conference on Web Information Systems and Technologies (Noordwijkerhout, The Netherlands, 6-9 May 2011). Proceedings, article n. 100. SciTePress Digital Library, 2011.     
2Bertolino A., Calabrò A., Di Giandomenico F., Martinucci M., Masci P. Automated refinement of dependability analysis through monitoring in dynamically connected systems. In: ISADS 2011 - 10th International Symposium on Autonomous Decentralized Systems (Tokyo & Hiroshima, 23-27 March 2011). Proceedings, pp. 315 - 318. IEEE, 2011.        
3Bertolino A. Towards ensuring eternal connectability. In: ICSOFT 2011 - 6th International Conference on Software and Data Technologies (Seville, Spain, 18-21 July 2011). Proceedings, vol. 1 pp. 7 - 9. SciTePress, 2011.  
4Clements P., Escalona M. J., Inverardi P., Malavolta I., Marchetti E. Exploiting software architecture to support requirements satisfaction testing. In: ESEC/FSE '11 - 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering (Szeged, Hungary, 5-9 Settembre 2011). Proceedings, pp. 484 - 487. ACM, 2011.        
5De Angelis G., Kirkham T., Winfield S. Access policy compliance testing in a user centric trust service infrastructure. In: QASBA 2011 - International Workshop on Quality Assurance for Service-based applications (Lugano, 14 Settembre 2011). Proceedings, pp. 33 - 39. ACM, 2011.  
6Di Marco A., Pompilio C., Bertolino A., Calabrò A., Lonetti F., Sabetta A. Yet another metamodel to specify non-functional properties. In: QASBA 2011 - International Workshop on Quality Assurance for Service-Based Applications (Lugano, Switzerland, September 14 2011). Proceedings, pp. 9 - 16. ACM, 2011.     
7Fabbrini F., Fusani M., Marchetti E. Process scenarios in open source software certification. In: OpenCert 2011 - 5th International Workshop on Foundation and Techniques for Open Source Certification (Montevideo, Uruguay, 14-15 November 2011). Proceedings, pp. 3 - 18. European Association of Software Science and Technology, 2011.     
8Foster H., Bertolino A., Li J. Sixth international workshop on automation of software test (AST 2011). In: ICSE 2011 - 33rd International Conference on Software Engineering (Honolulu, Hawaii, Usa, 21-28 May 2011). Proceedings, pp. 1216 - 1217. ACM, 2011.        
9Ilieva S., Manova D., Manova I., Bartolini C., Bertolino A., Lonetti F. An automated approach to robustness testing of BPEL orchestrations. In: SOSE 2011 - The 6th IEEE International Symposium on Service Oriented System Engineering (Irvine, CA, USA, 12-14 December 2011). Proceedings, pp. 193 - 203. IEEE, 2011.        
10Manova D., Ilieva S., Lonetti F., Bertolino A., Bartolini C. Towards Automated Robustness Testing of BPEL Orchestrators. In: CompSysTech '11 - 12th International Conference on Computer Systems and Technologies (Vienna, Austria, 16-17 June 2011). Proceedings, pp. 659 - 664. ACM, 2011.        
11Marchetti E., Schilders L., Winfield S. Scenario-based testing applied in two real contexts: healthcare and employability. In: ICSTW '11 - 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (2011, 21-25 March 2011). Proceedings, pp. 89 - 98. IEEE, 2011.        
12Medeiros Eler M., Bertolino A., Cesar Masiero P. More testable service compositions by test metadata. In: SOSE 2011 - The 6th IEEE International Symposium on Service Oriented System Engineering (Irvine, CA, USA, 12-14 December 2011). Proceedings, pp. 204 - 213. IEEE, 2011.        

Editorials

   2011
1Bertolino A., Foster H., Li J. Foreword to the AST '11: Proceedings of the 6th International Workshop on Automation of Software Test. pp. 6 - 6. ACM, 2011.     
2Bertolino A., Kooper K. C., Crnkovic I., Stafford J. A. Preface to the Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering. pp. III - IV. ACM, 2011.     

Technical reports

   2011
1Bartolini C., Bertolino A., Costa G. NESSOS - NESSoS JVRL Web Portal. Network of Excellence on Engineering Secure Future Internet Software Services and Systems. Deliverable D.1.1, 2011.  
2Bartolini C., Bertolino A., Costa G., Petrocchi M., Clavel M., Busch M., Koch N., Schmidt H., Schwittek W., Navarrete G., Perisi S. NESSOS - NESSoS Joint Virtual Research Lab. Network of Excellence on Engineering Secure Future Internet Software Services and Systems. Deliverable D1.2, 2011.  
3Tigran A., Busch M., Bouquet F., Caballero J., Frédéric D., Frau S., Hoang T. S., Klaedtke F., Koch N., Marchetti E., Rusinowitch M., Sprenger C., Torabi Dashti M., Yautsiukhin A. NESSOS - Initial Solutions for Security Assurance for Services. Network of Excellence on Engineering Secure Future Internet Software Services and Systems. Deliverable D9.2, 2011.