Valu3s logo

Publications

Implementing Hybrid Semantics: From Functional to Imperative

Goncharov, S., Neves, R., Proença, J., “Implementing Hybrid Semantics: From Functional to Imperative”, Theoretical Aspects of Computing — ICTAC 2020, LNCS vol. 12545, Springer International Publishing, 25 November 2020, DOI: https://doi.org/10.1007/978-3-030-64276-1_14, 2020

Publisher’s Version >>

An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs

Sangchoolie, B., Pattabiraman, K.,  Karlsson, J., “An Empirical Study of the Impact of Single and Multiple Bit-Flip Errors in Programs”, IEEE Transactions on Dependable and Secure Computing, 08 December, 2020, DOI: 10.1109/TDSC.2020.3043023,

Publisher’s Version >>

Feeling of Safety and Comfort towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home

Belmonte, L., García, A., Morales, R., de la Vara, J.L.,  López de la Rosa, F., Fernández-Caballero, A., “Feeling of Safety and Comfort towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home”, MDPI Sensors, Volume 21,  Issue 3,  29 January 2021, DOI: https://doi.org/10.3390/s21030908

Publisher’s Version >> 

The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security

Barbosa et al., “The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security,” 2020 23rd Euromicro Conference on Digital System Design (DSD), Kranj, Slovenia, 2020, pp. 352-359, DOI: 10.1109/DSD51259.2020.00064

Publisher’s Version >>

Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry

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), DOI: 10.1109/DSN-S50200.2020.00022

Publisher’s Version >>

Internet of Robotic Things in Smart Domains: Applications and Challenges

Romeo L, Petitti A, Marani R, Milella A. Internet of Robotic Things in Smart Domains: Applications and Challenges. Sensors. 2020; 20(12):3355.

Publisher’s Version >>

Hubs for VirtuosoNext: Online verification of real-time coordinators

Cledou, G., Proença, J., Sputh, B., Verhulst, E., “Hubs for VirtuosoNext: Online verification of real-time coordinators”, Science of Computer Programming, Article No 102566, Elsevier. 1, Mar, 2021, Volume 203. DOI: 10.1016/j.scico.2020.102566.

Preprint >>

Publisher’s Version >>

SmartOTPs: An Air-Gapped 2-Factor Authentication for Smart-Contract Wallets

Homoliak, I., Breitenbacher, D., Hujnak, O., Hartel, P., Binder, A., & Szalachowski, P. (2020, October). SmartOTPs: An air-gapped 2-factor authentication for smart-contract wallets. In Proceedings of the 2nd ACM Conference on Advances in Financial Technologies (pp. 145-162), DOI: https://doi.org/10.1145/3419614.3423257

Publisher’s Version >>

An Empirical Evaluation of the Use of Models to Improve the Understanding of Safety Compliance Needs

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, DOI: https://doi.org/10.1016/j.infsof.2020.106351

Publisher’s Version >>

Feeling of Safety and Comfort Towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home

Belmonte, L.M.; García, A.S.; Morales, R.; de la Vara, J.L.; Fernández-Caballero, A. Feeling of Safety and Comfort Towards a Socially Assistive Unmanned Aerial Vehicle That Monitors People in a Virtual Home. Preprints 2020, 2020100174 (doi: 10.20944/preprints202010.0174.v1).

Preprint >>

The AMASS Tool Platform: An Innovative Solution for Assurance and Certification of Cyber-Physical Systems

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), DOI:

Publisher’s Version >> 

Assurance and Certification of Cyber-Physical Systems: The AMASS Open Source Ecosystem

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, DOI: https://doi.org/10.1016/j.jss.2020.110812

Publisher’s Version >>

Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems

Nandi, G., Pereira, D., Proença, J., Tovar, E., “Work-In-Progress: a DSL for the safe deployment of Runtime Monitors in Cyber-Physical Systems”, Work in Progress Session, 41st IEEE Real-Time Systems Symposium (RTSS 2020). 1 to 4, Dec, 2020.

Preprint >>

Publisher’s Version: Not yet available

Share This