Valu3s logo

Publications

Mastering Agile Practice Adoption through a Model-Driven Approach for the Combination of Development Methods

Giachetti, et al., Business & Information Systems Engineering, 65, pp. 103–125, Springer Verlag, doi: 10.1007/s12599-022-00785-5

Publishers version >>.

 

On Active Learning for Supervisor Synthesis

Farooqui, A., et al., IEEE Transactions on Automation Science and Engineering, 2022, doi: 10.1109/TASE.2022.3216759.

Publishers version >>.

 

SBvote: Scalable Self-Tallying Blockchain-Based Voting

Ivana Stančíková, Ivan Homoliak, SAC ’23, March 27 – March 31, 2023, Tallinn, Estonia

Publishers version >>.

 

NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection”,

Rozsíval, M., et al., 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, 27 June 2023, Porto, Portugal.

Publishers version >>.

 

Modelling V&V Workflows to Improve Development Processes of Software-intensive Systems

Bauer, T., et al., 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, co-located with DSN 2023, 27 June 2023, Porto, Portugal.

Publishers version >>.

 

Can we Communicate? Using Dynamic Logic to Verify Team Automata

Authors: Maurice H. ter Beek,  Guillermina Cledou,  Rolf Hennicker,  José Proença.

Publishers version >>.

 

SMT-Based Stability Verification of an Industrial Switched PI Control Systems

Basagiannis, S., et al., 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, co-located with DSN 2023, 27 June 2023, Porto, Portugal.

Publishers version >>.

 

Translating Natural Language Requirements to Formal Specifications: A Study on GPT and Symbolic NLP

Leong, I.T. and Barbosa, R., 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems, co-located with DSN 2023, 27 June 2023, Porto, Portugal.

Publishers version >>.

 

ucXception: A framework for evaluating dependability of software systems

Authors: Pedro David Almeida, Frederico Cerveira, Raul Barbosa, and Henrique Madeira.

Publishers version >>

Modeling and Evaluating the Effects of Jamming Attacks on Connected Automated Road Vehicles

Authors: Mehdi Maleki, Mateen Malik, Peter Folkesson, Behrooz Sangchoolie∗, Johan Karlsson.

Publishers version >>

Dynamic fault injection into digital twins of safety-critical systems

Authors:  Thomas Markwirth, Roland Jancke, Christoph Sohrmann.

Publishers version >>

 

Goal-Conditioned Reinforcement Learning within a Human-Robot Disassembly Environment

Authors: Íñigo Elguea-Aguinaco, Antonio Serrano-Muñoz, Dimitrios Chrysostomou, Ibai Inziarte-Hidalgo, Simon Bøgh, Nestor Arana-Arexolaleiba.

Publishers version >>

ROS Based Attack Tool for Verification of Robotic System Security-Submission

Kırca, Y.S, et al. “ROS Based Attack Tool for Verification of Robotic System Security-Submission”, 23rd TURKISH AUTOMATIC CONTROL NATIONAL CONFERENCE,  15-18 September 2022, Elazig, Turkey

Publishers version >>

 

A safety and security-aware industrial robotic system implementation: ROKOS

Saral, M., et al., “A safety and security-aware industrial robotic system implementation: ROKOS”, 23rd TURKISH AUTOMATIC CONTROL NATIONAL CONFERENCE,  15-18 September 2022, Elazig, Turkey

Publishers version >>

MARS: a toolset for the safe and secure deployment of heterogeneous distributed systems

Authors: Giann Nandi, David Pereira, José Proença, José Santos, Lourenço A. Rodrigues, André Lourenço, Eduardo Tovar.

Publishers version >>

MARVer: A Tool for Verification of Robotic System’s Safety

Demirci, Z., et al., “MARVer: A Tool for Verification of Robotic System’s Safety”,  23rd TURKISH AUTOMATIC CONTROL NATIONAL CONFERENCE,  15-18 September 2022, Elazig, Turkey

Publishers version >>

 

Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety and Security-Critical Systems

