Software Engineering and Dependable Computing Laboratory (SEDC)

home | people | topics | projects | publications | software | news


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

1Bertolino A., Daoudagh S., El Kateb D., Henard C., Le Traon Y., Lonetti F., Marchetti E., Mouelhi T., Papadakis M. Similarity testing for access control. In: Information and Software Technology, vol. 58 (February 2015) pp. 355 - 372. Elsevier, 2015.        
2Chiaradonna S., Di Giandomenico F., Murru N. On enhancing efficiency and accuracy of particle swarm optimization algorithms. In: International Journal of Innovative Computing, Information & Control, vol. 11 (4) pp. 1165 - 1189. ICIC International, 2015.     

Contribution to Book/Monograph

1Biscoglio I., Marchetti E. Definition of software quality evaluation and measurement plans: a reported experience inside the audio-visual preservation context. In: Software Technologies. pp. 63 - 80. Andreas Holzinger et al... (eds.). Switzerland: Springer International Publishing, 2015.        


1Basile D., Chiaradonna S., Di Giandomenico F., Gnesi S., Mazzanti F. Stochastic model-based analysis of energy consumption in a rail road switch heating system. In: SERENE 2015 - Software Engineering for Resilient Systems. 7th International Workshop (Paris, France, 7-8 September 2015). Proceedings, pp. 82 - 98. Alessandro Fantechi, Patrizio Pelliccione (eds.). (Lecture Notes in Computer Science, vol. 9274). Springer, 2015.        
2Biscoglio I., Lami G., Marchetti E., Trentanni G. Certification and legislation. An Italian experience of fiscal software certification. In: ICSOFT - EA 2015 - 10th International Conference on Software Engineering and Applications (Colmar, Alsace, France, 20 - 22 July 2015). Proceedings, pp. 174 - 179. SCITEPRESS - Science and Technology Publications, 2015.     
3CalabrĂ² A., Lonetti F., Marchetti E. KPI Evaluation of the business process execution through event monitoring activity. In: ES 2015 - Third International Conference on Enterprise Systems (Basel, Switzerland, 14-15 October 2015). Proceedings, pp. 169 - 176. IEEE, 2015.        
4CalabrĂ² A., Lonetti F., Marchetti E. Monitoring of business process execution based on performance indicators. In: Euromicro-SEAA 2015 - 41st Euromicro Conference on Software Engineering and Advanced Applications (Funchal, Madeira, Portugal, 26-28 August 2015). Proceedings, pp. 255 - 258. IEEE, 2015.        
5Daoudagh S., El Kateb D., Lonetti F., Marchetti E., Mouelhi T. A toolchain for model-based design and testing of access control systems. In: MODELSWARD 2015 - 3rd International Conference on Model-Driven Engineering and Software Development (Angers, France, 9-11 February 2015). Proceedings, pp. 411 - 418. SCITEPRESS, 2015.     
6Daoudagh S., Lonetti F., Marchetti E. Assessment of access control systems using mutation testing. In: TELERISE 2015 - IEEE/ACM 1st International Workshop on TEchnical and LEgal aspects of data pRIvacy and SEcurity (Florence, Italy, 18 May 2015). Proceedings, pp. 8 - 13. IEEE, 2015.        
7Miranda B., Bertolino A. Improving test coverage measurement for reused software. In: SEAA 2015 - 41st Euromicro Conference on Software Engineering and Advanced Applications (Funchal, Portugal, 26-28 August 2015). Proceedings, pp. 27 - 34. IEEE, 2015.        

Technical reports

1Martinelli F., Matteucci I., Mori P., Bertolino A., CalabrĂ² A., Di Giandomenico F., Lami G., Lonetti F., Marchetti E. Secure software engineering for connected vehicles: a research agenda. Technical report, 2015.  
2Miranda B., Bertolino A. Improving test coverage measurement for reused software. Submitted for publication, Technical report, 2015.  
3Re B., Polini A., Corradini F., Fornari F., Sergiacomi A., Amici C., Balducci A., Carota S., Giorgio L., De Simone S., Ferrari A., Gnesi S., Spagnolo G. O., Efendioglu N., Bertolino A. LEARN PAD - Platform prototype early validation results. Learn PAd - Model-Based Social Learning for Public Administrations. Deliverable D8.2, 2015.  


1Basile D., Di Giandomenico F., Gnesi S. Supporting the design of intelligent railway stations. In: I-CiTies 2015 - CINI Annual Conference on ICT for Smart Cities & Communities (Palermo, Italy, 29-30 Ottobre 2015).