Publications

2024

de la Vara, J.L., Bahamonde, H., Ayora, C.: Assessment of the Quality of the Text of Safety Standards with Industrial Semantic Technologies. Computer Standards & Interfaces 88: 103803 (Publisher's version; Preprint)

Giachetti, G., de la Vara, J.L., Marin, B.: Model-Driven Gap Analysis for the Fulfillment of Quality Standards in Software Development Processes. Software Quality Journal 32:255-282 (Publisher's version; Preprint)

2023

Giachetti, G., Marín, B., de la Vara, J.L.: Mastering Agile Practice Adoption through a Model-Driven Approach for the Combination of Development Methods. Business & Information Systems Engineering 65: 103-125 (Publisher's version; Preprint)

Giachetti, G., de la Vara, J.L., Marín, B.: A Model-Driven Approach to Adopt Good Practices for Agile Process Configuration and Certification. Computer Standards & Interfaces 83: 103737 (Publisher's version; Preprint)

Smrčka, A., Sangchoolie, B., Mingozzi, E., de la Vara, J.L., Farrell, M., Barbosa, R., Baglum, C., Yayan, U., Ergun, S., Kanak, A.: Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems. Open Research Europe (link)

2022

de la Vara, J.L., García, A., Valero, J., Ayora, C.: Model-Based Assurance Evidence Management for Safety-Critical Systems. Software and Systems Modeling 21(6): 2329-2365 (Publisher's version; Preprint)

Morote, J., de la Vara, J.L., Giachetti, G., Ayora, C., Alonso, L.:  An Industrial Approach for Model-Based Reliability-Oriented System Design. In: 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022) (Publisher's version; Preprint)

Agirre, J.A., Yazici, A., Di Blasio, K., de la Vara, J.L., Sangchoolie, B., Yayan, U., Barbosa, R., Etxeberria, L., Nazaria, M., Karaca. M.: Multidimensional Framework for Characterizing Verification and Validation of Automated Systems. 18th European Dependable Computing Conference (EDCC 2022) (Publisher's version; Preprint)

Ferrari, E., Schlick, R., de la Vara, J.L., Folkesson, P., Sangchoolie, B.: Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety- and Security-Critical Systems. 17th International Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems (DECSoS 2022) (Publisher's version; Preprint)

2021

de la Vara, J.L., Ruiz, A., Blondelle, G.: Assurance and Certification of Cyber-Physical Systems: The AMASS Open Source Ecosystem. Journal of Systems and Software 171: 110812, 2021 (Publisher's version; Preprint)

de la Vara, J.L., Morote, J.: A Proposal for Model-Based Reliability-Oriented System Design in Industry. 21st IEEE International Conference on Software Quality, Reliability, and Security (QRS 2021) (Publisher's version; Preprint) 

de la Vara, J.L., Bauer, T., Fischer, B., Karaca, M., Madeira, H., Matschnig, M., Mazzini, S., Nandi, G.S., Patrone, F., Pereira, D., Proença, J., Schlick, R., Tonetta, S., Yayan, U., Sangchoolie, B.: A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems. 14th International Conference on the Quality of Information and Communications Technology (QUATIC 2021) (Publisher's version; Preprint)

2020

de la Vara, J.L., Marin, B., Ayora, C., Giachetti, G.: An Empirical Evaluation of the Use of Models to Improve the Understanding of Safety Compliance Needs. Information and Software Technology 126: 106351, 2020 (Publisher's version; Preprint)

López, B., Álvarez-Rodríguez, J.M., Parra, E., de la Vara, J.L.: Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry. 50th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020) (Publisher's version; Preprint)

de la Vara, J.L., Parra, E., Ruiz, A., Gallina, B.: The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems. 26th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020) (Link)

Giachetti, G., Marín, B. de la Vara, J.L.: Automatic Generation of UML Profiles for Representing Safety Standards. XXXIX International Conference of the Chilean Computer Science Society (SCCC 2020) (Publisher's version; Preprint)