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.

 

A - Dependable Computing Laboratory (DC) [Past Unit]


Proceedings

   2010
1Di Giandomenico F., Kwiatkowska M., Martinucci M., Masci P., Qu H. Dependability analysis and verification for connected systems. In: ISoLA 2010 - Leveraging Applications of Formal Methods, Verification, and Validation. 4th International Symposium on Leveraging Applications (Heraklion, GREECE, 18-21 October 2010). Proceedings, vol. II pp. 263 - 277. Margaria Tiziana, Steffen Bernhard (eds.). (Lecture Notes in Computer Science, vol. 6416). Springer, 2010.  
2Di Marco A., Bertolino A., Di Giandomenico F., Masci P., Sabetta A. Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems. In: ISSTA/WODA 2010 - Eighth International Workshop on Dynamic Analysis (Trento, Italy, 12-16 July 2010). Proceedings, pp. 32 - 37. ACM, 2010.        
3Masci P., Chiaradonna S., Di Giandomenico F. Dependability analysis of diffusion protocols in wireless networks with heterogeneous node capabilities. In: EDCC 2010 - 2010 European Dependable Computing Conference (Valencia, Spain, 28-30 April 2010). Proceedings, pp. 145 - 154. IEEE, 2010.        

Technical reports

   2010
1Masci P., Martinucci M., Di Giandomenico F. Towards automated dependability analysis of dynamically connected syste. Technical report, 2010.  

Abstracts

   2010
1Bertolino A., Di Giandomenico F., Masci P., Sabetta A., Issarny V., Saadi R., Martinelli F., Matteucci I., Di Marco A. Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach. In: SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems (London - UK, 13-16 April 2010).   

 

B - Software Engineering Laboratory (SE) [Past Unit]


Journal articles

   2010
1Fusani M., Marchetti E. Damages and benefits of certification: a perspective from an indipendent assessment body. In: Electronic Communications of the EASST, vol. 33 article n. 2. Special issue: OpenCert 2010 - Fourth International Workshop on Foundations and Techniques for Open Source Software Certification (Pisa, 17-18 September 2010). Louis Barbosa, Antonio Cerone, Siraj A. Shaikh (eds.). EASST, 2010.     

Proceedings

   2010
1Bertolino A., Inverardi P., Sabetta A., Spalazzese R. On-the-fly interoperability through automated mediator synthesis and monitoring. In: ISOLA 2010 - 4th International Symposium on Leveraging Applications (Heraclion, Crete, Greece, 18-21 October 2010). Proceedings, pp. 251 - 262. (Lecture Notes in Computer Science, vol. 6416). Springer, 2010.        
2Bertolino A., Lonetti F., Marchetti E. Systematic XACML request generation for testing purposes. In: EUROMICRO SEAA 2010 - 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) (Lille, France, 1-3 September 2010). Proceedings, pp. 3 - 11. IEEE, 2010.        
3Bertolino A., Cartaxo E., Machado P., Marchetti E., Ouriques J. F. Test suite reduction in good order: comparing heuristics from a new viewpoint. In: ICTSS-SBMF-SAST 2010 - 22nd IFIP International Conference ON testing Software and Systems (Natal, Brazil, 8-12 November 2010). Proceedings, pp. 13 - 18. Centre de Recherche Informatique de Montreal, 2010.     
4De Angelis F., Polini A., De Angelis G. A counter-example testing approach for orchestrated services. In: ICST 2010 - Third International Conference on Software Testing, Verification and Validation (Paris, 6-10 April 2010). Proceedings, pp. 373 - 382. IEEE Computer Society, 2010.           
5Di Marco A., Bertolino A., Di Giandomenico F., Masci P., Sabetta A. Metrics for QoS analysis in dynamic, evolving and heterogeneous CONNECTed systems. In: ISSTA/WODA 2010 - Eighth International Workshop on Dynamic Analysis (Trento, Italy, 12-16 July 2010). Proceedings, pp. 32 - 37. ACM, 2010.        
6Di Marco A., Sabetta A. Model-based dynamic QoS-driven service composition. In: QUASSOS 2010 - 2nd International Workshop on the Quality of Service-Oriented Software Systems (Oslo, Norway, 04 October 2010). Proceedings, article n. 5. (ACM International Conference Proceeding Series). ACM, 2010.           
7Lonetti F., Marchetti E. X-MuT: a tool for the generation of XSLT mutants. In: QUATIC 2010 - Seventh International Conference on the Quality of Information and Communications Technology (Porto, Portugal, 29 September-2 October 2010). Proceedings, pp. 280 - 285. F. Brito, Abreu, J. Pascoal de Faria, R. J. Machado (eds.). IEEE, 2010.     

Editorials

   2010
1Sabetta A., Babau J., Blay-Fornarino M., Champeau J., Sylvain R., (eds.) .. MARTE modelling, model transformations and their usages. p. 256. John Wiley & Sons, 2010.     

Technical reports

   2010
1Bertolino A., CalabrĂ² A., Lonetti F., Sabetta A. GLIMPSE: a generic and flexible monitoring infrastructure. Lavoro sottomesso a ICPE2011, Technical report, 2010.  
2Bertolino A., Lonetti F., Marchetti E. Systematic XACML request generation for testing purposes. Technical report, 2010.  
3Borri F., Mulas D. La Gestione dei progetti nel Settimo Programma Quadro (giornate 2 e 3). Corso tenuto c/o Area della Ricerca di PIsa in due edizioni : 18-21/05 e 09-10/06. 2010.           
4Daoudagh S., Lonetti F., Marchetti E. Generazione automatica di casi di test per sistemi di controllo degli accessi espressi tramite XACML. Technical report, 2010.  
5Mulas D., Borri F. La Gestione dei Progetti nel Settimo Programma Quadro (giornate 1 e 4). Corso tenuto c/o Area della Ricerca di Pisa, in due edizioni: 18-21/05 e 09-10/06. 2010.     

Abstracts

   2010
1Bertolino A., Di Giandomenico F., Masci P., Sabetta A., Issarny V., Saadi R., Martinelli F., Matteucci I., Di Marco A. Dependability in dynamic, evolving and heterogeneous systems: the CONNECT approach. In: SERENE 2010 - 2nd International Workshop on Software Engineering for Resilient Systems (London - UK, 13-16 April 2010).