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

   2017
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

   2017
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.        

Proceedings

   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.        

Technical reports

   2017
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.  
4Subramanian V., Bertolino A. A systematic mapping study on business process-oriented e-Learning. Currently under review for journal publication. Technical report, 2017.