Browsing by Author "Ali, Shaukat"
Now showing items 1-7 of 7
-
Application of Quantum Extreme Learning Machines for QoS Prediction of Elevators Software in an Industrial Context
Wang, Xinyi; Ali, Shaukat; Arrieta Marcos, Aitor; Arcaini, Paolo; Arratibel, Maite (Association for Computing Machinery, 2024) -
Automating Test Oracle Generation in DevOps for Industrial Elevators
Ibabe Arrieta, Aitor; OTAEGI GURRUTXAGA, MAIALEN; Sagardui, Goiuria (IEEE, 2022)Orona is a world-renowned elevators developer. During elevators' lives, their software continues to evolve, e.g., due to hardware obsolescence, requirements changes, vulnerabilities, and bug corrections. Such continuous ... -
Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems
Valle Entrena, Pablo; Arrieta Marcos, Aitor; Han, Liping; Ali, Shaukat; Yue, Tao (Springer Nature, 2025) -
Genetic Algorithm-based Testing of Industrial Elevators under Passenger Uncertainty
Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)Elevators, as other cyber-physical systems, need to deal with uncertainty during their operation due to several factors such as passengers and hardware. Such uncertainties could affect the quality of service promised by ... -
Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems
Ayerdi, Jon; Arrieta, Aitor; Sagardui, Goiuria (IEEE, 2021)Cyber-Physical Systems (CPSs) are systems that integrate digital cyber computations with physical processes. The software embedded in CPSs has a long life-cycle, requiring constant evolution to support new requirements, ... -
Search-based Generation of Waypoints for Triggering Self-Adaptations in Maritime Autonomous Vessels
Nylænder, Karoline; Arrieta Marcos, Aitor; Ali, Shaukat; Arcaini, Paolo (ACM, 2025) -
Uncertainty-aware Robustness Assessment of Industrial Elevator Systems
Arrieta, Aitor (ACM, 2022)Industrial elevator systems are commonly used software systems in our daily lives, which operate in uncertain environments such as unpredictable passenger traffic, uncertain passenger attributes and behaviors, and hardware ...
