Publications

Details
Category: Uncategorised
Hits: 367

Publications supported by the ADVANCE project

  1. L. Dias da Silva, D. Mongelli, P. Lollini, A. Bondavalli, G. Mandó. Performability Analysis of a Tramway System with Virtual Tags and Local Positioning. In: 9th Latin-American Symposium on Dependable Computing (LADC), 2019. (Best paper award)
  2. N. Laranjeiro, C. Gomez, E. Schiavone, L. Montecchi, M. J. M. Carvalho, P. Lollini and Z. Micskei. Addressing Verification and Validation Challenges in Future Cyber-Physical Systems. In: 9th Latin-American Symposium on Dependable Computing (LADC), 2019.
  3. M. Gharib and A. Bondavalli. On the Evaluation Measures for Machine Learning Algorithms for Safety-critical Systems. In the 15th European Dependable Computing Conference (EDCC), 2019.
  4. M. Gharib, P. Lollini and A. Bondavalli. Toward a Model-based Approach for Analyzing Information Quality Requirements for Smart Grid. In Proc. of the International Workshop on Dependable SOlutions for Intelligent Electricity Distribution GRIds (DSOGRI) 2019.
  5. João Agnelo, Nuno Laranjeiro, Jorge Bernardino, Using Orthogonal Defect Classification to characterize NoSQL database defects, Journal of Systems and Software, Volume 159, 2020, 110451, ISSN 0164-1212
  6. Fábio Lopes, João Agnelo, César A. Teixeira, Nuno Laranjeiro, Jorge Bernardino, Automating orthogonal defect classification using machine learning algorithms, Future Generation Computer Systems, Volume 102, 2020, Pages 932-947, ISSN 0167-739X
  7. L. Leal, L. Montecchi, A. Ceccarelli, E. Martins. Exploiting MDE for Platform-Independent Testing of Service Orchestrations. In: 15th European Dependable Computing Conference (EDCC 2019), pp. 149-152. Naples, Italy, September 17-20, 2019.
  8. D. Sierra, L. Montecchi, I. Mura. Stochastic Modeling and Analysis of Vapor Cloud Explosions Domino Effects in Chemical Plants. In: Journal of the Brazilian Computer Society, Vol. 25, pp. 11:1-11:19 (October 2019).

Publications related to the ADVANCE project

  1. L. Montecchi, P. Lollini, A. Bondavalli. A Template-Based Methodology for the Specification and Automated Composition of Performability Models. In: IEEE Transactions on Reliability (2019), In press.
  2. E. Rodrigues Jr., L. Montecchi. Towards a Structured Specification of Coding Conventions. In: 24th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019), pp. 168-177. Kyoto, Japan, December 1-3, 2019.