Publications supported by the ADVANCE project
- 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.
-
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).
- 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)
- Á. 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
- 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)
-
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)
- 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)
- 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)
- 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)
- 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
-
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
-
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
- 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.
- 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)
- 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
- 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
- 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.
- 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.
- 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.
- 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.
- 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)
- 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.
- Ceccarelli, Andrea, and Francesco Secci. "RGB cameras failures and their effects in autonomous driving applications." IEEE Transactions on Dependable and Secure Computing (2022).
- 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)
- 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)
- 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.
- Zoppi, Tommaso, and Andrea Ceccarelli. "Detect Adversarial Attacks Against Deep Neural Networks With GPU Monitoring." IEEE Access 9 (2021): 150579-150591.
- 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.
- 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.
- Zoppi, Tommaso, Andrea Ceccarelli, and Andrea Bondavalli. "Unsupervised algorithms to detect zero-day attacks: Strategy and application." Ieee Access 9 (2021): 90603-90615.
- 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.
- 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.
- 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
- 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
- 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.
- 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.
- 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)
- 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)
- 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.
- 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)
- 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) - 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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.