Ivan Perez | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Anastasia Mavridou
12 publications
Laura Titolo
4 publications
Ramón Beivide
4 publications
Alexander Will
2 publications
Patrick J. Martin
2 publications
Aaron Dutle
2 publications
Esther Conrad
2 publications
Dimitra Giannakopoulou
2 publications
Thomas Pressburger
2 publications
Enrique Vallejo
1 publication
Tom Pressburger
1 publication

research

∙ 09/28/2022

Monitoring ROS2: from Requirements to Autonomous Robots

Runtime verification (RV) has the potential to enable the safe operation...

0 Ivan Perez, et al. ∙

research

∙ 12/09/2020

Efficient Bypass in Mesh and Torus NoCs

Minimizing latency and power are key goals in the design of NoC routers....

0 Ivan Perez, et al. ∙

research

∙ 12/03/2020

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project

The Independent Configurable Architecture for Reliable Operations of Unm...

0 Aaron Dutle, et al. ∙