VeriDevOps Research Workshop Series

VeriDevOps Research Workshop III

Time: 9:30-12:40 (CET) Feb.10 2023

Location: Hybrid (online and Mälardalen Univeristy (room R-142), Universitetsplan 1, Västerås, Sweden)








20 Min

VeriDevOps Technical Introduction

Andrey Sadovykh



30 Min

RQCODE - Requirements as Code

Andrey Sadovykh



30 Min

Metamorphic testing with fault localization for ICSs

Dragos Truscan



15 Min





30 Min

Finding Quality Problems In Security Requirements Using NALABS

Eduard Paul Enoiu



30 Min

Software Testing at ABB MP

Filip Sebek/Simon Monié 



30 Min

Anomaly detection with Explainable AI

Wissam Mallouli



5 Min

Wrap up

Andrey Sadovykh

VeriDevOps Consortium


End of meeting

Meet the speakers

Dr. Sadovykh is an innovation consultant and a research project manager in Softeam and an Assistant Professor at Innopolis University. He coordinated SOFTEAM’s research activities of the company covering fields such as model-driven development (MDD) and model-based system engineering (MBSE), Business Process Automation (BPA), Cloud and Big Data in application areas such as eGovernment, eHealth, Space and Agro sectors.

Adj. Prof.Dragos Truscan has obtained his doctoral degree from Åbo Akademi in 2007, with a dissertation titled “Model-Driven Development of Programmable Architectures”. He is currently working as a senior lecturer in Software Engineering at Åbo Akademi University. His research focused on model-based and machine learning based techniques for testing functional and non-functional properties of software intensive systems in industrial settings. Over the years, he participated in several industry-driven national and European level projects.

Dr. Enoiu is a senior lecturer at Mälardalen University in Västerås, Sweden, primarily affiliated with the Software Testing Laboratory and the Formal Modelling and Analysis groups at the Department of Networked and Embedded Systems. His research interests span software engineering and empirical research, especially how to test, maintain, evolve, and assure high-quality software systems.

Filip Sebek is an R&D Engineer at ABB Marines and Ports in Västerås, Sweden. He develops sensor systems for fully automated container cranes including requirement handling, implementation, testing, functional safety, and cyber security. Prior the 14 years in the software industry, he worked for 15 years as a university teacher in Computer Engineering.

 Simon Monié is an R&D engineer at ABB Marine and Ports in Västerås, Sweden. He develops the continuous integration and continuous delivery for fully automated container cranes, including requirements handling, implementation, testing, verification and validation, and cyber security. Simon has a M.Sc. in Robotics from MDU and his research interests lie in software development with machine learning in the field of robotics, such as ROS2, path-planning, sensor fusion, perception, and also NLP.

Dr.Mallouli is currently the CTO of Montimage company located in Paris, France. His expertise covers continuous risk management and cyberdefense of critical systems and networks including cloud-based systems, IoT, and 4G/5G networks. He is working on several collaborative European research projects and has more than 50 scientific publications in popular conferences and journals.