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.


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.        

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.