Ferrari, E., et al., “Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety and Security-Critical Systems”, SAFECOMP 2022: Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, LNCS, vol. 13415, pp 35–46, September 6-9, 2022, Munich, Germany

Publishers version >>

DELFASE: A Deep Learning Methodfor Fault Space Exploration

Sedaghatbaf, A., et al., “DELFASE: A Deep Learning Methodfor Fault Space Exploration”, 18th European Dependable Computing Conference (EDCC2022), Zaragoza, Spain, 12-15 September, 2022

Publishers version >>

 

Multidimensional Framework for CharacterizingVerification and Validation of Automated Systems

Agirre, J.A., et al., “Multidimensional Framework for CharacterizingVerification and Validation of Automated Systems”, 18th European Dependable Computing Conference (EDCC2022), Zaragoza, Spain, 12-15 September, 2022

Publishers version >>

 

ComFASE: A Tool for Evaluating the Effects ofV2V Communication Faults and Attacks onAutomated Vehicles

Malik, M., et al., “ComFASE: A Tool for Evaluating the Effects ofV2V Communication Faults and Attacks onAutomated Vehicles”, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN2022), Baltimore, Maryland, USA, June 27-30, 2022

Publishers version >>

A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements

Matt Luckcuck, Marie Farrell, Oisín Sheridan, Rosemary Monahan, “A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements”,  IEEE Aerospace Conference

Publishers version >>

 

Towards Refactoring FRETish Requirements

Marie Farrell, Matt Luckcuck, Oisin Sheridan, Rosemary Monahan, “Towards Refactoring FRETish Requirements”,  NASA Formal Methods (NFM 2022), Lecture Notes in Computer Science 13260, DOI:1007/978-3-031-06773-0_14 

Publishers version >>

 

FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller

Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan, “FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller”,  International Working Conference on Requirements Engineering: Foundation for Software Quality, DOI:10.1007/978-3-030-98464-9_9 

Publishers version >>

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

Markus Borg; Ronald Jabangwe; Simon Åberg; Arvid Ekblom; Ludwig Hedlund, “Test Automation with Grad-CAM Heatmaps – A Future Pipe Segment in MLOps for Vision AI?”, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), DOI:10.1109/icstw52544.2021.00039

Publishers version >>

Efficient and Effective Generation of Test Cases for Pedestrian Detection - Search-based Software Testing of Baidu Apollo in SVL

Hamid Ebadi; Mahshid Helali Moghadam; Markus Borg; Gregory Gay; Afonso Fontes; Kasper Socha, “Efficient and Effective Generation of Test Cases for Pedestrian Detection – Search-based Software Testing of Baidu Apollo in SVL”, IEEE International Conference On Artificial Intelligence Testing (AITest), DOI:10.1109/aitest52744.2021.00030 

Publishers version >>

 

Intelligent trajectory planner and generalised proportional integral control for two carts equipped with a red-green-blue depth sensor on a circular rail

Ramón Panduro; Eva Segura; Lidia M. Belmonte; Antonio Fernández-Caballero; Paulo Novais; Jesús Benet; Rafael Morales, “Intelligent trajectory planner and generalised proportional integral control for two carts equipped with a red-green-blue depth sensor on a circular rail”,  Integrated Computer-Aided Engineering, DOI:10.3233/ica-200622

Publishers version >>

Manipulation of Camera Sensor Data via Fault Injection for Anomaly Detection

Alim Kerem Erdogmus, Mustafa Karaca, Ugur Yayan, “Manipulation of Camera Sensor Data via Fault Injection for Anomaly Detection”, Studies in Verification and Validation Activities For AI, DOI:10.48550/arxiv.2108.13803

Publishers version >>

Development of Simulation based testing for automated robot cell for quality inspection of automotive body-in-white system

Alim Kerem Erdoğmuş, Mustafa Karaca, Uğur Yayan2, Gürol Çökünlü3, “Development of Simulation based testing for automated robot cell for quality inspection of automotive body-in-white system”,  The Automatic Control National Congress – TOK 2021

Publishers version >>

 

