Publications
Can we Communicate? Using Dynamic Logic to Verify Team Automata
Authors: Maurice H. ter Beek, Guillermina Cledou, Rolf Hennicker, José Proença.
SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system
Authors: Borg, M., Henriksson, J., Socha, K. _et al._ Ergo,
Network Failures in Cloud Management Platforms: A Study on Oenstack
Authors: Hassan Mahmood Khan, Frederico Cerveira, Tiago Cruz, Henrique Madeira.
ucXception: A framework for evaluating dependability of software systems
Authors: Pedro David Almeida, Frederico Cerveira, Raul Barbosa, and Henrique Madeira.
Modeling and Evaluating the Effects of Jamming Attacks on Connected Automated Road Vehicles
Authors: Mehdi Maleki, Mateen Malik, Peter Folkesson, Behrooz Sangchoolie∗, Johan Karlsson.
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.
On the Evaluation of Three Pre-Injection Analysis Techniques for Model-Implemented Fault- and Attack Injection
Authors: Peter Folkesson, Behrooz Sangchoolie, Pierre Kleberger, Nasser Nowdehi.
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
PRACTICAL APPLICATION OF FACEBOOK INFER ON SYSTEMS CODE
Beránek Tomáš, “Practical Application of Facebook Infer on Systems Code”, BSc Thesis, Brno University, 2021
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
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
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
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