activity
20232026
most citedMarMot: Metamorphic Runtime Monitoring of Autonomous Driving Systems

12 citations · 19 across the 15 of their papers we have counts for

collaborators
Showing 2025Show all

7 papers · 1 filter

cs.SE2025★ 2 cited

Evaluating Uncertainty and Quality of Vision-Language-Action-enabled Robots

Pablo Valle, Chengjie Lu, Shaukat Ali +1

Vision-Language-Action (VLA)-enabled robots integrate visual perception, natural language understanding, and action planning to interpret their environment, comprehend instructions…

cs.SE2025

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead

Chengjie Lu, Pablo Valle, Jiahui Wu +4

Foundation Models (FMs), particularly Large Language Models (LLMs), are increasingly used to support various software engineering activities (e.g., coding and testing). Their adopt…

cs.SE2025

Red Teaming Contemporary AI Models: Insights from Spanish and Basque Perspectives

Miguel Romero-Arjona, Pablo Valle, Juan C. Alonso +7

The battle for AI leadership is on, with OpenAI in the United States and DeepSeek in China as key contenders. In response to these global trends, the Spanish government has propose…

cs.SE2025★ 3 cited

o3-mini vs DeepSeek-R1: Which One is Safer?

Aitor Arrieta, Miriam Ugarte, Pablo Valle +2

The irruption of DeepSeek-R1 constitutes a turning point for the AI industry in general and the LLMs in particular. Its capabilities have demonstrated outstanding performance in se…

cs.SE2025★ 1 cited

Early External Safety Testing of OpenAI's o3-mini: Insights from the Pre-Deployment Evaluation

Aitor Arrieta, Miriam Ugarte, Pablo Valle +2

Large Language Models (LLMs) have become an integral part of our daily lives. However, they impose certain risks, including those that can harm individuals' privacy, perpetuate bia…

cs.SE2025

Automated Repair of Cyber-Physical Systems

Pablo Valle

Cyber-Physical Systems (CPS) integrate digital technologies with physical processes and are common in different domains and industries, such as robotic systems, autonomous vehicles…

cs.SE2025

ASTRAL: Automated Safety Testing of Large Language Models

Miriam Ugarte, Pablo Valle, José Antonio Parejo +2

Large Language Models (LLMs) have recently gained attention due to their ability to understand and generate sophisticated human-like content. However, ensuring their safety is para…