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

   2016
1Autili M., Bertolino A., De Angelis G., Di Ruscio D., Di Sandro A. A tool-supported methodology for validation and refinement of early-stage domain models. In: IEEE Transactions on Software Engineering, vol. 42 (1) pp. 2 - 25. IEEE, 2016.        
2Basile D., Chiaradonna S., Di Giandomenico F., Gnesi S. A stochastic model-based approach to analyze reliable energy-saving rail road switch heating systems. In: Journal of Rail Transport Planning and Management, vol. 6 (2) pp. 163 - 181. Elsevier, 2016.           
3Basile D., Degano P., Ferrari G. Automata for specifying and orchestrating service contracts. In: Logical Methods in Computer Science, vol. 12 (4) article n. 6. Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2016.        
4Basile D., Degano P., Ferrari G., Tuosto E. Relating two automata-based models of orchestration and choreography. In: The Journal of Logic and Algebraic Programming, vol. 85 (3) pp. 425 - 446. Elsevier, 2016.        
5Miranda B., Bertolino A. Scope-aided test prioritization, selection and minimization for software reuse. In: Journal of Systems and Software, [Online First 27 June 2016]        
6Nostro N., Spalazzese R., Di Giandomenico F., Inverardi P. Achieving functional and non functional interoperability through synthesized connectors. In: The Journal of Systems and Software, vol. 111 (January 2016) pp. 185 - 199. Elsevier, 2016.        

Contribution to Book/Monograph

   2016
1De Angelis G., Pirantonio A., Polini A., Re B., Thönssen B., Woitsch R. Modeling for learning in public administrations - The learn PAd approach. In: Domain-Specific Conceptual Modeling: Concepts, Methods and Tools. pp. 575 - 594. Dimitris Karagiannis, Heinrich C. Mayr, John Mylopoulos (eds.). Switzerland: Springer International Publishing, 2016.        

Proceedings

   2016
1Basile D., Di Giandomenico F., Gnesi S. Tuning energy consumption strategies in the railway domain: a model-based approach. In: ISoLA 2016 - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium (Corfu, Greece, 10-14 October 2016). Proceedings, vol. II pp. 315 - 330. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science, vol. 9953). Springer International Publishing, 2016.           
2Bertolino A., De Angelis G., Polini A. Learn PAd: collaborative and model-based learning in public administrations. In: i-CiTies 2016 - 2nd CINI Annual Workshop on ICT for Smart Cities & Communities (Benevento, Italy, 29-30 September 2016). Atti, pp. 81 - 82. CINI, 2016.     
3Bertolino A., Daoudagh S., Lonetti F., Marchetti E. Testing access control policies against intended access rights. In: SAC 2016 - 31st Annual ACM Symposium on Applied Computing (Pisa, Italy, 4-8 April 2016). Proceedings, pp. 1641 - 1647. ACM, 2016.        
4Bertolino A., Calabrò A., Lonetti F., Marchetti E. Towards business process execution adequacy criteria. In: SWQD 2016 - Software Quality. The Future of Systems and Software Development. 8th International Conference (Wien, Austria, 18-21 January 2016). Proceedings, pp. 37 - 48. Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.). (Lecture Notes in Business Information Processing, vol. 238). Springer, 2016.        
5Calabrò A., Lonetti F., Marchetti E., Spagnolo G. O. Enhancing business process performance analysis through coverage-based monitoring. In: QUATIC 2016 - 10th International Conference on the Quality of Information and Communications Technology (Lisbon, Portugal, 6-9 September 2016). Proceedings, pp. 35 - 43. IEEE, 2016.     
6Calabrò A., Lonetti F., Marchetti E., Zribi S., Jorquera T. Model-based learning assessment management. In: MODELSWARD 2016 - LMCO special session - 4th International Conference on Model-Driven Engineering and Software Development - Special Session on Learning Modeling in Complex Organizations (Rome, Italy, 19-21 February 2016). Proceedings, pp. 743 - 752. Slimane Hammoudi, Luis Ferreira Pires, Bran Selic, Philippe Desfray (eds.). SCITEPRESS, 2016.  
7Chiaradonna S., Di Giandomenico F., Masetti G. A stochastic modelling framework to analyze smart grids control strategies. In: SEGE 2016 - 4th IEEE International Conference on Smart Energy Grid Engineering (Oshawa, Canada, 21-24 August 2016). Proceedings, pp. 123 - 130. IEEE, 2016.           
8Chiaradonna S., Di Giandomenico F., Masetti G. Analyzing the impact of failures in the electric power distribution grid. In: LADC 2016 - Seventh Latin-American Symposium on Dependable Computing (Calì, Colombia, 19-21 October 2016). Proceedings, pp. 99 - 108. IEEE, 2016.        
9Chiaradonna S., Di Giandomenico F., Xiao J. Quantification of the effectiveness of medium voltage control policies in smart grids. In: HASE 2016 - IEEE 17th International Symposium on High Assurance Systems Engineering (Orlando, FL, USA, 7-9 January 2016). Proceedings, pp. 284 - 291. IEEE, 2016.        
10De Angelis G., Ferrari A., Gnesi S., Polini A. Collaborative requirements elicitation in a european research project. In: SAC 2016 - 31st Annual ACM Symposium on Applied Computing (Pisa, Italy, 4-8 April 2016). Proceedings, pp. 1282 - 1289. ACM, 2016.        
11Masetti G., Chiaradonna S., Di Giandomenico F. Exploring equations ordering influence on variants of the Newton-Raphson method. In: NUMTA 2016 - 2ND International Conference "Numerical Computations: Theory and Algorithms" (Pizzo Calabro, Italy, 19-25 June 2016). Proceedings, article n. 090053. Yaroslav D. Sergeyev , Dmitri E. Kvasov , Francesco Dell’Accio, Marat S. Mukhametzhanov (eds.). (AIP Conference Proceedings, vol. 1776). AIP Publishing, 2016.        
12Miranda B., Bertolino A. Does code coverage provide a good stopping rule for operational profile based testing?. In: AST @ICSE2016 - 11th International Workshop on Automation of Software Test (Austin, Texas, USA, 14-15 May 2016). Proceedings, pp. 22 - 28. ACM, 2016.        
13Nostro N., Matteucci I., Ceccarelli A., Santini F., Di Giandomenico F., Martinelli F., Bondavalli A. A multi-criteria ranking of security countermeasures. In: SAC'16 - 31st Annual ACM Symposium on Applied Computing (Pisa, Italy, 4-8 April 2016). Proceedings, pp. 530 - 533. ACM, 2016.        
14Spagnolo G. O., Marchetti E., Coco A., Scarpellini P., Querci A., Fabbrini F., Gnesi S. An experience on applying process mining techniques to the Tuscan port community system. In: SWQD 2016 - Software Quality. The Future of Systems and Software Development. 8th International Conference (Vienna, Austria, 18-21 January 2016). Proceedings, pp. 49 - 60. Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.). (Lecture Notes in Business Information Processing, vol. 238). Springer, 2016.        
15Subramanian V., Bertolino A. Learning path specification for workplace learning based on business process management. In: CSEDU 2016 - International Conference on Computer Supported Education (Roma, Italy, 21-23 April 2016). Proceedings, pp. 172 - 180. Scitepress, 2016.        
16Subramanian V., Bertolino A. Monitoring of learning path for business process models. In: AMARETTO 2016 - International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn (Rome, Italy, 19 February 2016). Proceedings, pp. 62 - 72. Scitepress, 2016.        
17Xiao J., Chiaradonna S., Di Giandomenico F., Pimentel A. Improving voltage control in MV smart grids. In: SmartGridComm 2016 - IEEE International Conference on Smart Grid Communications (Sydney, Australia, 6-9 November 2016). Proceedings, article n. 7778791. IEEE, 2016.        
18Zribi S., Calabrò A., Lonetti F., Marchetti E., Jorquera T., Lorré J. Design of a simulation framework for model-based learning. In: MODELSWARD 2016 - 4th International Conference on Model-Driven Engineering and Software Development (Rome, Italy, 19-21 February 2016). Proceedings, pp. 631 - 639. Slimane Hammoudi, Luis Ferreira Pires, Bran Selic, Philippe Desfray (eds.). SCITEPRESS, 2016.  