Endüstriyel Robot Hareket Planlama Algoritmaları Performans Karşılaştırması

Uğur YAYAN,Alim ERDOĞMUŞ, “Endüstriyel Robot Hareket Planlama Algoritmaları Performans Karşılaştırması”, Journal of Science, Technology and Engineering Research, DOI:10.53525/jster.979689

Publishers version >>

Agility in Software 2.0 – Notebook Interfaces and MLOps with Buttresses and Rebars

Markus Borg, “Agility in Software 2.0 – Notebook Interfaces and MLOps with Buttresses and Rebars”, Lean and Agile Software Development. LASD 2022 Lecture Notes in Business Information Processing, vol 438, DOI:10.1007/978-3-030-94238-0_1 

Publishers version >>

Intercepting Hail Hydra: Real-time detection of Algorithmically Generated Domains

Fran Casino, Nikolaos Lykousas, Ivan Homoliak, Constantinos Patsakis, Julio Hernandez-Castro, “Intercepting Hail Hydra: Real-time detection of Algorithmically Generated Domains”, Journal of Network and Computer Applications, DOI:10.1016/j.jnca.2021.103135

Publishers version >>

 

Model-based assurance evidence management for safety–critical systems

Jose Luis de la Vara, Arturo S. García, Jorge Valero, Clara Ayora, “Model-based assurance evidence management for safety–critical systems”,  Software and Systems Modeling, DOI:10.1007/s10270-021-00957-z 

Publishers version >>

Facial Emotion Recognition from an Unmanned Flying Social Robot for Home Care of Dependent People

Anselmo Martínez,Lidia M. Belmonte, Arturo S. García,Antonio Fernández-Caballero, Rafael Morales, “Facial Emotion Recognition from an Unmanned Flying Social Robot for Home Care of Dependent People”,  Electronics, DOI:10.3390/electronics10070868

Publishers version >>

Comparison of RGB-D and IMU-based gesture recognition for human-robot interaction in remanufacturing

Luis Roda-Sanchez, Celia Garrido-Hidalgo, Arturo S. García, Teresa Olivares & Antonio Fernández-Caballero, “Comparison of RGB-D and IMU-based gesture recognition for human-robot interaction in remanufacturing”,  The International Journal of Advanced Manufacturing Technology, DOI:10.1007/s00170-021-08125-9

Publishers version >>

 

Learning methods for structural damage detection via entropy-based sensors selection

Francesco Smarra, Jimmy Tjen, Alessandro D’Innocenzo, “Learning methods for structural damage detection via entropy-based sensors selection”,  International Journal of Robust and Nonlinear Control, DOI:10.1002/rnc.6124 

Publishers version >>

PRACTICAL APPLICATION OF FACEBOOK INFER ON SYSTEMS CODE

Beránek Tomáš, “Practical Application of Facebook Infer on Systems Code”,  BSc Thesis, Brno University, 2021

Publishers version >>

ADVANCED STATIC ANALYSIS OF ATOMICITY IN CONCURRENT PROGRAMS THROUGH FACEBOOK INFER

Harmim Dominik, “Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer”,  MSc Thesis, Brno University, 2021 

Publishers version >>

 

FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs

Jasmin Jahic, Thomas Bauer, Thomas Kuhn, Norbert Wehn, Pablo Oliveira Antonino, “FERA: A Framework for Critical Assessment of Execution Monitoring Based Approaches for Finding Concurrency Bugs” Advances in Intelligent Systems and Computing vol. 1228, DOI:10.1007/978-3-030-52249-0_5

Publishers version >>

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Luc Edixhoven, Sung-Shik Jongmans, Guillermina Cledou, José Proença, “API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3”, 36th European Conference on Object-Oriented Programming, ECOOP 2022, DOI:10.4230/lipics.ecoop.2022.27 

Publishers version >>

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)

Publishers version >>

 

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)

Publishers version >>

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

Publishers version >>

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

Publisher’s Version >>

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

Publisher’s Version >>

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.

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 >>

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 >>

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 >>

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