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  2018 

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

1Miranda B., Bertolino A. Scope-aided test prioritization, selection and minimization for software reuse. In: Journal of Systems and Software, vol. 131 pp. 528 - 549. [Online First 27 June 2016] Elsevier, 2017.           

Contribution to Book/Monograph

1Basile D., Di Giandomenico F., Gnesi S. Model-based evaluation of energy saving systems. In: Green IT Engineering: Concepts, Models, Complex Systems Architectures. pp. 187 - 208. Vyacheslav Kharchenko, Yuriy Kondratenko, Janusz Kacprzyk (eds.). (Studies in Systems, Decision and Control, vol. 74). Cham, Switzerland: Springer International Publishing, 2017.        


1Basile D., Ter Beek M. H., Di Giandomenico F., Gnesi S. Orchestration of dynamic service product lines with featured modal contract automata. In: SPLC'17 - 21st International Systems & Software Product Line Conference (Sevilla, Spain, 25-29 September 2017). Proceedings, vol. B pp. 117 - 122. ACM, 2017.        
2Basile D., Di Giandomenico F., Gnesi S. Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: SAC 2017 - 32th ACM SIGAPP Symposium on Applied Computing (Marrakesh, Marocco, 4-6 April 2017). Proceedings, pp. 1356 - 1363. ACM, 2017.        
3Bertolino A., Miranda B., Pietrantuono R., Russo S. Adaptive coverage and operational profile-based testing for reliability improvement. In: ICSE 2017 - IEEE/ACM 39th International Conference on Software Engineering (Buenos Aires, Argentina, 20-28 May 2017). Proceedings, pp. 541 - 551. IEEE, 2017.        
4Calabṛ A., Marchetti E., Spagnolo G. O., Cempini P., Mancini L., Paoletti S. Towards the automation of the travel management procedure of an Italian public administration. In: SWQD 2017 - Software Quality. 9th International Conference on Complexity and Challenges of Software Engineering in Emerging Technologies (Vienna, Austria, 17-20 January 2017). Proceedings, pp. 175 - 187. Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.). (Lecture Notes in Business Information Processing, vol. 269). Springer, 2017.        

Technical reports

1Barsocchi P., Basile D., Candela L., Ciancia V., Delle Piane M., Esuli A., Ferrari A., Girardi M., Guidotti R., Lonetti F., Moroni D., Nardini F. M., Rinzivillo S., Vadicamo L. ISTI Young Research Award 2017. Technical report, 2017.  
2Basile D., Di Giandomenico F., Gnesi S. A refinement approach to analyse critical cyber-physical systems. Extended Version. Technical report, 2017.  
3Basile D., Ter Beek M. H., Di Giandomenico F., Gnesi S., Degano P., Ferrari G. L., Legay A. Controller synthesis of contract-based service product lines: extended version. Technical report, 2017.  
4Calabro' A. Use cases for GLIMPSE, a Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE. Use cases for GLIMPSE, a Generic fLexIble Monitoring based on a Publish-Subscribe infrastructurE. Technical report, 2017.  
5Subramanian V., Bertolino A. A systematic mapping study on business process-oriented e-Learning. Currently under review for journal publication. Technical report, 2017.