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.

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.        

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