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.


Journal articles

   2012
1Beccuti M., Chiaradonna S., Di Giandomenico F., Donatelli S., Dondossola G., Franceschinis G. Quantification of dependencies between electrical and information infrastructures. In: International Journal of Critical Infrastructure Protection, vol. 5 (1) pp. 14 - 27. Elsevier, 2012.        
2Bertolino A., De Angelis G., Kellomaki S., Polini A. Enhancing service federation trustworthiness through online testing. In: Computer, vol. 45 (1) pp. 66 - 72. IEEE, 2012.        
3Bertolino A., Calabro' A., Merten M., Steffen B. Never-stop Learning: continuous validation of learned models for evolving systems through monitoring. In: ERCIM News, vol. 88 pp. 28 - 29. ERCIM, 2012.  

Contribution to Book/Monograph

   2012
1Avritzer A., Di Giandomenico F., Remke A., Riedl M. Assessing dependability and resilience in critical infrastructures: challenges and opportunities. In: Resilience Assessment and Evaluation of Computing Systems. pp. 41 - 63. K. Wolter et al. (eds.). Berlin-Heidelberg: Springer, 2012.  
2Bartolini C., Bertolino A., Lonetti F., Marchetti E. Approaches to functional, structural and security SOA testing. In: Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions. pp. 381 - 401. Valeria Cardellini, Emiliano Casalicchio, Kalinka Regina Lucas Jaquie Castelo Branco, Julio Cezar Estrella, Francisco Josè Monaco (eds.). Hershey, PA, USA: IGI Global, 2012.     
3Ben Hamida A., Kon F., Ansaldi Oliva G., Moreira Dos Santos C. E., Lorrè J., Autili M., De Angelis G., Zarras A., Georgantas N., Issarny V., Bertolino A. An integrated development and runtime environment for the future Internet. In: The Future Internet - Future Internet Assembly 2012: From Promises to Reality. pp. 81 - 92. Federico Álvarez , Frances Cleary , Petros Daras et al.... (Lecture Notes in Computer Science, vol. 7281). Berlin/Heidelberg: Springer, 2012.        
4Bertolino A., De Angelis G., Di Giandomenico F., Marchetti E., Sabetta A., Spoletini P. Verification and analysis of autonomic systems for networked enterprises. In: Methodologies and Technologies for Networked Enterprises. vol. 7200 pp. 143 - 169. Giuseppe Anastasi, Emilio Bellini, Elisabetta Di Nitto, Carlo Ghezzi, Letizia Tanca, Eugenio Zimeo (eds.). (Lecture Notes in Computer Science, vol. 7200). Berlin Heidelberg: Springer-Verlag, 2012.        
5Chiaradonna S., Di Giandomenico F., Lollini P. Case Study on Critical Infrastructures: Assessment of Electric Power Systems. In: Resilience Assessment and Evaluation of Computing Systems. pp. 365 - 390. K. Wolter et al. (eds.). Berlin Heidelberg: Springer-Verlag, 2012.     
6Kavulya S. P., Joshi K., Di Giandomenico F., Narasimhan P. Failure Diagnosis of Complex Systems. In: Resilience Assessment and Evaluation of Computing Systems. pp. 239 - 261. K. Wolter et al. (eds.). Berlin Heidelberg: Springer-Verlag, 2012.     

Proceedings

   2012
