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

1Bertolino A., Daoudagh S., Lonetti F., Marchetti E., Schilders L. Automated testing of eXtensible access control markup language-based access control systems. In: IET Software, vol. 7 (4) pp. 203 - 212. IET DL, 2013.        
2Bertolino A., Inverardi P., Muccini H. Software architecture-based analysis and testing: a look into achievements and future challenges. In: Computing, vol. 95 (8) pp. 633 - 648. Editorial on Software Architecture for Testing and Analysis. Springer, 2013.        
3Chiaradonna S., Di Giandomenico F., Nostro N. Stochastic assessment of power systems in presence of heterogeneity. In: International Journal of Critical Computer-Based Systems, vol. 4 (4) pp. 326 - 348. Inderscience Publishers, 2013.        
4Di Giandomenico F., Bertolino A., Calabro A., Nostro N. An approach to adaptive dependability assessment in dynamic and evolving connected systems. In: International Journal of Adaptive, Resilient and Autonomic Systems, vol. 4 (1) pp. 1 - 25. IGI Publishing, 2013.        

Contribution to Book/Monograph

1Beccuti M., Chiaradonna S., Di Giandomenico F., Donatelli S., Dondossola G., Franceschinis G. Model-based evaluation of the impact of attacks to the telecommunication service of the electrical grid. In: Critical Information Infrastructure Protection and Resilience in the ICT Sector. pp. 220 - 241. Paul Théron, Sandro Bologna (eds.). Hershey PA, USA: IGI GLOBAL, 2013.        
2Bertolino A., Calabrò A., Di Giandomenico F., Nostro N., Inverardi P., Spalazzese R. On-the-fly dependable mediation between heterogeneous networked systems. In: Software and Data Technologies. Revised selected papers. pp. 20 - 37. María José Escalona, José Cordeiro, Boris Shishkov (eds.). (Communications in Computer and Information Science - ISSN: 1865-0929, vol. 303). Berlin: Springer, 2013.        
3Lonetti F., Martelli F. Tag Identification Protocols in RFID Systems. In: Security and Trends in Wireless Identification and Sensing Platform Tags: Advancements in RFID. pp. 1 - 33. Pedro Peris Lopez, Julio C. Hernandez-Castro, Tieyan Li. Pennsylvania, USA: IGI Global, 2013.        


1Ali M., De Angelis G., Polini A. ServicePot - An extensible registry for choreography governance. In: SOSE 2013 - Seventh IEEE International Symposium on Service-Oriented System Engineering (San Francisco, March 25-28 2013). Proceedings, pp. 113 - 124. IEEE, 2013.           
2Bartolini C., Bertolino A., De Angelis G., Ciancone A., Mirandola R. Apprehensive QoS monitoring of service choreographies. In: SAC'13 - 28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, 18-22 March 2013). Proceedings, pp. 1893 - 1899. ACM, 2013.           
3Bertolino A., Calabrò A., De Angelis G. A generative approach for the adaptive monitoring of SLA in service choreographies. In: ICWE 2013 - Web Engineering. 13th International Conference (Aalborg, Denmark, 8-12 July 2013). Proceedings, pp. 408 - 415. Florian Daniel, Peter Dolog, Qing Li (eds.). (Lecture Notes in Computer Science, vol. 7977). Springer, 2013.        
4Bertolino A., Busch M., Daoudagh S., Koch N., Lonetti F., Marchetti E. A toolchain for designing and testing XACML policies. In: ICST - IEEE Sixth International Conference on Software Testing, Verification and Validation (Luxembourg, 18-22 March 2013). Proceedings, pp. 495 - 496. IEEE, 2013.        
5Bertolino A., Calabrò A., De Angelis G. Adaptive SLA Monitoring of Service Choreographies Enacted on the Cloud. In: Mesoca 2013 - IEEE 7th International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (Eindhoven, Netherlands, 22-23 September 2013). Proceedings, pp. 92 - 101. IEEE, 2013.        
6Bertolino A., Daoudagh S., Lonetti F., Marchetti E. XACMUT: XACML 2.0 Mutants generator. In: Mutation 2013 - The 8th International Workshop on Mutation Analysis (Luxembourg, 18 March 2013). Proceedings, pp. 28 - 33. IEEE, 2013.        
7Di Giandomenico F., Fantechi A., Gnesi S., Itria M. Stochastic model-based analysis of railway operation to support traffic planning. In: SERENE 2013 - Software Engineering for Resilient Systems. 5th International Workshop (Kiev, Ukraine, 2-4 October 2013). Proceedings, pp. 184 - 198. Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko (eds.). (Lecture Notes in Computer Science, vol. 8166). Springer, 2013.        


1Bertolino A., Cooper K., (eds.) .. Guest Editorial for Special Section from Component-based Software Engineering (CBSE) 2011. vol. 55 (2) pp. 443 - 444. Elsevier, 2013.        

Technical reports

1Bailer W., Biscoglio I., Boch L., Borgotallo R., Chakravarthy A., Foster S., Falchi F., Gallo F., Ligios L., Laurenson P., Marchetti E., Melas P., Rendina M., Walland P. PRESTO4U - Research Outputs Assessments v1. European Technology for Digital Audiovisual Media Preservation (Presto4U). Deliverable D3.2, 2013.     
2Di Giandomenico F., Itria M., Masci P., Nostro N. Networks of heterogeneous and dynamic interoperable systems: an approach to enhance dependability and performance properties. Lavoro sottomesso alla rivista RESS - Reliability Engineering & System Safety, Technical report, 2013.  
3Lonetti F., Bertolino A., Di Marco A., Sabetta A. Meta-modeling of non-functional properties. Technical report, 2013.  
4Meghini C., Versienti L., Wright R., Verbruggen E., Lindgaard P. H., Christensen T., Marchetti E., Biscoglio I. PRESTO4U - D2.1 CoP Knowledge Schema. Presto4U. Deliverable D2.1, 2013.  
5Rodríguez F. T., Lonetti F., Bertolino A., Usaola M. P., Lamancha B. P. Extending the non-functional modeling of UML-TP. Technical report, 2013.