talks

Keynotes, invited lectures, and conference presentations.

Keynotes & Invited Lectures

Mar 2026 Keynote: Space Robotics Verification with FRETish Requirements
Fourth Summer School on Robotic Mission Engineering (RoME 2026), Universidade de Brasília, Brazil.
May 2025 Co-lecture: Space ROS and Behavior Trees
SPACERAISE Summer School, L'Aquila, Italy.
Mar 2025 Keynote: Beyond Efficiency – Strategies for Attaining Resilience in Robotics Software
Third Summer School on Robotic Mission Engineering (RoME 2025), UECE, Brazil.
Jun 2023 Invited Talk: The Way Research on Software Engineering for Robotics
First Summer School on Robotic Mission Engineering (RoME 2023), Universidade de Brasília, Brazil.
Jan 2023 Invited Talk: Roboticists Want to Build Resilient Robots… But They Can't!
WASP Winter Conference, Norrköping, Sweden.
Sep 2022 Invited Talk: Verification of ROS-based Systems — Guidelines for Developers and QA Teams
Robotics Software Engineering Annual Meeting (RSE 2022).

Conference Presentations

Apr 2025 Adaptable and Uncertainty-aware Behavior Trees
RoSE'25 (co-located with ICSE 2025), Ottawa, Canada.
Apr 2025 Journal First: Runtime Verification and Field-based Testing for ROS-based Robotic Systems
ICSE 2025 — Journal First Track, Ottawa, Canada.
Jul 2024 Towards an Engineering Discipline for Resilient Cyber-Physical Systems
FSE 2024 Doctoral Symposium, Porto de Galinhas, Brazil. — slides & poster
Sep 2023 Summer School on Software Testing, Verification & Validation
TAROT Summer School, London, UK.
Sep 2023 WARA Public Safety Summer School
Linköping, Sweden.
Dec 2021 Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
ACSOS-C 2021. pp. 281–286.
May 2021 Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
SEAMS 2021. pp. 224–230.
Oct 2020 A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
SEAMS 2020. pp. 9–19.