Technical reports

   2016
1Banterle F., Barsocchi P., Candela L., Carlini E., Carrara F., Cassarà P., Ciancia V., Cintia P., Dellepiane M., Esuli A., Gabrielli L., Germanese D., Girardi M., Girolami M., Kavalionak H., Lonetti F., Lulli A., Moreo Fernandez A., Moroni D., Nardini F. M., Monteiro De Lira V. C., Palumbo F., Pappalardo L., Pascali M. A., Reggiannini M., Righi M., Rinzivillo S., Russo D., Siotto E., Villa A. ProgettISTI 2016. Technical report, 2016.  
2Barsocchi P., Candela L., Ciancia V., Dellepiane M., Esuli A., Girardi M., Girolami M., Guidotti R., Lonetti F., Malomo L., Moroni D., Nardini F. M., Palumbo F., Pappalardo L., Pascali M. A., Rinzivillo S. ISTI Young Research Award 2016. Technical report, 2016.  
3Basile D., Chiaradonna S., Di Giandomenico F., Gnesi S. Stochastic model-based evaluation of reliable energy-saving rail road switch heating systems. Progetti: PRIN CINA, PRIN TENACE, Technical report, 2016.  
4Miranda B., Bertolino A. Scope-aided test prioritization, selection and minimization for software reuse. Technical report, 2016.  
5Re B., Polini A., Corradini F., Thönssen B., Efendioglu N., Simard J., Sergiacomi A., Balducci A., Giorgio L., Carota S., Ferrari A., Gnesi S., Spagnolo G. O., Bertolino A. LEARN PAD - Demonstrators populated learning platform. Learn PAd - Model-Based Social Learning for Public Administrations. Deliverable D8.3, 2016.  

Abstracts

   2016
1Basile D., Di Giandomenico F., Gnesi S. Energy-saving buildings assessment through stochastic hybrid model-based evaluation. In: I-CiTies 2016 - 2th CINI Annual Conference on ICT for Smart Cities & Communities (Benevento, Italy, 29-30 Settembre 2016).      
2Bertolino A., De Angelis G., Polini A., Silingas D. Learn PAd: model-based social learning for public administrations. In: CSEDU 2016 - 8th International Conference on Computer Supported Education (Rome, Italy, 22 June 2016).   
3Chiaradonna S., Di Giandomenico F., Masetti G. Efficient non-anonymous composition operator for modeling complex dependable systems. In: EDCC 2016 - 12nd European Dependable Computing Conference (Gothenburg, Sweden, 5-9 September 2016). Abstract, article n. 1609.01055. arXiv.org, 2016.