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
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,
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
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
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
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.
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.
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
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
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).
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:
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
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.
Publisher’s Version: Not yet available