Publications
Featured Team Automata
Reference : ter Beek, M.H., Cledou, G., Hennicker, R., Proença, J., “Featured Team Automata”, Proceedings of Formal Methods – 24th international symposium, Beijing, China, November 20-26, 2021 (to appear)
Efficient and Effective Generation of Test Cases for Pedestrian Detection
Reference: Ebadi, H., Moghadam, M.H., Borg, M., Gay, G., Fontes, A., Socha, K. “Efficient and Effective Generation of Test Cases for Pedestrian Detection”, Proceeding of the 2021 IEEE Autonomous Driving AI Test Challenge, the IEEE Conference on Artificial Intelligence Testing (AITest 2021)
Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case for the VALU3S ECSEL project
Reference: Kanak, A,, Ergun, S., Yazici, A., Ozkan, M., Çokunlu, G., Yayan, U., Karaca, M., Arslan, A.T., “Verification and validation of an automated robot inspection cell for automotive body-in-white: a use case for the VALU3S ECSEL project”, vol. 1, num. 115, Open Research Europe, 2021
Simulation-based Fault Injection in Advanced Driver Assistance Systems Modelled in SUMO
Mehdi Maleki, Behrooz Sangchoolie, Simulation-based Fault Injection in Advanced Driver Assistance Systems.
Modelled in SUMO, 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks – Supplemental Volume (DSN-S), 21-24 June 2021, Taipei, Taiwan,
DOI: 10.1109/DSN-S52858.2021.00036
Official link: https://ieeexplore.ieee.org/document/9525530
Dynamic fault injection into digital twins of safety-critical systems
Thomas Markwirth, Roland Jancke, Christoph Sohrmann, 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 Februaray 2021
Offical Link: http://publica.fraunhofer.de/documents/N-633371.html
SUFI: A Simulation-based Fault Injection Tool for Safety Evaluation of Advanced Driver Assistance Systems Modelled in SUMO
Mehdi Maleki and Behrooz Sangchoolie, SUFI: A Simulation-based Fault Injection Tool for Safety Evaluation
of Advanced Driver Assistance Systems Modelled in SUMO
Measuring lead times for failure prediction
Frederico Cerveira, Jomar Domingosy, Raul Barbosaz, Henrique Madeira, Measuring lead times for failure prediction, 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021) December 1-4, 2021, Perth, Australia.
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)
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.
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
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,
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).
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
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.
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
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.
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
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
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.
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