1Bartolini C., Bertolino A., Ciancone A., De Angelis G., Mirandola R. Non-functional analysis of service choreographies. In: PESOS 2012 - 2012 ICSE Workshop on Principles of Engineering Service Oriented Systems (Zurich, Switzerland, 4 June 2012). Proceedings, pp. 8 - 14. IEEE, 2012.           
2Bartolini C., Bertolino A., Ciancone A., De Angelis G., Mirandola R. Quality requirements for service choreographies. In: WebIST 2012 - 8th International Conference on Web Information Systems and Technologies (Porto, Portugal, 18-21 April 2012). Proceedings, pp. 143 - 148. Karl-Heinz Krempels, José Cordeiro (eds.). SciTePress Digital Library, 2012.  
3Ben Hamida A., Bertolino A., Calabrò A., De Angelis G., Lago N., Lesbegueries J. Monitoring service choreographies from multiple sources. In: SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop (Pisa, Italy, 27-28 September 2012). Proceedings, pp. 134 - 149. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.        
4Bertolino A., Daoudagh S., Lonetti F., Marchetti E. Automatic XACML requests generation for policy testing. In: SecTest 2012/ICST 2012 - IEEE Fifth International Conference on Software Testing, Verification and Validation. The Third International Workshop on Security Testing (Montreal, QC, Canada, 17-21 April 2012). Proceedings, pp. 842 - 849. IEEE, 2012.        
5Bertolino A., Di Marco A., Lonetti F. Complex events specification for properties validation. In: QUATIC - 8th International Conference on the Quality of Information and Communications Technology (Lisbon, Portugal, 3 - 6 September 2012). Proceedings, pp. 85 - 94. IEEE, 2012.     
6Bertolino A., Daoudagh S., Lonetti F., Marchetti E., Martinelli F., Mori P. Testing of PolPA authorization systems. In: AST 2012 - 7th International Workshop on Automation of Software Test (Zurich, Switzerland, 2-3 June 2012). Proceedings, pp. 8 - 14. IEEE, 2012.        
7Bertolino A., Daoudagh S., Lonetti F., Marchetti E. The X-CREATE framework: a comparison of XACML policy testing strategies. In: WEBIST 2012 - 8th International Conference on Web Information Systems and Technologies (Porto, Portugal, 18 - 21 April 2012). Proceedings, pp. 155 - 160. Karl-Heinz Krempels, José Cordeiro (eds.). SciTePress Digital Library, 2012.     
8Biscoglio I., Coco A., Fabbrini F., Fusani M., Lami G., Marchetti E., Trentanni G. A case study of requirements quality analysis. In: QUATIC 2012 - Industrial Track - 8th International Conference on the Quality of Information and Communications Technology (Lisboa, Portugal, 3-6 September 2012). Proceedings, article n. 57. Isabel Ferreira, José Carlos Costa, Elsa Cardoso, Susana Fontes (eds.). ACS03, 2012.     
9Chiaradonna S., Di Giandomenico F., Nostro N. Analysis of electric power systems accounting for interdependencies in heterogeneous scenarios. In: EDCC 2012 - Ninth European Dependable Computing Conference (Sibiu, Romania, 8-11 Maggio 2012). Proceedings, pp. 84 - 93. IEEE, 2012.        
10Chiaradonna S., Di Giandomenico F., Nostro N. Model-based assessment of multi-region electric power systems showing heterogeneous characteristics. In: SAFECOMP 2012 - Computer Safety, Reliability, and Security. SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, (Magdeburg, Germania, 25- 28 September 2012). Proceedings, pp. 328 - 339. Frank Ortmeier, Peter Daniel (eds.). (Lecture Notes in Computer Science, vol. 7613). Springer, 2012.        
11De Angelis G., Bertolino A., Polini A. Validation and verification policies for governance of service choreographies. In: WebIST 2012 - 8th International Conference on Web Information Systems and Technologies (Porto, Portugal, 18-21 April 2012). Proceedings, pp. 58 - 70. Karl-Heinz Krempels, José Cordeiro (eds.). SciTePress Digital Library, 2012.  
12Ferrari A., Itria M. L., Itria M. L., Chiaradonna S., Spagnolo G. O. Model-based evaluation of the availability of a CBTC system. In: SERENE 2012 - Software Engineering for Resilient Systems. 4th International Workshop (Pisa, Italy, 27-28 September 2012). Proceedings, pp. 165 - 179. Paris Avgeriou (ed.). (Lecture Notes in Computer Science, vol. 7527). Springer, 2012.           

Technical reports

   2012
1Bertolino A., Daoudagh S., Lonetti F., Marchetti E. Modelling and testing of XACML policies. Technical report, 2012.  
2Bertolino A., Marchetti E., Morichetta A. Towards a framework for proactive monitoring of service choreography. Technical report, 2012.  
3Di Giandomenico F., Itria M. L., Masci P., Nostro N. Networks of heterogeneous and dynamic interoperable systems: an approach to enhance dependability and performance properties. Manoscritto da sottomettere a rivista internazione, Technical report, 2012.  

Software

   2012
1Bertolino A., Calabrò A., De Angelis G. Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE. [Software] , 11 December 2012.  
2Bertolino A., De Angelis G., Di Sandro A., Sabetta A. MOdel Testing by Human Interrogations & Answers. [Software] , 11 December 2012.  
3Bertolino A., Di Marco A., Lonetti F. Property meta model. [Software] Release 1.2 , 10 December 2012.  
4Bertolino A., Daoudagh S., Lonetti F., Marchetti E. XaCml REquests derivAtion for TEsting. [Software] Release 1.2 , 07 November 2012.  
5Itria M. L., Nostro N., Martinucci M. Deper (Dependability and Performance Analyser). [Software] Release 1.0 , 11 December 2012.  
6Pagano P., Zoppi F., Mulas D., Mameli F., Diciotti R., Volpini F., Pulcini J., Beltrame R., Fantini E. ExBox - Sistema Informativo di Istituto per la condivisione di dati fra Applicazioni. [Software] Release 1.0 , 15 October 2012.  

Abstracts

   2012
1Di Marco A., Lonetti F., De Angelis G. Property-driven software engineering approach. In: ICST 2012 - Fifth International Conference on Software Testing, Verification and Validation (Montreal, Canada, 17-21 April 2012). Abstract, pp. 966 - 967. IEEE, 2012.