Publications supported by the ADVANCE project

  1. F. Mariotti, P. Lollini and F. Mattiello-Francisco, "The GOLDS satellite constellation: preparatory works for a model-based performability analysis," 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), Florence, Italy, 2023, pp. 162-163, doi: 10.1109/ISSREW60843.2023.00067.
  2. L. Montecchi, P. Lollini, A. Bondavalli. Stochastic Activity Networks Templates: Supporting Variability in Performability Models. In: IEEE Transactions on Reliability, Vol. 71, Issue 2, pp. 640-656, 2022. (Open access).
  3. Casare A., da Silva C., Basso, T., Moraes R. "Using a quality model to evaluate user interface trustworthiness of e-commerce systems: scoring strategies and preliminary results". In: Proc. of the 17th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications - HUCAPP, on-line, February 6-8, pp. 209-216, 2022. (Open access)
  4. Á. Hajdu, N. Ivaki, I. Kocsis, A. Klenik L. Gönczy, N. Laranjeiro, H. Madeira, A. Pataricza. Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts. IEEE Access, 2020. (Open access) DOI: 10.1109/ACCESS.2020.3032239
  5. L. Leal, L. Montecchi, A. Ceccarelli, E. Martins. Using Metamodels to Improve Model-Based Testing of Service Orchestrations. In: 25th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2020) Perth, Australia, December 1-4, 2020.  (Authors' version)
  6. E. Rodrigues Jr., L. Montecchi, A. Ceccarelli. Model-Driven Fault Injection in Java Source Code. In: 31st International Symposium on Software Reliability Engineering (ISSRE 2020). Coimbra, Portugal, October 12-15, 2020. DOI: 10.1109/ISSRE5003.2020.00046 (Authors' version)
  7. L. Montecchi, F. Moncini, P. Lollini, K. Keefe. An Eclipse-Based Editor for SAN Templates. In: 12th International Workshop on Software Engineering for Resilient Systems (SERENE 2020), pp. 159-167. Munich, Germany, September 7, 2020. DOI: 10.1007/978-3-030-58462-7_13. (Authors' version)
  8. 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. DOI: 10.1109/LADC48089.2019.8995714. (Authors' version)
  9. 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. DOI: 10.1109/EDCC.2019.00037 (Authors' version)
  10. 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). DOI: 10.1186/s13173-019-0092-8 (Open Access)

Publications related to the ADVANCE project

  1. Ivo,  A. S.; Ribeiro, S. G.; Mattiello-Francisco, F.; Bondavalli, A. Toward Conceptual Analysis of Cyber-Physical Systems Projects Focusing on the Composition of Legacy Systems. IEEE Access, v. 11, 2023.  DOI: 10.1109/ACCESS.2023.3284039
  2. C. L. G. Batista,  A. Foldvari, A. Pataricza, F. Mattiello-Francisco. Resources/Services/Demands Relationship on a Federated Cubesat Constellation System Operation. In: 17th International Conference on Space Operations (SpaceOps 2023) 6th-10th March 2023 Dubai, UAE
  3. L. Sarti, H. Bruno, T. Puccetti, E. Colombini and A. Ceccarelli, "Towards Robust Visual Odometry Systems Against Camera Lens Failures," 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), Florence, Italy, 2023, pp. 164-165, doi: 10.1109/ISSREW60843.2023.00068.
  4. M. Elekes, V. Molnár, Z. Micskei. "Assessing the specification of modelling language semantics: a study on UML PSSM". In: Software Quality Journal, 1-42, 2023. doi: 10.1007/s11219-023-09617-5 (Open Access)
  5. S. Rodriguez Gonzalez, J. Betancourt Osorio, G. Pardo González, D. Cuellar, C. Gomez, F. Mariotti, L. Montecchi, and P. Lollini. 2023. Modeling attacker behavior in Cyber-Physical-Systems. In Proceedings of the 11th Latin-American Symposium on Dependable Computing (LADC '22). Association for Computing Machinery, New York, NY, USA, 117–124. https://doi.org/10.1145/3569902.3570188
  6. M. Dobos-Kovács, A. Vörös. "Evaluation of SMT solvers in abstraction-based software model checking". In Proc. of the 11th Latin-American Symposium on Dependable Computing (LADC '22). ACM, 109–116, 2023. doi: 10.1145/3569902.3570187
  7. D. Paiva, J. M. Duarte, R. Lima, M. Carvalho, F. Mattiello-Francisco and H. Madeira, "Fault injection platform for affordable verification and validation of CubeSats software," 2021 10th Latin-American Symposium on Dependable Computing (LADC), Florianopolis, Brazil, 2021, pp. 1-11, doi: 10.1109/LADC53747.2021.9672584.
  8. Tito J., Basso T., Moraes R. "ORUN - A virtual reality serious-game for kinematics learning". In: Proc. of IEEE Conf. on Virtual Reality and 3D User Interfaces Abstracts and Workshops - VRW, on-line, pp. 978-979, 2022.
  9. Casare A., da Silva C., Moraes R. "Do dependable systems need good user interfaces?". In: Proc. of the 11th Latin-American Symposium on Dependable Computing, Fortaleza, Brasil, November 21-26, pp. 1-8, 2022.
  10. Terrosi, Francesco, Andrea Ceccarelli, and Andrea Bondavalli. "Failure modes and failure mitigation in GPGPUs: a reference model and its application." 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC). IEEE, 2022.
  11. Atif, Muhammad, et al. "Robust Traffic Sign Recognition Against Camera Failures." IEEE Open Journal of Intelligent Transportation Systems 3 (2022): 709-722. https://doi.org/10.1109/OJITS.2022.3213183 (Open Access)
  12. Gharib, Mohamad, et al. "A cyber–physical–social approach for engineering Functional Safety Requirements for automotive systems." Journal of Systems and Software 189 (2022): 111310.
  13. Ceccarelli, Andrea, and Francesco Secci. "RGB cameras failures and their effects in autonomous driving applications." IEEE Transactions on Dependable and Secure Computing (2022).
  14. Atif, Muhammad, et al. "Towards enhancing traffic sign recognition through sliding windows." Sensors 22.7 (2022): 2683. https://doi.org/10.3390/s22072683 (Open Access)
  15. Danilo Pallamin de Almeida; Bence Graics; Ronan Arraes Jardim Chagas; Fabiano Luis de Sousa; Fatima Mattiello-Francisco. "Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View". 10th Latin-American Symposium on Dependable Computing (LADC), DOI: 10.1109/LADC53747.2021.9672594 (2021)
  16. Piazzesi, Niccolò, Massimo Hong, and Andrea Ceccarelli. "Attack and Fault Injection in Self-driving Agents on the Carla Simulator–Experience Report." International Conference on Computer Safety, Reliability, and Security. Springer, Cham, 2021.
  17. Zoppi, Tommaso, and Andrea Ceccarelli. "Detect Adversarial Attacks Against Deep Neural Networks With GPU Monitoring." IEEE Access 9 (2021): 150579-150591.
  18. Zoppi, Tommaso, Andrea Ceccarelli, and Andrea Bondavalli. "Detecting Intrusions by Voting Diverse Machine Learners: Is It Really Worth?." 2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE, 2021.
  19. Zoppi, Tommaso, et al. "Unsupervised anomaly detectors to detect intrusions in the current threat landscape." ACM/IMS Transactions on Data Science 2.2 (2021): 1-26.
  20. Zoppi, Tommaso, Andrea Ceccarelli, and Andrea Bondavalli. "Unsupervised algorithms to detect zero-day attacks: Strategy and application." Ieee Access 9 (2021): 90603-90615.
  21. Zoppi, Tommaso, and Andrea Ceccarelli. "Prepare for trouble and make it double! Supervised–Unsupervised stacking for anomaly-based intrusion detection." Journal of Network and Computer Applications 189 (2021): 103106.
  22. Gharib, Mohamad, Leandro Dias da Silva, and Andrea Ceccarelli. "A model to discipline autonomy in cyber‐physical systems‐of‐systems and its application." Journal of Software: Evolution and Process9 (2021): e2328.
  23. Atif, Muhammad, Andrea Ceccarelli, and Andrea Bondavalli. "Reliable Traffic Sign Recognition System." Anais Estendidos do X Latin-American Symposium on Dependable Computing. SBC, 2021. https://doi.org/10.5753/ladc.2021.18528
  24. Atif, Muhammad, et al. "Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition." Proceedings of the 36th Annual ACM Symposium on Applied Computing . 2021. https://doi.org/10.1145/3412841.3442072
  25. Casare, Andréia Rodrigues; Silva, C. G. ; Moraes, R. L. O. ; Basso, T. . Towards Usability Interface Trustworthiness in e-Commerce Systems. In: 15th International Conference on Interfaces and Human Computer Interaction, 2021, Virtual. Proc. of the 15th International Conference on Interfaces and Human Computer Interaction, 2021. v. 1. p. 1-8.
  26. G. Lopes, L. Montecchi. Characterizing and Injecting Faults in Executable Models Specified with fUML. In: 10th Latin-American Symposium on Dependable Computing (LADC 2021), pp. 1-10. Florianopolis, SC, Brazil, November 22-26, 2021. doi: 10.1109/LADC53747.2021.9672596.
  27. Batista C., Basso T., Mattiello-Francisco M. F., Moraes R. "Impacts of the Space Technology Evolution in the V&V of Embedded Software-Intensive Systems”. IN: The 2020 International Conference on Computational Science and Computational Intelligence - CSCI 2020, Las Vegas, USA, 16-18 Dec., 2020. (Author's version)
  28. Secci, Francesco, and Andrea Ceccarelli. On failures of RGB cameras and their effects in autonomous driving applications. In: 31st International Symposium on Software Reliability Engineering (ISSRE 2020). Coimbra, Portugal, October 12-15, 2020. DOI: 10.1109/ISSRE5003.2020.00011 (Author's version)
  29. Casare, Andréia Rodrigues; Moraes, R. L. O. ; Basso, T. . Trust Metrics to Measure Website User Experience. In: The 2020 International Conference on Computational Science and Computational Intelligence (CSCI), 2020, Valência. Proc. of The 2020 International Conference on Computational Science and Computational Intelligence (CSCI), 2020. v. 1. p. 1-8.
  30. Zoppi, Tommaso, et al. On the educated selection of unsupervised algorithms via attacks and anomaly classes. Journal of Information Security and Applications 52 (2020). DOI: 10.1016/j.jisa.2020.102474 (Open Access)
  31. Gharib, Mohamad, et al. Governance & Autonomy. Towards a Governance-based Analysis of Autonomy in Cyber-Physical Systems-of-Systems. 2020 IEEE 15th International Conference of System of Systems Engineering (SoSE). IEEE, 2020. DOI: 10.1109/SoSE50414.2020.9130527. (Author's version)
  32. 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, DOI: 10.1016/j.jss.2019.110451 (Author's version)
  33. 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, 10.1016/j.future.2019.09.009 (Author's version)
  34. 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. DOI: 10.1109/EDCC.2019.00035 (Author's version)
  35. 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. DOI: 10.1109/EDCC.2019.00044 (Author's version)
  36. 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) DOI: 10.1109/LADC48089.2019.8995712. (Author's version)
  37. L. Montecchi, P. Lollini, A. Bondavalli. A Template-Based Methodology for the Specification and Automated Composition of Performability Models;. In: IEEE Transactions on Reliability 69:1 (2019). DOI: 10.1109/TR.2019.2898351 (Open Access)
  38. 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. DOI: 10.1109/PRDC47002.2019.00047 (Authors' version)
  39. H.Maria Maqsood, Eduardo Guerra, Xiaofeng Wang, Andrea Bondavalli. Patterns for Development of Safety-Critical Systems with Agile: Trace Safety Requirements and Perform Automated Testing. In 25th European Conference on Pattern Languages of Programs 2020 EUROPLOP, Germany, July 1-4, 2020. DOI: 10.5220/0009356403310338  (Authors' version)
  40. H.Maria Maqsood, Eduardo Guerra, Xiaofeng Wang, Andrea Bondavalli. Teams AND Up-Front Testing for Development of Safety-Critical Systems with Agile.  Published in 27th USA CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS USA PLoP 2020, USA, October 12 – 16, 2020. (Authors' version)
  41. R. Moraes, T. Basso and E. Martins, V-Model Adaptation for Space Systems in Light of the ECSS Standard 2021 10th Latin-American Symposium on Dependable Computing (LADC), 2021, pp. 01-04, doi: 10.1109/LADC53747.2021.9672593.