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

   2014
1Ali M., De Angelis F., Fanì D., Bertolino A., De Angelis G., Polini A. An extensible framework for online testing of choreographed services. In: Computer, vol. 47 (2) pp. 23 - 29. IEEE, 2014.        
2Bertolino A., Daoudagh S., Lonetti F., Marchetti E., Martinelli F., Mori P. Testing of PolPA-based usage control systems. In: Software Quality Journal, vol. 22 (2) pp. 241 - 271. Springer, 2014.        
3Di Giandomenico F., Itria M., Masci P., Nostro N. Automated synthesis of dependable mediators for heterogeneous interoperable systems. In: Reliability Engineering & System Safety, vol. 132 (December 2014) pp. 220 - 232. Elsevier, 2014.        

Contribution to Book/Monograph

   2014
1Bertolino A., Busch M., Daoudagh S., Lonetti F., Marchetti E. A toolchain for designing and testing access control policies. In: Engineering Secure Future Internet Services and Systems - Current Research. pp. 266 - 286. Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli (eds.). (Lecture Notes in Computer Science, vol. 8431). Heidelberg: Springer, 2014.        
2Bertolino A., Le Traon Y., Lonetti F., Marchetti E., Mouelhi T. Validation of access control systems. In: Engineering Secure Future Internet Services and Systems. Current Research. pp. 210 - 233. Maritta Heisel, Wouter Joosen, Javier Lopez, Fabio Martinelli (eds.). (Lecture Notes in Computer Science, vol. 8431). Chennai, India: Springer, 2014.        

Proceedings

   2014
1Bertolino A., Daoudagh S., Lonetti F., Marchetti E. An automated testing framework of model-driven tools for XACML policy specification. In: QUATIC 2014 - 9th International Conference on the Quality of Information and Communications Technology (Guimarães, Portugal, 23-26 September 2014). Proceedings, pp. 75 - 84. IEEE, 2014.        
2Bertolino A., Le Traon Y., Lonetti F., Marchetti E., Mouelhi T. Coverage-based test cases selection for XACML policies. In: SECTEST-ICSTW 2014 - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (Cleveland, Ohio, USA, 31 Marzo 2014). Proceedings, pp. 12 - 21. IEEE, 2014.        
3Biscoglio I., Marchetti E. A case of adoption of 25000 standards family: establishing evaluation requirements in the audio-visual preservation context. In: ICSOFT-EA 2014 - 9th International Conference on Software Engineering and Applications (Vienna, Austria, 29-31 Agosto 2014). Proceedings, article n. 35. Scitepress, 2014.        
4Biscoglio I., Marchetti E. An experiment of software quality evaluation in the audio-visual media preservation context. In: QUATIC 2014 - 9th International Conference on the Quality of Information and Communications Technology (Guimaraes, Portugal, 23 - 26 SETTEMBRE 2014). Proceedings, pp. 118 - 123. Alberto Rodrigues da Silva, António Rito Silva, Miguel A. Brito, Ricardo J. Machado (eds.). IEEE, 2014.           
5Chiaradonna S., Di Giandomenico F., Murru N. On a Modeling Approach to Analyze Resilience of a Smart Grid Infrastructure. In: EDCC 2014 - Tenth European Dependable Computing Conference (EDCC), 2014 (Newcastle upon Tyne - UK, 13-16 May 2014). Proceedings, pp. 166 - 177. IEEE, 2014.        
6Di Sarno C., Garofolo A., Cerullo G., Murru N., Di Giandomenico F., Chiaradonna S. Power grid outlier treatment through Kalman filter. In: ISSREW 2014 - IEEE International Symposium on Software Reliability Engineering Workshops (Naples, Italy, 3-6 November 2014). Proceedings, pp. 407 - 412. IEEE, 2014.        
7Hagerling C., Kurtz F., Wietfeld C., Iacono D., Daidone A., Di Giandomenico F. Security Risk Analysis and Evaluation of Integrating Customer Energy Management Systems into Smart Distribution Grids. In: CIRED Workshop 2014 - 4th CIRED Workshop for Challenges of Implementing Active Distribution System Managemen (Rome, 11-12 June 2014). Proceedings, article n. 0024. CIRED, 2014.  
8Maiden N. A. M., Lockerbie J., Zachos K., Bertolino A., De Angelis G., Lonetti F. A requirements-led approach for specifying QoS-aware service choreographies: an experience report. In: REFSQ 2014 - Requirements Engineering: Foundation for Software Quality. 20th International Working Conference (Essen, Germany, 7-10 April 2014). Proceedings, pp. 239 - 253. Camille Salinesi, Inge van de Weerd (eds.). (Lecture Notes in Computer Science, vol. 8396). Springer, 2014.        
9Miranda B. A proposal for revisiting coverage testing metrics. In: ASE 2014 - 29th ACM/IEEE International Conference on Automated Software Engineering (Vasteras, Sweden, 15-19 September 2014). Proceedings, pp. 899 - 902. ACM, 2014.        
10Miranda B., Bertolino A. Social coverage for customized test adequacy and selection criteria. In: AST 2014 - 9th International Workshop on Automation of Software Test (Hyderabad, India, 31 May - 1 June 2014). Proceedings, pp. 22 - 28. ACM, 2014.        
11Nostro N., Matteucci I., Ceccarelli A., Di Giandomenico D. G., Martinelli F., Bondavalli A. On security countermeasures ranking through threat analysis. In: Computer Safety, Reliability, and Security. SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR (Florence, Italy, 8-9 September 2014). Proceedings, pp. 243 - 254. Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier (eds.). (Lecture Notes in Computer Science, vol. 8696). Springer, 2014.        
12Toledo Rodríguez F., Lonetti F., Bertolino A., Polo Usaola M., Pérez Lamancha B. Extending UML testing profile towards non-functional test modeling. In: MODELSWARD 2014 - Second International Conference on Model-Driven Engineering and Software Development (Lisbon, 7 - 9 January 2014). Proceedings, pp. 488 - 497. SCITEPRESS Digital Library, 2014.  

Editorials

   2014
1Bertolino A., Labiche Y. Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012). vol. 24 (5) pp. 339 - 340. Wiley, 2014.        
2Bondavalli A., Di Giandomenico F., (eds.) .. Computer Safety, Reliability, and Security. 33rd International Conference. pp. v - vi. Springer, 2014.        

Technical reports

   2014
1De Angelis G., Ferrari A., Gnesi S., Polini A. Software requirements elicitation in the context of a collaborative research project : technical report. Technical report, 2014.  
2Spagnolo G. O., Coco A., Marchetti E. TCPS specifica business process e log. Technical report, 2014.  

Abstracts

   2014
1Bertolino A., De Angelis G., Polini A., Silingas D. Learn PAd : model-based social learning for public administrations. In: LET'S 2014 - Leading Enabling Technologies for Societal Challenges (Bologna, Italy, 29 September - 1 October 2014).   
2Bertolino A. Software testing and/or software monitoring: differences and commonalities. In: Jornadas Sistedes - Jornadas de la Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (Sistedes) (Cadiz, Spain, 16 - 19 September 2014).