7 citations · 8 across the 4 of their papers we have counts for
5 papers
Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Self-adaptive robots operate in dynamic, unpredictable environments where unaddressed uncertainties can lead to safety violations and operational failures. However, systematically…
Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
Hassan Sartaj, Jalil Boudjadar, Mirgita Frasheri +2
Future self-adaptive robots are expected to operate in highly dynamic environments while effectively managing uncertainties. However, identifying the sources and impacts of uncerta…
Digital Twin Enabled Runtime Verification for Autonomous Mobile Robots under Uncertainty
Joakim Schack Betzer, Jalil Boudjadar, Mirgita Frasheri +1
As autonomous robots increasingly navigate complex and unpredictable environments, ensuring their reliable behavior under uncertainty becomes a critical challenge. This paper intro…
Cilium and VDM -- Towards Formal Analysis of Cilium Policies
Tomas Kulik, Jalil Boudjadar
Industrial control systems are becoming more distributed and interconnected to allow for interaction with modern computing infrastructures. Furthermore, the amount of data generate…
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems
Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran +1
Different scheduling algorithms for mixed criticality systems have been recently proposed. The common denominator of these algorithms is to discard low critical tasks whenever high…