Valu3s logo

Publications

Dynamic fault injection into digital twins of safety-critical systems

Markwirth, T., Jancke, R., Sohrmann, C.: Dynamic Fault Injection Into Digital Twins of Safety-Critical Systems, Design, Automation and Test in Europe Conference, DATE 2021, Virtual Conference and Exhibition, 1-5 February 2021.

Publisher’s Version >>

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

de la Vara, J.L et al., “A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems”, QUATIC 2021, 14th International Conference on the Quality of Information and Communications Technology, September 8-11 , 2021 (online)

Publisher’s Version >>

Exploring the Assessment List for Trustworthy AI in the Context of Advanced Driver-Assistance Systems

Borg, M., Bronson, J., Christensson, L., Olsson, F., Lennartsson, O., Sonnsjö, E., Ebabi, H., Karsberg, M.: Exploring the Assessment List for Trustworthy AI in the Context of Advanced Driver-Assistance Systems, Accepted for publication in the Proc. of the 2nd Workshop on Ethics in Software Engineering Research and Practice

Publisher’s Version >>

Test Automation with Grad-CAM Heatmaps -- A Future Pipe Segment in MLOps for Vision AI?

Borg, M., Jabangwe, R., Åberg, S., Ekblom, A., Hedlund, L., Lidfeldt, A.: Test Automation with Grad-CAM Heatmaps – A Future Standard Pipe Segment in MLOps for Vision AI, Accepted for publication in the Proc. of the 1st International Workshop on DevOps Testing for Cyber-Physical Systems,

Publisher’s Version >>

Implicit Semi-Algebraic Abstractionfor Polynomial Dynamical Systems

Mover, S., Cimatti, A., Griggio, A., Irfan, A., Tonetta, S.: Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems, Accepted for publication in Proc. of the 33rd International Conference on Computer-Aided Verification (CAV-21).

Publisher’s Version >> 

Learning affine predictors for MPC of nonlinear systems via artificial neural networks,

Masti, D., Smarra, F., D’Innocenzo, A., and Bemporad, A.: Learning affine predictors for MPC of nonlinear systems via artificial neural networks, IFAC World Congress, 2020, DOI: 10.1016/j.ifacol.2020.12.1199

Publisher’s Version >>

A review of single and multi hazard risk assessment approaches for critical infrastructures protection

De Angeli, S., Pasino, A., Clematis, A., Ottonello, D., Battista, U.: A review of single and multi hazard risk assessment approaches for critical infrastructures protection, 2nd Scientific International Conference on CBRNe SICC Series, 10-12 December 2020.

Publisher’s Version >>

Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators

Borg, M., Abdessalem, R.B., Nejati, S., Jegeden, F-X. Shin, D.: Digital Twins Are Not Monozygotic — Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators, To appear in the Proc. of the IEEE International Conference on Software Testing, Verification and Validation (ICST) 2021, 12-16 April 2021

Publisher’s Version >> 

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

Agirre J.A. et al., “The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security”, Accepted for publication in Microprocessors and Microsystems, Elsevier.

Publisher’s Version >>

Implementing Hybrid Semantics: From Functional to Imperative, Theoretical Aspects of Computing

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

Publisher’s Version >>

Learning Markov Jump Affine Systems via Regression Trees for MPC

Smarra, F. and D’Innocenzo, A.: Learning Markov Jump Affine Systems via Regression Trees for MPC, IFAC World Congress, 2020, DOI: 10.1016/j.ifacol.2020.12.1203

Publisher’s Version >> 

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